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

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

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

ModelCheck.Minor

Enclosing class:

AutomataState

public abstract static class AutomataState.Minor

extends Object

implements Cloneable

State automata should contain a subclass of this class if they have state that they want stored in the state engine but which does not affect the behaviour of the system.

See Also:

StateEngine, AutomataState.Major

Constructor Summary

AutomataState.Minor()

Method Summary

Object	clone()
abstract void	reload(AutomataState.Minor stored)

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomataState.Minor

public AutomataState.Minor()

Method Detail

clone

public Object clone()

Overrides:

clone in class Object

reload

public abstract void reload(AutomataState.Minor stored)