BDDFactory.MaxUsedBddNodesStats (com.github.javabdd 2.0.0 API)

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

Enclosing class:

BDDFactory
```
public static class BDDFactory.MaxUsedBddNodesStats
extends Object
```
Stores statistics about the maximum BDD nodes usage.

Field Summary

Fields
Modifier and Type Field Description

protected boolean enabled

protected int maxUsedBddNodes

Constructor Summary

Constructors
Modifier Constructor Description

protected MaxUsedBddNodesStats()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`disableMeasurements()`
`void`	`enableMeasurements()`
`int`	`getMaxUsedBddNodes()`
`void`	`newMeasurement(int newUsedBddNodes)`
`void`	`resetMeasurements()`

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

Field Detail

enabled
```
protected boolean enabled
```

maxUsedBddNodes
```
protected int maxUsedBddNodes
```

Constructor Detail
- MaxUsedBddNodesStats
```
protected MaxUsedBddNodesStats()
```

Method Detail

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

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

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

newMeasurement

public void newMeasurement(int newUsedBddNodes)

getMaxUsedBddNodes
```
public int getMaxUsedBddNodes()
```