Public Types | |
typedef Graph< K, WordValue, WeightValue, SeriesValue, Letter, Tag, Geometry > | self_t |
Self type definition. | |
typedef LabelOf< K, WordValue, WeightValue, SeriesValue, Letter >::ret | label_t |
Typedefs on automaton related graphs elements. | |
Public Member Functions | |
states_t | states () const |
Return states set. | |
edges_t | edges () const |
Return edges set. | |
initial_support_t | initial () const |
Initial/final state supports. | |
State's manipulation | |
void | del_state (hstate_t n) |
Remove state n. | |
Edge's manipulation | |
Only automaton related methods | |
template<class S> | |
bool | exists (const AutomataBase< S > &s) const |
Check the consistency of an automata. | |
template<class OutputIterator, class Query> | |
void | delta (OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const |
Check the consistency of an automata. | |
template<class OutputIterator, class Query> | |
void | delta (OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const |
Check the consistency of an automata. | |
template<class OutputIterator, class Query> | |
void | rdelta (OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const |
Check the consistency of an automata. | |
template<class OutputIterator, class Query> | |
void | rdelta (OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const |
Check the consistency of an automata. | |
template<class Functor, class Query> | |
void | deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::true_t) const |
Check the consistency of an automata. | |
template<class Functor, class Query> | |
void | deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::false_t) const |
Check the consistency of an automata. | |
template<class Functor, class Query> | |
void | deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::true_t) const |
Check the consistency of an automata. | |
template<class Functor, class Query> | |
void | deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::false_t) const |
Check the consistency of an automata. | |
template<class Functor, class Query> | |
void | rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::true_t) const |
Check the consistency of an automata. | |
template<class Functor, class Query> | |
void | rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::false_t) const |
Check the consistency of an automata. | |
template<class Functor, class Query> | |
void | rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::true_t) const |
Check the consistency of an automata. | |
template<class Functor, class Query> | |
void | rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::false_t) const |
Check the consistency of an automata. | |
template<class Functor, class Query, typename DKind> | |
void | deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::kind< DKind >) const |
Check the consistency of an automata. | |
template<class Functor, class Query, typename DKind> | |
void | rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::kind< DKind >) const |
Check the consistency of an automata. |
Definition at line 82 of file graph.hh.
|
Remove state n.
Definition at line 165 of file graph.hxx. References SparseInterval::begin(), SparseInterval::end(), state_value::input_edges, and state_value::output_edges. |