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

Method registerResizeWatcher

src/engine/Tableau.cpp:2161–2164  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2159}
2160
2161void Tableau::registerResizeWatcher( ResizeWatcher *watcher )
2162{
2163 _resizeWatchers.append( watcher );
2164}
2165
2166void Tableau::notifyLowerBound( unsigned variable, double bound )
2167{

Callers 1

initializeTableauMethod · 0.45

Calls 1

appendMethod · 0.45

Tested by

no test coverage detected