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

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

public class KIFObjConst
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(KIFObjConst 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

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(KIFObjConst node)

getTerms

public KIFSeq<KIFTerm> getTerms()

Specified by:

getTerms in class KIFTerm