Diades::Sdmdl::Unfolding Class Reference

#include <Unfolding.hh>

Public Member Functions
	Unfolding (ComponentType &component, const set< string > &triggerableEvents, unordered_map< string, string > &dictionnary, const string &name)
virtual	~Unfolding ()
void	unfold (const set< string > &triggerableEvents)
void	writeFile (unordered_map< string, string > &dictionnary, const set< string > &triggerableEvents, const string &name)
const UnfoldingState &	infoOfStateLabel (const string &label)

Private Attributes
ComponentType *const	_comp
Diades::Graph::Graph	graph
Node	initial
EdgeMap< string >	transLabel
NodeMap< string >	stateLabel
NodeMap< int >	synchronousState
set< string >	observableEvents
map< string, UnfoldingState >	_infoOfStateLabel

Detailed Description

Definition at line 21 of file Unfolding.hh.

Constructor & Destructor Documentation

Unfolding()

Diades::Sdmdl::Unfolding::Unfolding	(	ComponentType &	component,
		const set< string > &	triggerableEvents,
		unordered_map< string, string > &	dictionnary,
		const string &	name
	)

~Unfolding()

virtual Diades::Sdmdl::Unfolding::~Unfolding ( )

virtual

Member Function Documentation

infoOfStateLabel()

const UnfoldingState& Diades::Sdmdl::Unfolding::infoOfStateLabel ( const string &  label )

inline

Definition at line 39 of file Unfolding.hh.

unfold()

void Diades::Sdmdl::Unfolding::unfold

(

const set< string > &

triggerableEvents

)

writeFile()

void Diades::Sdmdl::Unfolding::writeFile	(	unordered_map< string, string > &	dictionnary,
		const set< string > &	triggerableEvents,
		const string &	name
	)

Member Data Documentation

_comp

ComponentType* const Diades::Sdmdl::Unfolding::_comp

private

Definition at line 24 of file Unfolding.hh.

_infoOfStateLabel

map<string,UnfoldingState> Diades::Sdmdl::Unfolding::_infoOfStateLabel

private

Definition at line 31 of file Unfolding.hh.

graph

Diades::Graph::Graph Diades::Sdmdl::Unfolding::graph

private

Definition at line 25 of file Unfolding.hh.

initial

Node Diades::Sdmdl::Unfolding::initial

private

Definition at line 26 of file Unfolding.hh.

observableEvents

set<string> Diades::Sdmdl::Unfolding::observableEvents

private

Definition at line 30 of file Unfolding.hh.

stateLabel

NodeMap<string> Diades::Sdmdl::Unfolding::stateLabel

private

Definition at line 28 of file Unfolding.hh.

synchronousState

NodeMap<int> Diades::Sdmdl::Unfolding::synchronousState

private

Definition at line 29 of file Unfolding.hh.

transLabel

EdgeMap<string> Diades::Sdmdl::Unfolding::transLabel

private

Definition at line 27 of file Unfolding.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/sdmdl/Unfolding.hh