| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | dl_product_relation.cpp | 64 ENSURE(t0->get_size_estimate_rows()==1); in test_functional_columns()
66 ENSURE(t0->get_size_estimate_rows()==1); in test_functional_columns()
68 ENSURE(t0->get_size_estimate_rows()==2); in test_functional_columns()
73 ENSURE(t1->get_size_estimate_rows()==2); in test_functional_columns()
79 ENSURE(t2->get_size_estimate_rows()==2); in test_functional_columns()
86 ENSURE(rt->get_size_estimate_rows()==1); in test_functional_columns()
|
| H A D | dl_query.cpp | 124 unsigned table_sz = table_b.get_size_estimate_rows(); in dl_query_test()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | dl_product_relation.cpp | 64 ENSURE(t0->get_size_estimate_rows()==1); in test_functional_columns()
66 ENSURE(t0->get_size_estimate_rows()==1); in test_functional_columns()
68 ENSURE(t0->get_size_estimate_rows()==2); in test_functional_columns()
73 ENSURE(t1->get_size_estimate_rows()==2); in test_functional_columns()
79 ENSURE(t2->get_size_estimate_rows()==2); in test_functional_columns()
86 ENSURE(rt->get_size_estimate_rows()==1); in test_functional_columns()
|
| H A D | dl_query.cpp | 124 unsigned table_sz = table_b.get_size_estimate_rows();
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
| H A D | dl_check_table.h | 128 … unsigned get_size_estimate_rows() const override { return m_tocheck->get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | dl_table_relation.h | 124 … unsigned get_size_estimate_rows() const override { return m_table->get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | check_relation.h | 53 … unsigned get_size_estimate_rows() const override { return m_relation->get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | dl_sieve_relation.h | 186 … unsigned get_size_estimate_rows() const override { return get_inner().get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | dl_instruction.cpp | 88 unsigned rows = reg(rg) ? reg(rg)->get_size_estimate_rows() : 0; in report_big_relations()
388 tout<<":"<<r1.get_size_estimate_rows()<<" x "; in perform()
390 tout<<":"<<r2.get_size_estimate_rows()<<" ->\n";); in perform()
396 tout<<":"<<ctx.reg(m_res)->get_size_estimate_rows()<<"\n";); in perform()
844 … TRACE("dl", tout<<r1.get_size_estimate_rows()<<" x "<<r2.get_size_estimate_rows()<<" jp->\n";); in perform()
846 TRACE("dl", tout<<ctx.reg(m_res)->get_size_estimate_rows()<<"\n";); in perform()
858 out << "-" << r1->get_size_estimate_rows(); in display_head_impl()
864 out << "-" << r2->get_size_estimate_rows(); in display_head_impl()
|
| H A D | dl_finite_product_relation.h | 356 … unsigned get_size_estimate_rows() const override { return m_table->get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | dl_table.h | 100 unsigned get_size_estimate_rows() const override { return m_data.size(); } in get_size_estimate_rows() function
|
| H A D | udoc_relation.h | 54 unsigned get_size_estimate_rows() const override { return m_elems.size(); } in get_size_estimate_rows() function
|
| H A D | dl_lazy_table.h | 147 unsigned get_size_estimate_rows() const override { return 1; } in get_size_estimate_rows() function
|
| H A D | dl_sparse_table.h | 493 unsigned get_size_estimate_rows() const override { return row_count(); } in get_size_estimate_rows() function
|
| H A D | udoc_relation.cpp | 385 TRACE("doc", tout << "final size: " << r->get_size_estimate_rows() << '\n';); in operator ()()
582 TRACE("doc", tout << "final size: " << r.get_size_estimate_rows() << '\n';); in operator ()()
948 TRACE("doc", tout << "final size: " << t.get_size_estimate_rows() << '\n';); in operator ()()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
| H A D | dl_check_table.h | 128 … unsigned get_size_estimate_rows() const override { return m_tocheck->get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | dl_table_relation.h | 124 … unsigned get_size_estimate_rows() const override { return m_table->get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | check_relation.h | 53 … unsigned get_size_estimate_rows() const override { return m_relation->get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | dl_sieve_relation.h | 186 … unsigned get_size_estimate_rows() const override { return get_inner().get_size_estimate_rows(); }
|
| H A D | dl_instruction.cpp | 88 unsigned rows = reg(rg) ? reg(rg)->get_size_estimate_rows() : 0; in report_big_relations()
388 tout<<":"<<r1.get_size_estimate_rows()<<" x "; in perform()
390 tout<<":"<<r2.get_size_estimate_rows()<<" ->\n";); in perform()
396 tout<<":"<<ctx.reg(m_res)->get_size_estimate_rows()<<"\n";); in perform()
844 … TRACE("dl", tout<<r1.get_size_estimate_rows()<<" x "<<r2.get_size_estimate_rows()<<" jp->\n";); in perform()
846 TRACE("dl", tout<<ctx.reg(m_res)->get_size_estimate_rows()<<"\n";); in perform()
858 out << "-" << r1->get_size_estimate_rows(); in display_head_impl()
864 out << "-" << r2->get_size_estimate_rows(); in display_head_impl()
|
| H A D | dl_finite_product_relation.h | 356 … unsigned get_size_estimate_rows() const override { return m_table->get_size_estimate_rows(); } in get_size_estimate_rows() function
|
| H A D | dl_table.h | 100 unsigned get_size_estimate_rows() const override { return m_data.size(); }
|
| H A D | udoc_relation.h | 54 unsigned get_size_estimate_rows() const override { return m_elems.size(); } in get_size_estimate_rows() function
|
| H A D | dl_lazy_table.h | 147 unsigned get_size_estimate_rows() const override { return 1; } in get_size_estimate_rows() function
|
| H A D | dl_sparse_table.h | 493 unsigned get_size_estimate_rows() const override { return row_count(); } in get_size_estimate_rows() function
|