|
Classes |
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 (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...
|
Functions |
template<typename S, typename T> op_star_traits< S, T >::ret_t | vcsn::star (const Element< S, T > &w) |
| returns a fresh weight that is the star of w.
|
template<typename S, typename T> bool | vcsn::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 | vcsn::starable (const Element< S, T > &elt) |
| returns true if we can compute the star of the weight.
|