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

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

Enclosing class:

StateEngine

public static final class StateEngine.MajorState

extends Object

Major state. INTERNAL USE ONLY

Method Summary

boolean	equals(Object o) Major state comparator.
int	hashCode() Major state hash code.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

equals

public boolean equals(Object o)

Major state comparator. Knows how to compare both with its own class, and with an external enumerator states (Data[]) too.

Overrides:

equals in class Object

hashCode

public int hashCode()

Major state hash code. When two major states are equal, then they will have identical hash codes.

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object