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

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.