DiaDes  0.1
DIAgnosis of Discrete-Event System
PetriEventManager.hh
Go to the documentation of this file.
1 #ifndef __DIADES__PETRI__PETRIEVENTMANAGER__HH__
2 #define __DIADES__PETRI__PETRIEVENTMANAGER__HH__
3 
4 #include<iostream>
5 #include<unordered_map>
6 #include<list>
7 #include<diades/utils/Box.hh>
12 
13 
14 namespace Diades
15 {
16  namespace Petri
17  {
19 
20 
29  public EventManager<std::string, size_t>
30  {
31  public:
32 
34 
35  private:
37 
38 
39  public:
45 
46  public:
47 
48  const EventId
49  temporalEvent() const
50  {
51  return _temporalEvent;
52  }
53  };
54 
55 
56  };
57 };
58 
59 #endif
Namespace of the Diades project.
Definition of the Box Utils.
const EventId temporalEvent() const
static PetriEventManager & petriEventManager()