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

Method consistentBounds

src/engine/Engine.cpp:3299–3302  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

3297}
3298
3299bool Engine::consistentBounds() const
3300{
3301 return _boundManager.consistentBounds();
3302}
3303
3304InputQuery Engine::buildQueryFromCurrentState() const
3305{

Callers 2

popSplitMethod · 0.45
allBoundsValidMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected