DiaDes  0.1
DIAgnosis of Discrete-Event System
Extensions.hh
Go to the documentation of this file.
1 #ifndef __DIADES__PETRI__EXTENSIONS_HH_
2 #define __DIADES__PETRI__EXTENSIONS_HH_
3 
12 #include <set>
13 #include "PartialOrder.hh"
14 #include "Extension.hh"
15 
16 namespace Diades
17 {
18  namespace Petri
19  {
21 
26  {
27  };
32  {
33  };
34 
35 
42  class Extensions
43  {
44  private:
50 
51  public:
55  Extensions();
56 
57 
64  bool empty() const;
65 
66 
67 
73  void selectMinimalExtension(Extension & extension);
74 
75 
76 
82  void removeExtension(Extension & extension);
83 
84 
90  void addExtension(const Extension & extension);
91 
92 
93 
99  void append(Extensions & extensions);
100 
101 
105  void clear();
106 
107 
108 
109 
110  };
111 
112 
113  };
114 };
115 
116 
117 #endif
list of Extension objects
Definition: Extensions.hh:42
PartialOrder< Extension, AdequateOrder, ExtensionEquality > _order
Definition: Extensions.hh:49
An extension of the BranchingProcess.
Namespace of the Diades project.