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 |