Searched defs:max_time_in_seconds (Results 1 – 10 of 10) sorted by relevance
30 double max_time_in_seconds = 0.0; member
180 int max_time_in_seconds = MaxTimeToPurgeAfterBackgroundedInSeconds(); in GetTimeToPurgeAfterBackgrounded() local
179 int max_time_in_seconds = MaxTimeToPurgeAfterBackgroundedInSeconds(); in GetTimeToPurgeAfterBackgrounded() local
92 DratChecker::Status DratProofHandler::Check(double max_time_in_seconds) { in Check()
313 optional double max_time_in_seconds = 36 [default = inf]; field
1331 double max_time_in_seconds) { in SolveLpAndUseSolutionForSatAssignmentPreference()
56 double max_time_in_seconds = max_time.InSecondsF(); in DoubleToTimeDelta() local
57 55 O -11.254750 -6.437084 3.201603 1 58 59
290 optional double max_time_in_seconds = 26 [default = inf]; field