Uses of Class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats (com.github.javabdd 4.0.0 API)

Uses of BDDFactory.MaxUsedBddNodesStats in com.github.javabdd

Fields in com.github.javabdd declared as BDDFactory.MaxUsedBddNodesStats

Modifier and Type

Field

Description

protected BDDFactory.MaxUsedBddNodesStats

BDDFactory.maxusedbddnodesstats

Singleton object for maximum used BDD nodes statistics.

Methods in com.github.javabdd that return BDDFactory.MaxUsedBddNodesStats

Modifier and Type

Method

Description

BDDFactory.MaxUsedBddNodesStats

BDDFactory.getMaxUsedBddNodesStats()

Return the current maximum used BDD nodes statistics for this BDD factory.

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

Modifier and Type

Method

Description

static void

BDDFactory.defaultMaxUsedBddNodesStatsCallback(BDDFactory.MaxUsedBddNodesStats stats)

Default maximum BDD nodes usage statistics callback.

void

BDDFactory.MaxUsedBddNodesStatsCallback.maxUsedBddNodes(BDDFactory.MaxUsedBddNodesStats stats)

Maximum BDD nodes usage statistics callback.