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

Add adapted accessors in function of the automaton kind. More...

List of all members.

Public Member Functions
series_set_elt_t	series_of (htransition_t e) const
	Return the label seen as a series.
const SeriesT &	series_value_of (htransition_t e) const
	Return the label seen as a series implementation.
bool	is_spontaneous (htransition_t e) const
	Return true if the transition is spontaneous.
template<typename L >
L	letter_of (SELECTOR(L), htransition_t e) const
	Return the label seen as a letter.
monoid_elt_t	word_of (htransition_t e) const
	Return the label seen as a word.
const monoid_elt_t::value_t &	word_value_of (htransition_t e) const
	Returns the label seen as word implementation.

---

Detailed Description

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

Add adapted accessors in function of the automaton kind.

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.

---

Member Function Documentation

Element< Series, SeriesT > series_of

(

htransition_t

e

)

const

Return the label seen as a series.

Definition at line 599 of file automata_base.hxx.

References vcsn::op_series_of().

const SeriesT & series_value_of

(

htransition_t

e

)

const

Return the label seen as a series implementation.

Definition at line 607 of file automata_base.hxx.

References vcsn::op_series_value_of().

bool is_spontaneous

(

htransition_t

e

)

const

Return true if the transition is spontaneous.

Definition at line 615 of file automata_base.hxx.

References vcsn::op_is_spontaneous().

L letter_of	(	SELECTOR(L)	,
		htransition_t	e
	)		const

Return the label seen as a letter.

Becareful, when you have more general label this method is probably invalidated.

Definition at line 649 of file automata_base.hxx.

References vcsn::op_letter_of().

Element< Series, SeriesT >::monoid_elt_t word_of

(

htransition_t

e

)

const

Return the label seen as a word.

Definition at line 623 of file automata_base.hxx.

References vcsn::op_word_of().

const Element< Series, SeriesT >::monoid_elt_t::value_t & word_value_of

(

htransition_t

e

)

const

Returns the label seen as word implementation.

Definition at line 639 of file automata_base.hxx.

References vcsn::op_word_value_of().