Home
last modified time | relevance | path

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 Ddl_sieve_relation.cpp32 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 Ddl_sieve_relation.h27 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 Ddl_mk_explanations.cpp806 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 Ddl_relation_manager.h34 class sieve_relation;
H A Ddl_product_relation.cpp218 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 Ddl_sieve_relation.cpp32 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 Ddl_sieve_relation.h27 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 Ddl_mk_explanations.cpp806 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 Ddl_relation_manager.h34 class sieve_relation; variable
H A Ddl_product_relation.cpp218 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()