Inter4ql
5.2
|
class that handles rules in ModuleLocal More...
#include <Rule.h>
Public Member Functions | |
Rule (Fact *_head, std::vector< std::vector< Fact *> *> *_body) | |
constructor that creates rule More... | |
~Rule () | |
destructor of Rule object More... | |
Rule (Fact *_head, std::vector< Fact *> *_body) | |
constructor that creates rule More... | |
Rule (Rule *other) | |
constructor that creates rule More... | |
Fact * | get_head () |
getter for a head Fact More... | |
std::vector< std::vector< Fact * > * > * | get_body () |
getter for a body facts More... | |
std::string | print () |
returns string with rule information More... | |
void | valuate_rule (std::map< std::string, Value *> binding) |
class that handles rules in ModuleLocal
constructor that creates rule
_head | head of a rule |
_body | body of a rule (as vector that holds alternative conjunction vectors) |
Inter4ql::Rule::~Rule | ( | ) |
destructor of Rule object
constructor that creates rule
_head | head of a rule |
_body | body of a rule |
Inter4ql::Rule::Rule | ( | Rule * | other | ) |
constructor that creates rule
other | othe Rule to be copied |
std::vector< std::vector< Fact * > * > * Inter4ql::Rule::get_body | ( | ) |
getter for a body facts
std::string Inter4ql::Rule::print | ( | ) |
returns string with rule information