Searched refs:total_time_in_seconds (Results 1 – 3 of 3) sorted by relevance
327 summary->total_time_in_seconds = in Solve()353 total_time_in_seconds(-1.0), in Summary()599 total_time_in_seconds); in FullReport()
796 double total_time_in_seconds; member
1950 .. member:: double Solver::Summary::total_time_in_seconds