Method setUpperBound

src/engine/InputQuery.cpp:70–82

}

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

    _upperBounds[variable] = bound;
}

void InputQuery::addEquation( const Equation &equation )
{