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 Types
using	initial_state = IdleState
	Initial state of the state machine. More...
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. More...
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. 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()

~ElevatorStateMachineDef ( )

default

Destructor.

Member Data Documentation

dataPtr

std::unique_ptr<ElevatorStateMachinePrivate> dataPtr

Public data pointer.

---

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

• ElevatorStateMachine.hh
• ElevatorStateMachineImpl.hh