Package com.github.javabdd

Class BDDFactory.MaxMemoryStats

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

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 Details

enabled

protected boolean enabled

maxMemoryBytes

protected long maxMemoryBytes

Constructor Details

MaxMemoryStats

protected MaxMemoryStats()

Method Details

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