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

Uses of BDDFactory.ReorderStatsCallback in com.github.javabdd

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

Modifier and Type	Field	Description
protected List<BDDFactory.ReorderStatsCallback>	BDDFactory.reorderCallbacks	The registered variable reorder statistics callbacks, or null if none registered.

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

Modifier and Type	Method	Description
void	BDDFactory.registerReorderStatsCallback(BDDFactory.ReorderStatsCallback callback)	Register a variable reorder statistics callback.
void	BDDFactory.unregisterReorderStatsCallback(BDDFactory.ReorderStatsCallback callback)	Unregister a variable reorder statistics callback.