| Member |
Where defined |
Description |
|---|
| |
|
|
state_type |
plain cursor |
The type of the states handles of
the underlying DFA, that is, DFA::state_type |
char_type |
plain cursor |
The type of the transitions letters,
DFA::char_type |
tag_type |
plain cursor |
The type of the tags associated to states,
DFA::tag_type |
char_traits |
plain cursor |
Character traits associated to
char_type |
cursor() |
plain cursor |
Default constructor |
cursor(const cursor&) |
plain cursor |
Copy constructor |
state_type src() const |
plain cursor |
Return the state handle
the cursor is pointing to |
cursor& operator=(state_type q) |
plain cursor |
Set the cursor
to point to state q |
cursor& operator=(const cursor&) |
plain cursor |
Assignment operator |
bool operator==(const cursor&) const |
plain cursor |
Return
true iff both cursors point to the same state |
bool sink() const |
plain cursor |
Return true iff the
cursor points to the sink state DFA::null_state |
bool forward(const char_type &a) |
plain cursor |
Move along
transition labeled with a if defined, otherwise move to sink
state and return false |
bool exists(const char_type &a) const |
plain cursor |
Return
true if a transition labeled with a is defined |
bool src_final() const |
plain cursor |
Return true if
pointed state is final |
tag_type src_tag() const |
plain cursor |
Return the object
associated to pointed state |
char_type letter() const |
forward cursor |
Return the letter
on the pointed transition. The cursor must have been set to point to a
defined transition beforehand by succesfully calling
first_transition, next_transition() or find. |
bool first_transition() |
forward cursor |
Make the cursor
point to the first element of the transitions sequence of the source
state. Return true if there is such an element (if any
transition is defined), otherwise the pointed transition is
undefined. |
bool next_transition() |
forward cursor |
Move the cursor to
the next element of the transitions sequence of source state. Return
true if there is such an element (the cursor is not at the end
of the sequence), otherwise the pointed transition is
undefined. first_transition must have been
successfully called prior to using this method. |
bool find(const Alphabet &a) |
forward cursor |
Make the cursor
point to the transition labelled with a. Return true if
such a transition exists, otherwise the pointed transition is
undefined. |
void forward() |
forward cursor |
Move forward on the currently
pointed transition. The cursor must have been set to point to a
defined transition beforehand by succesfully calling
first_transition, next_transition() or find. |
bool aim_final() const |
forward cursor |
Return true if
the aim state is final. The cursor must have been set to point to a
defined transition beforehand by succesfully calling
first_transition, next_transition() or find. |
tag_type aim_tag() const |
forward cursor |
Return the object
associated with the aim state. The cursor must have been set to point to a
defined transition beforehand by succesfully calling
first_transition, next_transition() or find. |
state_type aim() const |
forward cursor |
Return the handle of
the aim state the cursor is point to. The cursor must have been set to point to a
defined transition beforehand by succesfully calling
first_transition, next_transition() or find. |
bool dequeue() |
queue cursor |
dequeue the current cursor and
return false is the resulting queue is empty |
