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

Method getBoundExplainer

src/engine/Engine.cpp:3761–3764  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

3759}
3760
3761const BoundExplainer *Engine::getBoundExplainer() const
3762{
3763 return _boundManager.getBoundExplainer();
3764}
3765
3766void Engine::setBoundExplainerContent( BoundExplainer *boundExplainer )
3767{

Callers 7

createActiveTighteningRowMethod · 0.45
createInactiveTighteningRowMethod · 0.45
createElementTighteningRowMethod · 0.45
createTighteningRowMethod · 0.45
restorePrecisionMethod · 0.45
createPosTighteningRowMethod · 0.45
createNegTighteningRowMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected