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

Uses of BDDFactory.MaxMemoryStatsCallback in com.github.javabdd

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

Modifier and Type

Field

Description

protected List<BDDFactory.MaxMemoryStatsCallback>

BDDFactory.maxMemoryCallbacks

The registered maximum memory usage statistics callbacks, or null if none registered.

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

Modifier and Type

Method

Description

void

BDDFactory.registerMaxMemoryStatsCallback(BDDFactory.MaxMemoryStatsCallback callback)

Register a maximum memory usage statistics callback.

void

BDDFactory.unregisterMaxMemoryStatsCallback(BDDFactory.MaxMemoryStatsCallback callback)

Unregister a maximum memory usage statistics callback.