|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Interface implemented by objects that can be unified. Duh.
Method Summary | |
Unifiable |
copyWithBindings(BindingSet bindings)
Returns a copy of this Unifiable, with the given bindings applied. |
boolean |
unifyWith(Unifiable other,
BindingSet bindings)
Attempts to unify two Unifiables. |
Method Detail |
public boolean unifyWith(Unifiable other, BindingSet bindings)
public Unifiable copyWithBindings(BindingSet bindings)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |