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. | |
1.4.1