next up previous contents
Next: New Members Up: Cursors Previous: Public base classes   Contents

Members

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 backward() stack cursor pop the stack top. Return false if the resulting stack is empty.

next up previous contents
Next: New Members Up: Cursors Previous: Public base classes   Contents
Vincent Le Maout 2003-07-08