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

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

public class KExCondition
extends KRule

Models K Executability Conditions


Field Summary
(package private)  ELPAtom executable
           
 
Fields inherited from class edu.udo.cs.ie.cowbots.logic.KRule
afterPart, ifPart
 
Constructor Summary
KExCondition(ELPAtom ex)
           
 
Method Summary
 void setExecutable(ELPAtom executable)
           
 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

executable

ELPAtom executable
Constructor Detail

KExCondition

public KExCondition(ELPAtom ex)
Method Detail

setExecutable

public void setExecutable(ELPAtom executable)
Parameters:
executable - the executable to set

toString

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