Method updateGroundUpperBound

src/engine/Engine.cpp:3315–3320

}

void Engine::updateGroundUpperBound( const unsigned var, const double value )
{
    ASSERT( var < _tableau->getN() && _produceUNSATProofs );
    if ( FloatUtils::lt( value, _groundBoundManager.getUpperBound( var ) ) )
        _groundBoundManager.setUpperBound( var, value );
}

void Engine::updateGroundLowerBound( const unsigned var, const double value )
{