| 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 |
|
|
|
