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 that return BDDFactory.GCStats

Modifier and Type	Method	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	Description
protected static void	BDDFactory.bdd_default_gbchandler(boolean pre, BDDFactory.GCStats s)
protected void	BDDFactory.gbc_handler(boolean pre, BDDFactory.GCStats s)