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

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTNode
      org.eclipse.palamedes.kif.core.ast.KIFTerm
          org.eclipse.palamedes.kif.core.ast.KIFFunTerm

public class KIFFunTerm
extends KIFTerm

Field Summary

Fields inherited from class org.eclipse.palamedes.kif.core.ast.ASTNode

COMMENT, CONJUNCTION, DISJUNCTION, FORM, FUNTERM, HORNSENT, IMPLICATION, INDVAR, LOGCONST, NEGATION, OBJCONST, OPERATOR, RELSENT, SEQUENCE

Method Summary

protected void	copyMembers(KIFFunTerm node)
java.lang.String	getName()
KIFSeq<KIFTerm>	getTerms()
void	setConstName(java.lang.String constName)
void	traverse(ASTVisitor visitor)

Methods inherited from class org.eclipse.palamedes.kif.core.ast.ASTNode

clone, copyMembers, equals, getAST, getInfixNotation, getNodeType, getPrefixNotation, getSourceLength, getSourceStart, hashCode, setSourceLength, setSourceStart, toString

Methods inherited from class java.lang.Object

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

Method Detail

getName

public final java.lang.String getName()

Specified by:

getName in class KIFTerm

getTerms

public final KIFSeq<KIFTerm> getTerms()

Specified by:

getTerms in class KIFTerm

setConstName

public final void setConstName(java.lang.String constName)

traverse

public void traverse(ASTVisitor visitor)

Specified by:

traverse in class ASTNode

copyMembers

protected final void copyMembers(KIFFunTerm node)