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_no_unreachable_state< Fsm > Struct Template Reference

#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
 

Member Typedef Documentation

template<class Fsm >
typedef check_regions_orthogonality<Fsm>::one_big_states_set boost::msm::back::check_no_unreachable_state< Fsm >::states_in_regions
template<class Fsm >
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

Member Enumeration Documentation

template<class Fsm >
anonymous enum
Enumerator
states_in_fsm 
template<class Fsm >
anonymous enum
Enumerator
cumulated_states_in_regions 

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