libvata2  [unstable] git snapshot
Nfa Member List

This is the complete list of members for Nfa, including all inherited members.

add_final(State state)Nfainline
add_final(const std::vector< State > vec)Nfainline
add_initial(State state)Nfainline
add_initial(const std::vector< State > vec)Nfainline
add_trans(const Trans &trans)Nfa
add_trans(State src, Symbol symb, State tgt)Nfainline
begin() const Nfainline
end() const Nfainline
finalstatesNfa
has_final(State state) const Nfainline
has_initial(State state) const Nfainline
has_trans(const Trans &trans) const Nfa
has_trans(State src, Symbol symb, State tgt) const Nfainline
initialstatesNfa
operator[](State state) const Nfainline
post(State state) const Nfainline
post(const StateSet &macrostate, Symbol sym) const Nfa
trans_empty() const Nfainline
trans_size() const Nfa