Diades::Automata::Experimental::ManagedDdAutFA Struct Reference

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

#include <DdAutFile.hh>

Public Member Functions
	ManagedDdAutFA (DdAutFA &ddAutFa, DdAutStateManager &stateManager, DdAutEventManager &eventManager)
	ManagedDdAutFA (ManagedDdAutFA &&mFa)

Public Attributes
DdAutFA &	fa
DdAutStateManager &	sMgr
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 115 of file DdAutFile.hh.

Constructor & Destructor Documentation

ManagedDdAutFA() [1/2]

Diades::Automata::Experimental::ManagedDdAutFA::ManagedDdAutFA ( DdAutFA &  ddAutFa, DdAutStateManager &  stateManager, DdAutEventManager &  eventManager  )

inline

Definition at line 120 of file DdAutFile.hh.

ManagedDdAutFA() [2/2]

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

inline

Definition at line 125 of file DdAutFile.hh.

Member Data Documentation

eMgr

DdAutEventManager& Diades::Automata::Experimental::ManagedDdAutFA::eMgr

Definition at line 119 of file DdAutFile.hh.

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

fa

DdAutFA& Diades::Automata::Experimental::ManagedDdAutFA::fa

Definition at line 117 of file DdAutFile.hh.

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

sMgr

DdAutStateManager& Diades::Automata::Experimental::ManagedDdAutFA::sMgr

Definition at line 118 of file DdAutFile.hh.

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

---

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

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