Inter4ql  5.2
Inter4ql::Fact Member List

This is the complete list of members for Inter4ql::Fact, including all inherited members.

Fact(std::string _module, std::string a_relation, std::vector< Value *> *a_params, bool _t=true, bool _f=false)Inter4ql::Factexplicit
Fact(std::string _module, std::string a_relation, Expression *a_params, bool _t=true, bool _f=false)Inter4ql::Factexplicit
Fact(Fact *f)Inter4ql::Factexplicit
get_bel_params() constInter4ql::Fact
get_module() constInter4ql::Fact
get_params() constInter4ql::Fact
get_relation() constInter4ql::Fact
get_set()Inter4ql::Fact
get_set_string()Inter4ql::Fact
get_value() constInter4ql::Fact
get_variable_names() constInter4ql::Fact
is_bel_free_query()Inter4ql::Fact
is_set_query()Inter4ql::Fact
operator==(Fact &r)Inter4ql::Fact
print(bool type=true) constInter4ql::Fact
set_bel_free_query(bool value)Inter4ql::Fact
set_module(std::string _m)Inter4ql::Fact
set_set(std::vector< Value *> *_v)Inter4ql::Fact
set_value(logic_type::type _v)Inter4ql::Fact
should_delete_bel_params(bool value)Inter4ql::Fact
valuate_fact(std::map< std::string, Value *> binding)Inter4ql::Fact
~Fact()Inter4ql::Fact