Searched refs:max_solver_time_in_seconds (Results 1 – 7 of 7) sorted by relevance
66 max_solver_time_in_seconds = options.max_solver_time_in_seconds; in Init()121 double max_solver_time_in_seconds; member
224 if (total_solver_time >= options.max_solver_time_in_seconds) { in Minimize()
83 OPTION_GE(max_solver_time_in_seconds, 0.0); in CommonOptionsAreValid()
273 if (total_solver_time >= options_.max_solver_time_in_seconds) { in Minimize()
82 max_solver_time_in_seconds = 1e9; in Options()341 double max_solver_time_in_seconds; member
231 options->max_solver_time_in_seconds = FLAGS_max_solver_time; in SetMinimizerOptions()
1053 .. member:: double Solver::Options::max_solver_time_in_seconds