Compounds | |
struct | NumericalSemiring |
NumericalSemiring is the set of semirings implemented with usual operations (+, *). More... | |
struct | MetaSet< NumericalSemiring > |
MetaSet<NumericalSemiring> defines meta information about then NumericalSemiring structural element. More... | |
struct | MetaElement< 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 (weight). More... | |
struct | op_star_traits |
meta information about the return type of the star operation. More... | |
struct | MetaSet< 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 | 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 | stareable (const Element< S, T > &elt) |
returns true if we can to compute the star of the weight. |