add_edge(hstate_t h1, hstate_t h2, const label_t &v) | Graph | |
add_state() | Graph | |
clear_final() | Graph | |
clear_initial() | Graph | |
clone() const | Graph | |
del_edge(hedge_t e) | Graph | |
del_state(hstate_t n) | Graph | |
delta(OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const | Graph | |
delta(OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const | Graph | |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::true_t) const | Graph | |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::false_t) const | Graph | |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::true_t) const | Graph | |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::false_t) const | Graph | |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::kind< DKind >) 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::states) const | Graph | |
rdelta(OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const | Graph | |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::true_t) const | Graph | |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::false_t) const | Graph | |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::true_t) const | Graph | |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::false_t) const | Graph | |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::kind< DKind >) 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 s, const series_set_elt_value_t &v, const series_set_elt_value_t &z) | 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 | |