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

Packages that use BDDFactory.CacheStats
net.sf.javabdd   
 

Uses of BDDFactory.CacheStats in net.sf.javabdd
 

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