Searched refs:instr_join_project (Results 1 – 2 of 2) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
H A D | dl_instruction.cpp | 811 class instr_join_project : public instruction { class 820 … instr_join_project(reg_idx rel1, reg_idx rel2, unsigned joined_col_cnt, const unsigned * cols1, in instr_join_project() function in datalog::instr_join_project 882 … return alloc(instr_join_project, rel1, rel2, joined_col_cnt, cols1, cols2, removed_col_cnt, in mk_join_project()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
H A D | dl_instruction.cpp | 811 class instr_join_project : public instruction { class 820 … instr_join_project(reg_idx rel1, reg_idx rel2, unsigned joined_col_cnt, const unsigned * cols1, in instr_join_project() function in datalog::instr_join_project 882 … return alloc(instr_join_project, rel1, rel2, joined_col_cnt, cols1, cols2, removed_col_cnt, in mk_join_project()
|