FM / back

/usr/include/boost/msm/back

Name	Size	Mode	Actions
args.hpp	3579	0644	edit dl rm
bind_helpers.hpp	1394	0644	edit dl rm
common_types.hpp	1195	0644	edit dl rm
copy_policies.hpp	849	0644	edit dl rm
default_compile_policy.hpp	856	0644	edit dl rm
dispatch_table.hpp	20353	0644	edit dl rm
favor_compile_time.hpp	13827	0644	edit dl rm
fold_to_list.hpp	2436	0644	edit dl rm
history_policies.hpp	5678	0644	edit dl rm
metafunctions.hpp	35629	0644	edit dl rm
mpl_graph_fsm_check.hpp	1895	0644	edit dl rm
no_fsm_check.hpp	1043	0644	edit dl rm
queue_container_circular.hpp	981	0644	edit dl rm
queue_container_deque.hpp	937	0644	edit dl rm
state_machine.hpp	124809	0644	edit dl rm
tools.hpp	2021	0644	edit dl rm

Edit: /usr/include/boost/msm/back/mpl_graph_fsm_check.hpp (1895B)

#ifndef BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H
#define BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H

#include <boost/mpl/assert.hpp>

#include <boost/msm/back/metafunctions.hpp>

namespace boost { namespace msm { namespace back
{
    struct mpl_graph_fsm_check
    {
        typedef int fsm_check;
        // checks that regions are truly orthogonal (one state belongs to 1 region)
        // using the mpl_graph library (part of metagraph)
        template <class Fsm>
        static void check_orthogonality()
        {
            BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_regions_orthogonality<Fsm>::states_in_regions_raw,
                                       ==, 
                                       ::boost::msm::back::check_regions_orthogonality<Fsm>::cumulated_states_in_regions_raw );

}
        // checks that all states are reachable or created using the explicit_creation typedef
        // using the mpl_graph library (part of metagraph)
        template <class Fsm>
        static void check_unreachable_states()
        {
            BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_no_unreachable_state<Fsm>::states_in_fsm,
                                       ==, 
                                       ::boost::msm::back::check_no_unreachable_state<Fsm>::cumulated_states_in_regions );

}
    };

} } }//boost::msm::back

#endif //BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H

// Copyright 2008 Christophe Henry // henry UNDERSCORE christophe AT hotmail DOT com // This is an extended version of the state machine available in the boost::mpl library // Distributed under the same license as the original. // Copyright for the original version: // Copyright 2005 David Abrahams and Aleksey Gurtovoy. Distributed // under the Boost Software License, Version 1.0. (See accompanying // file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt) #ifndef BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H #define BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H #include #include namespace boost { namespace msm { namespace back { struct mpl_graph_fsm_check { typedef int fsm_check; // checks that regions are truly orthogonal (one state belongs to 1 region) // using the mpl_graph library (part of metagraph) template static void check_orthogonality() { BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_regions_orthogonality::states_in_regions_raw, ==, ::boost::msm::back::check_regions_orthogonality::cumulated_states_in_regions_raw ); } // checks that all states are reachable or created using the explicit_creation typedef // using the mpl_graph library (part of metagraph) template static void check_unreachable_states() { BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_no_unreachable_state::states_in_fsm, ==, ::boost::msm::back::check_no_unreachable_state::cumulated_states_in_regions ); } }; } } }//boost::msm::back #endif //BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H