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

Uses of BDDFactory.ResizeStatsCallback in com.github.javabdd

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

Modifier and Type	Field	Description
protected List<BDDFactory.ResizeStatsCallback>	BDDFactory.resizeCallbacks	The registered node table resize statistics callbacks, or null if none registered.

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

Modifier and Type	Method	Description
void	BDDFactory.registerResizeStatsCallback(BDDFactory.ResizeStatsCallback callback)	Register a node table resize statistics callback.
void	BDDFactory.unregisterResizeStatsCallback(BDDFactory.ResizeStatsCallback callback)	Unregister a node table resize statistics callback.