MetaElement< algebra::FreeMonoidProductBase< Self >, T > Struct Template Reference
[product]

Element of a monoid i.e. words. More...

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

Inheritance graph
[legend]
List of all members.

Public Types

typedef virtual_types< Self
>::first_monoid_t 
first_monoid_t
typedef virtual_types< Self
>::second_monoid_t 
second_monoid_t
typedef T::first_type first_monoid_elt_value_t
typedef T::second_type second_monoid_elt_value_t
typedef Element< first_monoid_t,
first_monoid_elt_value_t
first_monoid_elt_t
typedef Element< second_monoid_t,
second_monoid_elt_value_t
second_monoid_elt_t

Public Member Functions

first_monoid_elt_tfirst ()
 First monoid's accessor.
const first_monoid_elt_tfirst () const
 First monoid's const accessor.
second_monoid_elt_tsecond ()
 Second monoid's accessor.
const second_monoid_elt_tsecond () const
 Second monoid's const accessor.
void mirror ()
 In-place mirror transformation.
template<class Ftor>
Ftor::result_type length (Ftor f)
 Length.

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>
struct vcsn::MetaElement< algebra::FreeMonoidProductBase< Self >, T >

Element of a monoid i.e. words.

Definition at line 110 of file freemonoid_product_base.hh.


Generated on Sat Jul 29 17:30:31 2006 for Vaucanson by  doxygen 1.4.6