|
Files |
| file | rational_number.hh |
| | RationalNumber class declaration.
|
Classes |
| 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 | virtual_types< algebra::NumericalSemiring > |
| struct | MetaElement< algebra::NumericalSemiring, T > |
| | Services of Element for numerical semirings. More...
|
| struct | SemiringBase |
| | Base class for all structures that are semirings. More...
|
| struct | dynamic_traits< algebra::SemiringBase< Self > > |
| struct | virtual_types< algebra::SemiringBase< S > > |
| 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 | virtual_types< algebra::TropicalSemiring< TropicalKind > > |
| 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...
|
| struct | MetaElement< algebra::TropicalSemiring< TropicalKind >, T > |
| | Services of element of a tropical semiring. More...
|
| class | RationalNumber |
| | Rational numbers class. More...
|
Defines |
|
#define | RATIONAL_NUMBER_OPERATOR(type, op) |
|
#define | RATIONAL_NUMBER_IN_PLACE_OPERATOR(op) |
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.
|
|
template<class T> |
| bool | operator< (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| bool | operator< (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| bool | operator<= (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| bool | operator<= (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| bool | operator> (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| bool | operator> (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| bool | operator>= (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| bool | operator>= (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| bool | operator== (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| bool | operator== (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| bool | operator!= (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| bool | operator!= (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| RationalNumber | operator+ (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| RationalNumber | operator+ (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| RationalNumber | operator- (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| RationalNumber | operator- (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| RationalNumber | operator * (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| RationalNumber | operator * (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| RationalNumber | operator/ (const RationalNumber &nb, const T nb2) |
|
template<class T> |
| RationalNumber | operator/ (const T nb2, const RationalNumber &nb) |
|
template<class T> |
| RationalNumber & | operator+= (RationalNumber &nb, const T nb2) |
|
template<class T> |
| RationalNumber & | operator-= (RationalNumber &nb, const T nb2) |
|
template<class T> |
| RationalNumber & | operator *= (RationalNumber &nb, const T nb2) |
|
template<class T> |
| RationalNumber & | operator/= (RationalNumber &nb, const T nb2) |
|
std::ostream & | operator<< (std::ostream &ostr, const RationalNumber &nb) |
|
int | gcd (int a, unsigned int b) |
|
int | lcm (int a, unsigned int b) |
1.5.1