uk.ac.man.cs.rainbow.deadlock
Class ModelCheck.Major

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.deadlock.AutomataState.Major
        |
        +--uk.ac.man.cs.rainbow.deadlock.ModelCheck.Major

All Implemented Interfaces:

Cloneable

Enclosing class:

ModelCheck

public class ModelCheck.Major

extends AutomataState.Major

The major state of the model checker. Major state is those parts of the state that not only need to be saved, but which must be equal for two states to be equal. It is vital for the standard Java comparison operations (equals and hashCode) to be implemented by this class...

Method Summary

boolean	equals(Object o)
int	hashCode()
void	reload(AutomataState.Major stored)
String	toString()

Methods inherited from class uk.ac.man.cs.rainbow.deadlock.AutomataState.Major

clone

Methods inherited from class java.lang.Object

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

Method Detail

reload

public void reload(AutomataState.Major stored)

Overrides:

reload in class AutomataState.Major

hashCode

public int hashCode()

Overrides:

hashCode in class AutomataState.Major

equals

public boolean equals(Object o)

Overrides:

equals in class AutomataState.Major

toString

public String toString()

Overrides:

toString in class Object