Algebra
[Algebra]

\ More...

Namespaces
namespace	vcsn::algebra
Modules
Alphabet
Freemonoid
Monoid
Semiring
Semigroup
Series
Algebra
	\
Compounds
struct	MetaElement< algebra::TropicalSemiring< TropicalKind >, T >
	Services of element of a tropical semiring. More...
Functions
template<typename T, typename Self> T	op_default (SELECTOR(algebra::MonoidBase< Self >), SELECTOR(T))
	By default, an element of a monoid is the identity.
template<typename S, typename T> bool	op_can_choose_non_starable (const S &set, SELECTOR(T))
template<typename S, typename T> Element< S, T >	op_choose_starable (const algebra::SemiringBase< S > &set, SELECTOR(T))
template<typename S, typename T> Element< S, T >	op_choose_non_starable (const algebra::SemiringBase< S > &set, SELECTOR(T))

---

Detailed Description

\

---

Function Documentation

bool op_can_choose_non_starable (  const S &  set, SELECTOR(T)  )

operator over SemiringBase<S> that returns whether a non-starable element can be choosen from a Semiring, given a particular implementation.

Element<S, T> op_choose_starable (  const algebra::SemiringBase< S > &  set, SELECTOR(T)  )

operator over SemiringBase<S> that returns a random starable element in the set.

Element<S, T> op_choose_non_starable (  const algebra::SemiringBase< S > &  set, SELECTOR(T)  )

operator over SemiringBase<S> that returns a random non-starable element in the set.

---