GraphDotOutput::writeToDOTFile

Synopsis

Declared in <graphs/GraphDotOutput.h>

void
writeToDOTFile(
    std::string const& filename,
    std::string const& graphname);

Created with MrDocs