Main Page   Modules   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members   Related Pages  

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_stareable (const S &set, SELECTOR(T))
template<typename S, typename T> Element< S, T > op_choose_stareable (const algebra::SemiringBase< S > &set, SELECTOR(T))
template<typename S, typename T> Element< S, T > op_choose_non_stareable (const algebra::SemiringBase< S > &set, SELECTOR(T))

Detailed Description

\


Function Documentation

bool op_can_choose_non_stareable const S &    set,
SELECTOR(T)   
[inline]
 

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

Element< S, T > op_choose_stareable const algebra::SemiringBase< S > &    set,
SELECTOR(T)   
[inline]
 

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

Element< S, T > op_choose_non_stareable const algebra::SemiringBase< S > &    set,
SELECTOR(T)   
[inline]
 

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


Generated on Tue Jul 1 18:19:14 2003 for Vaucanson by doxygen1.3-rc3