-- LTS graph printing function to DOT format

printDOT :: [Node] -> String
printDOT nl = "digraph G {\n\t rankdir=TB;\n" 
	++ dumpDOTNodes nl ++ dumpDOTtrans nl ++ "}\n"

dumpDOTNodes :: [Node] -> String
dumpDOTNodes [] = []
