Public Types | |
typedef Factory< Node< Element< Automata< S >, T > >, std::string > | factory_t |
typedef std::map< std::string, hstate_t > | map_t |
typedef reference_pair< std::map< hstate_t, std::pair< double, double > >, hstate_t > | map_state_pair_t |
typedef reference_pair< std::map< htransition_t, std::pair< double, double > >, htransition_t > | map_transition_pair_t |
Static Public Member Functions | |
static Node< Element< Automata< S >, T > > * | create () |
Definition at line 163 of file node.hh.