Module type State_dependency_graph.S

module type S = sig .. end

Signature of a State Dependency Graph. It is compatible with the signature of OcamlGraph imperative graph Graph.Sig.I.

module G: Graph.Sig.G  with type V.t = State.t
                         and type E.t = State.t * State.t

val graph : G.t

val add_dependencies : from:State.t -> State.t list -> unit

Add an edge in graph from the state from to each state of the list.

val add_codependencies : onto:State.t -> State.t list -> unit

Add an edge in graph from each state of the list to the state onto.

val remove_dependencies : from:State.t -> State.t list -> unit

Remove an edge in graph from the given state to each state of the list.

val remove_codependencies : onto:State.t -> State.t list -> unit

Remove an edge in graph from each state of the list to the state onto.