Method processGraph

src/input_parsers/OnnxParser.cpp:759–767

* @brief Processes the graph, adding all the generated constraints to the query. * Unlike the Python implementation, at the moment assumes there is only a single output. * * @param inputNames The names of the input nodes to start at. * @param terminalNames The names of the output node to end at. * @param query The query in which to store the generated constraints. */

 * @param query The query in which to store the generated constraints.
 */
void OnnxParser::processGraph()
{
    initializeShapeAndConstantMaps();
    for ( String terminalName : _terminalNames )
    {
        processNode( terminalName, true );
    }
    validateAllInputsAndOutputsFound();
}

/**
 * @brief Recursively processes the structure of the graph, adding the relevant