ElevatorStateMachineDef Class Reference
Elevator state machine frontend. Defines the transition table and initial state of the state machine. More...
#include <ElevatorStateMachine.hh>
Classes | |
struct | CloseDoorState |
State at which the elevator is closing a door. More... | |
struct | IdleState |
State at which the elevator is idling. More... | |
struct | MoveCabinState |
State at which the elevator is moving the cabin to the target floor. More... | |
struct | OpenDoorState |
State at which the elevator is opening a door. More... | |
struct | WaitState |
State at which the elevator is waiting with a door open. More... | |
Public Member Functions | |
ElevatorStateMachineDef (const std::shared_ptr< ElevatorCommonPrivate > &_system) | |
Constructor. More... | |
~ElevatorStateMachineDef () | |
Destructor. More... | |
Public Attributes | |
std::unique_ptr< ElevatorStateMachinePrivate > | dataPtr |
Public data pointer. More... | |
Detailed Description
Elevator state machine frontend. Defines the transition table and initial state of the state machine.
Member Typedef Documentation
◆ initial_state
using initial_state = IdleState |
Initial state of the state machine.
◆ internal_transitions
using internal_transitions = transition_table < in<events::EnqueueNewTarget, actions::EnqueueNewTarget<true>, guards::IsInState<IdleState> >, in<events::EnqueueNewTarget, actions::EnqueueNewTarget<false>, guards::IsInState<CloseDoorState> > > |
Transition transition table.
◆ transitions
using transitions = transition_table< tr<IdleState, events::NewTarget, OpenDoorState, actions::NewTarget, guards::CabinAtTarget>, tr<IdleState, events::NewTarget, MoveCabinState, actions::NewTarget, not_<guards::CabinAtTarget> >, tr<OpenDoorState, events::DoorOpen, WaitState, none, none>, tr<WaitState, events::Timeout, CloseDoorState, none, none>, tr<CloseDoorState, events::DoorClosed, IdleState, none, guards::NoQueuedTarget>, tr<CloseDoorState, events::DoorClosed, MoveCabinState, none, not_<guards::NoQueuedTarget> >, tr<MoveCabinState, events::CabinAtTarget, OpenDoorState, actions::CabinAtTarget, none> > |
Transition table.
Constructor & Destructor Documentation
◆ ElevatorStateMachineDef()
ElevatorStateMachineDef | ( | const std::shared_ptr< ElevatorCommonPrivate > & | _system | ) |
Constructor.
- Parameters
-
[in] _system Data that are common to both the system and the state machine.
◆ ~ElevatorStateMachineDef()
|
default |
Destructor.
Member Data Documentation
◆ dataPtr
Public data pointer.
The documentation for this class was generated from the following files: