Diades::Automata::Experimental::ConstManagedDdAutFA Struct Reference

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

#include <DdAutFile.hh>

Public Member Functions
	ConstManagedDdAutFA (const DdAutFA &ddAutFA, const DdAutStateManager &stateManager, const DdAutEventManager &eventManager)
	ConstManagedDdAutFA (ConstManagedDdAutFA &&mFa)

Public Attributes
const DdAutFA &	fa
const DdAutStateManager &	sMgr
const DdAutEventManager &	eMgr

Detailed Description

data structure that gathers an FA, 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 135 of file DdAutFile.hh.

Constructor & Destructor Documentation

ConstManagedDdAutFA() [1/2]

Diades::Automata::Experimental::ConstManagedDdAutFA::ConstManagedDdAutFA ( const DdAutFA &  ddAutFA, const DdAutStateManager &  stateManager, const DdAutEventManager &  eventManager  )

inline

Definition at line 140 of file DdAutFile.hh.

ConstManagedDdAutFA() [2/2]

Diades::Automata::Experimental::ConstManagedDdAutFA::ConstManagedDdAutFA ( ConstManagedDdAutFA &&  mFa )

inline

Definition at line 145 of file DdAutFile.hh.

Member Data Documentation

eMgr

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

Definition at line 139 of file DdAutFile.hh.

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

fa

const DdAutFA& Diades::Automata::Experimental::ConstManagedDdAutFA::fa

Definition at line 137 of file DdAutFile.hh.

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

sMgr

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

Definition at line 138 of file DdAutFile.hh.

---

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

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