Public Types | |
typedef Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, Geometry > | self_t |
typedef automaton_traits< self_t >::semiring_elt_value_t | series_set_elt_value_t |
typedef algebra::series_traits< series_set_elt_value_t >::monoid_elt_value_t | monoid_elt_value_t |
typedef algebra::series_traits< series_set_elt_value_t >::semiring_elt_value_t | semiring_elt_value_t |
typedef Graph< Kind, monoid_elt_value_t, semiring_elt_value_t, series_set_elt_value_t, Letter, Tag, Geometry > | ret |
Definition at line 425 of file graph.hh.