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 operator cache statistics.

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

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

Methods in com.github.javabdd with parameters of type BDDFactory.CacheStats

Modifier and Type	Method	Description
void	BDDFactory.CacheStatsCallback.cache(BDDFactory.CacheStats stats)	Operator cache statistics callback.
static void	BDDFactory.defaultCacheStatsCallback(BDDFactory.CacheStats stats)	Default operator cache statistics callback.