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

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

Direct Known Subclasses:

KIFConjunction, KIFDisjunction, KIFImplication, KIFNegation

public abstract class KIFLogSent
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

Method Summary

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

getLeadingComment, getName, getOperandCount, getOperands, setLeadingComment

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

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

Methods inherited from class java.lang.Object

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