21 Rule(
Fact *_head, std::vector<std::vector<Fact*>*> *_body);
31 Rule(
Fact *_head, std::vector<Fact*> *_body);
46 std::vector<std::vector<Fact*>*> *
get_body();
53 void valuate_rule(std::map<std::string, Value*> binding);
56 std::vector<std::vector<Fact*>*> *body;
class that implements a fact
Definition: Fact.h:14
Rule(Fact *_head, std::vector< std::vector< Fact *> *> *_body)
constructor that creates rule
Definition: Rule.cc:8
Definition: Application.cc:37
std::vector< std::vector< Fact * > * > * get_body()
getter for a body facts
Definition: Rule.cc:57
std::string print()
returns string with rule information
Definition: Rule.cc:61
Fact * get_head()
getter for a head Fact
Definition: Rule.cc:53
class that handles rules in ModuleLocal
Definition: Rule.h:14
~Rule()
destructor of Rule object
Definition: Rule.cc:13