|
libvata2
[unstable] git snapshot
|
This is the complete list of members for Nfa, including all inherited members.
| add_final(State state) | Nfa | inline |
| add_final(const std::vector< State > vec) | Nfa | inline |
| add_initial(State state) | Nfa | inline |
| add_initial(const std::vector< State > vec) | Nfa | inline |
| add_trans(const Trans &trans) | Nfa | |
| add_trans(State src, Symbol symb, State tgt) | Nfa | inline |
| begin() const | Nfa | inline |
| end() const | Nfa | inline |
| finalstates | Nfa | |
| has_final(State state) const | Nfa | inline |
| has_initial(State state) const | Nfa | inline |
| has_trans(const Trans &trans) const | Nfa | |
| has_trans(State src, Symbol symb, State tgt) const | Nfa | inline |
| initialstates | Nfa | |
| operator[](State state) const | Nfa | inline |
| post(State state) const | Nfa | inline |
| post(const StateSet ¯ostate, Symbol sym) const | Nfa | |
| trans_empty() const | Nfa | inline |
| trans_size() const | Nfa |
1.8.6