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 | |
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::edges) 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 | rdelta (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. |