Searched refs:sieve_relation (Results 1 – 10 of 10) sorted by relevance
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
H A D | dl_sieve_relation.cpp | 32 sieve_relation::sieve_relation(sieve_relation_plugin & p, const relation_signature & s, in sieve_relation() function in datalog::sieve_relation 64 sieve_relation * sieve_relation::clone() const { in clone() 209 sieve_relation * sieve_relation_plugin::mk_empty(const sieve_relation & original) { in mk_empty() 362 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in operator ()() 376 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in mk_project_fn() 411 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in mk_rename_fn() 509 sieve_relation & r = static_cast<sieve_relation &>(r0); in operator ()() 520 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in mk_filter_identical_fn() 547 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in mk_filter_equal_fn() 567 const sieve_relation & r = static_cast<const sieve_relation &>(rb); in mk_filter_interpreted_fn() [all …]
|
H A D | dl_sieve_relation.h | 27 class sieve_relation; 30 friend class sieve_relation; 69 family_id get_relation_kind(sieve_relation & r, const bool * inner_columns); 80 static sieve_relation& get(relation_base& r); 81 static sieve_relation const & get(relation_base const& r); 82 static sieve_relation* get(relation_base* r); 83 static sieve_relation const* get(relation_base const* r); 100 sieve_relation * mk_empty(const sieve_relation & original); 143 class sieve_relation : public relation_base { 159 sieve_relation(sieve_relation_plugin & p, const relation_signature & s, [all …]
|
H A D | dl_mk_explanations.cpp | 806 sieve_relation * srels[] = { in translate_rel_level_relation() 807 static_cast<sieve_relation *>(&prod_rel[0]), in translate_rel_level_relation() 808 static_cast<sieve_relation *>(&prod_rel[1]) }; in translate_rel_level_relation()
|
H A D | dl_relation_manager.h | 34 class sieve_relation;
|
H A D | dl_product_relation.cpp | 218 return static_cast<const sieve_relation &>(r).get_inner(); 1048 sieve_relation & sr = sieve_relation_plugin::get(r);
|
/dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
H A D | dl_sieve_relation.cpp | 32 sieve_relation::sieve_relation(sieve_relation_plugin & p, const relation_signature & s, in sieve_relation() function in datalog::sieve_relation 64 sieve_relation * sieve_relation::clone() const { in clone() 209 sieve_relation * sieve_relation_plugin::mk_empty(const sieve_relation & original) { in mk_empty() 362 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in operator ()() 376 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in mk_project_fn() 411 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in mk_rename_fn() 509 sieve_relation & r = static_cast<sieve_relation &>(r0); in operator ()() 520 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in mk_filter_identical_fn() 547 const sieve_relation & r = static_cast<const sieve_relation &>(r0); in mk_filter_equal_fn() 567 const sieve_relation & r = static_cast<const sieve_relation &>(rb); in mk_filter_interpreted_fn() [all …]
|
H A D | dl_sieve_relation.h | 27 class sieve_relation; variable 30 friend class sieve_relation; variable 69 family_id get_relation_kind(sieve_relation & r, const bool * inner_columns); 80 static sieve_relation& get(relation_base& r); 81 static sieve_relation const & get(relation_base const& r); 82 static sieve_relation* get(relation_base* r); 83 static sieve_relation const* get(relation_base const* r); 100 sieve_relation * mk_empty(const sieve_relation & original); 143 class sieve_relation : public relation_base { 159 sieve_relation(sieve_relation_plugin & p, const relation_signature & s, [all …]
|
H A D | dl_mk_explanations.cpp | 806 sieve_relation * srels[] = { in translate_rel_level_relation() 807 static_cast<sieve_relation *>(&prod_rel[0]), in translate_rel_level_relation() 808 static_cast<sieve_relation *>(&prod_rel[1]) }; in translate_rel_level_relation()
|
H A D | dl_relation_manager.h | 34 class sieve_relation; variable
|
H A D | dl_product_relation.cpp | 218 return static_cast<const sieve_relation &>(r).get_inner(); in get_nonsieve_relation() 1048 sieve_relation & sr = sieve_relation_plugin::get(r); in try_get_single_non_transparent()
|