Collaboration diagram for Semiring:
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) |