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

Semiring
[Algebra]


Classes

struct  NumericalSemiring
 NumericalSemiring is the set of semirings implemented with usual operations (+, *). More...

struct  dynamic_traits< algebra::NumericalSemiring >
 dynamic_traits<NumericalSemiring> defines meta information about then NumericalSemiring structural element. More...

struct  MetaElement< algebra::NumericalSemiring, T >
 MetaElement<NumericalSemiring, T> defines the services of element of numerical semirings. More...

struct  SemiringBase
 SemiringBase is the base class for all structures that are semirings. More...

struct  MetaElement< algebra::SemiringBase< Self >, T >
 Services of every element of semiring (semiring_elt). More...

struct  op_star_traits
 meta information about the return type of the star operation. More...

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  TropicalMax
 Static information about the kind of tropical we are confronted with. More...

struct  TropicalSemiring
 Structural element that denotes tropical semiring. More...


Functions

template<typename S, typename T> op_star_traits< S, T >::ret_t vcsn::star (const Element< S, T > &w)
 returns a fresh weight that is the star of w.

template<typename S, typename T> bool vcsn::parse_weight (Element< S, T > &w, const std::string &, typename std::string::const_iterator &)
 parse the beginning of the string looking for a weight.

template<typename S, typename T> bool vcsn::starable (const Element< S, T > &elt)
 returns true if we can compute the star of the weight.


Generated on Thu Dec 18 14:14:22 2003 for Vaucanson by doxygen 1.3.4