|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
S
- States setpublic interface States<S extends State>
This interface represents a set of objects State. The user must choose his own data structure and define the constuctors, or provide a mechanism to generate the sates on-the-fly. A convinience class, StatesSet, is provided if the states are to be stored.
StatesSet
Method Summary | |
---|---|
boolean |
isClosed()
The set is closed if all elements have been added. |
java.util.Iterator<S> |
iterator()
This function must be implemented. |
int |
numerateStates()
This method numerates all states and returns the number of states found. |
int |
size()
Returns the number of elements. |
Method Detail |
---|
java.util.Iterator<S> iterator()
iterator
in interface java.lang.Iterable<S extends State>
int size()
int numerateStates()
boolean isClosed()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |