AST_Graph::writeGraphOfMemoryPoolToFile

* The function void AST_Graph::writeGraphOfMemoryPoolToFile(std::string filename,Functional1, bool graphNullPointers); will output a graph of the whole memorypool to a new file called 'filename'. This function does exactly the same asthe function void AST_Graph::writeGraphOfMemoryPoolToFile(std::stringfilename, Functional1, Functional2, bool graphNullPointers); except there isno filter Filter2 so all edges are kept.**

Synopsis

Declared in <src/midend/astDump/astGraph.h>

template<typename Functional1>
[[visibility]]
void
writeGraphOfMemoryPoolToFile(
    std::string filename,
    AST_Graph::pointerHandling graphNullPointers,
    Functional1 addNodeFunctional);

Created with MrDocs