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

Method consistentBounds

src/engine/BoundManager.cpp:287–290  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

285}
286
287bool BoundManager::consistentBounds() const
288{
289 return _consistentBounds;
290}
291
292bool BoundManager::consistentBounds( unsigned variable ) const
293{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected