|
TuringSim
C++ framework to simulate abstract computing models
|
17 template<
typename MachineType_,
typename IdType_>
MachineType::StorageType StorageType
The type of the memory of the machine.
Listener & operator=(Listener &&other)=default
Move assignment operator.
virtual IdType registerPreTransition(const StateType &state, const StorageType &storage, const IdType &preId)=0
Called by a TuringSim::Runner::Runner before a transition.
The base class for listeners.
Listener(Listener &&other)=default
Move constructor.
virtual IdType getInitialId()=0
Get the initial identifier, before any transition.
virtual void registerPostTransition(const IdType &id, const StateType &state, const StorageType &storage, const TransitionType &transition, const ApplyHelperType &applyHelper, bool running)=0
Called by a TuringSim::Runner::Runner after executing a transition.
virtual ~Listener()=default
The default destructor.
IdType_ IdType
The type of identifiers of the listener.
virtual void registerNoTransition(const IdType &id, const StateType &state, const StorageType &storage)=0
Called by a TuringSim::Runner::Runner when no transition matches.
MachineType::ApplyHelperType ApplyHelperType
The type of the transitions apply helper of the machine.
MachineType_ MachineType
The type of the listened machine.
MachineType::TransitionType TransitionType
The type of the transitions of the machine.
The namespace of runner listener, used to follow the execution of a Machine.
Listener()=default
Default constructor.
MachineType::StateType StateType
The type of states of the machine.
Listener(const Listener &other)=default
Copy constructor.
Listener & operator=(const Listener &other)=default
Copy assignment operator.