Function createInputQuery

maraboupy/MarabouCore.cpp:208–241

}

bool createInputQuery( InputQuery &inputQuery,
                       std::string networkFilePath,
                       std::string propertyFilePath )
{
    try
    {
        AcasParser *acasParser = new AcasParser( String( networkFilePath ) );
        acasParser->generateQuery( inputQuery );

        String propertyFilePathM = String( propertyFilePath );
        if ( propertyFilePath != "" )
        {
            printf( "Property: %s\n", propertyFilePathM.ascii() );
            if ( propertyFilePathM.endsWith( ".vnnlib" ) )
            {
                VnnLibParser().parse( propertyFilePathM, inputQuery );
            }
            else
            {
                PropertyParser().parse( propertyFilePathM, inputQuery );
            }
        }
        else
            printf( "Property: None\n" );
    }
    catch ( const InputParserError &e )
    {
        printf( "Caught an InputParserError. Code: %u. Message: %s\n",
                e.getCode(),
                e.getUserMessage() );
        return false;
    }
    return true;
}

void addDisjunctionConstraint( InputQuery &ipq, const std::list<std::list<Equation>> &disjuncts )
{