org.eclipse.palamedes.gdl.core.resolver.prologprover
Class TermAdapter

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.TermWrapper<com.parctechnologies.eclipse.CompoundTerm>
      org.eclipse.palamedes.gdl.core.resolver.prologprover.TermAdapter

public class TermAdapter
extends TermWrapper<com.parctechnologies.eclipse.CompoundTerm>

Field Summary

Fields inherited from class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper

nativeTerm

Constructor Summary

TermAdapter(com.parctechnologies.eclipse.CompoundTerm expr)

Method Summary

KIFTerm	getKIFTerm()
static KIFTerm	getKIFTerm(java.lang.Object t)

Methods inherited from class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper

equals, getInfixNotation, getName, getNativeTerm, getPrefixNotation, getTerm, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TermAdapter

public TermAdapter(com.parctechnologies.eclipse.CompoundTerm expr)

Method Detail

getKIFTerm

public KIFTerm getKIFTerm()

Specified by:

getKIFTerm in class TermWrapper<com.parctechnologies.eclipse.CompoundTerm>

getKIFTerm

public static final KIFTerm getKIFTerm(java.lang.Object t)