Semiring
[Algebra]

Collaboration diagram for Semiring:


Files

file  rational_number.hh
 RationalNumber class declaration.

Classes

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  MetaElement< algebra::NumericalSemiring, T >
 Services of Element for numerical semirings. More...
struct  SemiringBase
 Base class for all structures that are semirings. More...
struct  dynamic_traits< algebra::SemiringBase< Self > >
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...
struct  MetaElement< algebra::TropicalSemiring< TropicalKind >, T >
 Services of element of a tropical semiring. More...
class  RationalNumber
 Rational numbers class. More...

Functions

template<typename S, typename T>
op_star_traits< S, T >::ret_t star (const Element< S, T > &w)
 Returns a fresh weight that is the star of w.
template<typename S, typename T>
bool 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 starable (const Element< S, T > &elt)
 Returns true if we can compute the star of the weight.

Generated on Thu Sep 17 22:01:42 2009 for Vaucanson by  doxygen 1.5.6