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

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTNode
      org.eclipse.palamedes.kif.core.ast.KIFSent
          org.eclipse.palamedes.kif.core.ast.KIFRelSent

Direct Known Subclasses:

Does, Init, Role, True

public class KIFRelSent
extends KIFSent

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

Constructor Summary

protected

KIFRelSent(AST ast)

Method Summary

protected void	copyMembers(KIFRelSent node)
java.lang.String	getName()
int	getOperandCount()
KIFSeq<KIFTerm>	getOperands()
KIFSeq<KIFTerm>	getTerms()
void	setConstName(java.lang.String constName)
java.lang.String	toString()
void	traverse(ASTVisitor visitor)

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

getLeadingComment, setLeadingComment

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

Constructor Detail

KIFRelSent

protected KIFRelSent(AST ast)

Method Detail

getName

public final java.lang.String getName()

Specified by:

getName in class KIFSent

getTerms

public final KIFSeq<KIFTerm> getTerms()

setConstName

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

traverse

public void traverse(ASTVisitor visitor)

Specified by:

traverse in class ASTNode

toString

public java.lang.String toString()

Overrides:

toString in class ASTNode

getOperandCount

public int getOperandCount()

Specified by:

getOperandCount in class KIFSent

getOperands

public KIFSeq<KIFTerm> getOperands()

Specified by:

getOperands in class KIFSent

copyMembers

protected final void copyMembers(KIFRelSent node)