- Main Page
- Modules
- Namespaces
- Classes
- Files
- Related Pages

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