Diades::Automata::Experimental::ConstManagedDdAutFsm Struct Reference

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

#include <DdAutFile.hh>

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

Public Attributes
const DdAutFsm &	fsm
const DdAutStateManager &	sMgr
const 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 95 of file DdAutFile.hh.

Constructor & Destructor Documentation

ConstManagedDdAutFsm() [1/2]

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

inline

Definition at line 100 of file DdAutFile.hh.

ConstManagedDdAutFsm() [2/2]

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

inline

Definition at line 105 of file DdAutFile.hh.

Member Data Documentation

eMgr

const DdAutEventManager& Diades::Automata::Experimental::ConstManagedDdAutFsm::eMgr

Definition at line 99 of file DdAutFile.hh.

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

fsm

const DdAutFsm& Diades::Automata::Experimental::ConstManagedDdAutFsm::fsm

Definition at line 97 of file DdAutFile.hh.

Referenced by isThroughState(), and Diades::CmdInterface::writeFiniteStateMachine().

sMgr

const DdAutStateManager& Diades::Automata::Experimental::ConstManagedDdAutFsm::sMgr

Definition at line 98 of file DdAutFile.hh.

Referenced by isThroughState().

---

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

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