2003-09-03 13:20:18 +02:00
|
|
|
#ifndef __DOTGRAPH_H
|
|
|
|
#define __DOTGRAPH_H
|
|
|
|
|
2005-01-19 17:39:47 +01:00
|
|
|
#include "util.hh"
|
2003-09-03 13:20:18 +02:00
|
|
|
|
2003-10-08 17:06:59 +02:00
|
|
|
void printDotGraph(const PathSet & roots);
|
2003-09-03 13:20:18 +02:00
|
|
|
|
|
|
|
#endif /* !__DOTGRAPH_H */
|