| libvata2
    [unstable] git snapshot
    | 
#include <nfa.hh>
 Inheritance diagram for OnTheFlyAlphabet:
 Inheritance diagram for OnTheFlyAlphabet: Collaboration diagram for OnTheFlyAlphabet:
 Collaboration diagram for OnTheFlyAlphabet:| Public Member Functions | |
| OnTheFlyAlphabet (StringToSymbolMap *str_sym_map, Symbol init_symbol=0) | |
| virtual std::list< Symbol > | get_symbols () const override | 
| gets a list of symbols in the alphabet  More... | |
| virtual Symbol | translate_symb (const std::string &str) override | 
| translates a string into a symbol  More... | |
| virtual std::list< Symbol > | get_complement (const std::set< Symbol > &syms) const override | 
| complement of a set of symbols wrt the alphabet  More... | |
| Symbol | operator[] (const std::string &symb) | 
| also translates strings to symbols  More... | |
| 
 | inline | 
complement of a set of symbols wrt the alphabet
Reimplemented from Alphabet.
| 
 | overridevirtual | 
gets a list of symbols in the alphabet
Reimplemented from Alphabet.
| 
 | inlineinherited | 
also translates strings to symbols
Definition at line 84 of file nfa.hh.
References Alphabet::translate_symb().
| 
 | overridevirtual | 
translates a string into a symbol
Implements Alphabet.
 1.8.6
 1.8.6