Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type state = State.t
type label = TransLabel.t
module Repr : sig ... end
type t = Repr.t
module State : sig ... end
module Label : sig ... end
module States : sig ... end
val transitions : t -> transition list
val itransitions : t -> itransition list
val string_of_state : state -> string
val string_of_label : label -> string
val string_of_transition : transition -> string
val is_transition : t -> transition -> bool
val empty : t
exception Invalid_state of state
val iter_transitions : (transition -> unit) -> t -> unit
val fold_transitions : (transition -> 'a -> 'a) -> t -> 'a -> 'a
val iter_itransitions : (itransition -> unit) -> t -> unit
val fold_itransitions : (itransition -> 'a -> 'a) -> t -> 'a -> 'a
val dot_output :
string ->
?fname:string ->
?options:Utils.Dot.graph_style list ->
?marked_states:(state * Utils.Dot.node_style) list ->
?extra_nodes:(string * Utils.Dot.node_style) list ->
?implicit_transitions:transition list ->
t ->
unit
val dot_output_oc :
string ->
Stdlib.out_channel ->
?options:Utils.Dot.graph_style list ->
?marked_states:(state * Utils.Dot.node_style) list ->
?extra_nodes:(string * Utils.Dot.node_style) list ->
?implicit_transitions:transition list ->
t ->
unit
val dot_output_execs :
string ->
?fname:string ->
?options:Utils.Dot.graph_style list ->
int ->
t ->
unit