# com.bea.p13n.expression
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).

## Method Summary

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

## Method Detail

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