Algebra

Algebra constructs for Vaucanson. More...

Collaboration diagram for Algebra:


Classes

struct  AlphabetSetBase< S >
 Base class for structural elements of alphabets. More...
struct  dynamic_traits< algebra::AlphabetSetBase< S > >
 Specialization of dynamic_traits for AlphabetSetBase. More...
struct  FreeMonoidBase< Self >
 Structural element for free monoid. More...
struct  dynamic_traits< algebra::FreeMonoidBase< Self > >
struct  dynamic_traits< algebra::FreeMonoidProduct< F, S > >
 Meta information about FreeMonoidProduct. More...
struct  FreeMonoidProductBase< Self >
 Structural element for free monoid product. More...
struct  dynamic_traits< algebra::FreeMonoidProductBase< Self > >
struct  MonoidBase< Self >
 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< Self >
 Base class for all structures that are semirings. More...
struct  dynamic_traits< algebra::SemiringBase< Self > >
struct  SeriesBase< Self >
 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< L >
 Static implementation of alphabet structural element. More...
struct  dynamic_traits< algebra::AlphabetSet< L > >
 Meta information about AlphabetSet. More...
class  AlphabetDecorator< L, T >
 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< A >
 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...

Namespaces

namespace  vcsn::algebra
 Namespace for algebra constructs in Vaucanson.

Modules

 Alphabet
 Freemonoid
 Fmp
 Monoid
 Semiring
 Semigroup
 Series

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.

Detailed Description

Algebra constructs for Vaucanson.

This group aggregates the documentation of compounds related to algebraic structures of Vaucanson, such as Monoids, Series, or rational expressions (as implementation of series).

See also:

Generated on Tue May 26 13:24:42 2009 for Vaucanson by  doxygen 1.5.8