| Member |
Where defined |
Description |
|---|
| |
|
|
state_type |
breadth-first cursor |
The type of the states
handles of the underlying DFA. |
char_type |
breadth-first cursor |
The type of the transitions
letters. |
tag_type |
breadth-first cursor |
The type of the tags associated to
states. |
bfirst_cursor() |
breadth-first cursor |
Construct a cursor with an
empty queue useful as end-of-range iterator. |
bfirst_cursor( const bfirst_cursor &c) |
breadth-first cursor |
Copy constructor. |
state_type src() const |
breadth-first cursor |
Return the state
handle the cursor is pointing to. |
bool src_final() const |
breadth-first cursor |
Return
true if the pointed state is final. |
char_type letter() const |
breadth-first cursor |
Return the
letter on the pointed transition. |
bool aim() const |
breadth-first cursor |
Return the handle of
the aim state the cursor is pointing to. |
bool aim_final() const |
breadth-first cursor |
Return
true if the aim state is final. |
bool operator==(
const bfirst_cursor &c) const |
breadth-first cursor |
Return
true iff both queues are equal. |
Tag src_tag() const |
breadth-first cursor |
Return the tag
associated to the source state. |
Tag aim_tag() const |
breadth-first cursor |
Return the tag
associated to the aim state. |
bool next_transition() |
breadth-first cursor |
Increment the cursor
making it point to the next transition in the sequence. Return
true if there are transitions left. |
|
|
|
