DiaDes
0.1
DIAgnosis of Discrete-Event System
include
diades
petri
ObservedSystem.hh
Go to the documentation of this file.
1
8
#ifndef __DIADES__PETRI__OBSERVEDSYSTEM__HH__
9
#define __DIADES__PETRI__OBSERVEDSYSTEM__HH__
10
#include<
diades/petri/DdNet.hh
>
11
#include<
diades/petri/System.hh
>
12
#include<
diades/petri/Observations.hh
>
13
14
namespace
Diades
15
{
16
namespace
Petri
17
{
18
19
class
ObservedSystem
:
public
DdNet
20
{
21
public
:
22
ObservedSystem
(
const
System
& system,
const
Observations
& obs);
23
virtual
~ObservedSystem
(){}
24
};
25
26
}
27
}
28
29
30
#endif
/* __DIADES__PETRI__OBSERVEDSYSTEM__HH__ */
31
DdNet.hh
Diades::Petri::DdNet
Definition:
DdNet.hh:21
Diades::Petri::System
Definition:
System.hh:12
Diades::Petri::ObservedSystem::~ObservedSystem
virtual ~ObservedSystem()
Definition:
ObservedSystem.hh:23
System.hh
Diades
Namespace of the Diades project.
Observations.hh
Diades::Petri::ObservedSystem::ObservedSystem
ObservedSystem(const System &system, const Observations &obs)
Diades::Petri::Observations
Definition:
Observations.hh:20
Diades::Petri::ObservedSystem
Definition:
ObservedSystem.hh:19
Generated on Tue May 12 2020 15:52:04 for DiaDes by
1.8.13