Uses of Interface com.github.javabdd.BDDFactory.CacheStatsCallback (com.github.javabdd 4.0.0 API)

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.