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