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

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

public class KDeclaration
extends java.lang.Object

This class models declarations used within a K-program, which are the fluent and the action declarations. Needed to type fluents and actions to the background predicates.


Field Summary
(package private)  ELPAtom atom
           
(package private)  java.util.ArrayList<ELPAtom> types
           
 
Constructor Summary
KDeclaration(ELPAtom atom, java.util.ArrayList<ELPAtom> types)
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

atom

ELPAtom atom

types

java.util.ArrayList<ELPAtom> types
Constructor Detail

KDeclaration

public KDeclaration(ELPAtom atom,
                    java.util.ArrayList<ELPAtom> types)
Method Detail

toString

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