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

Uses of BDDFactory.GCStats in com.github.javabdd

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

Modifier and Type

Field

Description

protected BDDFactory.GCStats

BDDFactory.gcstats

Singleton object for GC statistics.

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

Modifier and Type

Method

Description

static void

BDDFactory.defaultGcStatsCallback(BDDFactory.GCStats stats, boolean pre)

Default garbage collection statistics callback.

void

BDDFactory.GCStatsCallback.gc(BDDFactory.GCStats stats, boolean pre)

Garbage collection statistics callback.