Method getUpperBoundFromLayer

src/nlr/DeepPolyElement.cpp:101–105

}

double DeepPolyElement::getUpperBoundFromLayer( unsigned index ) const
{
    ASSERT( index < getSize() );
    return _layer->getUb( index );
}

void DeepPolyElement::getConcreteBounds()
{