DiaDes  0.1
DIAgnosis of Discrete-Event System
SyncRulesLoad.hh
Go to the documentation of this file.
1 #ifndef __DIADES__AUTOMATA__SYNCRULESLOAD__HH
2 #define __DIADES__AUTOMATA__SYNCRULESLOAD__HH
3 
4 
5 #include <diades/automata/SynchronisationRules.hh>
6 
7 namespace Diades
8 {
9  namespace Automata
10  {
11 
12 
13  /****************************************************************************************/
14 
31  bool loadSynchronisationRules(const ParametrizedSynchronisation::ComponentVector & models, const string & filename, ParametrizedSynchronisation & sync);
32 
33  };
34 };
35 
36 #endif
Diades::Automata::SynchronisationRules::ComponentVector
vector< const Component * > ComponentVector
Definition: SynchronisationRules.hh:340
Diades::Automata::loadSynchronisationRules
bool loadSynchronisationRules(const ParametrizedSynchronisation::ComponentVector &models, const string &filename, ParametrizedSynchronisation &sync)
Diades
Namespace of the Diades project.
Generated on Tue May 12 2020 15:52:03 for DiaDes by   doxygen 1.8.13