org.eclipse.palamedes.gdl.core.ast
Class RuleGeneral

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.KIFImplication
                  org.eclipse.palamedes.gdl.core.ast.Rule
                      org.eclipse.palamedes.gdl.core.ast.RuleGeneral

public class RuleGeneral
extends Rule

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.gdl.core.ast.Rule

getConsequence, getHeadLvl1Const, getHeadLvl2Const, setConsequence

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

copyMembers, getName, getOperandCount, getOperands, getPremise, toString, traverse

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