void writeGraphviz(std::ostream& out, const NFA& graph) { out << "digraph G {\n rankdir=LR;\n ranksep=equally;\n node [shape=\"circle\"];" << std::endl; for (const NFA::VertexDescriptor v : graph.vertices()) { writeVertex(out, v, graph); } for (const NFA::VertexDescriptor head : graph.vertices()) { for (uint32_t j = 0; j < graph.outDegree(head); ++j) { writeEdge(out, head, graph.outVertex(head, j), j, graph); } } out << "}" << std::endl; }