Uses of Class
com.github.javabdd.BDDFactory.CacheStats

Uses of BDDFactory.CacheStats in com.github.javabdd

Fields in com.github.javabdd declared as BDDFactory.CacheStats

Modifier and Type	Field and Description
protected BDDFactory.CacheStats	BDDFactory.cachestats Singleton object for cache statistics.

Methods in com.github.javabdd that return BDDFactory.CacheStats

Modifier and Type	Method and Description
BDDFactory.CacheStats	BDDFactory.getCacheStats() Return the current cache statistics for this BDD factory.
BDDFactory.CacheStats	MicroFactory.getCacheStats()
BDDFactory.CacheStats	UberMicroFactory.getCacheStats()