Module Z3.Statistics

module Statistics: sig .. end

Objects that track statistical information.

type statistics

module Entry: sig .. end

Statistical data is organized into pairs of [Key, Entry], where every Entry is either a floating point or integer value.

val to_string : statistics -> string

A string representation of the statistical data.

val get_size : statistics -> int

The number of statistical data.

val get_entries : statistics -> Entry.statistics_entry list

The data entries.

val get_keys : statistics -> string list

The statistical counters.

val get : statistics ->
       string -> Entry.statistics_entry option

The value of a particular statistical counter.

val get_estimated_alloc_size : unit -> int64

The estimated allocated memory in bytes.