1 // Copyright 2008 Christophe Henry
2 // henry UNDERSCORE christophe AT hotmail DOT com
3 // This is an extended version of the state machine available in the boost::mpl library
4 // Distributed under the same license as the original.
5 // Copyright for the original version:
6 // Copyright 2005 David Abrahams and Aleksey Gurtovoy. Distributed
7 // under the Boost Software License, Version 1.0. (See accompanying
8 // file LICENSE_1_0.txt or copy at
9 // http://www.boost.org/LICENSE_1_0.txt)
11 #ifndef BOOST_MSM_BACK_NO_FSM_CHECK_H
12 #define BOOST_MSM_BACK_NO_FSM_CHECK_H
14 #include <boost/mpl/assert.hpp>
16 #include <boost/msm/back/metafunctions.hpp>
18 namespace boost { namespace msm { namespace back
22 typedef int fsm_check;
23 // no fsm structure checking
25 static void check_orthogonality()
29 static void check_unreachable_states()
34 } } }//boost::msm::back
37 #endif //BOOST_MSM_BACK_NO_FSM_CHECK_H