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

Method timeout

src/common/Statistics.cpp:443–446  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

441}
442
443void Statistics::timeout()
444{
445 _timedOut = true;
446}
447
448bool Statistics::hasTimedOut() const
449{

Callers 9

solveFunction · 0.45
solveMethod · 0.45
solveWithMILPEncodingMethod · 0.45
optimizeWithGurobiMethod · 0.45
tightenUpperBoundMethod · 0.45
tightenLowerBoundMethod · 0.45
optimizeWithGurobiMethod · 0.45
optimizeWithGurobiMethod · 0.45
optimizeBoundsWithIncrementalLpRelaxationMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected