Semiring
[Algebra]

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)

Generated on Fri Jul 28 12:32:56 2006 for Vaucanson by  doxygen 1.4.6