|
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 | 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.
|
template<class T> |
bool | vcsn::algebra::operator< (const RationalNumber &nb, const T nb2) |
template<class T> |
bool | vcsn::algebra::operator< (const T nb2, const RationalNumber &nb) |
template<class T> |
bool | vcsn::algebra::operator<= (const RationalNumber &nb, const T nb2) |
template<class T> |
bool | vcsn::algebra::operator<= (const T nb2, const RationalNumber &nb) |
template<class T> |
bool | vcsn::algebra::operator> (const RationalNumber &nb, const T nb2) |
template<class T> |
bool | vcsn::algebra::operator> (const T nb2, const RationalNumber &nb) |
template<class T> |
bool | vcsn::algebra::operator>= (const RationalNumber &nb, const T nb2) |
template<class T> |
bool | vcsn::algebra::operator>= (const T nb2, const RationalNumber &nb) |
template<class T> |
bool | vcsn::algebra::operator== (const RationalNumber &nb, const T nb2) |
template<class T> |
bool | vcsn::algebra::operator== (const T nb2, const RationalNumber &nb) |
template<class T> |
bool | vcsn::algebra::operator!= (const RationalNumber &nb, const T nb2) |
template<class T> |
bool | vcsn::algebra::operator!= (const T nb2, const RationalNumber &nb) |
template<class T> |
RationalNumber | vcsn::algebra::operator+ (const RationalNumber &nb, const T nb2) |
template<class T> |
RationalNumber | vcsn::algebra::operator+ (const T nb2, const RationalNumber &nb) |
template<class T> |
RationalNumber | vcsn::algebra::operator- (const RationalNumber &nb, const T nb2) |
template<class T> |
RationalNumber | vcsn::algebra::operator- (const T nb2, const RationalNumber &nb) |
template<class T> |
RationalNumber | vcsn::algebra::operator * (const RationalNumber &nb, const T nb2) |
template<class T> |
RationalNumber | vcsn::algebra::operator * (const T nb2, const RationalNumber &nb) |
template<class T> |
RationalNumber | vcsn::algebra::operator/ (const RationalNumber &nb, const T nb2) |
template<class T> |
RationalNumber | vcsn::algebra::operator/ (const T nb2, const RationalNumber &nb) |
template<class T> |
RationalNumber & | vcsn::algebra::operator+= (RationalNumber &nb, const T nb2) |
template<class T> |
RationalNumber & | vcsn::algebra::operator-= (RationalNumber &nb, const T nb2) |
template<class T> |
RationalNumber & | vcsn::algebra::operator *= (RationalNumber &nb, const T nb2) |
template<class T> |
RationalNumber & | vcsn::algebra::operator/= (RationalNumber &nb, const T nb2) |
std::ostream & | vcsn::algebra::operator<< (std::ostream &ostr, const RationalNumber &nb) |
int | vcsn::algebra::gcd (int a, unsigned int b) |
int | vcsn::algebra::lcm (int a, unsigned int b) |