2003-09-03 13:20:18 +02:00
|
|
|
#ifndef __DOTGRAPH_H
|
|
|
|
#define __DOTGRAPH_H
|
|
|
|
|
2003-11-18 12:22:29 +01:00
|
|
|
#include "storeexpr.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 */
|