Chris@16: // Copyright 2008 Christophe Henry
Chris@16: // henry UNDERSCORE christophe AT hotmail DOT com
Chris@16: // This is an extended version of the state machine available in the boost::mpl library
Chris@16: // Distributed under the same license as the original.
Chris@16: // Copyright for the original version:
Chris@16: // Copyright 2005 David Abrahams and Aleksey Gurtovoy. Distributed
Chris@16: // under the Boost Software License, Version 1.0. (See accompanying
Chris@16: // file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #ifndef BOOST_MSM_FRONT_EUML_OPERATOR_H
Chris@16: #define BOOST_MSM_FRONT_EUML_OPERATOR_H
Chris@16: 
Chris@16: #include <iterator>
Chris@16: #include <boost/msm/front/euml/common.hpp>
Chris@16: #include <boost/type_traits/remove_reference.hpp>
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: #include <boost/mpl/has_key.hpp>
Chris@16: #include <boost/mpl/eval_if.hpp>
Chris@16: #include <boost/mpl/set.hpp>
Chris@16: #include <boost/type_traits.hpp>
Chris@16: 
Chris@16: BOOST_MPL_HAS_XXX_TRAIT_DEF(reference)
Chris@16: BOOST_MPL_HAS_XXX_TRAIT_DEF(key_type)
Chris@16: 
Chris@16: namespace boost { namespace msm { namespace front { namespace euml
Chris@16: {
Chris@16: 
Chris@16: template <class T1,class T2>
Chris@16: struct Or_ : euml_action<Or_<T1,T2> >
Chris@16: {
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt) || T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state) || T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct And_ : euml_action<And_<T1,T2> >
Chris@16: {
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt) && T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state) && T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1>
Chris@16: struct Not_ : euml_action<Not_<T1> >
Chris@16: {
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)
Chris@16:     {
Chris@16:         return !(T1()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)
Chris@16:     {
Chris@16:         return !(T1()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class Condition,class Action1,class Action2, class Enable=void >                                             
Chris@16: struct If_Else_ : euml_action<If_Else_<Condition,Action1,Action2,Enable> > {};        
Chris@16: 
Chris@16: template <class Condition,class Action1,class Action2>
Chris@16: struct If_Else_<Condition,Action1,Action2
Chris@16:     , typename ::boost::enable_if<typename has_tag_type<Action1>::type >::type>
Chris@16:     : euml_action<If_Else_<Condition,Action1,Action2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<Action1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<Action1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename Action1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:      operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         if (Condition()(evt,fsm,src,tgt))
Chris@16:         {
Chris@16:             return Action1()(evt,fsm,src,tgt);
Chris@16:         }
Chris@16:         return Action2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename Action1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:      operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         if (Condition()(evt,fsm,state))
Chris@16:         {
Chris@16:             return Action1()(evt,fsm,state);
Chris@16:         }
Chris@16:         return Action2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class Condition,class Action1,class Action2>
Chris@16: struct If_Else_<Condition,Action1,Action2
Chris@16:     , typename ::boost::disable_if<typename has_tag_type<Action1>::type >::type>
Chris@16:     : euml_action<If_Else_<Condition,Action1,Action2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         if (Condition()(evt,fsm,src,tgt))
Chris@16:         {
Chris@16:             return Action1()(evt,fsm,src,tgt);
Chris@16:         }
Chris@16:         return Action2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         if (Condition()(evt,fsm,state))
Chris@16:         {
Chris@16:             return Action1()(evt,fsm,state);
Chris@16:         }
Chris@16:         return Action2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: struct if_tag 
Chris@16: {
Chris@16: };
Chris@16: struct If : proto::extends<proto::terminal<if_tag>::type, If, boost::msm::sm_domain>
Chris@16: {
Chris@16:     If(){}
Chris@16:     using proto::extends< proto::terminal<if_tag>::type, If, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef If_Else_<Arg1,Arg2,Arg3> type;
Chris@16:     };
Chris@16: };
Chris@16: If const if_then_else_;
Chris@16: 
Chris@16: template <class Condition,class Action1, class Enable=void >                                             
Chris@16: struct If_Then_ : euml_action<If_Then_<Condition,Action1,Enable> > {};        
Chris@16: 
Chris@16: template <class Condition,class Action1>
Chris@16: struct If_Then_<Condition,Action1
Chris@16:     , typename ::boost::enable_if<typename has_tag_type<Action1>::type >::type>
Chris@16:     : euml_action<If_Then_<Condition,Action1> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<Action1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<Action1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename Action1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:      operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         if (Condition()(evt,fsm,src,tgt))
Chris@16:         {
Chris@16:             return Action1()(evt,fsm,src,tgt);
Chris@16:         }
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename Action1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:      operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         if (Condition()(evt,fsm,state))
Chris@16:         {
Chris@16:             return Action1()(evt,fsm,state);
Chris@16:         }
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class Condition,class Action1>
Chris@16: struct If_Then_<Condition,Action1
Chris@16:     , typename ::boost::disable_if<typename has_tag_type<Action1>::type >::type>
Chris@16:     : euml_action<If_Then_<Condition,Action1> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         if (Condition()(evt,fsm,src,tgt))
Chris@16:         {
Chris@16:             return Action1()(evt,fsm,src,tgt);
Chris@16:         }
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         if (Condition()(evt,fsm,state))
Chris@16:         {
Chris@16:             return Action1()(evt,fsm,state);
Chris@16:         }
Chris@16:     }
Chris@16: };
Chris@16: struct if_then_tag 
Chris@16: {
Chris@16: };
Chris@16: struct If_Then : proto::extends< proto::terminal<if_then_tag>::type, If_Then, boost::msm::sm_domain>
Chris@16: {
Chris@16:     If_Then(){}
Chris@16:     using proto::extends< proto::terminal<if_then_tag>::type, If_Then, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef If_Then_<Arg1,Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: If_Then const if_then_;
Chris@16: 
Chris@16: template <class Condition,class Body>
Chris@16: struct While_Do_ : euml_action<While_Do_<Condition,Body> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         Body body_;
Chris@16:         Condition cond_;
Chris@16:         while (cond_(evt,fsm,src,tgt))
Chris@16:         {
Chris@16:             body_(evt,fsm,src,tgt);
Chris@16:         }
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         Body body_;
Chris@16:         Condition cond_;
Chris@16:         while (cond_(evt,fsm,state))
Chris@16:         {
Chris@16:             body_(evt,fsm,state);
Chris@16:         }
Chris@16:     }
Chris@16: };
Chris@16: struct while_do_tag 
Chris@16: {
Chris@16: };
Chris@16: struct While_Do_Helper : proto::extends< proto::terminal<while_do_tag>::type, While_Do_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     While_Do_Helper(){}
Chris@16:     using proto::extends< proto::terminal<while_do_tag>::type, While_Do_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef While_Do_<Arg1,Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: While_Do_Helper const while_;
Chris@16: 
Chris@16: template <class Condition,class Body>
Chris@16: struct Do_While_ : euml_action<Do_While_<Condition,Body> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         Condition cond_;
Chris@16:         Body body_;
Chris@16:         do
Chris@16:         {
Chris@16:             body_(evt,fsm,src,tgt);
Chris@16:         } while (cond_(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         Condition cond_;
Chris@16:         Body body_;
Chris@16:         do
Chris@16:         {
Chris@16:             body_(evt,fsm,state);
Chris@16:         } while (cond_(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: struct do_while_tag 
Chris@16: {
Chris@16: };
Chris@16: struct Do_While_Helper : proto::extends< proto::terminal<do_while_tag>::type, Do_While_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Do_While_Helper(){}
Chris@16:     using proto::extends< proto::terminal<do_while_tag>::type, Do_While_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef Do_While_<Arg1,Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: Do_While_Helper const do_while_;
Chris@16: 
Chris@16: template <class Begin,class End,class EndLoop,class Body>
Chris@16: struct For_Loop_ : euml_action<For_Loop_<Begin,End,EndLoop,Body> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         End end_;
Chris@16:         EndLoop end_loop_;
Chris@16:         Body body_;
Chris@16:         for(Begin()(evt,fsm,src,tgt);end_(evt,fsm,src,tgt);end_loop_(evt,fsm,src,tgt))
Chris@16:         {
Chris@16:             body_(evt,fsm,src,tgt);
Chris@16:         }
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         End end_;
Chris@16:         EndLoop end_loop_;
Chris@16:         Body body_;
Chris@16:         for(Begin()(evt,fsm,state);end_(evt,fsm,state);end_loop_(evt,fsm,state))
Chris@16:         {
Chris@16:             body_(evt,fsm,state);
Chris@16:         }
Chris@16:     }
Chris@16: };
Chris@16: struct for_loop_tag 
Chris@16: {
Chris@16: };
Chris@16: struct For_Loop_Helper : proto::extends< proto::terminal<for_loop_tag>::type, For_Loop_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     For_Loop_Helper(){}
Chris@16:     using proto::extends< proto::terminal<for_loop_tag>::type, For_Loop_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef For_Loop_<Arg1,Arg2,Arg3,Arg4> type;
Chris@16:     };
Chris@16: };
Chris@16: For_Loop_Helper const for_;
Chris@16: 
Chris@16: 
Chris@16: 
Chris@16: 
Chris@16: template <class T>
Chris@16: struct Deref_ : euml_action<Deref_<T> >
Chris@16: {
Chris@16:     Deref_(){}
Chris@16:     using euml_action<Deref_<T> >::operator=;
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::add_reference<
Chris@16:                     typename std::iterator_traits <
Chris@16:                         typename ::boost::remove_reference<
Chris@16:                             typename get_result_type2<T,Event,FSM,STATE>::type>::type>::value_type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::add_reference<
Chris@16:                     typename std::iterator_traits< 
Chris@16:                         typename ::boost::remove_reference<
Chris@16:                             typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type
Chris@16:                     >::value_type
Chris@16:         >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return *(T()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return *(T()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct Pre_inc_ : euml_action<Pre_inc_<T> >
Chris@16: {
Chris@16:     using euml_action<Pre_inc_<T> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return ++T()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return ++T()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T>
Chris@16: struct Pre_dec_ : euml_action<Pre_dec_<T> >
Chris@16: {
Chris@16:     using euml_action<Pre_dec_<T> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return --T()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return --T()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T>
Chris@16: struct Post_inc_ : euml_action<Post_inc_<T> >
Chris@16: {
Chris@16:     using euml_action<Post_inc_<T> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T()(evt,fsm,src,tgt)++;
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T()(evt,fsm,state)++;
Chris@16:     }
Chris@16: };
Chris@16: template <class T>
Chris@16: struct Post_dec_ : euml_action<Post_dec_<T> >
Chris@16: {
Chris@16:     using euml_action<Post_dec_<T> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T()(evt,fsm,src,tgt)--;
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T()(evt,fsm,state)--;
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class T1,class T2>
Chris@16: struct Plus_ : euml_action<Plus_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)+T2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)+T2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Minus_ : euml_action<Minus_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)-T2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)-T2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Multiplies_ : euml_action<Multiplies_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)*T2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)*T2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Divides_ : euml_action<Divides_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)/T2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)/T2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Modulus_ : euml_action<Modulus_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)%T2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)%T2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Bitwise_And_ : euml_action<Bitwise_And_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)&T2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)&T2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Bitwise_Or_ : euml_action<Bitwise_Or_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)|T2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)|T2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Bitwise_Xor_ : euml_action<Bitwise_Xor_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)^T2()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)^T2()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Subscript_ : euml_action<Subscript_<T1,T2> >
Chris@16: {
Chris@16:     template <class T>
Chris@16:     struct get_reference 
Chris@16:     {
Chris@16:         typedef typename T::reference type;
Chris@16:     };
Chris@16:     template <class T>
Chris@16:     struct get_mapped_type 
Chris@16:     {
Chris@16:         typedef typename T::value_type::second_type& type;
Chris@16:     };
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type container_type;
Chris@16:         typedef typename ::boost::mpl::eval_if<
Chris@16:             typename has_key_type<container_type>::type,
Chris@16:             get_mapped_type<container_type>,
Chris@16:             ::boost::mpl::eval_if<
Chris@16:                 typename ::boost::is_pointer<container_type>::type,
Chris@16:                 ::boost::add_reference<typename ::boost::remove_pointer<container_type>::type >,
Chris@16:                 get_reference<container_type> 
Chris@16:              >
Chris@16:         >::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type container_type;
Chris@16:         typedef typename ::boost::mpl::eval_if<
Chris@16:             typename has_key_type<container_type>::type,
Chris@16:             get_mapped_type<container_type>,
Chris@16:             ::boost::mpl::eval_if<
Chris@16:                 typename ::boost::is_pointer<container_type>::type,
Chris@16:                 ::boost::add_reference<typename ::boost::remove_pointer<container_type>::type >,
Chris@16:                 get_reference<container_type> 
Chris@16:              >
Chris@16:         >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,src,tgt)[T2()(evt,fsm,src,tgt)];
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return T1()(evt,fsm,state)[T2()(evt,fsm,state)];
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Plus_Assign_ : euml_action<Plus_Assign_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)+=T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)+=T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Minus_Assign_ : euml_action<Minus_Assign_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)-=T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)-=T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Multiplies_Assign_ : euml_action<Multiplies_Assign_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)*=T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)*=T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Divides_Assign_ : euml_action<Divides_Assign_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)/=T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)/=T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Modulus_Assign_ : euml_action<Modulus_Assign_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)%=T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)%=T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct ShiftLeft_Assign_ : euml_action<ShiftLeft_Assign_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)<<=T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)<<=T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct ShiftRight_Assign_ : euml_action<ShiftRight_Assign_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)>>=T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)>>=T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct ShiftLeft_ : euml_action<ShiftLeft_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)<<T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)<<T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct ShiftRight_ : euml_action<ShiftRight_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)>>T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)>>T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Assign_ : euml_action<Assign_<T1,T2> >
Chris@16: {
Chris@16:     using euml_action< Assign_<T1,T2> >::operator=;
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type2<T1,Event,FSM,STATE>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt)=T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state)=T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1>
Chris@16: struct Unary_Plus_ : euml_action<Unary_Plus_<T1> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return +T1()(evt,fsm,src,tgt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return +T1()(evt,fsm,state);
Chris@16:     }
Chris@16: };
Chris@16: template <class T1>
Chris@16: struct Unary_Minus_ : euml_action<Unary_Minus_<T1> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type2<T1,Event,FSM,STATE>::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::remove_reference<
Chris@16:             typename get_result_type<T1,EVT,FSM,SourceState,TargetState>::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return -(T1()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename T1::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return -(T1()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Less_ : euml_action<Less_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt) < T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state) < T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct LessEqual_ : euml_action<LessEqual_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt) <= T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state) <= T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct Greater_ : euml_action<Greater_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt) > T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state) > T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct GreaterEqual_ : euml_action<GreaterEqual_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt) >= T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state) >= T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct EqualTo_ : euml_action<EqualTo_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt) == T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state) == T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: template <class T1,class T2>
Chris@16: struct NotEqualTo_ : euml_action<NotEqualTo_<T1,T2> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,src,tgt) != T2()(evt,fsm,src,tgt));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE& state)const
Chris@16:     {
Chris@16:         return (T1()(evt,fsm,state) != T2()(evt,fsm,state));
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: }}}}
Chris@16: 
Chris@16: #endif // BOOST_MSM_FRONT_EUML_OPERATOR_H