fsm::target< State, Reason > Struct Template Reference

Row target: external transition, internal handling, or refusal. More...

#include <fsm.hpp>

Public Member Functions
constexpr	target ()=default
constexpr	target (detail::to_t< State > t)
constexpr	target (internal_t)
constexpr	target (detail::refuse_t< Reason > f)

Public Attributes
target_kind	k = target_kind::unspecified
State	s {}
	Destination for target_kind::to.
Reason	r {}
	Reason for target_kind::refuse_.

Detailed Description

template<class State, class Reason>
struct fsm::target< State, Reason >

Row target: external transition, internal handling, or refusal.

Built with fsm::to(), fsm::internal, or fsm::refuse(). Default-constructs to poison unspecified so .to is effectively mandatory (validated at compile time).

Constructor & Destructor Documentation

target() [1/4]

template<class State , class Reason >

constexpr fsm::target< State, Reason >::target ( )

constexprdefault

target() [2/4]

template<class State , class Reason >

constexpr fsm::target< State, Reason >::target ( detail::to_t< State >  t )

inlineconstexpr

target() [3/4]

template<class State , class Reason >

constexpr fsm::target< State, Reason >::target ( internal_t  )

inlineconstexpr

target() [4/4]

template<class State , class Reason >

constexpr fsm::target< State, Reason >::target ( detail::refuse_t< Reason >  f )

inlineconstexpr

Member Data Documentation

k

template<class State , class Reason >

target_kind fsm::target< State, Reason >::k = target_kind::unspecified

r

template<class State , class Reason >

Reason fsm::target< State, Reason >::r {}

Reason for target_kind::refuse_.

s

template<class State , class Reason >

State fsm::target< State, Reason >::s {}

Destination for target_kind::to.

---

The documentation for this struct was generated from the following file:

• include/fsm/fsm.hpp