Inter4ql
5.2
|
class that implements a fact More...
#include <Fact.h>
Public Member Functions | |
Fact (std::string _module, std::string a_relation, std::vector< Value *> *a_params, bool _t=true, bool _f=false) | |
constructor that sets fact data More... | |
Fact (std::string _module, std::string a_relation, Expression *a_params, bool _t=true, bool _f=false) | |
constructor that sets fact data More... | |
Fact (Fact *f) | |
constructor that sets fact data More... | |
~Fact () | |
destructor More... | |
std::string | print (bool type=true) const |
returns string with domain information More... | |
void | set_value (logic_type::type _v) |
setter for fact logical value More... | |
Inter4ql::logic_type::type | get_value () const |
getter for fact logical value More... | |
std::vector< Value * > * | get_params () const |
getter for fact parameters More... | |
Expression * | get_bel_params () const |
getter for BEL body More... | |
std::string | get_module () const |
getter for fact module name More... | |
void | set_module (std::string _m) |
setter for fact module name More... | |
std::string | get_relation () const |
getter for fact relation name More... | |
void | set_set (std::vector< Value *> *_v) |
setter for set of types ('in {...}' statement) More... | |
std::vector< Value * > * | get_set () |
getter for set of types ('in {...}' statement) More... | |
std::string | get_set_string () |
bool | is_set_query () |
ask for being a subset query More... | |
bool | operator== (Fact &r) |
overloaded operator used to comparing facts More... | |
std::vector< std::string > | get_variable_names () const |
getter for names of variables More... | |
void | valuate_fact (std::map< std::string, Value *> binding) |
exchanges variables into values More... | |
void | should_delete_bel_params (bool value) |
setter for info whether BEL params should be deleted on destruction More... | |
void | set_bel_free_query (bool value) |
setter for info whether BEL params should be deleted on destruction More... | |
bool | is_bel_free_query () |
setter for info whether BEL params should be deleted on destruction More... | |
class that implements a fact
|
explicit |
constructor that sets fact data
_module | module name |
a_relation | relation name |
a_params | vector of fact parameters |
_t | is fact true value |
_f | is fact false value |
|
explicit |
constructor that sets fact data
_module | module name |
a_relation | relation name |
a_params | Expression being a BEL body |
_t | is fact true value |
_f | is fact false value |
|
explicit |
constructor that sets fact data
pointer | to Fact object to be copied |
Inter4ql::Fact::~Fact | ( | ) |
destructor
Expression * Inter4ql::Fact::get_bel_params | ( | ) | const |
getter for BEL body
std::string Inter4ql::Fact::get_module | ( | ) | const |
getter for fact module name
std::vector< Value * > * Inter4ql::Fact::get_params | ( | ) | const |
getter for fact parameters
std::string Inter4ql::Fact::get_relation | ( | ) | const |
getter for fact relation name
std::vector< Value * > * Inter4ql::Fact::get_set | ( | ) |
getter for set of types ('in {...}' statement)
std::string Inter4ql::Fact::get_set_string | ( | ) |
Inter4ql::logic_type::type Inter4ql::Fact::get_value | ( | ) | const |
getter for fact logical value
std::vector< std::string > Inter4ql::Fact::get_variable_names | ( | ) | const |
getter for names of variables
bool Inter4ql::Fact::is_bel_free_query | ( | ) |
setter for info whether BEL params should be deleted on destruction
value | information value |
bool Inter4ql::Fact::is_set_query | ( | ) |
ask for being a subset query
bool Inter4ql::Fact::operator== | ( | Fact & | r | ) |
overloaded operator used to comparing facts
r | another fact |
std::string Inter4ql::Fact::print | ( | bool | type = true | ) | const |
returns string with domain information
type | do we want to print fact parameters type? |
void Inter4ql::Fact::set_bel_free_query | ( | bool | value | ) |
setter for info whether BEL params should be deleted on destruction
value | information value |
void Inter4ql::Fact::set_module | ( | std::string | _m | ) |
setter for fact module name
_m | fact module name |
void Inter4ql::Fact::set_set | ( | std::vector< Value *> * | _v | ) |
setter for set of types ('in {...}' statement)
_v | vector of types |
void Inter4ql::Fact::set_value | ( | logic_type::type | _v | ) |
setter for fact logical value
_v | fact logical value |
void Inter4ql::Fact::should_delete_bel_params | ( | bool | value | ) |
setter for info whether BEL params should be deleted on destruction
value | information value |
void Inter4ql::Fact::valuate_fact | ( | std::map< std::string, Value *> | binding | ) |
exchanges variables into values
binding | maping of variable names into values that they should get |