Package com.github.javabdd

Class BDDFactory.GCStats

java.lang.Object

com.github.javabdd.BDDFactory.GCStats

Enclosing class:

BDDFactory

public static class BDDFactory.GCStats
extends Object

Stores statistics about garbage collections.

Field Summary

Fields

Modifier and Type	Field	Description
int	freenodes
int	nodes
int	num
long	sumtime
long	time

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	GCStats()

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

nodes

public int nodes

freenodes

public int freenodes

time

public long time

sumtime

public long sumtime

num

public int num

Constructor Details

GCStats

protected GCStats()

Method Details

toString

public String toString()

Overrides:

toString in class Object