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

Services of every serie. More...

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_value_t	monoid_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_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
semiring_elt_value_t	value_get (const monoid_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	value_set (const monoid_value_t &m, const semiring_elt_value_t &w)
	associates a semiring_elt to a word.
void	assoc (const monoid_elt_t &m, const semiring_elt_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< 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.

---