Searched refs:next_removed (Results 1 – 4 of 4) sorted by relevance
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
| H A D | dl_sparse_table.cpp | 607 unsigned & dest_idx, unsigned & pre_projection_idx, const unsigned * & next_removed) { in copy_columns() argument
609 if (*next_removed == pre_projection_idx) { in copy_columns()
610 next_removed++; in copy_columns()
613 SASSERT(*next_removed>pre_projection_idx); in copy_columns()
627 const unsigned * next_removed = removed_cols; in concatenate_rows() local
628 copy_columns(layout1, layout_res, 0, t1non_func, ptr1, res, res_i, orig_i, next_removed); in concatenate_rows()
629 copy_columns(layout2, layout_res, 0, t2non_func, ptr2, res, res_i, orig_i, next_removed); in concatenate_rows()
630 … copy_columns(layout1, layout_res, t1non_func, t1cols, ptr1, res, res_i, orig_i, next_removed); in concatenate_rows()
631 … copy_columns(layout2, layout_res, t2non_func, t2cols, ptr2, res, res_i, orig_i, next_removed); in concatenate_rows()
|
| H A D | dl_sparse_table.h | 425 unsigned & dest_idx, unsigned & pre_projection_idx, const unsigned * & next_removed);
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
| H A D | dl_sparse_table.cpp | 607 unsigned & dest_idx, unsigned & pre_projection_idx, const unsigned * & next_removed) { in copy_columns() argument
609 if (*next_removed == pre_projection_idx) { in copy_columns()
610 next_removed++; in copy_columns()
613 SASSERT(*next_removed>pre_projection_idx); in copy_columns()
627 const unsigned * next_removed = removed_cols; in concatenate_rows() local
628 copy_columns(layout1, layout_res, 0, t1non_func, ptr1, res, res_i, orig_i, next_removed); in concatenate_rows()
629 copy_columns(layout2, layout_res, 0, t2non_func, ptr2, res, res_i, orig_i, next_removed); in concatenate_rows()
630 … copy_columns(layout1, layout_res, t1non_func, t1cols, ptr1, res, res_i, orig_i, next_removed); in concatenate_rows()
631 … copy_columns(layout2, layout_res, t2non_func, t2cols, ptr2, res, res_i, orig_i, next_removed); in concatenate_rows()
|
| H A D | dl_sparse_table.h | 425 unsigned & dest_idx, unsigned & pre_projection_idx, const unsigned * & next_removed);
|