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

Services of every serie. More...

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

[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.

---