maki::state_set< Impl > Class Template Reference

Represents a state set. More...

Public Member Functions
constexpr	state_set (const state_set &other)=default
constexpr	state_set (state_set &&other)=default
constexpr state_set &	operator= (const state_set &other)=default
constexpr state_set &	operator= (state_set &&other)=default

Related Symbols
(Note that these are not member symbols.)
constexpr auto	all_states = IMPLEMENTATION_DETAIL
	An infinite maki::state_set that contains all the states.
constexpr auto	no_state = IMPLEMENTATION_DETAIL
	An empty maki::state_set.
template<class StateMoldImpl>
constexpr auto	operator! (const state_mold< StateMoldImpl > &stt_mold)
	Creates a maki::state_set that contains all the states but the ones created by stt_mold.
template<class Impl>
constexpr auto	operator! (const state_set< Impl > &stt_set)
	Creates a maki::state_set that contains all the states that are not contained in stt_set.
template<class LhsImpl, class RhsImpl>
constexpr auto	operator&& (const state_set< LhsImpl > &lhs, const state_set< RhsImpl > &rhs)
	Creates a maki::state_set that is the result of the intersection of lhs and rhs.
template<class LhsStateMoldImpl, class RhsStateMoldImpl>
constexpr auto	operator|| (const state_mold< LhsStateMoldImpl > &lhs, const state_mold< RhsStateMoldImpl > &rhs)
	Creates a maki::state_set that contains the states created from lhs and rhs.
template<class StateMoldImpl, class StateSetImpl>
constexpr auto	operator|| (const state_mold< StateMoldImpl > &stt_mold, const state_set< StateSetImpl > &stt_set)
	Creates a maki::state_set that contains the states of stt_set, plus the ones created by stt_mold.
template<class LhsImpl, class RhsImpl>
constexpr auto	operator|| (const state_set< LhsImpl > &lhs, const state_set< RhsImpl > &rhs)
	Creates a maki::state_set that is the result of the union of lhs and rhs.
template<class StateSetImpl, class StateMoldImpl>
constexpr auto	operator|| (const state_set< StateSetImpl > &stt_set, const state_mold< StateMoldImpl > &stt_mold)
	Creates a maki::state_set that contains the states of stt_set, plus the ones created by stt_mold.

Detailed Description

template<class Impl>
class maki::state_set< Impl >

Represents a state set.

Template Parameters

Impl	implementation detail