Method buildQueryFromCurrentState

src/engine/Engine.cpp:3304–3313

}

InputQuery Engine::buildQueryFromCurrentState() const
{
    InputQuery query = *_preprocessedQuery;
    for ( unsigned i = 0; i < query.getNumberOfVariables(); ++i )
    {
        query.setLowerBound( i, _tableau->getLowerBound( i ) );
        query.setUpperBound( i, _tableau->getUpperBound( i ) );
    }
    return query;
}

void Engine::updateGroundUpperBound( const unsigned var, const double value )
{