let dot_trans out tr =
fprintf
out
" \"%s\" -> \"%s\" [ label = \"%s\"];\n"
(string_of_state tr.start)
(string_of_state tr.stop)
(if DotSeparatedLabels.get() then
trans_label tr.numt
else string_of_trans tr.numt tr.cross)