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	Description
protected BDDFactory.CacheStats	BDDFactory.cachestats	Singleton object for cache statistics.

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

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