Overview | Package | Class | Tree | Deprecated | Index | Help
| © 2004 BEA Systems, Inc.
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

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

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

Overview | Package | Class | Tree | Deprecated | Index | Help
| © 2004 BEA Systems, Inc.
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Copyright © 2004 BEA Systems, Inc. All Rights Reserved