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

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

public class AutomataState

extends Object

A package of the major and minor state of a state automata. Such systems should contain one of these packages built from subclasses of the classes contained in this class.

See Also:

Model Checking...

Inner Class Summary

static class	AutomataState.Major State automata should contain a subclass of this class if their state affects the behaviour of the state enumeration system.
static class	AutomataState.Minor 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.

Constructor Summary

AutomataState(AutomataState.Major major, AutomataState.Minor minor)

Method Summary

AutomataState.Major	getMajor()
AutomataState.Minor	getMinor()

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomataState

public AutomataState(AutomataState.Major major,
                     AutomataState.Minor minor)

Method Detail

getMajor

public AutomataState.Major getMajor()

getMinor

public AutomataState.Minor getMinor()