| 29 | #include "UnsatCertificateNode.h" |
| 30 | |
| 31 | SmtCore::SmtCore( IEngine *engine ) |
| 32 | : _statistics( NULL ) |
| 33 | , _engine( engine ) |
| 34 | , _context( _engine->getContext() ) |
| 35 | , _needToSplit( false ) |
| 36 | , _constraintForSplitting( NULL ) |
| 37 | , _stateId( 0 ) |
| 38 | , _constraintViolationThreshold( |
| 39 | Options::get()->getInt( Options::CONSTRAINT_VIOLATION_THRESHOLD ) ) |
| 40 | , _deepSoIRejectionThreshold( Options::get()->getInt( Options::DEEP_SOI_REJECTION_THRESHOLD ) ) |
| 41 | , _branchingHeuristic( Options::get()->getDivideStrategy() ) |
| 42 | , _scoreTracker( nullptr ) |
| 43 | , _numRejectedPhasePatternProposal( 0 ) |
| 44 | { |
| 45 | } |
| 46 | |
| 47 | SmtCore::~SmtCore() |
| 48 | { |
nothing calls this directly
no test coverage detected