Home
last modified time | relevance | path

Searched refs:m_src1_cols (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Ddl_sparse_table.cpp1286 unsigned_vector m_src1_cols; member in datalog::sparse_table_plugin::negated_join_fn
1294 m_src1_cols(src1_cols) { in negated_join_fn()
1329 SASSERT(m_s2_cols.size() == m_t2_cols.size() + m_src1_cols.size()); in collect_to_remove()
1348 bool upd2 = update_key(s2_key, m_t2_cols.size(), s1, s1_ofs, m_src1_cols); in collect_to_remove()
/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Ddl_sparse_table.cpp1286 unsigned_vector m_src1_cols; member in datalog::sparse_table_plugin::negated_join_fn
1294 m_src1_cols(src1_cols) { in negated_join_fn()
1329 SASSERT(m_s2_cols.size() == m_t2_cols.size() + m_src1_cols.size()); in collect_to_remove()
1348 bool upd2 = update_key(s2_key, m_t2_cols.size(), s1, s1_ofs, m_src1_cols); in collect_to_remove()