edu.udo.cs.ie.cowbots.logic
Class KCausationRule

Package class diagram package KCausationRule
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.logic.KRule
      extended by edu.udo.cs.ie.cowbots.logic.KCausationRule

public class KCausationRule
extends KRule


Field Summary
(package private)  ELPLiteral caused
           
 
Fields inherited from class edu.udo.cs.ie.cowbots.logic.KRule
afterPart, ifPart
 
Constructor Summary
KCausationRule(ELPLiteral caused)
           
KCausationRule(ELPLiteral caused, java.util.ArrayList<ELPLiteral> ifPart, java.util.ArrayList<ELPLiteral> afterPart)
           
 
Method Summary
 void setCaused(ELPLiteral caused)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.udo.cs.ie.cowbots.logic.KRule
addAfter, addIf
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

caused

ELPLiteral caused
Constructor Detail

KCausationRule

public KCausationRule(ELPLiteral caused)

KCausationRule

public KCausationRule(ELPLiteral caused,
                      java.util.ArrayList<ELPLiteral> ifPart,
                      java.util.ArrayList<ELPLiteral> afterPart)
Method Detail

setCaused

public void setCaused(ELPLiteral caused)
Parameters:
caused - the caused to set

toString

public java.lang.String toString()
Overrides:
toString in class KRule