1 #ifndef __MODULEGROUP_H__ 2 #define __MODULEGROUP_H__ 7 #include "ModuleGeneric.h" 17 class BooleanExpression;
31 std::vector<Domain*> *_domains,
32 std::vector<Relation*> *_relations,
33 std::vector<std::string> *_members);
41 std::vector<std::string> *get_members()
const;
47 void add_domain(
Domain *d);
63 std::vector<Domain *> *domains;
64 std::vector<Domain *> *domainsToDelete;
66 std::vector<Relation *> *relations;
67 std::vector<std::string> *members;
Relation * get_relation(std::string s) const
getter for a relation
Definition: ModuleGroup.cc:78
virtual std::vector< Domain * > * get_domains() const
getter for domains
Definition: ModuleGroup.cc:93
class that implements a fact
Definition: Fact.h:14
ModuleGroup(std::string a_name, std::vector< Domain *> *_domains, std::vector< Relation *> *_relations, std::vector< std::string > *_members)
constructor
Definition: ModuleGroup.cc:19
Definition: Expression.h:10
void add_whens(BooleanExpression *t, BooleanExpression *f, BooleanExpression *i)
prepare formulas for merging group data
Definition: ModuleGroup.cc:226
Definition: Application.cc:37
void reason()
performs reasoning
Definition: ModuleGroup.cc:126
Domain class - class that points to a data type.
Definition: Domain.h:12
Generic class of module (only virtual methods)
Definition: ModuleGeneric.h:21
std::vector< Relation * > * get_relations() const
getter for module relations
Definition: ModuleGroup.cc:85
~ModuleGroup()
destructor
Definition: ModuleGroup.cc:44
Implementation of ModuleGeneric for modules with reasoning.
Definition: ModuleGroup.h:20
Definition: BooleanExpression.h:8
module_type::type get_module_type() const
getter for module type
Definition: ModuleGroup.cc:112
Result evaluate_expression(Expression *expr) const
provides valuations matching given Expression
Definition: ModuleGroup.cc:222
std::string print()
function that returns string with module information
Definition: ModuleGroup.cc:101
std::string get_name() const
getter for a name of module
Definition: ModuleGroup.cc:97
type
Enumeration type for types of values.
Definition: Types.h:26
Result ask_for_result(Fact *term) const
provides valuations matching given Fact
Definition: ModuleGroup.cc:217
class that handles relation instance inside modules
Definition: Relation.h:13