Rainbow Core
uk.ac.man.cs.rainbow Core and general utility classes.

 
Rainbow Simulator
uk.ac.man.cs.rainbow.datamodel Data model for Rainbow simulation.
uk.ac.man.cs.rainbow.deadlock Deadlock and temporal model checking.
uk.ac.man.cs.rainbow.simulator Rainbow simulation system.
uk.ac.man.cs.rainbow.simulator.rasm

RASM instructions.

uk.ac.man.cs.rainbow.temp Temporary classes.

 
Model Checker
uk.ac.man.cs.rainbow.wvmc Classes implementing a model-checker.
uk.ac.man.cs.rainbow.wvmc.parser CTL*-NNF and LTL parsers.

 
RAPA Manipulation
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.data This package provides common datatypes for RAPA and GCL.
uk.ac.man.cs.rainbow.rapa.gcl This package provides classes that define Guarded Command Language.

 
Rainbow Compiler
uk.ac.man.cs.rainbow.compiler  
uk.ac.man.cs.rainbow.compiler.declarations  
uk.ac.man.cs.rainbow.compiler.errors  
uk.ac.man.cs.rainbow.compiler.expressions Compiler expressions.
uk.ac.man.cs.rainbow.compiler.green Visual Green components.
uk.ac.man.cs.rainbow.compiler.names  
uk.ac.man.cs.rainbow.compiler.networks  
uk.ac.man.cs.rainbow.compiler.parser  
uk.ac.man.cs.rainbow.compiler.rasm  
uk.ac.man.cs.rainbow.compiler.tables  
uk.ac.man.cs.rainbow.compiler.types Compiler types.
uk.ac.man.cs.rainbow.compiler.yellow  

 
Other Packages
Rainbow

Entry points, RMI service classes and application-level wrappers.