Inter4ql
5.2
Inter4ql
Fact
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::Fact
explicit
Fact
(std::string _module, std::string a_relation, Expression *a_params, bool _t=true, bool _f=false)
Inter4ql::Fact
explicit
Fact
(Fact *f)
Inter4ql::Fact
explicit
get_bel_params
() const
Inter4ql::Fact
get_module
() const
Inter4ql::Fact
get_params
() const
Inter4ql::Fact
get_relation
() const
Inter4ql::Fact
get_set
()
Inter4ql::Fact
get_set_string
()
Inter4ql::Fact
get_value
() const
Inter4ql::Fact
get_variable_names
() const
Inter4ql::Fact
is_bel_free_query
()
Inter4ql::Fact
is_set_query
()
Inter4ql::Fact
operator==
(Fact &r)
Inter4ql::Fact
print
(bool type=true) const
Inter4ql::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
Generated on Wed May 13 2020 21:44:45 for Inter4ql by
1.8.13