| 3320 | } |
| 3321 | |
| 3322 | void Engine::updateGroundLowerBound( const unsigned var, const double value ) |
| 3323 | { |
| 3324 | ASSERT( var < _tableau->getN() && _produceUNSATProofs ); |
| 3325 | if ( FloatUtils::gt( value, _groundBoundManager.getLowerBound( var ) ) ) |
| 3326 | _groundBoundManager.setLowerBound( var, value ); |
| 3327 | } |
| 3328 | |
| 3329 | double Engine::getGroundBound( unsigned var, bool isUpper ) const |
| 3330 | { |
no test coverage detected