class do_it_cached : Kernel_function.t list ->
object
.. end
Class that implements a cached version of the above analysis.
Recursion in the dynamic call graphs are handled, provided the value
analysis terminated without detecting a real recursion
Inherits
val mutable cycle : Kernel_function.Hptset.t
method private add_cycle : Kernel_function.Hptset.t -> unit
method cycle : Kernel_function.Hptset.t
Internal methods that gives the functions for which a cycle
has been detected in the dynamic call-graph. Results cannot
be safely memoized if this set is not empty
method private compute_kf_with_def : Kernel_function.t -> Memo.data
method private compute_kf_with_spec_generic : Memo.key -> Memo.data
method compute_kf : Memo.key -> Memo.data
Memoized version of the analysis of a kernel-function