Public Types | |
| typedef Graph | graph_type |
| The type of automata implementation. | |
|
typedef std::set< typename graph_type::htransition_t > | container_type |
| The type of the container it wraps. | |
| typedef container_type::iterator | iterator_type |
| The type of iterator used on container_type. | |
| typedef Direction | direction |
| Indicates if we want successors or predecessors. | |
Public Member Functions | |
| DeltaConstIterator (const graph_type &g, typename graph_type::hstate_t s) | |
| Initialize the iterator. | |
| void | next () |
| Step toward the next item. | |
| bool | done () const |
| Tell if all the items have been visited. | |
| graph_type::htransition_t | operator* () const |
| Access the current item. | |
Graph is the type of automata implementation. Direction indicates if we want successors or predecessors.
Definition at line 37 of file listg/iterator.hh.
| DeltaConstIterator | ( | const graph_type & | g, | |
| typename graph_type::hstate_t | s | |||
| ) |
Initialize the iterator.
| g | the automaton implementation | |
| s | the starting state |
| bool done | ( | ) | const |
Tell if all the items have been visited.
Return true if there is no more item to visit and false otherwise.
1.5.8