Searched refs:coreSolverTimeout (Results 1 – 2 of 2) sorted by relevance
201 time::Span coreSolverTimeout; variable
467 coreSolverTimeout = time::Span{MaxCoreSolverTime};468 if (coreSolverTimeout) UseForkedCoreSolver = true;996 time::Span timeout = coreSolverTimeout;1249 solver->setTimeout(coreSolverTimeout);4090 solver->setTimeout(coreSolverTimeout);4109 solver->setTimeout(coreSolverTimeout);4147 solver->setTimeout(coreSolverTimeout);4149 0, coreSolverTimeout);4427 solver->setTimeout(coreSolverTimeout);