Objects of this class track statistical information about solvers. More...

Inheritance diagram for Statistics:

Data Structures
class	DecRefQueue
class	Entry
	Statistical data is organized into pairs of [Key, Entry], where every Entry is either a `DoubleEntry` or a `UIntEntry` More...
Public Member Functions
override string	ToString ()
	A string representation of the statistical data.
Properties
uint	Size `[get]`
	The number of statistical data.
Entry[]	Entries `[get]`
	The data entries.
string[]	Keys `[get]`
	The statistical counters.
Entry	this[string key] `[get]`
	The value of a particular statistical counter.

Detailed Description

Objects of this class track statistical information about solvers.

Definition at line 29 of file Statistics.cs.

Member Function Documentation

override string ToString ( ) [inline]

A string representation of the statistical data.

Definition at line 107 of file Statistics.cs.

        {
            return Native.Z3_stats_to_string(Context.nCtx, NativeObject);
        }

The data entries.

Definition at line 124 of file Statistics.cs.

string [] Keys [get]

The statistical counters.

Definition at line 153 of file Statistics.cs.

uint Size [get]

The number of statistical data.

Definition at line 116 of file Statistics.cs.

Entry this[string key] [get]

The value of a particular statistical counter.

Returns null if the key is unknown.

Definition at line 171 of file Statistics.cs.