Inter4ql  5.2
ModuleSum.h
1 #ifndef __MODULESUM_H__
2 #define __MODULESUM_H__
3 
4 #include "ModuleLocal.h"
5 
6 #include "ModuleGeneric.h"
7 
8 namespace Inter4ql {
11  class ModuleSum : public ModuleLocal {
12  public:
17  ModuleSum();
21  ~ModuleSum();
22 
26  void add_module(ModuleGeneric* m);
27 
32  Inter4ql::database* get_wsm_database() override { return &database_; }
33  };
34 }
35 
36 #endif /* __MODULESUM_H__ */
37 
void add_module(ModuleGeneric *m)
adds module to the sum
Definition: ModuleSum.cc:37
ModuleSum()
constructor
Definition: ModuleSum.cc:7
~ModuleSum()
destructor
Definition: ModuleSum.cc:16
Definition: Application.cc:37
Generic class of module (only virtual methods)
Definition: ModuleGeneric.h:21
Implementation of ModuleSum for sum of module models.
Definition: ModuleSum.h:11
Implementation of ModuleGeneric for modules with reasoning.
Definition: ModuleLocal.h:24
Inter4ql::database * get_wsm_database() override
fetches a database of facts from well-supported model (for summing purposes)
Definition: ModuleSum.h:32