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

Method getQuitRequested

src/engine/Engine.cpp:2398–2401  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2396}
2397
2398std::atomic_bool *Engine::getQuitRequested()
2399{
2400 return &_quitRequested;
2401}
2402
2403List<unsigned> Engine::getInputVariables() const
2404{

Callers 1

solveMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected