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

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

Enclosing class:

BDDFactory
```
public static class BDDFactory.ContinuousStats
extends Object
```
Stores continuously statistics about the BDD nodes usage and BDD operations, where BDD operations is a proxy for time.

Field Summary

Fields
Modifier and Type Field Description

protected List<Long> contOperations

protected List<Integer> contUsedBddNodes

protected boolean enabled

Constructor Summary

Constructors
Modifier Constructor Description

protected ContinuousStats()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`disableMeasurements()`
`void`	`enableMeasurements()`
`List<Integer>`	`getNodesStats()`
`List<Long>`	`getOperationsStats()`
`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
```

contUsedBddNodes

protected List<Integer> contUsedBddNodes

contOperations
```
protected List<Long> contOperations
```

Constructor Detail
- ContinuousStats
```
protected ContinuousStats()
```

Method Detail

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

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

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

getNodesStats
```
public List<Integer> getNodesStats()
```

getOperationsStats

public List<Long> getOperationsStats()