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

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

public class KIFIndVar
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(KIFIndVar node)
java.lang.String	getName()
KIFSeq<KIFTerm>	getTerms()
void	setVarName(java.lang.String varName)
java.lang.String	toString()
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

Methods inherited from class java.lang.Object

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

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in class KIFTerm

setVarName

public void setVarName(java.lang.String varName)

traverse

public void traverse(ASTVisitor visitor)

Specified by:

traverse in class ASTNode

toString

public java.lang.String toString()

Overrides:

toString in class ASTNode

copyMembers

protected final void copyMembers(KIFIndVar node)

getTerms

public KIFSeq<KIFTerm> getTerms()

Specified by:

getTerms in class KIFTerm