- Main Page
- Modules
- Namespaces
- Classes
- Files
- Related Pages

- Alphabetical List
- Class List
- Class Hierarchy
- Class Members

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

Services of every series. More...

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

[legend]

List of all members.

## Public Types
typedef algebra::series_traits < T >::semiring_elt_value_t | semiring_elt_value_t
| type of the implementation of semiring_elt (element of semiring).
typedef algebra::series_traits < T >::monoid_elt_value_t | monoid_elt_value_t
| type of the implementation of free monoid element.
typedef Element< typename Self::semiring_t, semiring_elt_value_t > | semiring_elt_t
| type of the element of the semiring element.
typedef Element< typename Self::monoid_t, monoid_elt_value_t > | monoid_elt_t
| type of the element of the monoid.
typedef Element< Self, T > | element_t
| type of the series.
typedef algebra::series_traits < T >::support_t | support_t
| type of the iterator over the series when finite.
## Public Member Functions
semiring_elt_value_t | get (const monoid_elt_value_t &m) const
| returns the weight associated to a word.
semiring_elt_t | get (const monoid_elt_t &m) const
| returns the weight associated to a word.
void | assoc (const monoid_elt_value_t &m, const semiring_elt_value_t &w)
| Associate a semiring_elt to a word.
void | assoc (const monoid_elt_t &m, const semiring_elt_t &w)
| Associate a weight to a word.
bool | is_finite_app () const
| Whether the series support is finite.
monoid_elt_t | choose_from_supp () const
| A random word that is in the support of the series.
void | transpose ()
| in-place transpose transformation of the series.
support_t | supp () const
| Returns a container which is the support of the series.
Element< Self, T > & | star ()
| In-place star transformation of the weight.
bool | starable () const
| True if we can 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 series.

Definition at line 117 of file series_base.hh.

## Member Function Documentation

void assoc | ( | const monoid_elt_value_t & | m,
|  | const semiring_elt_value_t & | w |
| ) |  |  | `[inline]`

Associate a semiring_elt to a word.

Remove m if w is zero.

Definition at line 92 of file series_base.hxx.

void assoc | ( | const monoid_elt_t & | m,
|  | const semiring_elt_t & | w |
| ) |  |  | `[inline]`

Associate a weight to a word.

Remove m if w is zero.

Definition at line 102 of file series_base.hxx.

MetaElement< algebra::SeriesBase< Self >, T >::support_t supp | ( |  | ) | const`[inline]`

Returns a container which is the support of the series.

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

Definition at line 134 of file series_base.hxx.