Uses of Interface
com.github.javabdd.BDDFactory.CacheStatsCallback

Uses of BDDFactory.CacheStatsCallback in com.github.javabdd

Fields in com.github.javabdd with type parameters of type BDDFactory.CacheStatsCallback

Modifier and Type	Field	Description
protected List<BDDFactory.CacheStatsCallback>	BDDFactory.cacheCallbacks	The registered operator cache statistics callbacks, or null if none registered.

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

Modifier and Type	Method	Description
void	BDDFactory.registerCacheStatsCallback(BDDFactory.CacheStatsCallback callback)	Register an operator cache statistics callback.
void	BDDFactory.unregisterCacheStatsCallback(BDDFactory.CacheStatsCallback callback)	Unregister an operator cache statistics callback.