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. More... | |
![]() | |
void | Dispose () |
Disposes of the underlying native Z3 object. More... | |
Properties | |
uint | Size [get] |
The number of statistical data. More... | |
Entry [] | Entries [get] |
The data entries. More... | |
string [] | Keys [get] |
The statistical counters. More... | |
Entry | this[string key] [get] |
The value of a particular statistical counter. More... | |
Objects of this class track statistical information about solvers.
Definition at line 29 of file Statistics.cs.
|
inline |
A string representation of the statistical data.
Definition at line 107 of file Statistics.cs.
|
get |
The data entries.
Definition at line 124 of file Statistics.cs.
|
get |
The statistical counters.
Definition at line 153 of file Statistics.cs.
|
get |
The number of statistical data.
Definition at line 116 of file Statistics.cs.
|
get |
The value of a particular statistical counter.
Returns null if the key is unknown.
Definition at line 171 of file Statistics.cs.