Uses of Class
uk.ac.man.cs.rainbow.rapa.data.Variable

Packages that use Variable

uk.ac.man.cs.rainbow.compiler
uk.ac.man.cs.rainbow.datamodel	Data model for Rainbow simulation.
uk.ac.man.cs.rainbow.rapa	This package provides classes that implement RAPA.
uk.ac.man.cs.rainbow.rapa.data	This package provides common datatypes for RAPA and GCL.

Uses of Variable in uk.ac.man.cs.rainbow.compiler

Methods in uk.ac.man.cs.rainbow.compiler that return Variable

Variable

RapaEnv.makeVariable(String name)

Uses of Variable in uk.ac.man.cs.rainbow.datamodel

Methods in uk.ac.man.cs.rainbow.datamodel with parameters of type Variable

boolean	Data.occurs(Substitution s, Variable v)
boolean	Data.List.occurs(Substitution s, Variable v)
boolean	Data.Union.occurs(Substitution s, Variable v)

Uses of Variable in uk.ac.man.cs.rainbow.rapa

Methods in uk.ac.man.cs.rainbow.rapa that return Variable

Variable

VarDef.getVar()

Uses of Variable in uk.ac.man.cs.rainbow.rapa.data

Subclasses of Variable in uk.ac.man.cs.rainbow.rapa.data

static class

Variable.Named

Methods in uk.ac.man.cs.rainbow.rapa.data with parameters of type Variable

abstract boolean	Expression.occurs(Substitution s, Variable v)
boolean	TupleExpression.occurs(Substitution s, Variable v)
boolean	Application.occurs(Substitution s, Variable v)
boolean	Unary.occurs(Substitution s, Variable v)
boolean	Variable.occurs(Substitution s, Variable v)
boolean	Binary.occurs(Substitution s, Variable v)
boolean	Bool.occurs(Substitution s, Variable v)
boolean	Register.occurs(Substitution s, Variable v)
Value	Unifier.lookup(Variable v) What does the unifier map the given variable to?
boolean	Number.occurs(Substitution s, Variable v)
boolean	Substitution.exists(Variable v)
Value	Substitution.subst(Variable v)
boolean	Constant.occurs(Substitution s, Variable v)
boolean	Value.occurs(Substitution subst, Variable var) Check whether the variable occurs in this value under the given substitution.

Constructors in uk.ac.man.cs.rainbow.rapa.data with parameters of type Variable

Substitution(Variable var, Value subst, Substitution next)

Substitution(Variable var, Value subst)