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.