Method clearBounds

src/engine/InputQuery.cpp:425–429

}

void InputQuery::clearBounds()
{
    _lowerBounds.clear();
    _upperBounds.clear();
}

void InputQuery::storeDebuggingSolution( unsigned variable, double value )
{