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 |
Definition at line 193 of file kinds.hh.