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.

Version:

$Id: BDDFactory.java 480 2010-11-16 01:29:49Z robimalik $

Author:

jwhaley

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GCStats()

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

nodes

public int nodes

freenodes

public int freenodes

time

public long time

sumtime

public long sumtime

num

public int num

Constructor Detail

GCStats

protected GCStats()

Method Detail

toString

public String toString()

Overrides:

toString in class Object