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

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

All Implemented Interfaces:

Cloneable

Enclosing class:

ModelCheck

public class ModelCheck.Minor

extends AutomataState.Minor

The minor state of the model checker. Minor state is state that needs to be saved, but which does not form part of the equality test between states.

Method Summary

void	reload(AutomataState.Minor stored)
String	toString()

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

clone

Methods inherited from class java.lang.Object

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

Method Detail

reload

public void reload(AutomataState.Minor stored)

Overrides:

reload in class AutomataState.Minor

toString

public String toString()

Overrides:

toString in class Object