Statistics (Java Bindings for Z3)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.Statistics

```
public class Statistics
extends Z3Object
```
Objects of this class track statistical information about solvers.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`class`	`Statistics.Entry`	Statistical data is organized into pairs of [Key, Entry], where every Entry is either a `DoubleEntry` or a `UIntEntry`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Statistics.Entry`	`get(String key)`	The value of a particular statistical counter.
`Statistics.Entry[]`	`getEntries()`	The data entries.
`String[]`	`getKeys()`	The statistical counters.
`int`	`size()`	The number of statistical data.
`String`	`toString()`	A string representation of the statistical data.

Methods inherited from class com.microsoft.z3.Z3Object
arrayLength, arrayToNative

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Method Detail
  - toString
```
public String toString()
```
    A string representation of the statistical data.
    
    Overrides:
    
    toString in class Object
  - size
```
public int size()
```
    The number of statistical data.
  - getEntries
```
public Statistics.Entry[] getEntries()
```
    The data entries.
    
    Throws:
    
    Z3Exception
  - getKeys
```
public String[] getKeys()
```
    The statistical counters.
  - get
```
public Statistics.Entry get(String key)
```
    The value of a particular statistical counter. Remarks: Returns null if the key is unknown.
    
    Throws:
    
    Z3Exception