libvata2  [unstable] git snapshot
Public Member Functions | List of all members
OnTheFlyAlphabet Class Reference

#include <nfa.hh>

+ Inheritance diagram for OnTheFlyAlphabet:
+ Collaboration diagram for OnTheFlyAlphabet:

Public Member Functions

 OnTheFlyAlphabet (StringToSymbolMap *str_sym_map, Symbol init_symbol=0)
 
virtual std::list< Symbolget_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< Symbolget_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...
 

Detailed Description

Definition at line 101 of file nfa.hh.

Constructor & Destructor Documentation

OnTheFlyAlphabet ( StringToSymbolMap str_sym_map,
Symbol  init_symbol = 0 
)
inline

Definition at line 113 of file nfa.hh.

Member Function Documentation

virtual std::list<Symbol> get_complement ( const std::set< Symbol > &  syms) const
overridevirtual

complement of a set of symbols wrt the alphabet

Reimplemented from Alphabet.

virtual std::list<Symbol> get_symbols ( ) const
overridevirtual

gets a list of symbols in the alphabet

Reimplemented from Alphabet.

Symbol operator[] ( const std::string &  symb)
inlineinherited

also translates strings to symbols

Definition at line 84 of file nfa.hh.

References Alphabet::translate_symb().

virtual Symbol translate_symb ( const std::string &  symb)
overridevirtual

translates a string into a symbol

Implements Alphabet.


The documentation for this class was generated from the following file: