DiaDes
0.1
DIAgnosis of Discrete-Event System
include
diades
petri
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
>
8
#include<
diades/utils/Assertion.hh
>
9
#include<
diades/utils/Substring.hh
>
10
#include<
diades/utils/Exceptions.hh
>
11
#include<
diades/automata/experimental/Event.hh
>
12
13
14
namespace
Diades
15
{
16
namespace
Petri
17
{
18
using
Diades::Automata::Experimental::EventManager
;
19
20
28
class
PetriEventManager
:
29
public
EventManager
<std::string, size_t>
30
{
31
public
:
32
33
static
PetriEventManager
&
petriEventManager
();
34
35
private
:
36
EventId
_temporalEvent
;
37
38
39
public
:
44
PetriEventManager
();
45
46
public
:
47
48
const
EventId
49
temporalEvent
()
const
50
{
51
return
_temporalEvent
;
52
}
53
};
54
55
56
};
57
};
58
59
#endif
Diades::Petri::PetriEventManager::_temporalEvent
EventId _temporalEvent
Definition:
PetriEventManager.hh:36
Diades::Petri::PetriEventManager
Definition:
PetriEventManager.hh:28
Diades::Automata::Experimental::EventManager::EventId
typename IM::InfoId EventId
Definition:
Event.hh:53
Event.hh
Diades::Petri::PetriEventManager::PetriEventManager
PetriEventManager()
Substring.hh
Diades::Automata::Experimental::EventManager
Definition:
Event.hh:39
Assertion.hh
Exceptions.hh
Diades
Namespace of the Diades project.
Box.hh
Definition of the Box Utils.
Diades::Petri::PetriEventManager::temporalEvent
const EventId temporalEvent() const
Definition:
PetriEventManager.hh:49
Diades::Petri::PetriEventManager::petriEventManager
static PetriEventManager & petriEventManager()
Generated on Tue May 12 2020 15:52:04 for DiaDes by
1.8.13