| 312 | } |
| 313 | |
| 314 | void BoundExplainer::resetExplanation( unsigned var, bool isUpper ) |
| 315 | { |
| 316 | ASSERT( var < _numberOfVariables ); |
| 317 | isUpper ? _upperBoundExplanations[var]->set( SparseUnsortedList() ) |
| 318 | : _lowerBoundExplanations[var]->set( SparseUnsortedList() ); |
| 319 | |
| 320 | isUpper ? _trivialUpperBoundExplanation[var]->set( true ) |
| 321 | : _trivialLowerBoundExplanation[var]->set( true ); |
| 322 | } |
| 323 | |
| 324 | void BoundExplainer::setExplanation( const Vector<double> &explanation, unsigned var, bool isUpper ) |
| 325 | { |