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

Packages that use uk.ac.man.cs.rainbow.rapa.gcl

uk.ac.man.cs.rainbow.rapa	This package provides classes that implement RAPA.
uk.ac.man.cs.rainbow.rapa.abstraction	This package provides classes that support abstract interpretation of GCL derived from RAPA.
uk.ac.man.cs.rainbow.rapa.gcl	This package provides classes that define Guarded Command Language.

Classes in uk.ac.man.cs.rainbow.rapa.gcl used by uk.ac.man.cs.rainbow.rapa

GINRet
Multiple-return structure used in GCL generation only.

ProgramCounterFactory
Creates program counters.

Rules
A collection of GCL rules.

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

Rules
A collection of GCL rules.

Classes in uk.ac.man.cs.rainbow.rapa.gcl used by uk.ac.man.cs.rainbow.rapa.gcl

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).

LatexGenerator
Marks objects that can generate L^AT_EX output.

ProgramCounterFactory
Creates program counters.

Rule
A single GCL rule.

Rules
A collection of GCL rules.