Uses of Package
uk.ac.man.cs.rainbow.deadlock

Packages that use uk.ac.man.cs.rainbow.deadlock

uk.ac.man.cs.rainbow.deadlock	Deadlock and temporal model checking.
uk.ac.man.cs.rainbow.rapa.abstraction	This package provides classes that support abstract interpretation of GCL derived from RAPA.

Classes in uk.ac.man.cs.rainbow.deadlock used by uk.ac.man.cs.rainbow.deadlock

AutomataState
A package of the major and minor state of a state automata.

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

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.

DeadlockChecker
Check a scheduling system for deadlock.

DeadlockChecker.ExplorationObserver
Allows the watching of the progress of a deadlock check.

Introspector
Basic introspection interface for getting the state when evaluating propositions.

ModelCheck.AutoState
The state of the model checker automata.

ModelCheck.Evaluator
Provides a proposition evaluation service to the model checker.

ParseException
This exception is thrown when parse errors are encountered.

StateEngine
Rewindable state system enumeration engine.

StateEngine.ChannelEvent
Events that happen on channels during state enumeration.

StateEngine.EntryStack
Path storage mechanism spec.

StateEngine.EventStack
A stack of channel events.

StateEngine.ExecuteResult
Used to indicate what happened during an execute step.

StateEngine.MajorState
Major state.

StateEngine.StackEntry
An entry on the stack.

Classes in uk.ac.man.cs.rainbow.deadlock used by uk.ac.man.cs.rainbow.rapa.abstraction

Introspector
Basic introspection interface for getting the state when evaluating propositions.

ParseException
This exception is thrown when parse errors are encountered.