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.