Method storeOriginalQuery

src/engine/Simulator.cpp:48–71

}

void Simulator::storeOriginalQuery( const InputQuery &inputQuery )
{
    _originalQuery = inputQuery;

    for ( const auto &plConstraint : _originalQuery.getPiecewiseLinearConstraints() )
    {
        List<unsigned> variables = plConstraint->getParticipatingVariables();
        for ( unsigned variable : variables )
        {
            plConstraint->notifyLowerBound( variable, _originalQuery.getLowerBound( variable ) );
            plConstraint->notifyUpperBound( variable, _originalQuery.getUpperBound( variable ) );
        }
    }

    _originalQuery = *( Preprocessor().preprocess( _originalQuery, false ) );

    if ( _originalQuery.countInfiniteBounds() != 0 )
        throw MarabouError( MarabouError::SIMULATOR_ERROR,
                            "Preprocessed query has infinite bounds" );

    if ( _originalQuery.getNumInputVariables() == 0 )
        throw MarabouError( MarabouError::SIMULATOR_ERROR,
                            "Preprocessed query has no input variables" );
}

void Simulator::runSingleSimulation()
{