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