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

Uses of BDDFactory.ContinuousStatsCallback in com.github.javabdd

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

Modifier and Type	Field	Description
protected List<BDDFactory.ContinuousStatsCallback>	BDDFactory.continuousCallbacks	The registered continuously BDD nodes usage and BDD operations statistics callbacks, or null if none registered.

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

Modifier and Type	Method	Description
void	BDDFactory.registerContinuousStatsCallback(BDDFactory.ContinuousStatsCallback callback)	Register a continuously BDD nodes usage and BDD operations statistics callback.
void	BDDFactory.unregisterContinuousStatsCallback(BDDFactory.ContinuousStatsCallback callback)	Unregister a continuously BDD nodes usage and BDD operations statistics callback.