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

Uses of BDDFactory.MaxUsedBddNodesStatsCallback in com.github.javabdd

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

Modifier and Type	Field	Description
protected List<BDDFactory.MaxUsedBddNodesStatsCallback>	BDDFactory.maxUsedBddNodesCallbacks	The registered maximum BDD nodes usage statistics callbacks, or null if none registered.

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

Modifier and Type	Method	Description
void	BDDFactory.registerMaxUsedBddNodesStatsCallback(BDDFactory.MaxUsedBddNodesStatsCallback callback)	Register a maximum BDD nodes usage statistics callback.
void	BDDFactory.unregisterMaxUsedBddNodesStatsCallback(BDDFactory.MaxUsedBddNodesStatsCallback callback)	Unregister a maximum BDD nodes usage statistics callback.