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

MetaElement< SeriesBase< Self >, T > Class Template Reference
[Series]

Services of every serie. More...

List of all members.

Public Types

typedef series_traits< T
>::weight_value_t 
weight_value_t
 type of the implementation of weight (element of semiring).

typedef series_traits< T
>::monoid_value_t 
monoid_value_t
 type of the implementation of free monoid element.

typedef Element< typename
Self::weights_t, weight_value_t
weight_t
 type of the element of the semiring element.

typedef Element< typename
Self::monoid_t, monoid_value_t
monoid_elt_t
 type of the element of the monoid.

typedef Element< Self, T > element_t
 type of the serie.

typedef series_traits< T
>::support_t 
support_t
 type of the iterator over the series when finite.


Public Member Functions

weight_value_t value_get (const monoid_value_t &m) const
 returns the weight associated to a word.

weight_t get (const monoid_elt_t &m) const
 returns the weight associated to a word.

void value_set (const monoid_value_t &m, const weight_value_t &w)
 associates a weight to a word.

void assoc (const monoid_elt_t &m, const weight_t &w)
 associates a weight to a word.

bool is_finite_app () const
 returns true if the serie support is finite.

monoid_elt_t choose_from_supp () const
 returns a word that is in the support of the serie.

void transpose ()
 in-place transpose transformation of the serie.

support_t supp () const
 returns a container which is the support of the serie.


Protected Member Functions

 MetaElement ()
 Default constructor is protected since it is an abstract class.

 MetaElement (const MetaElement &other)
 Copy constructor is protected since it is an abstract class.


Detailed Description

template<class Self, typename T>
class vcsn::MetaElement< SeriesBase< Self >, T >

Services of every serie.


Member Function Documentation

support_t supp   const
 

returns a container which is the support of the serie.

The container elements are couples (m, k) where m is in the support and k is the image of m by the serie. The support is accessible only if is_finite_app is true.


Generated on Fri Jun 20 16:25:41 2003 for Vaucanson by doxygen1.3-rc3