Each call to Incremental.Make creates shared state used by all the incremental functions.
include sig ... endval sexp_of_t : t -> Sexplib.Sexp.tinvariant checks invariants of all necessary nodes, as well as other data structures used for stabilization.
include Core_kernel.Invariant.S with type t := tval invariant : t -> unitval t : tt is the shared state for this call to Incremental.Make.
val max_height_allowed : t -> intval set_max_height_allowed : t -> int -> unitset_max_height_allowed t height sets the maximum allowed height of nodes. set_max_height_allowed raises if called during stabilization, or if height <
max_height_seen t.
val num_active_observers : t -> intnum_active_observers returns (in constant time) the number of observers that have been created and not yet disallowed (either explicitly or via finalization).
val max_height_seen : t -> intconstant-time stats.
val num_nodes_became_necessary : t -> intval num_nodes_became_unnecessary : t -> intval num_nodes_changed : t -> intval num_nodes_created : t -> intval num_nodes_invalidated : t -> intval num_nodes_recomputed : t -> intval num_nodes_recomputed_directly_because_one_child : t -> intval num_nodes_recomputed_directly_because_min_height : t -> intval num_stabilizes : t -> intval num_var_sets : t -> intval timing_wheel_length : t -> intmodule Stats : sig ... endStats contains information about the DAG intended for human consumption.