BDDFactory.MaxMemoryStats (JavaBDD 5.0.0 API)

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

Enclosing class:

BDDFactory
```
public static class BDDFactory.MaxMemoryStats
extends Object
```
Stores statistics about the maximum memory usage. The data is obtained through best effort, and may not be entirely accurate.

Field Summary

Fields
Modifier and Type Field Description

protected boolean enabled

protected long maxMemoryBytes

Constructor Summary

Constructors
Modifier Constructor Description

protected MaxMemoryStats()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`disableMeasurements()`
`void`	`enableMeasurements()`
`long`	`getMaxMemoryBytes()`
`void`	`newMeasurement()`
`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
```

maxMemoryBytes
```
protected long maxMemoryBytes
```

Constructor Detail
- MaxMemoryStats
```
protected MaxMemoryStats()
```

Method Detail

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

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

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

newMeasurement
```
public void newMeasurement()
```

getMaxMemoryBytes
```
public long getMaxMemoryBytes()
```

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

toString in class Object