DiaDes  0.1
DIAgnosis of Discrete-Event System
Configuration.hh
Go to the documentation of this file.
1 #ifndef __DIADES__PETRI__CONFIGURATION_HH_
2 #define __DIADES__PETRI__CONFIGURATION_HH_
3 
14 
15 namespace Diades
16 {
17  namespace Petri
18  {
19 
28  {
29 
30  public:
33 
34 
35 
36 
37  private:
39  const set<Event> & _max;
40 
41 
42 
43  public:
45  const set<Event> & max):_process(process),_max(max){}
46 
54  bool meets(const set<Event> & events) const;
55 
56 
57 
58 
59  };
60 
61 
62  }
63 }
64 
65 
66 
67 
68 
69 
70 
71 #endif
const set< Event > & _max
Configuration(const BranchingProcess &process, const set< Event > &max)
const BranchingProcess & _process
BranchingProcess.
Namespace of the Diades project.
bool meets(const set< Event > &events) const
This class implements a branching process of a Net (see Esparza 2002).
BranchingProcess::Event Event
Event an Event of the Configuration is an Event of the underlying BranchingProcess ...
A Configuration caracterises a configuration of a BranchingProcess.