Semiring
[Algebra]

Collaboration diagram for Semiring:

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	MetaElement< algebra::NumericalSemiring, T >
	Services of Element for numerical semirings. More...
struct	SemiringBase< Self >
	Base class for all structures that are semirings. More...
struct	dynamic_traits< algebra::SemiringBase< Self > >
struct	MetaElement< algebra::SemiringBase< Self >, T >
	Services of every element of semiring (semiring_elt). More...
struct	op_star_traits< S, T >
	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	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< TropicalKind >
	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...
Files
file	rational_number.hh
	RationalNumber class declaration.
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.