states.h

#pragma once

#include <tuple>
#include <type_traits>

#include "../base/assert.h"
#include "../base/type_traits.h"

#include "detail/handle_result.h"
#include "transitions.h"
//#include "fsmpp2/config.hpp"


namespace escad
{

struct event {};


template<class... E>
using events = mpl::type_list<E...>;

template<class... S>
struct states {
    using type_list = mpl::type_list<S...>;
    static constexpr auto count = type_list::size;
};

template<class... SubStates>
struct state {
    using substates_type = states<SubStates...>;
    using state_tag = void;

    template<class S>
    auto transition() const {
        return transitions<S>{detail::transition<S>{}};
    }

    auto not_handled() const {
        return transitions<>{detail::not_handled{}};
    }

    auto handled() const {
        return transitions<>{detail::handled{}};
    }
};



} // namespace fsm