let dot_trans out tr =
let print_label fmt tr =
if DotSeparatedLabels.get () then
Format.pp_print_int fmt tr.numt
else print_trans fmt tr
in
Format.fprintf
out
"\"%a\"@ ->@ \"%a\"@ [label = @[\"%a\"@]];@\n"
print_state_label tr.start
print_state_label tr.stop
print_label tr