Skip to content

HOA output with implicit edges

Add a option ('i' for implicit) to hoa_reachable so that --hoa=i uses implicit edges if the automaton is deterministic and complete.