Searched refs:minfilename (Results 1 – 4 of 4) sorted by relevance
478 char *minfilename; member799 timing.minfilename = fname; in try_render_page()819 timing.minfilename = fname; in try_render_page()1649 timing.minfilename = ""; in main()
378 char *minfilename; member1157 timing.minfilename = fname; in dodrawpage()1176 timing.minfilename = fname; in dodrawpage()2264 timing.minfilename = ""; in main()2444 fprintf(stderr, "fastest page %d: %dms (%s)\n", timing.minpage, timing.min, timing.minfilename); in main()
252 minfilename = None variable in timing673 timing.minfilename = filename686 timing.minfilename = filename1109 timing.minfilename = ""
922 std::string minfilename = min_path; //"min.bif"; in saveBNsMinMax() local924 std::ofstream min_file(minfilename.c_str(), std::ios::out | std::ios::trunc); in saveBNsMinMax()928 GUM_ERROR(IOError, "bnToCredal() : could not open stream : min_file : " << minfilename); in saveBNsMinMax()