com.github.javabdd

Class BDDFactory.CacheStats

java.lang.Object

com.github.javabdd.BDDFactory.CacheStats

Enclosing class:

BDDFactory

public static class BDDFactory.CacheStats
extends Object

Stores statistics about the operator cache.

Version:

$Id: BDDFactory.java 480 2010-11-16 01:29:49Z robimalik $

Author:

jwhaley

Field Summary

Fields

Modifier and Type	Field and Description
int	opHit
int	opMiss
int	swapCount
int	uniqueAccess
int	uniqueChain
int	uniqueHit
int	uniqueMiss

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CacheStats()

Method Summary

Modifier and Type	Method and Description
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

CacheStats

protected CacheStats()

Method Detail

toString

public String toString()

Overrides:

toString in class Object