# Semiring
[Algebra]

Collaboration diagram for Semiring:

## Classes

struct | dynamic_traits< algebra::CyclicSemiring< n > >
| Meta information about the cyclic semirings. More...
struct | CyclicSemiring< n >
| Structural element that denotes tropical semiring. More...
struct | MetaElement< algebra::CyclicSemiring< n >, T >
| Services of element of a tropical semiring. More...
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< Self >
| 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< S, T >
| Meta information about the return type of the star operation. More...
struct | semiring_traits< S, T >
| Is the semiring positive? 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< TropicalKind >
| Structural element that denotes tropical semiring. More...
struct | MetaElement< algebra::TropicalSemiring< TropicalKind >, T >
| Services of element of a tropical semiring. More...
class | TRationalNumber< NUMType, DENType >
| Rational numbers class. More...

## Files

file | q_number.hh

| RationalNumber class declaration.

## 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.