| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
| H A D | dl_sieve_relation.h | 99 relation_base * mk_empty(const relation_signature & s) override;
100 sieve_relation * mk_empty(const sieve_relation & original);
101 relation_base * mk_empty(const relation_base & original) override;
102 relation_base * mk_empty(const relation_signature & s, family_id kind) override;
103 sieve_relation * mk_empty(const relation_signature & s, relation_plugin & inner_plugin);
|
| H A D | dl_finite_product_relation.h | 101 relation_base * mk_empty(const relation_signature & s) override;
105 finite_product_relation * mk_empty(const relation_signature & s, const bool * table_columns,
107 finite_product_relation * mk_empty(const finite_product_relation & original);
108 relation_base * mk_empty(const relation_base & original) override;
109 relation_base * mk_empty(const relation_signature & s, family_id kind) override;
|
| H A D | dl_sieve_relation.cpp | 209 sieve_relation * sieve_relation_plugin::mk_empty(const sieve_relation & original) { in mk_empty() function in datalog::sieve_relation_plugin
210 … return static_cast<sieve_relation *>(mk_empty(original.get_signature(), original.get_kind())); in mk_empty()
213 relation_base * sieve_relation_plugin::mk_empty(const relation_base & original) { in mk_empty() function in datalog::sieve_relation_plugin
214 return mk_empty(static_cast<const sieve_relation &>(original)); in mk_empty()
217 relation_base * sieve_relation_plugin::mk_empty(const relation_signature & s, family_id kind) { in mk_empty() function in datalog::sieve_relation_plugin
227 relation_base * sieve_relation_plugin::mk_empty(const relation_signature & s) { in mk_empty() function in datalog::sieve_relation_plugin
233 return mk_empty(s, inner_cols.c_ptr()); in mk_empty()
237 …sieve_relation * sieve_relation_plugin::mk_empty(const relation_signature & s, relation_plugin & i… in mk_empty() function in datalog::sieve_relation_plugin
243 relation_base * inner_rel = inner_plugin.mk_empty(inner_sig); in mk_empty()
|
| H A D | dl_finite_product_relation.cpp | 175 return mk_empty(s, table_columns.data()); in mk_empty()
196 return mk_empty(get(original)); in mk_empty()
202 return mk_empty(s, spec.m_table_cols.data(), spec.m_inner_kind); in mk_empty()
207 finite_product_relation * res = get(mk_empty(s)); in mk_full()
265 idx_singleton = tplugin.mk_empty(idx_singleton_sig); in mk_from_table_relation()
279 finite_product_relation * res = mk_empty(sig, table_cols.data()); in mk_from_table_relation()
305 finite_product_relation * res = mk_empty(sig, table_cols.data()); in mk_from_inner_relation()
895 delta_indexes = tplugin.mk_empty(di_sig); in operator ()()
949 cdelta = delta->get_plugin().mk_empty(*delta); in operator ()()
1808 m_table = tplugin.mk_empty(m_table_sig); in finite_product_relation()
[all …]
|
| H A D | dl_table.h | 63 table_base * mk_empty(const table_signature & s) override;
122 table_base * mk_empty(const table_signature & s) override;
|
| H A D | dl_table.cpp | 33 table_base * hashtable_table_plugin::mk_empty(const table_signature & s) { in mk_empty() function in datalog::hashtable_table_plugin
53 … hashtable_table * res = static_cast<hashtable_table *>(plugin.mk_empty(get_result_signature())); in operator ()()
181 table_base * bitvector_table_plugin::mk_empty(const table_signature & s) { in mk_empty() function in datalog::bitvector_table_plugin
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
| H A D | dl_sieve_relation.h | 99 relation_base * mk_empty(const relation_signature & s) override;
100 sieve_relation * mk_empty(const sieve_relation & original);
101 relation_base * mk_empty(const relation_base & original) override;
102 relation_base * mk_empty(const relation_signature & s, family_id kind) override;
103 sieve_relation * mk_empty(const relation_signature & s, relation_plugin & inner_plugin);
|
| H A D | dl_finite_product_relation.h | 101 relation_base * mk_empty(const relation_signature & s) override;
105 finite_product_relation * mk_empty(const relation_signature & s, const bool * table_columns,
107 finite_product_relation * mk_empty(const finite_product_relation & original);
108 relation_base * mk_empty(const relation_base & original) override;
109 relation_base * mk_empty(const relation_signature & s, family_id kind) override;
|
| H A D | dl_sieve_relation.cpp | 209 sieve_relation * sieve_relation_plugin::mk_empty(const sieve_relation & original) { in mk_empty() function in datalog::sieve_relation_plugin
210 … return static_cast<sieve_relation *>(mk_empty(original.get_signature(), original.get_kind())); in mk_empty()
213 relation_base * sieve_relation_plugin::mk_empty(const relation_base & original) { in mk_empty() function in datalog::sieve_relation_plugin
214 return mk_empty(static_cast<const sieve_relation &>(original)); in mk_empty()
217 relation_base * sieve_relation_plugin::mk_empty(const relation_signature & s, family_id kind) { in mk_empty() function in datalog::sieve_relation_plugin
227 relation_base * sieve_relation_plugin::mk_empty(const relation_signature & s) { in mk_empty() function in datalog::sieve_relation_plugin
233 return mk_empty(s, inner_cols.c_ptr()); in mk_empty()
237 …sieve_relation * sieve_relation_plugin::mk_empty(const relation_signature & s, relation_plugin & i… in mk_empty() function in datalog::sieve_relation_plugin
243 relation_base * inner_rel = inner_plugin.mk_empty(inner_sig); in mk_empty()
|
| H A D | dl_finite_product_relation.cpp | 175 return mk_empty(s, table_columns.c_ptr()); in mk_empty()
196 return mk_empty(get(original)); in mk_empty()
202 return mk_empty(s, spec.m_table_cols.c_ptr(), spec.m_inner_kind); in mk_empty()
207 finite_product_relation * res = get(mk_empty(s)); in mk_full()
265 idx_singleton = tplugin.mk_empty(idx_singleton_sig); in mk_from_table_relation()
279 finite_product_relation * res = mk_empty(sig, table_cols.c_ptr()); in mk_from_table_relation()
895 delta_indexes = tplugin.mk_empty(di_sig); in operator ()()
949 cdelta = delta->get_plugin().mk_empty(*delta); in operator ()()
1808 m_table = tplugin.mk_empty(m_table_sig); in finite_product_relation()
1956 return m_other_plugin.mk_empty(m_other_sig); in mk_empty_inner()
[all …]
|
| H A D | dl_table.h | 63 table_base * mk_empty(const table_signature & s) override;
122 table_base * mk_empty(const table_signature & s) override;
|
| H A D | dl_table.cpp | 33 table_base * hashtable_table_plugin::mk_empty(const table_signature & s) {
53 … hashtable_table * res = static_cast<hashtable_table *>(plugin.mk_empty(get_result_signature()));
181 table_base * bitvector_table_plugin::mk_empty(const table_signature & s) {
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | udoc_relation.cpp | 187 t = mk_empty(sig); in test1()
208 t3 = mk_empty(sig); in test1()
270 t1 = mk_empty(sig); in test1()
271 t2 = mk_empty(sig); in test1()
296 t1 = mk_empty(sig2); in test1()
545 udoc_relation* t1 = mk_empty(sig); in test_join_project3()
553 udoc_relation *t2 = mk_empty(sig); in test_join_project3()
589 t1 = mk_empty(sig); in test_rename()
604 t1 = mk_empty(sig); in test_rename()
611 t1 = mk_empty(sig); in test_rename()
[all …]
|
| H A D | dl_product_relation.cpp | 60 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
89 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
110 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
196 scoped_rel<relation_base> r1 = plg.mk_empty(sig2, table_cols2); in test_finite_product_relation()
277 scoped_rel<relation_base> r31 = plg.mk_empty(sig3, table_cols3); in test_finite_product_relation()
308 scoped_rel<relation_base> r41 = plg.mk_empty(sig4, table_cols4); in test_finite_product_relation()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | udoc_relation.cpp | 187 t = mk_empty(sig); in test1()
208 t3 = mk_empty(sig); in test1()
270 t1 = mk_empty(sig); in test1()
271 t2 = mk_empty(sig); in test1()
296 t1 = mk_empty(sig2); in test1()
545 udoc_relation* t1 = mk_empty(sig); in test_join_project3()
553 udoc_relation *t2 = mk_empty(sig); in test_join_project3()
589 t1 = mk_empty(sig); in test_rename()
604 t1 = mk_empty(sig); in test_rename()
611 t1 = mk_empty(sig); in test_rename()
[all …]
|
| H A D | dl_product_relation.cpp | 60 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
89 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
110 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
196 scoped_rel<relation_base> r1 = plg.mk_empty(sig2, table_cols2); in test_finite_product_relation()
277 scoped_rel<relation_base> r31 = plg.mk_empty(sig3, table_cols3); in test_finite_product_relation()
308 scoped_rel<relation_base> r41 = plg.mk_empty(sig4, table_cols4); in test_finite_product_relation()
|
| /dports/devel/cgit/cgit-1.2.3/git/t/ |
| H A D | t5516-fetch-push.sh | 21 mk_empty () { function
37 mk_empty "$repo_name" &&
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | dependency.h | 139 dependency * mk_empty() { in mk_empty() function
287 dependency * mk_empty() { in mk_empty() function
288 return m_dep_manager.mk_empty(); in mk_empty()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | dependency.h | 139 dependency * mk_empty() { in mk_empty() function
287 dependency * mk_empty() { in mk_empty() function
288 return m_dep_manager.mk_empty(); in mk_empty()
|
| /dports/devel/git-svn/git-2.34.1/t/ |
| H A D | t5516-fetch-push.sh | 24 mk_empty () { function
40 mk_empty "$repo_name" &&
|
| /dports/devel/git-p4/git-2.34.1/t/ |
| H A D | t5516-fetch-push.sh | 24 mk_empty () { function
40 mk_empty "$repo_name" &&
|
| /dports/devel/git-gui/git-2.34.1/t/ |
| H A D | t5516-fetch-push.sh | 24 mk_empty () { function
40 mk_empty "$repo_name" &&
|
| /dports/devel/git/git-2.34.1/t/ |
| H A D | t5516-fetch-push.sh | 24 mk_empty () { function
40 mk_empty "$repo_name" &&
|
| /dports/devel/git-cvs/git-2.34.1/t/ |
| H A D | t5516-fetch-push.sh | 24 mk_empty () { function
40 mk_empty "$repo_name" &&
|
| /dports/math/z3/z3-z3-4.8.13/src/model/ |
| H A D | seq_factory.h | 60 return u.str.mk_empty(s); in get_some_value()
62 return u.re.mk_to_re(u.str.mk_empty(seq)); in get_some_value()
|