Method exportAssignment

src/engine/Marabou.cpp:197–212

}

void Marabou::exportAssignment() const
{
    String assignmentFileName = "assignment.txt";
    AutoFile exportFile( assignmentFileName );
    exportFile->open( IFile::MODE_WRITE_TRUNCATE );

    unsigned numberOfVariables = _inputQuery.getNumberOfVariables();
    // Number of Variables
    exportFile->write( Stringf( "%u\n", numberOfVariables ) );

    // Export each assignment
    for ( unsigned var = 0; var < numberOfVariables; ++var )
        exportFile->write( Stringf( "%u, %f\n", var, _inputQuery.getSolutionValue( var ) ) );

    exportFile->close();
}

void Marabou::solveQuery()
{