Searched refs:out_file_split (Results 1 – 1 of 1) sorted by relevance
24 string out_file_split = params->out_prefix; in UpperBounds() local26 out_file_split = "results.trueSplits.ub.splits"; in UpperBounds()29 out_split.open((char*)out_file_split.c_str(),std::ofstream::out | std::ofstream::app); in UpperBounds()