Classes | |
| struct | AlphabetSetBase |
| Base class for structural elements of alphabets. More... | |
| struct | alphabet_traits |
| Trait for virtual types of structural elements for alphabets. More... | |
| struct | FreeMonoidBase |
| Structural element for free monoid. More... | |
| struct | MonoidBase |
MonoidBase is the base class of all structures that are monoids. More... | |
| struct | NumericalSemiring |
| NumericalSemiring is the set of semirings implemented with usual operations (+, *). More... | |
| struct | mul_kind |
| Empty class used as static information to denotes the kind of internal operation of a semigroup. Here: operator*. More... | |
| struct | add_kind |
| Empty class used as static information to denotes the kind of internal operation of a semigroup. Here: operator+. More... | |
| struct | SemigroupBase |
SemigroupBase is the base class of all structures that are semigroups. More... | |
| struct | SemiringBase |
| SemiringBase is the base class for all structures that are semirings. More... | |
| struct | SeriesBase |
| Structural element of series K<A*> from a free monoid A* to a semiring K. More... | |
| struct | series_traits |
| Meta information about series. More... | |
| struct | TropicalMin |
| Static information about the kind of tropical we are confronted with. More... | |
| struct | TropicalMax |
| Static information about the kind of tropical we are confronted with. More... | |
| struct | TropicalSemiring |
| Structural element that denotes tropical semiring. More... | |
| struct | AlphabetSet |
| Static implementation of alphabet structural element. More... | |
| class | AlphabetDecorator |
| Decorate a given alphabet implementation with meta-symbols. More... | |
| struct | alphabet_traits< AlphabetSet< L >, AlphabetDecorator< L, T > > |
| Meta information about the mixing of AlphabetSet with std::set. More... | |
| struct | alphabet_traits< AlphabetSet< L >, std::set< L > > |
| Meta information about the mixing of AlphabetSet with std::set. More... | |
| struct | FreeMonoid |
| Implementation of a free monoid which aggregates its alphabet. More... | |
| class | RationalNumber |
| Rational numbers class. More... | |
| class | KRatExpToken |
| Schrödinger's token for rational expression lexing. More... | |
| struct | KRatExpToken::token |
| Simple token. More... | |
| struct | Lexer |
| Lexer class for the rational expression parser. More... | |
| struct | Parser |
| Parser class used in the parse() function. More... | |
| struct | BinaryOp |
| BinaryOp is integrated in the pattern matching system to permit a factorization of the accessors. More... | |
| struct | UnaryOp |
| UnaryOp is integrated in the pattern matching system to permit a factorization of the accessors. More... | |
| struct | Value |
| Value is integrated into the pattern matching system to permit a factorization of the accessors. More... | |
| struct | GenericMatcher |
| GenericMatcher manages the dispatch of pattern matching. More... | |
| struct | DispatchFunction< rat::exp< M, W > > |
| Classical dispatch function for rat::exp. More... | |
| struct | Series |
| This is the final class for series. More... | |
Functions | |
| template<class S, class T> std::pair< bool, std::string > | parse (const std::string &from, Element< S, T > &exp, bool lex_trace=false, bool parse_trace=false) |
| Parse a rational expression. | |
The algebra namespace in Vaucanson contains all the compounds which are needed to manipulate algebraic structures. Both structural elements (e.g. Alphabets, Monoids, etc.) and implementations of those elements (polynoms, rational expressions, etc.) are presents in this namespace.
1.3.7