Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
3299
bool Engine::consistentBounds() const
3300
{
3301
return _boundManager.consistentBounds();
3302
}
3303
3304
InputQuery Engine::buildQueryFromCurrentState() const
3305
{
Callers
2
popSplit
Method · 0.45
allBoundsValid
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected