Semiring
[Algebra]

Files
file	rational_number.hh
	This file contains a RationalNumber class declaration.
Classes
struct	NumericalSemiring
	NumericalSemiring is the set of semirings implemented with usual operations (+, *). More...
struct	dynamic_traits< algebra::NumericalSemiring >
	Meta information about then NumericalSemiring structural element. More...
struct	MetaElement< algebra::NumericalSemiring, T >
	Services of Element for numerical semirings. More...
struct	SemiringBase
	SemiringBase is the base class for all structures that are semirings. More...
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	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.

---