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