TuringSim::Machine::Amnesic Namespace Reference

Namespace of amnesic machine, that is machines without memory. More...

Classes
class	AmnesicMachine
	The class to represent an amnesic machine. More...
class	AmnesicMachine< TransitionType_, false, acceptingStyle, TransitionContainer_, InitialStateContainer_ >
	The class to represent a non-deterministic amnesic machine. More...
class	AmnesicMachine< TransitionType_, true, acceptingStyle, TransitionContainer_, InitialStateContainer_ >
	The class to represent a deterministic amnesic machine. More...
class	DeterministicSimpleAmnesicMachine
class	DeterministicSimpleAmnesicMachine< StateType_, acceptingStyle, std::tuple< Args... > >
	The only specialization, using default parameters, to access the parameter pack. More...
class	NonDeterministicSimpleAmnesicMachine
class	NonDeterministicSimpleAmnesicMachine< StateType_, acceptingStyle, std::tuple< Args... > >
	The only specialization, using default parameters, to access the parameter pack. More...
class	SimpleAmnesicMachine
	The base class of amnesic machine with simple state and explicit list of transitions. More...
class	SimpleAmnesicMachine< StateType_, deterministic, acceptingStyle, TransitionContainer_, InitialStateContainer_, std::tuple< Args... > >
	The base class of amnesic machine with simple state and explicit list of transitions. More...

Typedefs
template<typename StateType , bool deterministic, AcceptingStyle acceptingStyle, template< typename... > class TransitionContainer = std::vector, template< typename... > class InitialStateContainer = std::set>
using	StateAcceptingSimpleAmnesicMachine = StateAcceptingAmnesicMachine< Transition::Amnesic::SimpleAmnesicMachineTransition< StateType >, deterministic, acceptingStyle, TransitionContainer, InitialStateContainer >
	Implementation of acceptation-related functions. More...
template<typename TransitionType , bool deterministic, AcceptingStyle acceptingStyle, template< typename... > class TransitionContainer = std::vector, template< typename... > class InitialStateContainer = std::set>
using	StateAcceptingAmnesicMachine = StateAcceptingMachine< AmnesicMachine< TransitionType, deterministic, acceptingStyle, TransitionContainer, InitialStateContainer >, acceptingStyle >
	Implementation of acceptation-related functions. More...

Detailed Description

Namespace of amnesic machine, that is machines without memory.

In fact, since there is still need for a parameter for storage, the memory is the the unit-type std::monostate.

Typedef Documentation

StateAcceptingAmnesicMachine

template<typename TransitionType , bool deterministic, AcceptingStyle acceptingStyle, template< typename... > class TransitionContainer = std::vector, template< typename... > class InitialStateContainer = std::set>

TuringSim::Machine::Amnesic::StateAcceptingAmnesicMachine

Implementation of acceptation-related functions.

Template Parameters

TransitionType	the type of transitions.
deterministic	a boolean, whether the machine is expected to be deterministic.
acceptingStyle	whether the machine is alternating, regularly accepting, or not.
TransitionContainer	the container used to return matching transitions. By default, it is std::vector.
InitialStateContainer	the container used to return initial states. By default, it is std::set.

Definition at line 20 of file stateAcceptingAmnesicMachine.h.

StateAcceptingSimpleAmnesicMachine

template<typename StateType , bool deterministic, AcceptingStyle acceptingStyle, template< typename... > class TransitionContainer = std::vector, template< typename... > class InitialStateContainer = std::set>

TuringSim::Machine::Amnesic::StateAcceptingSimpleAmnesicMachine

Implementation of acceptation-related functions.

Template Parameters

StateType	the type of states.
deterministic	a boolean, whether the machine is expected to be deterministic.
acceptingStyle	whether the machine is alternating, regularly accepting, or not.
TransitionContainer	the container used to return matching transitions. By default, it is std::vector.
InitialStateContainer	the container used to return initial states. By default, it is std::set.

Definition at line 22 of file simpleAmnesicMachine.h.