To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Library
Module
Module type
Parameter
Class
Class type
A State.t
holds shared state used by all the incremental functions.
val sexp_of_t : ('w -> Sexplib0.Sexp.t) -> 'w t -> Sexplib0.Sexp.t
module type S = sig ... end
val create : ?max_height_allowed:int -> unit -> (module S)
val keep_node_creation_backtrace : _ t -> bool
If keep_node_creation_backtrace
, then whenever a new node is created, incremental will call Backtrace.get
and store the result in the node. The backtrace will then appear in subsequent error messages when the node is pretty printed.
val set_keep_node_creation_backtrace : _ t -> bool -> unit
val max_height_allowed : _ t -> int
val set_max_height_allowed : _ t -> int -> unit
set_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 -> int
num_active_observers
returns (in constant time) the number of observers that have been created and not yet disallowed (either explicitly or via finalization).
constant-time stats
These are counters that are constant time to read, and that are automatically updated in the ordinary course.
val max_height_seen : _ t -> int
val num_nodes_became_necessary : _ t -> int
val num_nodes_became_unnecessary : _ t -> int
val num_nodes_changed : _ t -> int
Number of times a node has seen its value changed, the determination of which depends on the choice of cutoff.
val num_nodes_created : _ t -> int
val num_nodes_invalidated : _ t -> int
val num_nodes_recomputed : _ t -> int
val num_nodes_recomputed_directly_because_one_child : _ t -> int
val num_nodes_recomputed_directly_because_min_height : _ t -> int
val num_stabilizes : _ t -> int
val num_var_sets : _ t -> int
module Stats : sig ... end
Stats
contains information about the DAG intended for human consumption.