Algebra
[Algebra]

\ More...

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

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)  )  [inline]

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)  )  [inline]

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

---