/dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
H A D | dl_check_table.h | 57 table_join_fn * mk_join_fn(const table_base & t1, const table_base & t2, 59 table_join_fn * mk_join_project_fn(const table_base & t1, const table_base & t2, 62 table_union_fn * mk_union_fn(const table_base & tgt, const table_base & src, 89 static table_base& checker(table_base& r); 90 static table_base const& checker(table_base const& r); 91 static table_base* checker(table_base* r); 92 static table_base const* checker(table_base const* r); 93 static table_base& tocheck(table_base& r); 94 static table_base const& tocheck(table_base const& r); 95 static table_base* tocheck(table_base* r); [all …]
|
H A D | dl_check_table.cpp | 41 table_base& check_table_plugin::checker(table_base& r) { return *get(r).m_checker; } in checker() 62 const table_base & t1, const table_base & t2, in join_fn() 68 table_base* operator()(const table_base & t1, const table_base & t2) override { in operator ()() 96 table_base* operator()(const table_base & t1, const table_base & t2) override { in operator ()() 117 …union_fn(check_table_plugin& p, table_base const& tgt, const table_base& src, table_base const* de… in union_fn() 122 void operator()(table_base& tgt, const table_base& src, table_base* delta) override { in operator ()() 133 …ion_fn * check_table_plugin::mk_union_fn(const table_base & tgt, const table_base & src, const tab… in mk_union_fn() 150 table_base* operator()(table_base const& src) override { in operator ()() 174 table_base* operator()(table_base const& src) override { in operator ()() 199 table_base* operator()(table_base const& src) override { in operator ()() [all …]
|
H A D | dl_lazy_table.cpp | 53 table_base* operator()(const table_base& _t1, const table_base& _t2) override { in operator ()() 62 const table_base & t1, const table_base & t2, in mk_join_fn() 77 void operator()(table_base & _tgt, const table_base & _src, in operator ()() 95 const table_base & tgt, const table_base & src, in mk_union_fn() 96 const table_base * delta) { in mk_union_fn() 114 table_base* operator()(table_base const& _t) override { in operator ()() 140 table_base* operator()(table_base const& _t) override { in operator ()() 217 void operator()(table_base & _t, const table_base & _intersected_obj) override { in operator ()() 225 const table_base & t, in mk_filter_by_negation_fn() 281 table_base* t = eval(); in clone() [all …]
|
H A D | dl_lazy_table.h | 60 const table_base & t1, const table_base & t2, 63 const table_base & tgt, const table_base & src, 78 const table_base & t, 104 scoped_rel<table_base> m_table; 151 table_base* eval() const; 192 table_base* force() override; 209 table_base* force() override; 225 table_base* force() override; 239 table_base* force() override; 258 table_base* force() override; [all …]
|
H A D | dl_relation_manager.h | 410 table_join_fn * mk_join_fn(const table_base & t1, const table_base & t2, 413 table_join_fn * mk_join_fn(const table_base & t1, const table_base & t2, in mk_join_fn() 449 table_join_fn * mk_join_project_fn(const table_base & t1, const table_base & t2, 453 table_join_fn * mk_join_project_fn(const table_base & t1, const table_base & t2, in mk_join_project_fn() 509 table_union_fn * mk_union_fn(const table_base & tgt, const table_base & src, 510 const table_base * delta); 512 table_union_fn * mk_union_fn(const table_base & tgt, const table_base & src) { in mk_union_fn() 520 table_union_fn * mk_widen_fn(const table_base & tgt, const table_base & src, 575 const table_base & t, 576 const table_base & src1, [all …]
|
H A D | dl_base.cpp | 37 void universal_delete(table_base* ptr) { in universal_delete() 236 bool table_base::empty() const { in empty() 253 void table_base::reset() { in reset() 274 bool table_base::fetch_fact(table_fact & f) const { in fetch_fact() 302 bool table_base::suggest_fact(table_fact & f) { in suggest_fact() 329 table_base * table_base::clone() const { in clone() 349 table_base * table_base::complement(func_decl* p, const table_element * func_columns) const { in complement() 354 table_base * res = get_plugin().mk_empty(sig); in complement() 402 class table_base::row_interface::fact_row_iterator : public table_base::row_iterator_core { 422 table_base::row_iterator table_base::row_interface::begin() const { in begin() [all …]
|
H A D | dl_relation_manager.cpp | 922 table_base * operator()(const table_base & t1, const table_base & t2) override { in operator ()() 1006 table_base * operator()(const table_base & t) { in operator ()() 1038 table_base * operator()(const table_base & t) override { in operator ()() 1047 table_base * operator()(const table_base & t) override { in operator ()() 1096 table_base * operator()(const table_base & t1, const table_base & t2) override { in operator ()() 1155 table_base * operator()(const table_base & t) override { in operator ()() 1183 void operator()(table_base & tgt, const table_base & src, table_base * delta) override { in operator ()() 1442 table_base* operator()(const table_base & tb) override { in operator ()() 1511 void operator()(table_base & tgt, const table_base & negated_table) override { in operator ()() 1555 table_base * operator()(const table_base & t1) override { in operator ()() [all …]
|
H A D | dl_sparse_table.h | 80 table_join_fn * mk_join_fn(const table_base & t1, const table_base & t2, 82 table_join_fn * mk_join_project_fn(const table_base & t1, const table_base & t2, 85 table_union_fn * mk_union_fn(const table_base & tgt, const table_base & src, 86 const table_base * delta) override; 97 const table_base & t, 98 const table_base & src1, 99 const table_base & src2, 106 static sparse_table& get(table_base&); 108 static sparse_table* get(table_base*); 303 class sparse_table : public table_base { [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
H A D | dl_check_table.h | 57 table_join_fn * mk_join_fn(const table_base & t1, const table_base & t2, 59 table_join_fn * mk_join_project_fn(const table_base & t1, const table_base & t2, 62 table_union_fn * mk_union_fn(const table_base & tgt, const table_base & src, 89 static table_base& checker(table_base& r); 90 static table_base const& checker(table_base const& r); 91 static table_base* checker(table_base* r); 92 static table_base const* checker(table_base const* r); 93 static table_base& tocheck(table_base& r); 94 static table_base const& tocheck(table_base const& r); 95 static table_base* tocheck(table_base* r); [all …]
|
H A D | dl_check_table.cpp | 41 table_base& check_table_plugin::checker(table_base& r) { return *get(r).m_checker; } in checker() 62 const table_base & t1, const table_base & t2, in join_fn() 68 table_base* operator()(const table_base & t1, const table_base & t2) override { in operator ()() 96 table_base* operator()(const table_base & t1, const table_base & t2) override { in operator ()() 117 …union_fn(check_table_plugin& p, table_base const& tgt, const table_base& src, table_base const* de… in union_fn() 122 void operator()(table_base& tgt, const table_base& src, table_base* delta) override { in operator ()() 133 …ion_fn * check_table_plugin::mk_union_fn(const table_base & tgt, const table_base & src, const tab… in mk_union_fn() 150 table_base* operator()(table_base const& src) override { in operator ()() 174 table_base* operator()(table_base const& src) override { in operator ()() 199 table_base* operator()(table_base const& src) override { in operator ()() [all …]
|
H A D | dl_lazy_table.cpp | 53 table_base* operator()(const table_base& _t1, const table_base& _t2) override { in operator ()() 62 const table_base & t1, const table_base & t2, in mk_join_fn() 77 void operator()(table_base & _tgt, const table_base & _src, in operator ()() 95 const table_base & tgt, const table_base & src, in mk_union_fn() 96 const table_base * delta) { in mk_union_fn() 114 table_base* operator()(table_base const& _t) override { in operator ()() 140 table_base* operator()(table_base const& _t) override { in operator ()() 217 void operator()(table_base & _t, const table_base & _intersected_obj) override { in operator ()() 225 const table_base & t, in mk_filter_by_negation_fn() 281 table_base* t = eval(); in clone() [all …]
|
H A D | dl_lazy_table.h | 60 const table_base & t1, const table_base & t2, 63 const table_base & tgt, const table_base & src, 78 const table_base & t, 104 scoped_rel<table_base> m_table; 151 table_base* eval() const; 192 table_base* force() override; 209 table_base* force() override; 225 table_base* force() override; 239 table_base* force() override; 258 table_base* force() override; [all …]
|
H A D | dl_relation_manager.h | 410 table_join_fn * mk_join_fn(const table_base & t1, const table_base & t2, in access() 413 table_join_fn * mk_join_fn(const table_base & t1, const table_base & t2, in join_fn() 449 table_join_fn * mk_join_project_fn(const table_base & t1, const table_base & t2, in join_fn() 453 table_join_fn * mk_join_project_fn(const table_base & t1, const table_base & t2, in operator ()() 509 table_union_fn * mk_union_fn(const table_base & tgt, const table_base & src, in transform_fn() 510 const table_base * delta); in transform_fn() 512 table_union_fn * mk_union_fn(const table_base & tgt, const table_base & src) { 520 table_union_fn * mk_widen_fn(const table_base & tgt, const table_base & src, 575 const table_base & t, 576 const table_base & src1, [all …]
|
H A D | dl_base.cpp | 37 void universal_delete(table_base* ptr) { in universal_delete() 236 bool table_base::empty() const { in empty() 253 void table_base::reset() { in reset() 274 bool table_base::fetch_fact(table_fact & f) const { in fetch_fact() 302 bool table_base::suggest_fact(table_fact & f) { in suggest_fact() 329 table_base * table_base::clone() const { in clone() 349 table_base * table_base::complement(func_decl* p, const table_element * func_columns) const { in complement() 354 table_base * res = get_plugin().mk_empty(sig); in complement() 402 class table_base::row_interface::fact_row_iterator : public table_base::row_iterator_core { 422 table_base::row_iterator table_base::row_interface::begin() const { in begin() [all …]
|
H A D | dl_relation_manager.cpp | 922 table_base * operator()(const table_base & t1, const table_base & t2) override { in operator ()() 1006 table_base * operator()(const table_base & t) { in operator ()() 1038 table_base * operator()(const table_base & t) override { in operator ()() 1047 table_base * operator()(const table_base & t) override { in operator ()() 1096 table_base * operator()(const table_base & t1, const table_base & t2) override { in operator ()() 1155 table_base * operator()(const table_base & t) override { in operator ()() 1183 void operator()(table_base & tgt, const table_base & src, table_base * delta) override { in operator ()() 1442 table_base* operator()(const table_base & tb) override { in operator ()() 1511 void operator()(table_base & tgt, const table_base & negated_table) override { in operator ()() 1555 table_base * operator()(const table_base & t1) override { in operator ()() [all …]
|
H A D | dl_sparse_table.h | 80 table_join_fn * mk_join_fn(const table_base & t1, const table_base & t2, 82 table_join_fn * mk_join_project_fn(const table_base & t1, const table_base & t2, 85 table_union_fn * mk_union_fn(const table_base & tgt, const table_base & src, 86 const table_base * delta) override; 97 const table_base & t, 98 const table_base & src1, 99 const table_base & src2, 106 static sparse_table& get(table_base&); 108 static sparse_table* get(table_base*); 303 class sparse_table : public table_base { [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/test/ |
H A D | dl_table.cpp | 10 typedef datalog::table_base* (*mk_table_fn)(datalog::relation_manager& m, datalog::table_signature&… 12 static datalog::table_base* mk_bv_table(datalog::relation_manager& m, datalog::table_signature& sig… in mk_bv_table() 33 datalog::table_base* _tbl = mk_table(m, sig); in test_table() 34 datalog::table_base& table = *_tbl; in test_table() 50 datalog::table_base::iterator it = table.begin(); in test_table() 51 datalog::table_base::iterator end = table.end(); in test_table() 69 datalog::table_base* _tbl2 = mk_table(m, sig); in test_table() 70 datalog::table_base& table2 = *_tbl2; in test_table() 78 datalog::table_base* _tbl3 = (*j1)(table2,table); in test_table() 82 datalog::table_base* _tbl4 = (*j2)(table2,table); in test_table()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
H A D | dl_table.cpp | 10 typedef datalog::table_base* (*mk_table_fn)(datalog::relation_manager& m, datalog::table_signature&… 12 static datalog::table_base* mk_bv_table(datalog::relation_manager& m, datalog::table_signature& sig… in mk_bv_table() 33 datalog::table_base* _tbl = mk_table(m, sig); in test_table() 34 datalog::table_base& table = *_tbl; in test_table() 50 datalog::table_base::iterator it = table.begin(); in test_table() 51 datalog::table_base::iterator end = table.end(); in test_table() 69 datalog::table_base* _tbl2 = mk_table(m, sig); in test_table() 70 datalog::table_base& table2 = *_tbl2; in test_table() 78 datalog::table_base* _tbl3 = (*j1)(table2,table); in test_table() 82 datalog::table_base* _tbl4 = (*j2)(table2,table); in test_table()
|
/dports/www/firefox-esr/firefox-91.8.0/nsprpub/pr/src/misc/ |
H A D | compile-et.pl | 21 sub table_base subroutine 36 $code = $table_base + $table_item_count; 73 $table_base = $3; 76 $table_base = &table_base($table_name); 97 printf H "#define ERROR_TABLE_BASE_%s (%dL)\n", $table_name, $table_base; 102 $base, $table_base, $table_item_count;
|
/dports/www/firefox/firefox-99.0/nsprpub/pr/src/misc/ |
H A D | compile-et.pl | 21 sub table_base subroutine 36 $code = $table_base + $table_item_count; 73 $table_base = $3; 76 $table_base = &table_base($table_name); 97 printf H "#define ERROR_TABLE_BASE_%s (%dL)\n", $table_name, $table_base; 102 $base, $table_base, $table_item_count;
|
/dports/lang/spidermonkey60/firefox-60.9.0/nsprpub/pr/src/misc/ |
H A D | compile-et.pl | 21 sub table_base subroutine 36 $code = $table_base + $table_item_count; 73 $table_base = $3; 76 $table_base = &table_base($table_name); 97 printf H "#define ERROR_TABLE_BASE_%s (%dL)\n", $table_name, $table_base; 102 $base, $table_base, $table_item_count;
|
/dports/www/firefox-legacy/firefox-52.8.0esr/nsprpub/pr/src/misc/ |
H A D | compile-et.pl | 21 sub table_base subroutine 36 $code = $table_base + $table_item_count; 73 $table_base = $3; 76 $table_base = &table_base($table_name); 97 printf H "#define ERROR_TABLE_BASE_%s (%dL)\n", $table_name, $table_base; 102 $base, $table_base, $table_item_count;
|
/dports/devel/nspr/nspr-4.33/nspr/pr/src/misc/ |
H A D | compile-et.pl | 21 sub table_base subroutine 36 $code = $table_base + $table_item_count; 73 $table_base = $3; 76 $table_base = &table_base($table_name); 97 printf H "#define ERROR_TABLE_BASE_%s (%dL)\n", $table_name, $table_base; 102 $base, $table_base, $table_item_count;
|
/dports/mail/thunderbird/thunderbird-91.8.0/nsprpub/pr/src/misc/ |
H A D | compile-et.pl | 21 sub table_base subroutine 36 $code = $table_base + $table_item_count; 73 $table_base = $3; 76 $table_base = &table_base($table_name); 97 printf H "#define ERROR_TABLE_BASE_%s (%dL)\n", $table_name, $table_base; 102 $base, $table_base, $table_item_count;
|
/dports/lang/spidermonkey78/firefox-78.9.0/nsprpub/pr/src/misc/ |
H A D | compile-et.pl | 21 sub table_base subroutine 36 $code = $table_base + $table_item_count; 73 $table_base = $3; 76 $table_base = &table_base($table_name); 97 printf H "#define ERROR_TABLE_BASE_%s (%dL)\n", $table_name, $table_base; 102 $base, $table_base, $table_item_count;
|