Method updateBoundExplanation

src/engine/BoundManager.cpp:403–406

}

void BoundManager::updateBoundExplanation( const TableauRow &row, bool isUpper, unsigned var )
{
    _boundExplainer->updateBoundExplanation( row, isUpper, var );
}

void BoundManager::updateBoundExplanationSparse( const SparseUnsortedList &row,
                                                 bool isUpper,