| 28 | using namespace CVC4::context; |
| 29 | |
| 30 | CDSmtCore::CDSmtCore( IEngine *engine, Context &ctx ) |
| 31 | : _statistics( NULL ) |
| 32 | , _context( ctx ) |
| 33 | , _trail( &_context ) |
| 34 | , _decisions( &_context ) |
| 35 | , _engine( engine ) |
| 36 | , _needToSplit( false ) |
| 37 | , _constraintForSplitting( NULL ) |
| 38 | , _constraintViolationThreshold( Options::CONSTRAINT_VIOLATION_THRESHOLD ) |
| 39 | , _deepSoIRejectionThreshold( Options::get()->getInt( Options::DEEP_SOI_REJECTION_THRESHOLD ) ) |
| 40 | , _branchingHeuristic( Options::get()->getDivideStrategy() ) |
| 41 | , _scoreTracker( nullptr ) |
| 42 | , _numRejectedPhasePatternProposal( 0 ) |
| 43 | { |
| 44 | } |
| 45 | |
| 46 | CDSmtCore::~CDSmtCore() |
| 47 | { |
nothing calls this directly
no test coverage detected