Boost  v1.57.0
doxygen for www.boost.org
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
boost::msm::back::check_regions_orthogonality< Fsm > Struct Template Reference

#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
 

Member Typedef Documentation

template<class Fsm>
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
template<class Fsm>
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
template<class Fsm>
typedef build_orthogonal_regions< Fsm,typename Fsm::initial_states>::type boost::msm::back::check_regions_orthogonality< Fsm >::regions

Member Enumeration Documentation

template<class Fsm>
anonymous enum
Enumerator
states_in_regions_raw 
template<class Fsm>
anonymous enum
Enumerator
cumulated_states_in_regions_raw 

The documentation for this struct was generated from the following file: