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

Packages that use KIFFunTerm

org.eclipse.palamedes.gdl.core.ast
org.eclipse.palamedes.kif.core.ast
org.eclipse.palamedes.kif.core.ast.visitor

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

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

KIFFunTerm

Does.getFluent()

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

Methods in org.eclipse.palamedes.kif.core.ast that return KIFFunTerm

KIFFunTerm	AST.newFunTerm(java.lang.String funConst)
KIFFunTerm	AST.newFunTerm(java.lang.String funConst, KIFSeq<KIFTerm> termSeq)

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

protected void	KIFFunTerm.copyMembers(KIFFunTerm node)
abstract void	ASTVisitor.visit(KIFFunTerm node)

Uses of KIFFunTerm in org.eclipse.palamedes.kif.core.ast.visitor

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

void	DefaultVisitor.visit(KIFFunTerm node)