module Automaton: Model.AUTOMATON
with module Command = Command
module Owner: sig
.. end
module Location: sig
.. end
module Command: Model.COMMAND
module Transition: sig
.. end
val nb_locations : int
val nb_transitions : int
val nb_owners : int
val iter_locations : (Location.t -> unit) -> unit
val iter_transitions : (Transition.t -> unit) -> unit
val iter_owners : (Owner.t -> unit) -> unit
val fold_locations : (Location.t -> 'a -> 'a) -> 'a -> 'a
val fold_transitions : (Transition.t -> 'a -> 'a) -> 'a -> 'a
val fold_owners : (Owner.t -> 'a -> 'a) -> 'a -> 'a
val iter_out_transitions : (Transition.t -> unit) -> Location.t -> unit
val iter_in_transitions : (Transition.t -> unit) -> Location.t -> unit
val fold_out_transitions : (Transition.t -> 'a -> 'a) ->
Location.t -> 'a -> 'a
val fold_in_transitions : (Transition.t -> 'a -> 'a) ->
Location.t -> 'a -> 'a
val print_automaton : Format.formatter -> unit -> unit