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.
 



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