net.sf.javabdd
Class BDDFactory.GCStats

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

public static class BDDFactory.GCStats
extends Object

Stores statistics about garbage collections.

Version:
$Id: BDDFactory.java,v 1.4 2004/10/19 11:11:35 joewhaley Exp $
Author:
jwhaley

Field Summary
 int freenodes
           
 int nodes
           
 int num
           
 long sumtime
           
 long time
           
 
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
Method Detail

toString

public String toString()


Copyright © 2003-2004 John Whaley. All Rights Reserved.