Package uk.ac.man.cs.rainbow.rapa.gcl

This package provides classes that define Guarded Command Language.

See:
Description

Interface Summary

LatexGenerator

Marks objects that can generate LATEX output.

Class Summary

Assignment	An assignment to a GCL variable.
Assignment.StateVar	An assignment to a state variable (program counter).
Assignment.StateVar.Subst	A substitution on assignments to state variables.
CompareStateVar	A comparison on a state variable (program counter).
GINRet	Multiple-return structure used in GCL generation only.
ProgramCounterFactory	Creates program counters.
Rule	A single GCL rule.
Rules	A collection of GCL rules.

Package uk.ac.man.cs.rainbow.rapa.gcl Description

This package provides classes that define Guarded Command Language.