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 476 2007-03-06 06:08:40Z joewhaley $

Author:

jwhaley

Field Summary

int	opHit
int	opMiss
int	swapCount
int	uniqueAccess
int	uniqueChain
int	uniqueHit
int	uniqueMiss

Constructor Summary

protected

BDDFactory.CacheStats()

Method Summary

String

toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

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

Constructor Detail

BDDFactory.CacheStats

protected BDDFactory.CacheStats()

Method Detail

toString

public String toString()

Overrides:

toString in class Object