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

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

Services of every serie. More...

Inheritance diagram for MetaElement< algebra::SeriesBase< Self >, T >:

Inheritance graph
[legend]
List of all members.

Public Types

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

typedef algebra::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 algebra::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.

Element< Self, T > & star ()
 in-place star transformation of the weight.

bool starable () const
 returns true if we can to compute the star of the weight.


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< algebra::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 Jul 11 19:43:40 2003 for Vaucanson by doxygen 1.3.2