diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-09-03 11:20:18 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-09-03 11:20:18 +0000 |
| commit | c0bbed0959665bc51909b285654db2a3cf120502 (patch) | |
| tree | 3ee84c43b309f6c81c2f27cd07518ac451d82266 /src/dotgraph.hh | |
| parent | 0d2bc686817306502b71f5ca2cd49cb1d501247c (diff) | |
* Factored out dot graph generation into a separate file.
Diffstat (limited to 'src/dotgraph.hh')
| -rw-r--r-- | src/dotgraph.hh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/dotgraph.hh b/src/dotgraph.hh new file mode 100644 index 000000000..d88e04e09 --- /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 */ |