libvata2
[unstable] git snapshot
|
#include <nfa.hh>
Public Member Functions | |
virtual Symbol | translate_symb (const std::string &symb)=0 |
translates a string into a symbol More... | |
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... | |
virtual | ~Alphabet () |
complement of a set of symbols wrt the alphabet
Reimplemented in EnumAlphabet, CharAlphabet, and OnTheFlyAlphabet.
|
inlinevirtual |
gets a list of symbols in the alphabet
Reimplemented in EnumAlphabet, CharAlphabet, and OnTheFlyAlphabet.
|
inline |
also translates strings to symbols
Definition at line 84 of file nfa.hh.
References Alphabet::translate_symb().
|
pure virtual |
translates a string into a symbol
Implemented in EnumAlphabet, CharAlphabet, and OnTheFlyAlphabet.
Referenced by Alphabet::operator[]().