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

Uses of BDDFactory.CacheStats in net.sf.javabdd
 

Fields in net.sf.javabdd declared as BDDFactory.CacheStats
protected  BDDFactory.CacheStats BDDFactory.cachestats
          Singleton object for cache statistics.
 

Methods in net.sf.javabdd that return BDDFactory.CacheStats
 BDDFactory.CacheStats UberMicroFactory.getCacheStats()
           
 BDDFactory.CacheStats MicroFactory.getCacheStats()
           
 BDDFactory.CacheStats BDDFactory.getCacheStats()
          Return the current cache statistics for this BDD factory.
 



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