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.

References ElevatorStateMachineDef::~ElevatorStateMachineDef().

◆ ~ElevatorStateMachineDef()

~ElevatorStateMachineDef ( )

default

Destructor.

Referenced by ElevatorStateMachineDef::ElevatorStateMachineDef().

Member Data Documentation

◆ dataPtr

std::unique_ptr<ElevatorStateMachinePrivate> dataPtr

Public data pointer.

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

Ignition Gazebo

API Reference

Classes

Public Types

Public Member Functions

Public Attributes