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