net.sf.javabdd
Class BDDFactory.CacheStats
java.lang.Object
net.sf.javabdd.BDDFactory.CacheStats
- Enclosing class:
- BDDFactory
- public static class BDDFactory.CacheStats
- extends Object
Stores statistics about the operator cache.
- Version:
- $Id: BDDFactory.java,v 1.4 2004/10/19 11:11:35 joewhaley Exp $
- Author:
- jwhaley
uniqueAccess
public int uniqueAccess
uniqueChain
public int uniqueChain
uniqueHit
public int uniqueHit
uniqueMiss
public int uniqueMiss
opHit
public int opHit
opMiss
public int opMiss
swapCount
public int swapCount
toString
public String toString()
Copyright © 2003-2004 John Whaley. All Rights Reserved.