| 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] |