clone() const | Graph | |
del_state(hstate_t n) | Graph | [inline] |
delta(OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const | Graph | [inline] |
delta(OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const | Graph | [inline] |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::true_t) const | Graph | [inline] |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::false_t) const | Graph | [inline] |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::true_t) const | Graph | [inline] |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::false_t) const | Graph | [inline] |
deltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::kind< DKind >) const | Graph | [inline] |
edges() const | Graph | [inline] |
exists(const AutomataBase< S > &s) const | Graph | [inline] |
initial() const | Graph | [inline] |
label_t typedef | Graph | |
rdelta(OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const | Graph | [inline] |
rdelta(OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const | Graph | [inline] |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::true_t) const | Graph | [inline] |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::false_t) const | Graph | [inline] |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::true_t) const | Graph | [inline] |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::false_t) const | Graph | [inline] |
rdeltaf(Functor &fun, hstate_t from, const Query &q, delta_kind::kind< DKind >) const | Graph | [inline] |
self_t typedef | Graph | |
set_final(hstate_t, const series_set_elt_value_t &, const series_set_elt_value_t &) | Graph | [inline] |
set_initial(hstate_t s, const series_set_elt_value_t &v, const series_set_elt_value_t &z) | Graph | [inline] |
states() const | Graph | [inline] |