automaton(bool collapse_epsilon=false, bool no_epsilon_produced=false) | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
collapse_epsilon | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | |
initial_states(State_vector &states) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
initial_states(State_set &states) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
initial_states() const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
automaton< unsigned, Symbol, list_automaton< Symbol > >::int_initial_states(State_vector &states) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | |
int_state_printer() const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
automaton< unsigned, Symbol, list_automaton< Symbol > >::int_successors(const unsigned &state, const Symbol &sigma, State_vector &successors) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | |
int_symbol_printer() const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
is_epsilon(const Symbol &symbol) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
is_final_state(const unsigned &state) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
is_final_state(const State_set &states) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
list_automaton(InputIterator first, InputIterator last, const printer_base< Symbol > &symbol_printer=printer< Symbol >()) | Limi::list_automaton< Symbol > | inline |
next_symbols(const unsigned &state, Symbol_vector &symbols) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
next_symbols(const unsigned &state) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
next_symbols(const unsigned &state, Symbol_set &symbols) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
no_epsilon_produced | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | |
state_printer() const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
successors(const unsigned &state, const Symbol &sigma, State_vector &successors1) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
successors(const State_set &states, const Symbol &sigma) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
successors(const State_set &states, const Symbol &sigma, State_set &successors1) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |
successors(const unsigned &state, const Symbol &sigma) const | Limi::automaton< unsigned, Symbol, list_automaton< Symbol > > | inline |