com.sri.oaa2.icl
Class IclObjectUnificator

java.lang.Object
  |
  +--com.sri.oaa2.icl.Unifier
        |
        +--com.sri.oaa2.icl.IclObjectUnificator

public class IclObjectUnificator
extends Unifier

See Also:
Unifier

Constructor Summary
IclObjectUnificator()
          Class constructor.
 
Method Summary
 IclTerm iclDerefTerm(IclTerm t, java.util.HashMap bindings)
          Deprecated. use deref
 
Methods inherited from class com.sri.oaa2.icl.Unifier
deref, getInstance, matchTerms, unify, unify, unifyDebug
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IclObjectUnificator

public IclObjectUnificator()
Class constructor.

Method Detail

iclDerefTerm

public IclTerm iclDerefTerm(IclTerm t,
                            java.util.HashMap bindings)
Deprecated. use deref