#include <metafunctions.hpp>
Public Types | |
enum | { states_in_fsm = ::boost::mpl::size< typename Fsm::substate_list >::value } |
enum | { cumulated_states_in_regions = ::boost::mpl::size< with_explicit_creation >::value } |
typedef check_regions_orthogonality < Fsm >::one_big_states_set | states_in_regions |
typedef set_insert_range < states_in_regions, typename::boost::mpl::eval_if < typename has_explicit_creation< Fsm > ::type, get_explicit_creation < Fsm >,::boost::mpl::vector0 <> >::type >::type | with_explicit_creation |
typedef check_regions_orthogonality<Fsm>::one_big_states_set boost::msm::back::check_no_unreachable_state< Fsm >::states_in_regions |
typedef set_insert_range< states_in_regions, typename ::boost::mpl::eval_if< typename has_explicit_creation<Fsm>::type, get_explicit_creation<Fsm>, ::boost::mpl::vector0<> >::type >::type boost::msm::back::check_no_unreachable_state< Fsm >::with_explicit_creation |