Public Types | |
typedef Graph | graph_type |
The type of automata implementation. | |
typedef Handler | data_type |
The type of handlers it shall return. | |
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. | |
data_type | operator* () const |
Access the current item. |
Graph is the type of automata implementation. Handler is the type of handlers it shall return. Direction indicates if we want successors or predecessors.
Definition at line 38 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.