24 if (dotFileName !=
"")
31 std::ofstream ofs(dotFileName.c_str(), std::ofstream::binary);
43 const std::map<std::string,std::string>& nodeDotOptions,
44 const std::map<std::string,std::string>& edgeDotOptions)
46 m_graphDotOptions = graphDotOptions;
47 m_nodeDotOptions = nodeDotOptions;
48 m_edgeDotOptions = edgeDotOptions;
void setOptions(const std::map< std::string, std::string > &graphDotOptions, const std::map< std::string, std::string > &nodeDotOptions, const std::map< std::string, std::string > &edgeDotOptions)
void writeToDotFile(const std::string &dotFileName, std::deque< std::string > vertexDisplay=std::deque< std::string >())