#include <metafunctions.hpp>
Public Types | |
enum | { states_in_regions_raw = number_of_states_in_regions::value } |
enum | { cumulated_states_in_regions_raw = ::boost::mpl::size<one_big_states_set>::value } |
typedef build_orthogonal_regions< Fsm, typename Fsm::initial_states > ::type | regions |
typedef ::boost::mpl::fold < regions,::boost::mpl::int_ < 0 >,::boost::mpl::plus < ::boost::mpl::placeholders::_1,::boost::mpl::size < ::boost::mpl::placeholders::_2 > > >::type | number_of_states_in_regions |
typedef ::boost::mpl::fold < regions, mpl::set0 <>, set_insert_range < ::boost::mpl::placeholders::_1,::boost::mpl::placeholders::_2 > >::type | one_big_states_set |
typedef ::boost::mpl::fold< regions, ::boost::mpl::int_<0>, ::boost::mpl::plus< ::boost::mpl::placeholders::_1 , ::boost::mpl::size< ::boost::mpl::placeholders::_2> > >::type boost::msm::back::check_regions_orthogonality< Fsm >::number_of_states_in_regions |
typedef ::boost::mpl::fold< regions,mpl::set0<>, set_insert_range< ::boost::mpl::placeholders::_1, ::boost::mpl::placeholders::_2 > >::type boost::msm::back::check_regions_orthogonality< Fsm >::one_big_states_set |
typedef build_orthogonal_regions< Fsm,typename Fsm::initial_states>::type boost::msm::back::check_regions_orthogonality< Fsm >::regions |