Method applyTrailEntry

src/engine/CDSmtCore.cpp:127–137

}

void CDSmtCore::applyTrailEntry( TrailEntry &te, bool isDecision )
{
    if ( isDecision )
    {
        _context.push();
        _decisions.push_back( te );
    }

    _trail.push_back( te );
    _engine->applySplit( te.getPiecewiseLinearCaseSplit() );
}

void CDSmtCore::decide()
{