#ifndef __DOTGRAPH_H
#define __DOTGRAPH_H

#include "fstate.hh"

void printDotGraph(const FSIds & roots);

#endif /* !__DOTGRAPH_H */