Transducer< Series, Kind > Class Template Reference

Final class for the set of transducers. More...

Inheritance diagram for Transducer< Series, Kind >:

Inheritance graph
[legend]

List of all members.

Public Types

typedef Transducer< Series, Kind > self_t
 Exact type of the most derived type in the hierarchy.
typedef virtual_types< self_t >
::series_set_t 
series_set_t
 The type of the series set associated with the automaton.
typedef virtual_types< self_t >
::kind_t 
kind_t
 The type of the label kind associated with the automaton.

Public Member Functions

const series_set_tseries () const
 Accessor to the set of series of the automaton.
bool contains (const Element< Transducer< Series, Kind >, T > &elt) const
 Check if a given element is compatible with the structural element.
bool contains (const Element< OtherS, T > &other) const
 Specialization of contains that always returns false.
bool contains (const T &elt_value) const
 Check if an anonymous value is compatible with a structural element.
Element< Transducer< Series,
Kind >, T > 
choose (SELECTOR(T)) const
 Choose randomly an element in the structure.
self_tself ()
 Accessor to the real type.
const self_tself () const
 Accessor to the real type.

Private Member Functions

const Series & _structure_get () const
 Access to the instance of the structural element.
bool _structure_bound () const
 Whether the current set slot is linked to a structural element.
Methods to link the Slot
Because this version of the class pertains to static S.E.

's, those methods actually do nothing and calls to it should be optimized away.

void _structure_assign (const SetSlotAttribute &other)
 Link a SetSlot to another.
void _structure_attach (const Series &other)
 Link a SetSlot to a structural element.


Detailed Description

template<typename Series, typename Kind>
class vcsn::Transducer< Series, Kind >

Final class for the set of transducers.

Definition at line 55 of file transducer.hh.


Member Function Documentation

bool contains ( const Element< OtherS, T > &  other  )  const [inline, inherited]

Specialization of contains that always returns false.

Indeed, elements structured by a particular type are always incompatible with structural elements of another type.

self_t& self (  )  [inherited]

Accessor to the real type.

To be used by implementations in this class and derived structures to obtain a reference to the structural element with its most derived type.

const self_t& self (  )  const [inherited]

Accessor to the real type.

To be used by implementations in this class and derived structures to obtain a reference to the structural element with its most derived type.


Generated on Mon May 4 08:42:41 2009 for Vaucanson by  doxygen 1.5.8