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
.