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

Packages that use BDDFactory.GCStats
net.sf.javabdd   
 

Uses of BDDFactory.GCStats in net.sf.javabdd
 

Methods in net.sf.javabdd that return BDDFactory.GCStats
 BDDFactory.GCStats BDDFactory.getGCStats()
          Return the current GC statistics for this BDD factory.