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

Method registerToWatchAllVariables

src/engine/Tableau.cpp:2156–2159  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2154}
2155
2156void Tableau::registerToWatchAllVariables( VariableWatcher *watcher )
2157{
2158 _globalWatchers.append( watcher );
2159}
2160
2161void Tableau::registerResizeWatcher( ResizeWatcher *watcher )
2162{

Callers 1

initializeTableauMethod · 0.45

Calls 1

appendMethod · 0.45

Tested by

no test coverage detected