Method getUpperBound

src/engine/InputQuery.cpp:116–131

}

double InputQuery::getUpperBound( unsigned variable ) const
{
    if ( variable >= _numberOfVariables )
    {
        throw MarabouError( MarabouError::VARIABLE_INDEX_OUT_OF_RANGE,
                            Stringf( "Variable = %u, number of variables = %u (getUpperBound)",
                                     variable,
                                     _numberOfVariables )
                                .ascii() );
    }

    if ( !_upperBounds.exists( variable ) )
        return FloatUtils::infinity();

    return _upperBounds.get( variable );
}

List<Equation> &InputQuery::getEquations()
{