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

Uses of BDDFactory.GCStats in com.github.javabdd

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

Modifier and Type	Field	Description
protected BDDFactory.GCStats	BDDFactory.gcstats	Singleton object for GC statistics.

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

Modifier and Type	Method	Description
static void	BDDFactory.defaultGcStatsCallback(BDDFactory.GCStats stats, boolean pre)	Default garbage collection statistics callback.
void	BDDFactory.GCStatsCallback.gc(BDDFactory.GCStats stats, boolean pre)	Garbage collection statistics callback.