Interface Unifiable

All Known Implementing Classes:
AugmentedConstituent, Expression, Symbol, Variable

interface Unifiable

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

unifyWith

public boolean unifyWith(Unifiable other,
                         BindingSet bindings)
Attempts to unify two Unifiables. Returns true if successful, possibly modifying the bindings, otherwise false (no guarantee that bindings aren't altered by failed unifications.


copyWithBindings

public Unifiable copyWithBindings(BindingSet bindings)
Returns a copy of this Unifiable, with the given bindings applied.