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. More...|
|Public Member Functions inherited from Z3Object|
|Disposes of the underlying native Z3 object. More...|
|The number of statistical data. More...|
|The data entries. More...|
|The statistical counters. More...|
|The value of a particular statistical counter. More...|
Objects of this class track statistical information about solvers.