TuringSim
C++ framework to simulate abstract computing models
TuringSim::Machine::Amnesic::AmnesicMachine< TransitionType, deterministic, acceptingStyle, TransitionContainer, InitialStateContainer > Class Template Reference

The class to represent an amnesic machine. More...

#include <machine/amnesicMachine.h>

Detailed Description

template<typename TransitionType, bool deterministic, AcceptingStyle acceptingStyle, template< typename... > class TransitionContainer = std::vector, template< typename... > class InitialStateContainer = std::vector>
class TuringSim::Machine::Amnesic::AmnesicMachine< TransitionType, deterministic, acceptingStyle, TransitionContainer, InitialStateContainer >

The class to represent an amnesic machine.

An amnesic machine is a machine with trivial memory: everything depends only on the states.

Template Parameters
TransitionTypethe type of the transitions of the machine. It must be a derived class of Transition::Amnesic::AmnesicMachineTransition.
deterministica boolean, whether the machine is expected to be deterministic.
acceptingStylewhether the machine is alternating, regularly accepting, or not.
TransitionContainerthe container used to return matching transitions. By default, it is std::vector.
InitialStateContainerthe container used to return initial states. By default, it is std::vector.

These template parameters have the same usage as in Machine::Machine.

Definition at line 32 of file amnesicMachine.h.


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