maki::transition_table< Impl > Class Template Reference

Represents a transition table. More...

Public Member Functions
constexpr	transition_table ()=default
	Default constructor.
constexpr	transition_table (const transition_table &)=default
	Copy constructor.
	transition_table (transition_table &&)=delete
	Deleted move constructor.
template<class Source, class Target, class EventSet = null_t, class ActionOrNull = null_t, class GuardOrNull = null_t>
constexpr auto	operator() (const Source &source_state_mold, const Target &target_state_mold, const EventSet &evt_set=null, const ActionOrNull &action=null, const GuardOrNull &guard=null)
	Creates a new transition_table with an additional transition.
transition_table &	operator= (const transition_table &)=delete
	Deleted assignment operator.
transition_table &	operator= (transition_table &&)=delete
	Deleted move operator.

Detailed Description

template<class Impl>
class maki::transition_table< Impl >

Represents a transition table.

A transition table lists all the possible transitions from a state (the source state) to another (the target state) in a region of a state machine.

To define a transition table, you have to instantiate an empty maki::transition_table and call maki::transition_table::operator()() for each transition, like so:

constexpr auto transition_table = maki::transition_table{}
    //source,    target, event,                     action,        guard
    (maki::ini,  off)
    (off,        on,     maki::event<button_press>, turn_light_on, has_enough_power)
    (on,         off,    maki::event<button_press>, turn_light_off)
;

Member Function Documentation

operator()()

template<class Impl>

template<class Source, class Target, class EventSet = null_t, class ActionOrNull = null_t, class GuardOrNull = null_t>

auto maki::transition_table< Impl >::operator() ( const Source & source_state_mold, const Target & target_state_mold, const EventSet & evt_set = null, const ActionOrNull & action = null, const GuardOrNull & guard = null )

constexpr

Creates a new transition_table with an additional transition.

Parameters

source_state_mold	the mold of the active state (or states, plural, if it's a state set) from which the transition can occur
target_state_mold	the mold of the state that becomes active after the transition occurs
evt_set	the event type (or types, plural, if it's an event type set) that can cause the transition to occur
action	the maki::action invoked when the transition occurs, or maki::null
guard	the maki::guard that must return true for the transition to occur, or maki::null