| 3327 | } |
| 3328 | |
| 3329 | double Engine::getGroundBound( unsigned var, bool isUpper ) const |
| 3330 | { |
| 3331 | ASSERT( var < _tableau->getN() && _produceUNSATProofs ); |
| 3332 | return isUpper ? _groundBoundManager.getUpperBound( var ) |
| 3333 | : _groundBoundManager.getLowerBound( var ); |
| 3334 | } |
| 3335 | |
| 3336 | bool Engine::shouldProduceProofs() const |
| 3337 | { |
no test coverage detected