libvata2
[unstable] git snapshot
|
#include <nfa.hh>
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().