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

Uses of BDDFactory.GCStatsCallback in com.github.javabdd

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

Modifier and Type	Field	Description
protected List<BDDFactory.GCStatsCallback>	BDDFactory.gcCallbacks	The registered garbage collection statistics callbacks, or null if none registered.

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

Modifier and Type	Method	Description
void	BDDFactory.registerGcStatsCallback(BDDFactory.GCStatsCallback callback)	Register a garbage collection statistics callback.
void	BDDFactory.unregisterGcStatsCallback(BDDFactory.GCStatsCallback callback)	Unregister a garbage collection statistics callback.