AutoKind< labels_are_series, Self, Series, SeriesT, LabelT > Class Template Reference

AutoKind adds methods to automaton adapted to the kind of label that are held by the internal data structure. More...

List of all members.

Public Member Functions

series_set_elt_t series_of (htransition_t e) const
const SeriesT & series_value_of (htransition_t e) const
bool is_spontaneous (htransition_t e) const
template<typename L>
letter_of (SELECTOR(L), htransition_t e) const
monoid_elt_t word_of (htransition_t e) const
const monoid_elt_t::value_t & word_value_of (htransition_t e) const
template<typename S>
htransition_t add_series_transition (hstate_t from, hstate_t to, const S &e)
htransition_t add_spontaneous (hstate_t from, hstate_t to)
template<typename L>
htransition_t add_letter_transition (hstate_t from, hstate_t to, const L &l)
template<typename OutputIterator, typename L>
void letter_delta (OutputIterator res, hstate_t from, const L &l, delta_kind::transitions k=delta_kind::transitions()) const
template<typename Container, typename L>
void letter_deltac (Container &dst, hstate_t from, const L &l, delta_kind::transitions k=delta_kind::transitions()) const
template<typename OutputIterator, typename L>
void letter_rdelta (OutputIterator res, hstate_t from, const L &l, delta_kind::transitions k=delta_kind::transitions()) const
template<typename Container, typename L>
void letter_rdeltac (Container &dst, hstate_t from, const L &l, delta_kind::transitions k=delta_kind::transitions()) const
template<typename OutputIterator, typename L>
void letter_delta (OutputIterator res, hstate_t from, const L &l, delta_kind::states k) const
template<typename Container, typename L>
void letter_deltac (Container &dst, hstate_t from, const L &l, delta_kind::states k) const
template<typename OutputIterator, typename L>
void letter_rdelta (OutputIterator res, hstate_t from, const L &l, delta_kind::states k) const
template<typename Container, typename L>
void letter_rdeltac (Container &dst, hstate_t from, const L &l, delta_kind::states k) const

Protected Types

typedef Element< Series, SeriesT > series_set_elt_t
typedef Series::monoid_t monoid_t
typedef series_set_elt_t::monoid_elt_t monoid_elt_t
typedef Series::semiring_t semiring_t
typedef series_set_elt_t::semiring_elt_t semiring_elt_t

Protected Member Functions

Self & auto_self ()
const Self & auto_self () const


Detailed Description

template<typename Self, typename Series, typename SeriesT, typename LabelT>
class vcsn::AutoKind< labels_are_series, Self, Series, SeriesT, LabelT >

AutoKind adds methods to automaton adapted to the kind of label that are held by the internal data structure.

Indeed, label can be either series element or things from which series elements can be build. In the latter case, we have to insert a series construction in each accessor.

Definition at line 88 of file kinds.hh.


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