Public Types | |
typedef bmig::Graph< labels_are_letters, WordValue, bool, SeriesValue, Letter, Tag, GeometryCoords > | graph_t |
typedef graph_t::semiring_elt_value_t | semiring_elt_value_t |
typedef graph_t::monoid_elt_value_t | monoid_elt_value_t |
typedef graph_t::word_value_t | word_value_t |
typedef graph_t::series_set_elt_value_t | series_set_elt_value_t |
typedef graph_t::letter_t | letter_t |
typedef graph_t::tag_t | tag_t |
typedef graph_t::geometry_t | geometry_t |
typedef graph_t::label_t | label_t |
typedef graph_t::states_t | states_t |
typedef states_t::iterator | state_iterator |
typedef graph_t::hstate_t | hstate_t |
typedef graph_t::edges_t | transitions_t |
typedef transitions_t::iterator | transition_iterator |
typedef graph_t::htransition_t | htransition_t |
typedef graph_t::initial_t | initial_t |
typedef graph_t::initial_support_t | initial_support_t |
typedef initial_support_t::iterator | initial_iterator |
typedef graph_t::final_t | final_t |
typedef graph_t::final_support_t | final_support_t |
typedef final_support_t::iterator | final_iterator |
Definition at line 318 of file bmig_graph_letters_spec.hh.