Method initializeCDOs

src/engine/PiecewiseLinearConstraint.cpp:75–83

}

void PiecewiseLinearConstraint::initializeCDOs( CVC4::context::Context *context )
{
    ASSERT( _context == nullptr );
    _context = context;

    initializeCDActiveStatus();
    initializeCDPhaseStatus();
    initializeCDInfeasibleCases();
}

void PiecewiseLinearConstraint::initializeCDInfeasibleCases()
{