|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface iUnifiable
This is the interface for terms that support symbolic unification.
Method Summary | |
---|---|
boolean |
unify(jTerm term,
jUnifiedVector v)
Determines if this instance and term unify. |
Method Detail |
---|
boolean unify(jTerm term, jUnifiedVector v)
term
unify.
Every variable which was previously unbound, but which becomes bound during
the unification must register itself with the jUnifiedVector
. It
is the callers responsibility to deal with the unified vector.
term
- the term to unify with this instance.v
- the vector of variables bound during unification. Even if
unification fails, this vector may contain recently
bound vectors. This parameter is used to as output to the
caller, not as input for unify
.
true
if unification succeeded,
false
otherwise.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |