On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package incr_map
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
State
Each call to Incremental.Make creates shared state used by all the incremental functions.
val sexp_of_t : t -> Ppx_sexp_conv_lib.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 := t
val 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 -> intmodule Stats : sig ... endStats contains information about the DAG intended for human consumption.
On This Page