Uses of Interface
com.github.javabdd.BDDFactory.MaxMemoryStatsCallback

Uses of BDDFactory.MaxMemoryStatsCallback in com.github.javabdd

Fields in com.github.javabdd with type parameters of type BDDFactory.MaxMemoryStatsCallback

Modifier and Type	Field	Description
protected List<BDDFactory.MaxMemoryStatsCallback>	BDDFactory.maxMemoryCallbacks	The registered maximum memory usage statistics callbacks, or null if none registered.

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

Modifier and Type	Method	Description
void	BDDFactory.registerMaxMemoryStatsCallback(BDDFactory.MaxMemoryStatsCallback callback)	Register a maximum memory usage statistics callback.
void	BDDFactory.unregisterMaxMemoryStatsCallback(BDDFactory.MaxMemoryStatsCallback callback)	Unregister a maximum memory usage statistics callback.