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

Method clearSolverQueue

src/nlr/ParallelSolver.cpp:29–35  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

27namespace NLR {
28
29void ParallelSolver::clearSolverQueue( SolverQueue &freeSolvers )
30{
31 // Remove the solvers
32 GurobiWrapper *freeSolver;
33 while ( freeSolvers.pop( freeSolver ) )
34 delete freeSolver;
35}
36
37void ParallelSolver::enqueueSolver( SolverQueue &solvers, GurobiWrapper *solver )
38{

Callers 1

Calls 1

popMethod · 0.45

Tested by 1