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