Public Member Functions | |
| Skeleton (const Element< A, T > &x) | |
| void | reserve_aux_states_int () | 
| void | reserve_aux_states_bool () | 
| void | reserve_aux_states_generic () | 
| void | reserve_aux_transitions_int () | 
| void | reserve_aux_transitions_bool () | 
| void | reserve_aux_transitions_generic () | 
Public Attributes | |
| const Element< A, T > & | a | 
| std::vector< hstate_t > | states | 
| std::vector< htransition_t > | transitions | 
| std::vector< int > | origins_transitions | 
| std::vector< int > | aims_transitions | 
| std::vector< std::list< int > > | delta_in | 
| std::vector< std::list< int > > | delta_out | 
| std::list< int > | I | 
| std::list< int > | F | 
| std::vector< int > | transitions_labels | 
| std::vector< int > | aux_states_int | 
| std::vector< bool > | aux_states_bool | 
| std::vector< void * > | aux_states_generic | 
| std::vector< int > | aux_transitions_int | 
| std::vector< bool > | aux_transitions_bool | 
| std::vector< void * > | aux_transitions_generic | 
Definition at line 41 of file skeleton.hh.
 1.4.6