net.sf.javabdd
Class BDDFactory.GCStats

java.lang.Object
  net.sf.javabdd.BDDFactory.GCStats

Enclosing class:

BDDFactory

public static class BDDFactory.GCStats
extends Object

Stores statistics about garbage collections.

Version:

$Id: BDDFactory.java 476 2007-03-06 06:08:40Z joewhaley $

Author:

jwhaley

Field Summary

int	freenodes
int	nodes
int	num
long	sumtime
long	time

Constructor Summary

protected

BDDFactory.GCStats()

Method Summary

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

BDDFactory.GCStats

protected BDDFactory.GCStats()

Method Detail

toString

public String toString()

Overrides:

toString in class Object