Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Namespace Members | Class Members | File Members | Related Pages

vcsn::algebra Namespace Reference
[Algebra]

Namespace for algebra constructs in Vaucanson. More...


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.


Detailed Description

Namespace for algebra constructs in Vaucanson.

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.

See also:


Generated on Mon Mar 29 15:42:51 2004 for Vaucanson by doxygen 1.3.6-20040222