about summary refs log tree commit diff
path: root/src/dotgraph.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-09-03T11·20+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-09-03T11·20+0000
commitc0bbed0959665bc51909b285654db2a3cf120502 (patch)
tree3ee84c43b309f6c81c2f27cd07518ac451d82266 /src/dotgraph.hh
parent0d2bc686817306502b71f5ca2cd49cb1d501247c (diff)
* Factored out dot graph generation into a separate file.
Diffstat (limited to 'src/dotgraph.hh')
-rw-r--r--src/dotgraph.hh8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/dotgraph.hh b/src/dotgraph.hh
new file mode 100644
index 000000000000..d88e04e09794
--- /dev/null
+++ b/src/dotgraph.hh
@@ -0,0 +1,8 @@
+#ifndef __DOTGRAPH_H
+#define __DOTGRAPH_H
+
+#include "fstate.hh"
+
+void printDotGraph(const FSIds & roots);
+
+#endif /* !__DOTGRAPH_H */