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

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

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

ModelCheck.Major

Enclosing class:

AutomataState

public abstract static class AutomataState.Major

extends Object

implements Cloneable

State automata should contain a subclass of this class if their state affects the behaviour of the state enumeration system.

See Also:

StateEngine, AutomataState.Minor

Constructor Summary

AutomataState.Major()

Method Summary

Object	clone()
abstract boolean	equals(Object o)
abstract int	hashCode()
abstract void	reload(AutomataState.Major stored)

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomataState.Major

public AutomataState.Major()

Method Detail

clone

public Object clone()

Overrides:

clone in class Object

reload

public abstract void reload(AutomataState.Major stored)

hashCode

public abstract int hashCode()

Overrides:

hashCode in class Object

equals

public abstract boolean equals(Object o)

Overrides:

equals in class Object