Uses of Class
sjm.engine.Unification

Packages that use Unification

sjm.engine

Uses of Unification in sjm.engine

Fields in sjm.engine declared as Unification

protected Unification	ConsultingStructure.currentUnification
static Unification	Unification.empty
protected Unification	Evaluation.currentUnification

Methods in sjm.engine that return Unification

Unification	Structure.unify(Structure s) Unifies the terms in this structure with the terms in the given structure, and returns the variable bindings that result.
Unification	Structure.unify(Term t) Unifies this structure with the supplied term.
Unification	Structure.unify(Variable v) Unifies this structure with the supplied variable.
Unification	Structure.variables() Returns the variables of the terms of this structure.
Unification	Fact.unify(Fact f) A speedier version of unify(Structure s).
Unification	Term.unify(Structure s) Returns a collection of variables that allow this term to unify with a structure.
Unification	Term.unify(Term t) Returns a set of variable instantiations that allow two terms to unify.
Unification	Term.unify(Variable v) Returns a collection of variables that allow this term to unify with a variable.
Unification	Term.variables() Returns the variables associated with this term.
Unification	Variable.unify(Structure s) Instantiates this variable with the supplied structure, or forwards the request to its instantiation if it already has one.
Unification	Variable.unify(Term t) Unifies this variable with the supplied term.
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	Variable.variables() Returns a unification containing just this variable.
Unification	DynamicRule.variables() Returns this executable rule's variables.
Unification	Anonymous.unify(Structure ignored) Returns an empty unification.
Unification	Anonymous.unify(Term ignored) Returns an empty unification.
Unification	Anonymous.unify(Variable ignored) Returns an empty unification.
Unification	Anonymous.variables() Returns an empty unification.
Unification	Unification.addVariable(Variable v) Adds a variable to this unification.
Unification	Unification.append(Unification u) Adds all the variables of another unification to this one.

Methods in sjm.engine with parameters of type Unification

Unification

Unification.append(Unification u) Adds all the variables of another unification to this one.