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

Method getStatistics

src/engine/Engine.cpp:2344–2347  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2342}
2343
2344const Statistics *Engine::getStatistics() const
2345{
2346 return &_statistics;
2347}
2348
2349InputQuery *Engine::getInputQuery()
2350{

Callers 3

solveFunction · 0.80
calculateBoundsFunction · 0.80
displayResultsMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected