|
TuringSim
C++ framework to simulate abstract computing models
|
14 template <
typename StateType_,
typename MatcherType_>
61 virtual std::optional<MatcherType>
match(
const StateType& state)
const noexcept = 0;
MatcherType_ MatcherType
The type returned when a state matches the pattern.
constexpr StatePattern(StatePattern &&other)=default
Move a state pattern.
virtual std::optional< MatcherType > match(const StateType &state) const noexcept=0
Test if a state matches.
virtual ~StatePattern()=default
Destructor.
constexpr StatePattern & operator=(StatePattern &&other)=default
Move a state pattern.
constexpr StatePattern()=default
Default constructor.
The base class of all state patterns.
constexpr StatePattern(const StatePattern &other)=default
Copy a state pattern.
constexpr StatePattern & operator=(const StatePattern &other)=default
Copy a state pattern.
StateType_ StateType
The type of states matched.
The namespace for states and state patterns.