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

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

Rainbow	Entry points, RMI service classes and application-level wrappers.
uk.ac.man.cs.rainbow.compiler.types	Compiler types.
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.

Classes in uk.ac.man.cs.rainbow.datamodel used by Rainbow

Data
The core class of data values.

Type
The core class of types.

Classes in uk.ac.man.cs.rainbow.datamodel used by uk.ac.man.cs.rainbow.compiler.types

Type
The core class of types.

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

Data
The core class of data values.

Data.Comparable
Indicate that two data values can be compared for relative order.

Data.List.T
What special operations must the type of a list implement?

Data.Union.T
What special operations must the type of a union implement?

Data.Untyped
The superclass of all Untypeable data classes.

Data.Word
Basic "word" datatypes.

Data.Word.RestrictingT
Some word types can restrict the range of the underlying word.

Data.Word.T
What special operations must the type of a word implement?

Type
The core class of types.

Type.Boolean
The class of types of booleans.

Type.Integer
The class of types of integers.

TypeException
Exceptions caused by type problems

UnknownData
The unknown data value.

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

Data
The core class of data values.

TypeException
Exceptions caused by type problems

Classes in uk.ac.man.cs.rainbow.datamodel used by uk.ac.man.cs.rainbow.simulator

Data
The core class of data values.

Data.List
Compound "list" datatypes.

Data.Union
Union datatypes.

Data.Untyped
The superclass of all Untypeable data classes.

Data.Word
Basic "word" datatypes.

StringData
Strings as data values.

Type
The core class of types.

TypeData
Types as untyped data values.

TypeException
Exceptions caused by type problems

Classes in uk.ac.man.cs.rainbow.datamodel used by uk.ac.man.cs.rainbow.simulator.rasm

Data
The core class of data values.

Type
The core class of types.