uk.ac.man.cs.rainbow.deadlock
Class StateEngine.EntryStore

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.deadlock.StateEngine.EntryStore

Enclosing class:

StateEngine

public static final class StateEngine.EntryStore

extends Object

Visited state storage mechanism. INTERNAL USE ONLY

Method Summary

void	add(StateEngine.MajorState major, boolean boolValue) Put a state into the store with the given valuation.
int	count() How many states are in the store.
Boolean	get(StateEngine.MajorState major) Get the valuation of a state from the store.

Methods inherited from class java.lang.Object

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

Method Detail

add

public void add(StateEngine.MajorState major,
                boolean boolValue)

Put a state into the store with the given valuation.

get

public Boolean get(StateEngine.MajorState major)

Get the valuation of a state from the store.

Returns:

The valuation, or null if the state is not present in the store.

count

public int count()

How many states are in the store.