Public Member Functions
	FreeProduct (const ComponentVector &components)

Public Member Functions inherited from Diades::Automata::SynchronisationRules
	SynchronisationRules (const ComponentVector &components)

	SynchronisationRules ()

void	setComponentVector (const ComponentVector &components)

SynchronisationIterator	beginOfSynchronisedEvents () const

SynchronisationIterator	endOfSynchronisedEvents () const

size_type	numberOfComponents () const

size_type	size () const

ComponentIterator	beginOfComponents () const

ComponentIterator	endOfComponents () const

const Component &	getComponent (size_type index) const

ComponentIterator	findComponent (const string &name) const

ComponentIterator	findComponent (const Component &component) const

bool	operator== (const SynchronisationRules &rules) const

void	getSynchronisationEvents (const Component &component, Event event, list< SynchronisationEvent::ConstPointer > &events) const

bool	valid () const

Additional Inherited Members
Public Types inherited from Diades::Automata::SynchronisationRules
typedef Diades::Utils::Exception< SynchronisationRules >	Exception

typedef vector< const Component * >	ComponentVector

typedef ComponentVector::size_type	size_type

typedef list< SynchronisationEvent >::const_iterator	SynchronisationIterator

typedef _ComponentIterator	ComponentIterator

Static Public Member Functions inherited from Diades::Automata::SynchronisationRules
static string	typeName ()

Protected Attributes inherited from Diades::Automata::SynchronisationRules
ComponentVector	_components

list< SynchronisationEvent >	_synchros

Detailed Description

Generate the free product of components

Definition at line 510 of file SynchronisationRules.hh.

Constructor & Destructor Documentation

Diades::Automata::FreeProduct::FreeProduct ( const ComponentVector & components )

Parameters

components the set of components Generate the free product of components

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

/home/yannick/laas/redmine/tools/diades/include/diades/automata/SynchronisationRules.hh