DiaDes  0.1
DIAgnosis of Discrete-Event System
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>
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 
Namespace of the Diades project.
ObservedSystem(const System &system, const Observations &obs)