|
libvata2
[unstable] git snapshot
|
#include <nfa.hh>
Inheritance diagram for DirectAlphabet:
Collaboration diagram for DirectAlphabet:Public Member Functions | |
| Symbol | operator[] (const std::string &symb) |
| also translates strings to symbols More... | |
| virtual std::list< Symbol > | get_symbols () const |
| gets a list of symbols in the alphabet More... | |
| virtual std::list< Symbol > | get_complement (const std::set< Symbol > &syms) const |
| complement of a set of symbols wrt the alphabet More... | |
|
inlinevirtualinherited |
complement of a set of symbols wrt the alphabet
Reimplemented in EnumAlphabet, CharAlphabet, and OnTheFlyAlphabet.
|
inlinevirtualinherited |
gets a list of symbols in the alphabet
Reimplemented in EnumAlphabet, CharAlphabet, and OnTheFlyAlphabet.
|
inlineinherited |
also translates strings to symbols
Definition at line 84 of file nfa.hh.
References Alphabet::translate_symb().
1.8.6