Inheritance diagram for NumericalSemiring:
Public Types | |
| typedef NumericalSemiring | self_t |
| Exact type of the most derivated type in the hierarchy. | |
Public Member Functions | |
| bool | can_choose_non_starable (SELECTOR(T)) const |
| Indicate wether it is possible or not to call choose_non_starable. | |
|
Element< NumericalSemiring, T > | choose_starable (SELECTOR(T)) const |
| Return a randomly choosed starable semiring element. | |
|
Element< NumericalSemiring, T > | choose_non_starable (SELECTOR(T)) const |
| Return a randomly choosed non-starable semiring element. | |
|
Element< NumericalSemiring, T > | identity (SELECTOR(T)) const |
| Returns the identity of the monoid (if mul_kind). | |
|
Element< NumericalSemiring, T > | zero (SELECTOR(T)) const |
| Returns the zero of the monoid (if add_kind). | |
| bool | contains (const Element< NumericalSemiring, T > &elt) const |
| Check if a given element is compatible with the structural element. | |
| bool | contains (const Element< OtherS, T > &other) const |
Specialization of containts that always return false. | |
| bool | contains (const T &elt_value) const |
| Check if an anonymous value is compatible with a structural element. | |
|
Element< NumericalSemiring, T > | choose (SELECTOR(T)) const |
| Choose randomly an element in the structure. | |
| self_t & | self () |
| Accessor to the real type. | |
|
|
Indicate wether it is possible or not to call choose_non_starable. There's no need for can_choose_starable, since Zero is always starable and therefor can be choosen. |
|
|
Specialization of Indeed, elements structured by a particular type are always incompatible with structural elements of another type. |
|
|
Accessor to the real type. This accessor is intended to be used by implementations in this class and derivated structures to obtain a reference to the structural element with its most derivated type. |
1.3.7