Method runSingleSimulation

src/engine/Simulator.cpp:73–112

}

void Simulator::runSingleSimulation()
{
    InputQuery query = _originalQuery;

    List<unsigned> inputs = query.getInputVariables();
    for ( const auto &input : inputs )
    {
        double lb = query.getLowerBound( input );
        double ub = query.getUpperBound( input );

        double factor = ( (double)rand() ) / RAND_MAX;
        double value = lb + factor * ( ub - lb );

        query.setLowerBound( input, value );
        query.setUpperBound( input, value );
    }

    // Propagate the random values through the network using the preprocessor
    Preprocessor preprocessor;

    // If we set elimination to true, the PL constraints will be removed
    query = *( preprocessor.preprocess( query, false ) );

    // Extract the result
    Simulator::Result result;
    for ( unsigned i = 0; i < _originalQuery.getNumberOfVariables(); ++i )
    {
        // Make sure that a value has been calculated for every variable
        ASSERT( !preprocessor.variableIsMerged( i ) );
        if ( !preprocessor.variableIsFixed( i ) )
            throw MarabouError( MarabouError::SIMULATOR_ERROR,
                                "Could not calculate an exact assignment" );

        ASSERT( FloatUtils::areEqual( query.getLowerBound( i ), query.getUpperBound( i ) ) );

        result[i] = query.getLowerBound( i );
    }

    _results.append( result );
}

const List<Simulator::Result> *Simulator::getResults()
{