| 24 | #include "UnsatCertificateNode.h" |
| 25 | |
| 26 | void PrecisionRestorer::storeInitialEngineState( const IEngine &engine ) |
| 27 | { |
| 28 | engine.storeState( _initialEngineState, TableauStateStorageLevel::STORE_ENTIRE_TABLEAU_STATE ); |
| 29 | } |
| 30 | |
| 31 | void PrecisionRestorer::restoreInitialEngineState( IEngine &engine ) |
| 32 | { |
nothing calls this directly
no test coverage detected