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

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

public class KIFNegation
extends KIFLogSent

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(KIFNegation node)
java.lang.String	getName()
KIFSent	getOperand()
int	getOperandCount()
KIFSeq<KIFSent>	getOperands()
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

Method Detail

getOperands

public final KIFSeq<KIFSent> getOperands()

Specified by:

getOperands in class KIFSent

getName

public java.lang.String getName()

Specified by:

getName in class KIFSent

traverse

public void traverse(ASTVisitor visitor)

Specified by:

traverse in class ASTNode

toString

public java.lang.String toString()

Overrides:

toString in class ASTNode

getOperand

public KIFSent getOperand()

getOperandCount

public int getOperandCount()

Specified by:

getOperandCount in class KIFSent

copyMembers

protected final void copyMembers(KIFNegation node)