Method checkGroundBounds

src/engine/Engine.cpp:3479–3492

}

bool Engine::checkGroundBounds() const
{
    ASSERT( _produceUNSATProofs );

    for ( unsigned i = 0; i < _tableau->getN(); ++i )
    {
        if ( FloatUtils::gt( _groundBoundManager.getLowerBound( i ),
                             _boundManager.getLowerBound( i ) ) ||
             FloatUtils::lt( _groundBoundManager.getUpperBound( i ),
                             _boundManager.getUpperBound( i ) ) )
            return false;
    }
    return true;
}

unsigned Engine::explainFailureWithTableau()
{