1 #ifndef __MODULESUM_H__ 2 #define __MODULESUM_H__ 4 #include "ModuleLocal.h" 6 #include "ModuleGeneric.h" 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