let dot_state out st =
let shape =
if st.init = Bool3.True && st.acceptation=Bool3.True then "doubleoctagon"
else if st.acceptation=Bool3.True then "octagon"
else if st.init=Bool3.True then "doublecircle"
else "circle"
in
Format.fprintf out "\"%a\" [shape = %s];@\n" print_state_label st shape