Module Model.AUTOMATON.Transition


module Transition: sig .. end

include Print.PRINTABLE_TYPE
val owner : t -> Model.AUTOMATON.Owner.t
val is_controllable : t -> bool
val source : t -> Model.AUTOMATON.Location.t
val target : t -> Model.AUTOMATON.Location.t
val command : t -> Command.t