Searched refs:t1non_func (Results 1 – 2 of 2) sorted by relevance
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
H A D | dl_sparse_table.cpp | 621 unsigned t1non_func = layout1.size()-layout1.m_functional_col_cnt; in concatenate_rows() local 628 copy_columns(layout1, layout_res, 0, t1non_func, ptr1, 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()
|
/dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
H A D | dl_sparse_table.cpp | 621 unsigned t1non_func = layout1.size()-layout1.m_functional_col_cnt; in concatenate_rows() local 628 copy_columns(layout1, layout_res, 0, t1non_func, ptr1, 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()
|