Module Z3.Statistics.Entry

module Entry: sig .. end

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

type statistics_entry

val get_key : statistics_entry -> string

The key of the entry.

val get_int : statistics_entry -> int

The int-value of the entry.

val get_float : statistics_entry -> float

The float-value of the entry.

val is_int : statistics_entry -> bool

True if the entry is uint-valued.

val is_float : statistics_entry -> bool

True if the entry is float-valued.

val to_string_value : statistics_entry -> string

The string representation of the entry's value.

val to_string : statistics_entry -> string

The string representation of the entry (key and value)