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

#include <nfa.hh>

+ Inheritance diagram for EnumAlphabet:
+ Collaboration diagram for EnumAlphabet:

Public Member Functions

 EnumAlphabet ()
 
template<class InputIt >
 EnumAlphabet (InputIt first, InputIt last)
 
 EnumAlphabet (std::initializer_list< std::string > l)
 
virtual Symbol translate_symb (const std::string &str) override
 translates a string into a symbol More...
 
virtual std::list< Symbolget_symbols () const override
 gets a list of symbols in the alphabet 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 161 of file nfa.hh.

Constructor & Destructor Documentation

EnumAlphabet ( )
inline

Definition at line 172 of file nfa.hh.

EnumAlphabet ( InputIt  first,
InputIt  last 
)
inline

Definition at line 175 of file nfa.hh.

EnumAlphabet ( std::initializer_list< std::string >  l)
inline

Definition at line 189 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)
inlineoverridevirtual

translates a string into a symbol

Implements Alphabet.

Definition at line 193 of file nfa.hh.


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