Objects of this class track statistical information about solvers. More...
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. |
Objects of this class track statistical information about solvers.
Definition at line 29 of file Statistics.cs.
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.