Searched refs:difference_is_equality (Results 1 – 2 of 2) sorted by relevance
2402 const bool difference_is_equality = is_additive_inverse(m_ii_jj, m_i_j); in relation_with() local2403 if (difference_is_equality) { in relation_with()
73456 const bool difference_is_equality = is_additive_inverse(m_ii_jj, m_i_j);73457 if (difference_is_equality) {