net.sf.javabdd
Class BDDFactory.GCStats

java.lang.Object
  extended by net.sf.javabdd.BDDFactory.GCStats
Enclosing class:
BDDFactory

public static class BDDFactory.GCStats
extends java.lang.Object

Stores statistics about garbage collections.

Version:
$Id: BDDFactory.GCStats.html,v 1.1.2.1 2009/02/16 18:41:06 sya Exp $
Author:
jwhaley

Field Summary
 int freenodes
           
 int nodes
           
 int num
           
 long sumtime
           
 long time
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, 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
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object