#include <boost/msm/back/state_machine.hpp>
#include <boost/msm/front/state_machine_def.hpp>
#include <boost/msm/front/functor_row.hpp>
#include <boost/msm/front/internal_row.hpp>
#include <boost/msm/front/euml/operator.hpp>
#include <iostream>

namespace msm = boost::msm;
namespace euml = boost::msm::front::euml;
namespace mpl = boost::mpl;
typedef msm::front::none none;



#define _CHECK(cond) std::cout << #cond << ": " << ((cond) ? "yes" : "no") << std::endl;


struct EvStart1 {};
struct EvStop1 {};
struct EvStart2 {};
struct EvStop2 {};

struct FlagStarted {};

struct StateMachine_: public msm::front::state_machine_def<StateMachine_> {
	// --- states ---
	// region 1
	struct Stopped1: public msm::front::state<> {
		template<class Event, class FSM>
		void on_entry(Event const&, FSM& fsm) {
			std::cout << "Entering Stopped1" << std::endl;
		}
		template<class Event, class FSM>
		void on_exit(Event const&, FSM& fsm) {
			std::cout << "Leaving Stopped1" << std::endl;
		}
	};
	struct Started1: public msm::front::state<> {
		typedef mpl::vector1<FlagStarted> flag_list;
		template<class Event, class FSM>
		void on_entry(Event const&, FSM& fsm) {
			std::cout << "Entering Started1" << std::endl;
		}
		template<class Event, class FSM>
		void on_exit(Event const&, FSM& fsm) {
			std::cout << "Leaving Started1" << std::endl;
		}
	};

	// region 2
	struct Stopped2: public msm::front::state<> {
		template<class Event, class FSM>
		void on_entry(Event const&, FSM& fsm) {
			std::cout << "Entering Stopped2" << std::endl;
		}
		template<class Event, class FSM>
		void on_exit(Event const&, FSM& fsm) {
			std::cout << "Leaving Stopped2" << std::endl;
		}
	};
	struct Started2: public msm::front::state<> {
		typedef mpl::vector1<FlagStarted> flag_list;
		template<class Event, class FSM>
		void on_entry(Event const&, FSM& fsm) {
			std::cout << "Entering Started2" << std::endl;
		}
		template<class Event, class FSM>
		void on_exit(Event const&, FSM& fsm) {
			std::cout << "Leaving Started2" << std::endl;
		}
	};

	typedef mpl::vector<Stopped1,Stopped2> initial_state;

	// --- transition table ---
	struct transition_table: mpl::vector<

		msm::front::Row<Stopped1, EvStart1, Started1, none, none>,
		msm::front::Row<Started1, EvStop1, Stopped1, none, none>,

		msm::front::Row<Stopped2, EvStart2, Started2, none, none>,
		msm::front::Row<Started2, EvStop2, Stopped2, none, none>
	> {};
};

typedef msm::back::state_machine<StateMachine_> StateMachine;

int main() {
	StateMachine sm;
	sm.start();
	_CHECK((sm.is_flag_active<FlagStarted, StateMachine::Flag_OR>()));
	_CHECK((sm.is_flag_active<FlagStarted, StateMachine::Flag_AND>()));
	sm.process_event(EvStart1());
	_CHECK((sm.is_flag_active<FlagStarted, StateMachine::Flag_OR>()));
	_CHECK((sm.is_flag_active<FlagStarted, StateMachine::Flag_AND>()));
	sm.process_event(EvStart2());
	_CHECK((sm.is_flag_active<FlagStarted, StateMachine::Flag_OR>()));
	_CHECK((sm.is_flag_active<FlagStarted, StateMachine::Flag_AND>()));
	return 0;
}