libvata2
[unstable] git snapshot
|
#include <nfa.hh>
Public Member Functions | |
virtual Symbol | translate_symb (const std::string &str) override |
translates a string into a symbol More... | |
virtual std::list< Symbol > | get_symbols () const override |
gets a list of symbols in the alphabet 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... | |
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().
|
inlineoverridevirtual |