libvata2  [unstable] git snapshot
Public Member Functions | List of all members
Alphabet Class Referenceabstract

#include <nfa.hh>

+ Inheritance diagram for Alphabet:

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< Symbolget_symbols () const
 gets a list of symbols in the alphabet More...
 
virtual std::list< Symbolget_complement (const std::set< Symbol > &syms) const
 complement of a set of symbols wrt the alphabet More...
 
virtual ~Alphabet ()
 

Detailed Description

Definition at line 77 of file nfa.hh.

Constructor & Destructor Documentation

virtual ~Alphabet ( )
inlinevirtual

Definition at line 98 of file nfa.hh.

Member Function Documentation

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

complement of a set of symbols wrt the alphabet

Reimplemented in EnumAlphabet, CharAlphabet, and OnTheFlyAlphabet.

Definition at line 92 of file nfa.hh.

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

gets a list of symbols in the alphabet

Reimplemented in EnumAlphabet, CharAlphabet, and OnTheFlyAlphabet.

Definition at line 86 of file nfa.hh.

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

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)
pure virtual

translates a string into a symbol

Implemented in EnumAlphabet, CharAlphabet, and OnTheFlyAlphabet.

Referenced by Alphabet::operator[]().


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