Diades::Automata::Experimental::ManagedDdAutFsm Struct Reference

data structure that gathers an Fsm, a StateManager and a EventManager More...

#include <DdAutFile.hh>

Public Member Functions
	ManagedDdAutFsm (DdAutFsm &ddAutFsm, DdAutStateManager &stateManager, DdAutEventManager &eventManager)
	ManagedDdAutFsm (ManagedDdAutFsm &&mFsm)

Public Attributes
DdAutFsm &	fsm
DdAutStateManager &	sMgr
DdAutEventManager &	eMgr

Detailed Description

data structure that gathers an Fsm, a StateManager and a EventManager

this structure is for convenience only. Basically, it should be used as a parameter of functions that require an Fsm and its current managers.

Definition at line 76 of file DdAutFile.hh.

Constructor & Destructor Documentation

ManagedDdAutFsm() [1/2]

Diades::Automata::Experimental::ManagedDdAutFsm::ManagedDdAutFsm ( DdAutFsm &  ddAutFsm, DdAutStateManager &  stateManager, DdAutEventManager &  eventManager  )

inline

Definition at line 81 of file DdAutFile.hh.

ManagedDdAutFsm() [2/2]

Diades::Automata::Experimental::ManagedDdAutFsm::ManagedDdAutFsm ( ManagedDdAutFsm &&  mFsm )

inline

Definition at line 86 of file DdAutFile.hh.

Member Data Documentation

eMgr

DdAutEventManager& Diades::Automata::Experimental::ManagedDdAutFsm::eMgr

Definition at line 80 of file DdAutFile.hh.

Referenced by Diades::CmdInterface::loadFiniteStateMachine().

fsm

DdAutFsm& Diades::Automata::Experimental::ManagedDdAutFsm::fsm

Definition at line 78 of file DdAutFile.hh.

Referenced by Diades::CmdInterface::loadFiniteStateMachine().

sMgr

DdAutStateManager& Diades::Automata::Experimental::ManagedDdAutFsm::sMgr

Definition at line 79 of file DdAutFile.hh.

Referenced by Diades::CmdInterface::loadFiniteStateMachine().

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/DdAutFile.hh