Uses of Class
net.sf.javabdd.BDDFactory.GCStats

Uses of BDDFactory.GCStats in net.sf.javabdd

Fields in net.sf.javabdd declared as BDDFactory.GCStats

protected BDDFactory.GCStats

BDDFactory.gcstats Singleton object for GC statistics.

Methods in net.sf.javabdd that return BDDFactory.GCStats

BDDFactory.GCStats

BDDFactory.getGCStats() Return the current GC statistics for this BDD factory.

Methods in net.sf.javabdd with parameters of type BDDFactory.GCStats

protected static void	BDDFactory.bdd_default_gbchandler(boolean pre, BDDFactory.GCStats s)
protected void	BDDFactory.gbc_handler(boolean pre, BDDFactory.GCStats s)