BDDFactory.CacheStats (com.github.javabdd 3.0.0 API)

java.lang.Object
- com.github.javabdd.BDDFactory.CacheStats

Enclosing class:

BDDFactory
```
public static class BDDFactory.CacheStats
extends Object
```
Stores statistics about the operator cache.

Field Summary

Fields
Modifier and Type	Field	Description
`protected boolean`	`enabled`
`long`	`opAccess`
`long`	`opHit`
`long`	`opMiss`
`long`	`swapCount`
`long`	`uniqueAccess`
`long`	`uniqueChain`
`long`	`uniqueHit`
`long`	`uniqueMiss`

Constructor Summary

Constructors
Modifier Constructor Description

protected CacheStats()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`disableMeasurements()`
`void`	`enableMeasurements()`
`void`	`resetMeasurements()`
`String`	`toString()`

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

Field Detail

enabled
```
protected boolean enabled
```

uniqueAccess
```
public long uniqueAccess
```

uniqueChain
```
public long uniqueChain
```

uniqueHit
```
public long uniqueHit
```

uniqueMiss
```
public long uniqueMiss
```

opAccess
```
public long opAccess
```

opHit
```
public long opHit
```

opMiss
```
public long opMiss
```

swapCount
```
public long swapCount
```

Constructor Detail
- CacheStats
```
protected CacheStats()
```

Method Detail

enableMeasurements
```
public void enableMeasurements()
```

disableMeasurements
```
public void disableMeasurements()
```

resetMeasurements
```
public void resetMeasurements()
```

toString
```
public String toString()
```
Overrides:

toString in class Object