DOTGraphInterface::writeToDOTFile

this is the function that can be used to ouput the graph to a DOT file

Synopsis

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

void
writeToDOTFile(std::string filename);

Created with MrDocs