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()