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

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.TermWrapper<stanfordlogic.prover.Term>
      org.eclipse.palamedes.gdl.core.resolver.jocular.TermAdapter

public class TermAdapter
extends TermWrapper<stanfordlogic.prover.Term>

Field Summary

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

nativeTerm

Constructor Summary

TermAdapter(stanfordlogic.gdl.SymbolTable symbolTable, stanfordlogic.prover.Term expr)

Method Summary

KIFTerm	getKIFTerm()
static KIFTerm	getKIFTerm(stanfordlogic.gdl.SymbolTable symbolTable, stanfordlogic.prover.Term 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(stanfordlogic.gdl.SymbolTable symbolTable,
                   stanfordlogic.prover.Term expr)

Method Detail

getKIFTerm

public KIFTerm getKIFTerm()

Specified by:

getKIFTerm in class TermWrapper<stanfordlogic.prover.Term>

getKIFTerm

public static final KIFTerm getKIFTerm(stanfordlogic.gdl.SymbolTable symbolTable,
                                       stanfordlogic.prover.Term t)