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

Method storeSmtState

src/engine/Engine.cpp:2935–2938  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2933}
2934
2935void Engine::storeSmtState( SmtState &smtState )
2936{
2937 _smtCore.storeSmtState( smtState );
2938}
2939
2940bool Engine::solveWithMILPEncoding( double timeoutInSeconds )
2941{

Callers 1

popOneSubQueryAndSolveMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected