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)
           
 



Copyright © 2003-2007 John Whaley. All Rights Reserved.