Unifier Interface
- public interface Unifier
An interface implemented by classes that can unify
(replace occurrences of a variable with a value)
an expression.
The unification process is a stateful operation
in that the underlying expression is modified (by
assigning variables to values).
public void |
-
unify (Expression expression)
- Performs the unification on the supplied expression.
|
unify(Expression) Method
public void unify(Expression
expression)
throws ExpressionException
Performs the unification on the supplied expression.
Parameters
-
expression
- the expression to be unified.
Exceptions
-
ExpressionException
- if the unification fails.