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

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

Direct Known Subclasses:

RuleGeneral, RuleGoal, RuleLegal, RuleNext, RuleTerminal

public abstract class Rule
extends KIFImplication

A rule is an implication of the form h <= b_1 ∧ ... ∧ b_n

• h is an atomic sentence
• b_i is a literal or a disjunction of literals

Author:

Ingo Keller

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

KIFRelSent	getConsequence()
java.lang.String	getHeadLvl1Const()
java.lang.String	getHeadLvl2Const()
void	setConsequence(KIFSent consequence)

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

Method Detail

getConsequence

public KIFRelSent getConsequence()

Overrides:

getConsequence in class KIFImplication

setConsequence

public void setConsequence(KIFSent consequence)

Overrides:

setConsequence in class KIFImplication

getHeadLvl1Const

public java.lang.String getHeadLvl1Const()

getHeadLvl2Const

public java.lang.String getHeadLvl2Const()