Uses of Class
org.eclipse.palamedes.kif.core.ast.KIFTerm

Packages that use KIFTerm

org.eclipse.palamedes.gdl.core.ast
org.eclipse.palamedes.gdl.core.model
org.eclipse.palamedes.gdl.core.model.utils
org.eclipse.palamedes.gdl.core.resolver.javaprover
org.eclipse.palamedes.gdl.core.resolver.jocular
org.eclipse.palamedes.gdl.core.resolver.prologprover
org.eclipse.palamedes.kif.core.ast

Uses of KIFTerm in org.eclipse.palamedes.gdl.core.ast

Methods in org.eclipse.palamedes.gdl.core.ast that return KIFTerm

KIFTerm	Init.getArgument()
KIFTerm	True.getArgument()

Methods in org.eclipse.palamedes.gdl.core.ast that return types with arguments of type KIFTerm

KIFSeq<KIFTerm>

GDLForm.getInitArguments() This method returns the function terms of a init predicate.

Method parameters in org.eclipse.palamedes.gdl.core.ast with type arguments of type KIFTerm

KIFRelSent

GDLAST.newRelSent(java.lang.String constName, KIFSeq<KIFTerm> terms)

Uses of KIFTerm in org.eclipse.palamedes.gdl.core.model

Methods in org.eclipse.palamedes.gdl.core.model that return KIFTerm

KIFTerm	IMove.getMoveTerm()
KIFTerm	IMove.getRoleTerm()
KIFTerm	IFluent.getTerm()

Uses of KIFTerm in org.eclipse.palamedes.gdl.core.model.utils

Methods in org.eclipse.palamedes.gdl.core.model.utils that return KIFTerm

abstract KIFTerm	TermWrapper.getKIFTerm()
KIFTerm	GenericMove.getMoveTerm()
KIFTerm	GenericMove.getRoleTerm()
KIFTerm	TermDelegator.getTerm()
KIFTerm	TermWrapper.getTerm()

Uses of KIFTerm in org.eclipse.palamedes.gdl.core.resolver.javaprover

Methods in org.eclipse.palamedes.gdl.core.resolver.javaprover that return KIFTerm

KIFTerm	TermAdapter.getKIFTerm()
static KIFTerm	TermAdapter.getKIFTerm(cs227b.teamIago.resolver.Expression expr)

Uses of KIFTerm in org.eclipse.palamedes.gdl.core.resolver.jocular

Methods in org.eclipse.palamedes.gdl.core.resolver.jocular that return KIFTerm

KIFTerm	TermAdapter.getKIFTerm()
KIFTerm	GroundFactTermAdapter.getKIFTerm()
static KIFTerm	TermAdapter.getKIFTerm(stanfordlogic.gdl.SymbolTable symbolTable, stanfordlogic.prover.Term t)

Uses of KIFTerm in org.eclipse.palamedes.gdl.core.resolver.prologprover

Methods in org.eclipse.palamedes.gdl.core.resolver.prologprover that return KIFTerm

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

Uses of KIFTerm in org.eclipse.palamedes.kif.core.ast

Subclasses of KIFTerm in org.eclipse.palamedes.kif.core.ast

class	KIFFunTerm
class	KIFIndVar
class	KIFObjConst

Methods in org.eclipse.palamedes.kif.core.ast that return types with arguments of type KIFTerm

KIFSeq<KIFTerm>	KIFRelSent.getOperands()
KIFSeq<KIFTerm>	KIFIndVar.getTerms()
KIFSeq<KIFTerm>	KIFRelSent.getTerms()
KIFSeq<KIFTerm>	KIFFunTerm.getTerms()
KIFSeq<KIFTerm>	KIFObjConst.getTerms()
abstract KIFSeq<KIFTerm>	KIFTerm.getTerms()
KIFSeq<KIFTerm>	AST.newSeq(KIFSeq<KIFTerm> sequence, KIFTerm term)
KIFSeq<KIFTerm>	AST.newSeq(KIFTerm term)

Methods in org.eclipse.palamedes.kif.core.ast with parameters of type KIFTerm

KIFSeq<KIFTerm>	AST.newSeq(KIFSeq<KIFTerm> sequence, KIFTerm term)
KIFSeq<KIFTerm>	AST.newSeq(KIFTerm term)

Method parameters in org.eclipse.palamedes.kif.core.ast with type arguments of type KIFTerm

KIFFunTerm	AST.newFunTerm(java.lang.String funConst, KIFSeq<KIFTerm> termSeq)
KIFRelSent	AST.newRelSent(java.lang.String constName, KIFSeq<KIFTerm> terms)
KIFSeq<KIFTerm>	AST.newSeq(KIFSeq<KIFTerm> sequence, KIFTerm term)