Uses of Class
com.github.javabdd.BDDFactory.MaxMemoryStats

Uses of BDDFactory.MaxMemoryStats in com.github.javabdd

Fields in com.github.javabdd declared as BDDFactory.MaxMemoryStats

Modifier and Type	Field	Description
protected BDDFactory.MaxMemoryStats	BDDFactory.maxmemorystats	Singleton object for maximum memory usage statistics.

Methods in com.github.javabdd that return BDDFactory.MaxMemoryStats

Modifier and Type	Method	Description
BDDFactory.MaxMemoryStats	BDDFactory.getMaxMemoryStats()	Return the current maximum memory usage statistics for this BDD factory.

Methods in com.github.javabdd with parameters of type BDDFactory.MaxMemoryStats

Modifier and Type	Method	Description
static void	BDDFactory.defaultMaxMemoryStatsCallback(BDDFactory.MaxMemoryStats stats)	Default maximum memory usage statistics callback.
void	BDDFactory.MaxMemoryStatsCallback.maxMemory(BDDFactory.MaxMemoryStats stats)	Maximum memory usage statistics callback.