Uses of Class
sjm.engine.Variable

Packages that use Variable

sjm.engine
sjm.imperative

Uses of Variable in sjm.engine

Subclasses of Variable in sjm.engine

class

Anonymous An anonymous variable unifies successfully with any other term, without binding to the term.

Methods in sjm.engine that return Variable

Variable	DynamicRule.lookup(java.lang.String name) Return a variable of the given name.
Variable	Scope.lookup(java.lang.String name) Returns a variable of the given name from this scope.
protected Variable	Unification.variableAt(int i)

Methods in sjm.engine with parameters of type Variable

Unification	Structure.unify(Variable v) Unifies this structure with the supplied variable.
Unification	Term.unify(Variable v) Returns a collection of variables that allow this term to unify with a variable.
Unification	Variable.unify(Variable v) Instantiates this variable with the supplied variable, or forwards the request to its instantiation if it already has one.
Unification	Anonymous.unify(Variable ignored) Returns an empty unification.
Unification	Unification.addVariable(Variable v) Adds a variable to this unification.

Constructors in sjm.engine with parameters of type Variable

Unification.Unification(Variable v)
Creates a unification that starts off including a single variable.

Uses of Variable in sjm.imperative

Fields in sjm.imperative declared as Variable

protected Variable

ReadCommand.variable

Constructors in sjm.imperative with parameters of type Variable

ForCommand.ForCommand(Variable v, double from, double to, double step, Command bodyCommand)
Construct a "for" command that iterates the supplied variable over the doubles from the "from" parameter to the "to" parameter, stepping by the "step" parameter.

ForCommand.ForCommand(Variable v, int from, int to, Command bodyCommand)
Construct a "for" command that iterates the supplied variable over the integers from the "from" parameter to the "to" parameter.

ReadCommand.ReadCommand(Variable variable)
Construct a "read" command to read a value, assigning it to the supplied variable.

ReadCommand.ReadCommand(Variable variable, java.io.BufferedReader reader)
Construct a "read" command to read a value from the supplied reader, assigning the value to the supplied variable.

ReadCommand.ReadCommand(Variable variable, java.io.InputStream in)
Construct a "read" command to read a value from the supplied input stream, assigning the value to the supplied variable.