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

#include <nfa.hh>

+ Inheritance diagram for CharAlphabet:
+ Collaboration diagram for CharAlphabet:

Public Member Functions

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 136 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 140 of file nfa.hh.


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