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 and Description
protected BDDFactory.GCStats	BDDFactory.gcstats Singleton object for GC statistics.

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

Modifier and Type	Method and Description
BDDFactory.GCStats	BDDFactory.getGCStats() Return the current GC statistics for this BDD factory.

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

Modifier and Type	Method and Description
protected static void	BDDFactory.bdd_default_gbchandler(boolean pre, BDDFactory.GCStats s)
protected void	BDDFactory.gbc_handler(boolean pre, BDDFactory.GCStats s)