com.bea.p13n.expression
Interface Unifier

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).

Method Summary

void	unify(Expression expression) Performs the unification on the supplied expression.

Method Detail

unify

void unify(Expression expression)
           throws ExpressionException

Performs the unification on the supplied expression.

Parameters

expression - the expression to be unified.

Throws

ExpressionException - if the unification fails.