Method copyBoundExplainerContent

src/engine/BoundManager.cpp:398–401

}

void BoundManager::copyBoundExplainerContent( const BoundExplainer *boundsExplainer )
{
    *_boundExplainer = *boundsExplainer;
}

void BoundManager::updateBoundExplanation( const TableauRow &row, bool isUpper, unsigned var )
{