Home
last modified time | relevance | path

Searched refs:table_base (Results 1 – 25 of 258) sorted by relevance

1234567891011

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Ddl_check_table.h57 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 Ddl_check_table.cpp41 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 Ddl_lazy_table.cpp53 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 Ddl_lazy_table.h60 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 Ddl_relation_manager.h410 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 Ddl_base.cpp37 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 Ddl_relation_manager.cpp922 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 Ddl_sparse_table.h80 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 Ddl_check_table.h57 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 Ddl_check_table.cpp41 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 Ddl_lazy_table.cpp53 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 Ddl_lazy_table.h60 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 Ddl_relation_manager.h410 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 Ddl_base.cpp37 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 Ddl_relation_manager.cpp922 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 Ddl_sparse_table.h80 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 Ddl_table.cpp10 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 Ddl_table.cpp10 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 Dcompile-et.pl21 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 Dcompile-et.pl21 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 Dcompile-et.pl21 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 Dcompile-et.pl21 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 Dcompile-et.pl21 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 Dcompile-et.pl21 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 Dcompile-et.pl21 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;

1234567891011