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

Uses of BDDFactory.GCStatsCallback in com.github.javabdd

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

Modifier and Type

Field

Description

protected List<BDDFactory.GCStatsCallback>

BDDFactory.gcCallbacks

The registered garbage collection statistics callbacks, or null if none registered.

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

Modifier and Type

Method

Description

void

BDDFactory.registerGcStatsCallback(BDDFactory.GCStatsCallback callback)

Register a garbage collection statistics callback.

void

BDDFactory.unregisterGcStatsCallback(BDDFactory.GCStatsCallback callback)

Unregister a garbage collection statistics callback.