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

---