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

Method setBoundExplainerContent

src/engine/Engine.cpp:3766–3769  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

3764}
3765
3766void Engine::setBoundExplainerContent( BoundExplainer *boundExplainer )
3767{
3768 _boundManager.copyBoundExplainerContent( boundExplainer );
3769}
3770
3771void Engine::propagateBoundManagerTightenings()
3772{

Callers 1

restorePrecisionMethod · 0.45

Calls 1

copyBoundExplainerContentMethod · 0.45

Tested by

no test coverage detected