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