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

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

public class GroundFactTermAdapter
extends TermWrapper<stanfordlogic.prover.GroundFact>

Field Summary

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

nativeTerm

Constructor Summary

GroundFactTermAdapter(stanfordlogic.gdl.SymbolTable symbolTable, stanfordlogic.prover.GroundFact expr)

Method Summary

KIFTerm

getKIFTerm()

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

GroundFactTermAdapter

public GroundFactTermAdapter(stanfordlogic.gdl.SymbolTable symbolTable,
                             stanfordlogic.prover.GroundFact expr)

Method Detail

getKIFTerm

public KIFTerm getKIFTerm()

Specified by:

getKIFTerm in class TermWrapper<stanfordlogic.prover.GroundFact>