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