Searched refs:merged_func_columns (Results 1 – 8 of 8) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | dl_product_relation.cpp | 25 … virtual void operator()(table_element * func_columns, const table_element * merged_func_columns) { in operator ()() argument
26 m_acc.insert(static_cast<unsigned>(merged_func_columns[0])); in operator ()()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | dl_product_relation.cpp | 25 … virtual void operator()(table_element * func_columns, const table_element * merged_func_columns) { in operator ()() argument
26 m_acc.insert(static_cast<unsigned>(merged_func_columns[0])); in operator ()()
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
| H A D | dl_finite_product_relation.cpp | 567 …void operator()(table_element * func_columns, const table_element * merged_func_columns) override { in operator ()() argument
569 relation_base & src = *m_relations[static_cast<unsigned>(merged_func_columns[0])]; in operator ()()
2048 …void operator()(table_element * func_columns, const table_element * merged_func_columns) override { in operator ()() argument
2049 m_accumulator.insert(static_cast<unsigned>(merged_func_columns[0])); in operator ()()
|
| H A D | dl_base.h | 893 …rtual void operator()(table_element * func_columns, const table_element * merged_func_columns) = 0;
|
| H A D | dl_relation_manager.cpp | 1089 …void operator()(table_element * func_columns, const table_element * merged_func_columns) override { in operator ()() argument
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
| H A D | dl_finite_product_relation.cpp | 567 …void operator()(table_element * func_columns, const table_element * merged_func_columns) override { in operator ()() argument
569 relation_base & src = *m_relations[static_cast<unsigned>(merged_func_columns[0])]; in operator ()()
2048 …void operator()(table_element * func_columns, const table_element * merged_func_columns) override { in operator ()() argument
2049 m_accumulator.insert(static_cast<unsigned>(merged_func_columns[0])); in operator ()()
|
| H A D | dl_base.h | 895 …rtual void operator()(table_element * func_columns, const table_element * merged_func_columns) = 0;
|
| H A D | dl_relation_manager.cpp | 1089 …void operator()(table_element * func_columns, const table_element * merged_func_columns) override { in operator ()() argument
|