Module Heap.Recency

Abstraction of the heap

module Pool : sig ... end
type MopsaLib.query +=
  1. | Q_alive_addresses : ('a0, MopsaLib.addr list) MopsaLib.query
  2. | Q_alive_addresses_aspset : ('a1, Pool.t) MopsaLib.query
  3. | Q_allocated_addresses_aspset : ('a2, Pool.t) MopsaLib.query
val name : string
val opt_default_allocation_policy : string ref
val gc_time : float ref
val gc_nb_collections : int ref
val gc_nb_addr_collected : int ref
val gc_max_heap_size : int ref

Domain definition

type MopsaLib.stmt_kind +=
  1. | S_perform_gc
module Domain : sig ... end

Domain header