|
Compounds |
| struct | NumericalSemiring |
| | NumericalSemiring is the set of semirings implemented with usual operations (+, *). More...
|
| struct | dynamic_traits< algebra::NumericalSemiring > |
| | dynamic_traits<NumericalSemiring> defines meta information about then NumericalSemiring structural element. More...
|
| struct | MetaElement< algebra::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 | 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...
|
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 to compute the star of the weight.
|
