uk.ac.manchester.cs.jfact.helpers

Class IntCache

java.lang.Object

uk.ac.manchester.cs.jfact.helpers.IntCache

public class IntCache
extends Object

Constructor Summary

Constructors

Constructor and Description
IntCache()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(int key)
void	delete(int key)
void	hit(int key)
boolean	isContained(int key)
boolean	isNotContained(int key)
void	miss(int key)
void	resetContained()
void	resetNotContained()

Methods inherited from class java.lang.Object

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

Constructor Detail

IntCache

public IntCache()

Method Detail

isContained

public boolean isContained(int key)

isNotContained

public boolean isNotContained(int key)

add

public void add(int key)

delete

public void delete(int key)

hit

public void hit(int key)

miss

public void miss(int key)

resetContained

public void resetContained()

resetNotContained

public void resetNotContained()