| add_edge(hstate_t h1, hstate_t h2, const label_t &v) | Graph | |
| add_state() | Graph | |
| clear_final() | Graph | |
| clear_initial() | Graph | |
| del_edge(hedge_t e) | Graph | |
| del_state(hstate_t n) | Graph | |
| delta(OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const | Graph | |
| delta(OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const | Graph | |
| dst_of(hedge_t e2) const | Graph | |
| edge_data_t typedef | Graph | |
| edge_value_t typedef | Graph | |
| edges() const | Graph | |
| edges_ | Graph | |
| edges_t typedef | Graph | |
| exists(const AutomataBase< S > &s) const | Graph | |
| final() const | Graph | |
| final_ | Graph | |
| final_support_t typedef | Graph | |
| final_t typedef | Graph | |
| geometry() | Graph | |
| geometry() const | Graph | |
| geometry_t typedef | Graph | |
| get_final(hstate_t, const series_set_elt_value_t &) const | Graph | |
| get_initial(hstate_t, const series_set_elt_value_t &) const | Graph | |
| Graph() | Graph | |
| Graph(unsigned initial_number_of_state, unsigned number_of_edge_initially_allocated) | Graph | |
| has_edge(hedge_t n) const | Graph | |
| has_state(hstate_t n) const | Graph | |
| initial() const | Graph | |
| initial_ | Graph | |
| initial_support_t typedef | Graph | |
| initial_t typedef | Graph | |
| label_of(hedge_t n) const | Graph | |
| label_t typedef | Graph | |
| rdelta(OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const | Graph | |
| rdelta(OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const | Graph | |
| removed_edges_ | Graph | |
| removed_states_ | Graph | |
| self_t typedef | Graph | |
| series_set_elt_value_t typedef | Graph | |
| set_final(hstate_t, const series_set_elt_value_t &, const series_set_elt_value_t &) | Graph | |
| set_initial(hstate_t, const series_set_elt_value_t &, const series_set_elt_value_t &) | Graph | |
| src_of(hedge_t e1) const | Graph | |
| state_data_t typedef | Graph | |
| state_value_t typedef | Graph | |
| states() const | Graph | |
| states_ | Graph | |
| states_t typedef | Graph | |
| tag() | Graph | [inline] |
| tag() const | Graph | |
| tag_ | Graph | |
| tag_t typedef | Graph | |
| update(hedge_t, label_t) | Graph | |
