Public Types | |
typedef SeriesValue | series_set_elt_value_t |
typedef WordValue | word_value_t |
typedef WordValue | monoid_elt_value_t |
typedef WeightValue | semiring_elt_value_t |
typedef Letter | letter_t |
typedef LabelOf< Kind, WordValue, WeightValue, SeriesValue, Letter >::ret | label_t |
typedef Tag | tag_t |
typedef edge_value< label_t > | transition_value_t |
typedef state_value | state_value_t |
typedef std::vector< state_value_t > | state_data_t |
typedef std::vector< transition_value_t > | transition_data_t |
typedef StateContainer | states_t |
typedef EdgeContainer | transitions_t |
typedef states_t::iterator | state_iterator |
typedef transitions_t::iterator | transition_iterator |
typedef std::map< hstate_t, series_set_elt_value_t > | initial_t |
typedef std::map< hstate_t, series_set_elt_value_t > | final_t |
typedef utility::Support< initial_t > | initial_support_t |
typedef utility::Support< final_t > | final_support_t |
typedef initial_support_t::iterator | initial_iterator |
typedef final_support_t::iterator | final_iterator |
typedef Geometry | geometry_t |
Definition at line 319 of file graph.hh.