Method importDebuggingSolution

src/engine/Marabou.cpp:159–195

}

void Marabou::importDebuggingSolution()
{
    String fileName = Options::get()->getString( Options::IMPORT_ASSIGNMENT_FILE_PATH );
    AutoFile input( fileName );

    if ( !IFile::exists( fileName ) )
    {
        throw MarabouError( MarabouError::FILE_DOES_NOT_EXIST,
                            Stringf( "File %s not found.\n", fileName.ascii() ).ascii() );
    }

    input->open( IFile::MODE_READ );

    unsigned numVars = atoi( input->readLine().trim().ascii() );
    ASSERT( numVars == _inputQuery.getNumberOfVariables() );

    unsigned var;
    double value;
    String line;

    // Import each assignment
    for ( unsigned i = 0; i < numVars; ++i )
    {
        line = input->readLine();
        List<String> tokens = line.tokenize( "," );
        auto it = tokens.begin();
        var = atoi( it->ascii() );
        ASSERT( var == i );
        it++;
        value = atof( it->ascii() );
        it++;
        ASSERT( it == tokens.end() );
        _inputQuery.storeDebuggingSolution( var, value );
    }

    input->close();
}

void Marabou::exportAssignment() const
{