One Hat Cyber Team
Your IP :
216.73.216.64
Server IP :
162.240.179.46
Server :
Linux vps-14493116.nutrivittasaude.com.br 5.14.0-611.49.1.el9_7.x86_64 #1 SMP PREEMPT_DYNAMIC Tue Apr 21 16:39:08 EDT 2026 x86_64
Server Software :
Apache
PHP Version :
8.2.31
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
include
/
boost
/
msm
/
back
/
View File Name :
mpl_graph_fsm_check.hpp
// 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 <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