|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A
- the class for atomic elements in a statepublic interface WorldState<A>
A WorldState is a logical representation of all the facts that are true in the state of the world represented by this WorldState. It corresponds to a snapshot of the world at a specific instant in time. In AI planning this is often called a situation. The class parameter defines the type of fact that is represented in the state.
Method Summary | |
---|---|
void |
add(A atom)
This function asserts the given Atom in this WorldState. |
void |
addAll(A[] atoms)
This function asserts all the given Atoms in this WorldState. |
boolean |
entails(A atom)
This function tests whether the given Atom holds in this WorldState. |
boolean |
entailsAll(A[] atoms)
This function tests whether all the given Atoms hold in this WorldState. |
boolean |
falsifies(A atom)
This function tests whether the given Atom does not hold in this WorldState. |
void |
retract(A atom)
This function deletes the given Atom from this WorldState. |
void |
retractAll(A[] atoms)
This function deletes all the given Atoms from this WorldState. |
int |
size()
This function returns the number of Atoms that are true in this state. |
Methods inherited from interface java.lang.Iterable |
---|
iterator |
Method Detail |
---|
int size()
This function returns the number of Atoms that are true in this state.
void add(A atom)
This function asserts the given Atom in this WorldState.
atom
- the Atom that is to hold in this statevoid addAll(A[] atoms)
This function asserts all the given Atoms in this WorldState.
atoms
- the Atoms that are to hold in this statevoid retract(A atom)
This function deletes the given Atom from this WorldState.
atom
- the Atom that is not to hold in this statevoid retractAll(A[] atoms)
This function deletes all the given Atoms from this WorldState.
atoms
- the Atoms that are not to hold in this stateboolean entails(A atom)
This function tests whether the given Atom holds in this WorldState.
atom
- the Atom that may or may not be true
boolean entailsAll(A[] atoms)
This function tests whether all the given Atoms hold in this WorldState.
atoms
- the Atoms that may or may not be true
boolean falsifies(A atom)
This function tests whether the given Atom does not hold in this WorldState.
atom
- the Atom that may or may not be true
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |