Functor Project.Computation.Dynamic


module Dynamic: 
functor (Local : sig
val restore : Project.t -> Project.project -> unit
How to restore a just-unmarshaled state kind. This function must return a closure which clears the state in the given project.
end) ->
functor (Info : INFO) -> sig .. end
Generate a fresh dynamic state dependency graph.
Since Boron-20100401
Parameters:
Local : sig val restore: t -> (project -> unit) (** How to restore a just-unmarshaled state kind. This function must return a closure which clears the state in the given project. *) end
Info : INFO

val add_dependency : Project.t -> Project.t -> unit
add_dependency k1 k2 indicates that the state k1 depends on the state kind k2 in the underlying dynamic graph, that is an action of the state kind k2 must be done before one of the state kind k1.
Since Boron-20100401
val remove_computation : reset:bool -> Project.t -> unit
Remove a state kind from the underlying dynamic graph. reset must be true iff the dependencies of this state kind must be cleared.
Since Boron-20100401
val self : Project.t
The state kind corresponding to the dynamic graph itself.
Since Boron-20100401
module Register: 
functor (State : sig
val clear : Project.project -> unit
end) ->
Register a new kind in the underlying dynamic graph.