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

Uses of BDDFactory.ReorderStats in com.github.javabdd

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

Modifier and Type

Field

Description

protected BDDFactory.ReorderStats

BDDFactory.reorderstats

Singleton object for reorder statistics.

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

Modifier and Type

Method

Description

static void

BDDFactory.defaultReorderStatsCallback(BDDFactory.ReorderStats stats, boolean pre)

Default variable reorder statistics callback.

void

BDDFactory.ReorderStatsCallback.reorder(BDDFactory.ReorderStats stats, boolean pre)

Variable reorder statistics callback.