| 489 | } |
| 490 | |
| 491 | unsigned BoundManager::getInconsistentVariable() const |
| 492 | { |
| 493 | if ( _consistentBounds ) |
| 494 | return NO_VARIABLE_FOUND; |
| 495 | return _firstInconsistentTightening._variable; |
| 496 | } |
| 497 | |
| 498 | double BoundManager::computeRowBound( const TableauRow &row, const bool isUpper ) const |
| 499 | { |
no outgoing calls
no test coverage detected