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

Method getPreprocessor

src/engine/Engine.cpp:3004–3007  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

3002}
3003
3004Preprocessor *Engine::getPreprocessor()
3005{
3006 return &_preprocessor;
3007}
3008
3009bool Engine::performDeepSoILocalSearch()
3010{

Callers 1

extractSolutionMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected