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

#include <nfa.hh>

+ Inheritance diagram for DirectAlphabet:
+ Collaboration diagram for DirectAlphabet:

Public Member Functions

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...
 

Detailed Description

Definition at line 125 of file nfa.hh.

Member Function Documentation

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

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
inlinevirtualinherited

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)
inlineinherited

also translates strings to symbols

Definition at line 84 of file nfa.hh.

References Alphabet::translate_symb().


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