Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
Hierarchy For Package uk.ac.man.cs.rainbow.rapa.data
Package Hierarchies:
All Packages
Class Hierarchy
class java.lang.
Object
class uk.ac.man.cs.rainbow.rapa.data.
AbstractFunction
class uk.ac.man.cs.rainbow.rapa.data.
AbstractType
(implements java.io.
Serializable
, uk.ac.man.cs.rainbow.rapa.data.
Type
)
class uk.ac.man.cs.rainbow.rapa.data.
Action
(implements java.lang.
Cloneable
, java.io.
Serializable
, uk.ac.man.cs.rainbow.rapa.data.
VariableContainer
)
class uk.ac.man.cs.rainbow.rapa.data.
BooleanType
(implements java.io.
Serializable
, uk.ac.man.cs.rainbow.rapa.data.
Type
)
class uk.ac.man.cs.rainbow.rapa.data.
Channel
(implements uk.ac.man.cs.rainbow.rapa.data.
Argument
, java.io.
Serializable
)
class uk.ac.man.cs.rainbow.rapa.data.
Channel.Adapter
(implements uk.ac.man.cs.rainbow.rapa.data.
Channel.Listener
)
class uk.ac.man.cs.rainbow.rapa.data.
Expression
(implements java.io.
Serializable
, uk.ac.man.cs.rainbow.rapa.data.
Value
)
class uk.ac.man.cs.rainbow.rapa.data.
Application
class uk.ac.man.cs.rainbow.rapa.data.
Binary
(implements java.lang.
Cloneable
)
class uk.ac.man.cs.rainbow.rapa.data.
Binary.Add
class uk.ac.man.cs.rainbow.rapa.data.
Binary.Conj
class uk.ac.man.cs.rainbow.rapa.data.
Binary.Disj
class uk.ac.man.cs.rainbow.rapa.data.
Binary.Div
class uk.ac.man.cs.rainbow.rapa.data.
Binary.Equal
class uk.ac.man.cs.rainbow.rapa.data.
Binary.GT
class uk.ac.man.cs.rainbow.rapa.data.
Binary.LT
class uk.ac.man.cs.rainbow.rapa.data.
Binary.Mul
class uk.ac.man.cs.rainbow.rapa.data.
Binary.Sub
class uk.ac.man.cs.rainbow.rapa.data.
Unary
(implements java.lang.
Cloneable
)
class uk.ac.man.cs.rainbow.rapa.data.
Unary.Abs
class uk.ac.man.cs.rainbow.rapa.data.
Unary.Neg
class uk.ac.man.cs.rainbow.rapa.data.
Unary.Not
class uk.ac.man.cs.rainbow.rapa.data.
Bool
(implements java.lang.
Comparable
)
class uk.ac.man.cs.rainbow.rapa.data.
Constant
class uk.ac.man.cs.rainbow.rapa.data.
Number
(implements java.lang.
Comparable
)
class uk.ac.man.cs.rainbow.rapa.data.
Register
(implements java.lang.
Comparable
)
class uk.ac.man.cs.rainbow.rapa.data.
Register.Subscripted
class uk.ac.man.cs.rainbow.rapa.data.
TupleExpression
class uk.ac.man.cs.rainbow.rapa.data.
Variable
class uk.ac.man.cs.rainbow.rapa.data.
Variable.Named
class uk.ac.man.cs.rainbow.rapa.data.
FunctionType
(implements uk.ac.man.cs.rainbow.rapa.data.
Type
)
class uk.ac.man.cs.rainbow.rapa.data.
GeneralSubstitution
class uk.ac.man.cs.rainbow.rapa.data.
IntegerType
(implements java.io.
Serializable
, uk.ac.man.cs.rainbow.rapa.data.
Type
)
class uk.ac.man.cs.rainbow.rapa.data.
NamedType
(implements java.io.
Serializable
, uk.ac.man.cs.rainbow.rapa.data.
Type
)
class uk.ac.man.cs.rainbow.rapa.data.
NullType
(implements uk.ac.man.cs.rainbow.rapa.data.
Type
)
class uk.ac.man.cs.rainbow.rapa.data.
ProductType
(implements uk.ac.man.cs.rainbow.rapa.data.
Type
)
class uk.ac.man.cs.rainbow.rapa.data.
Substitution
class java.lang.
Throwable
(implements java.io.
Serializable
)
class java.lang.
Exception
class uk.ac.man.cs.rainbow.
RainbowException
class uk.ac.man.cs.rainbow.rapa.data.
NotUnifiable
class java.lang.
RuntimeException
class uk.ac.man.cs.rainbow.
RainbowError
class uk.ac.man.cs.rainbow.rapa.data.
AbstractFunction.UnsupportedTopException
class uk.ac.man.cs.rainbow.rapa.data.
AbstractFunction.WrongNumberOfArgumentsException
class uk.ac.man.cs.rainbow.rapa.data.
CompatabilityFailure
class uk.ac.man.cs.rainbow.rapa.data.
Register.NotFoundException
class uk.ac.man.cs.rainbow.rapa.data.
TypeVariable
(implements uk.ac.man.cs.rainbow.rapa.data.
Type
)
class uk.ac.man.cs.rainbow.rapa.data.
Unifier
(implements java.io.
Serializable
)
class uk.ac.man.cs.rainbow.rapa.data.
ValueWhite
Interface Hierarchy
interface uk.ac.man.cs.rainbow.rapa.data.
Argument
interface uk.ac.man.cs.rainbow.rapa.data.
Type
interface uk.ac.man.cs.rainbow.rapa.data.
Value
(also extends uk.ac.man.cs.rainbow.rapa.data.
VariableContainer
)
interface uk.ac.man.cs.rainbow.rapa.data.
Channel.Listener
interface uk.ac.man.cs.rainbow.rapa.data.
Constructor
interface uk.ac.man.cs.rainbow.rapa.data.
VariableContainer
interface uk.ac.man.cs.rainbow.rapa.data.
Value
(also extends uk.ac.man.cs.rainbow.rapa.data.
Argument
)
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES