MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / enqueueSolver

Method enqueueSolver

src/nlr/ParallelSolver.cpp:37–43  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

35}
36
37void ParallelSolver::enqueueSolver( SolverQueue &solvers, GurobiWrapper *solver )
38{
39 if ( !solvers.push( solver ) )
40 {
41 ASSERT( false );
42 }
43}
44
45} // namespace NLR

Callers 2

test_enqueueSolverMethod · 0.80

Calls 1

pushMethod · 0.45

Tested by 2

test_enqueueSolverMethod · 0.64