Objects of this class track statistical information about solvers. More...
|Statistical data is organized into pairs of [Key, Entry], where every Entry is either a |
|override string||ToString ()|
|A string representation of the statistical data. |
|Public Member Functions inherited from Z3Object|
|Disposes of the underlying native Z3 object. |
|The number of statistical data. |
|The data entries. |
|The statistical counters. |
|The value of a particular statistical counter. |
Objects of this class track statistical information about solvers.