|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.logic.KDeclaration
public class KDeclaration
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 |
---|
ELPAtom atom
java.util.ArrayList<ELPAtom> types
Constructor Detail |
---|
public KDeclaration(ELPAtom atom, java.util.ArrayList<ELPAtom> types)
Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |