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,v 1.4 2004/10/19 11:11:35 joewhaley Exp $
- Author:
- jwhaley
nodes
public int nodes
freenodes
public int freenodes
time
public long time
sumtime
public long sumtime
num
public int num
toString
public String toString()
Copyright © 2003-2004 John Whaley. All Rights Reserved.