| 483 | } |
| 484 | |
| 485 | void BoundManager::initializeBoundExplainer( unsigned numberOfVariables, unsigned numberOfRows ) |
| 486 | { |
| 487 | if ( _engine->shouldProduceProofs() ) |
| 488 | _boundExplainer = new BoundExplainer( numberOfVariables, numberOfRows, _context ); |
| 489 | } |
| 490 | |
| 491 | unsigned BoundManager::getInconsistentVariable() const |
| 492 | { |
no test coverage detected