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	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	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	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...
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.