![]() |
Files | |
file | algebra.hh |
Workaround to give Doxygen documentation about the algebra namespace. | |
file | rational_number.hh |
RationalNumber class declaration. | |
file | krat_exp_parser.hh |
This file declares the parse() function. | |
Namespaces | |
namespace | vcsn::algebra |
Namespace for algebra constructs in Vaucanson. | |
Modules | |
Alphabet | |
Freemonoid | |
Fmp | |
Monoid | |
Semiring | |
Semigroup | |
Series | |
Classes | |
struct | AlphabetSetBase |
Base class for structural elements of alphabets. More... | |
struct | dynamic_traits< algebra::AlphabetSetBase< S > > |
Specialization of dynamic_traits for AlphabetSetBase . More... | |
struct | FreeMonoidBase |
Structural element for free monoid. More... | |
struct | dynamic_traits< algebra::FreeMonoidBase< Self > > |
struct | FreeMonoidProduct |
Implementation of a monoid which is a product of two free monoids. More... | |
struct | dynamic_traits< algebra::FreeMonoidProduct< F, S > > |
Meta information about FreeMonoidProduct. More... | |
struct | FreeMonoidProductBase |
Structural element for free monoid product. More... | |
struct | dynamic_traits< algebra::FreeMonoidProductBase< Self > > |
struct | MonoidBase |
The base class of all structures that are monoids. More... | |
struct | dynamic_traits< algebra::MonoidBase< Self > > |
struct | NumericalSemiring |
The set of semirings implemented with usual operations (+, *). More... | |
struct | dynamic_traits< algebra::NumericalSemiring > |
Meta information about the NumericalSemiring structural element. More... | |
struct | mul_kind |
Empty class used as static information to denote the kind of internal operation of a semigroup. More... | |
struct | dynamic_traits< algebra::SemigroupBase< Self > > |
struct | SemiringBase |
Base class for all structures that are semirings. More... | |
struct | dynamic_traits< algebra::SemiringBase< Self > > |
struct | SeriesBase |
Structural element of series K<A*> from a free monoid A* to a semiring K. More... | |
struct | dynamic_traits< algebra::SeriesBase< Self > > |
struct | dynamic_traits< algebra::TropicalSemiring< TropicalKind > > |
Meta information about the tropical semirings. More... | |
struct | TropicalMin |
Static information about the kind of tropical we are confronted with. More... | |
struct | MetaElement< algebra::TropicalSemiring< TropicalKind >, T > |
Services of element of a tropical semiring. More... | |
struct | alphabet_traits< AlphabetSet< L >, std::set< L > > |
Meta information about the mixing of AlphabetSet with std::set. More... | |
struct | MetaElement< algebra::AlphabetSet< L >, std::set< L > > |
Services of every alphabet implemented with std::set. More... | |
struct | AlphabetSet |
Static implementation of alphabet structural element. More... | |
struct | dynamic_traits< algebra::AlphabetSet< L > > |
Meta information about AlphabetSet. More... | |
class | AlphabetDecorator |
Decorate a given alphabet implementation with meta-symbols. More... | |
struct | MetaElement< algebra::AlphabetSet< L >, algebra::AlphabetDecorator< L, T > > |
Services of every alphabet implemented with AlphabetDecorator<L, T>. More... | |
struct | FreeMonoid |
Implementation of a free monoid which aggregates its alphabet. More... | |
struct | dynamic_traits< algebra::FreeMonoid< A > > |
Meta information about FreeMonoid. More... | |
class | RationalNumber |
Rational numbers class. More... | |
interface | semiring_virtual |
Virtual pure class used by bison to deal with vaucanson's templated structures. More... |
This group aggregates the documentation of compounds related to algebraic structures of Vaucanson, such as Monoids, Series, or rational expressions (as implementation of series).