Searched refs:m_clause (Results 1 – 4 of 4) sorted by relevance
141 m_clause[0] = 0;186 for (i = 0; m_clause[i]; i++)189 gcc_checking_assert (m_clause[i] > m_clause[i + 1]);190 gcc_checking_assert (!p2.m_clause[i]191 || p2.m_clause[i] > p2.m_clause[i + 1]);192 if (m_clause[i] != p2.m_clause[i])195 return !p2.m_clause[i];203 return !m_clause[0];204 if (m_clause[0] == (1 << false_condition))206 gcc_checking_assert (!m_clause[1][all …]
100 m_clause[i2] = m_clause[i]; in add_clause()102 if (!m_clause[i]) in add_clause()106 if ((m_clause[i] & new_clause) == m_clause[i]) in add_clause()114 if (m_clause[i] < new_clause && insert_here < 0) in add_clause()119 if ((m_clause[i] & new_clause) != new_clause) in add_clause()161 m_clause[i2 + 1] = 0; in add_clause()164 m_clause[i2] = m_clause[i2 - 1]; in add_clause()167 m_clause[insert_here] = new_clause; in add_clause()188 for (i = 0; m_clause[i] && m_clause[i] == p.m_clause[i]; i++)194 for (; p.m_clause[i]; i++)[all …]
145 m_clause[0] = 0;190 for (i = 0; m_clause[i]; i++)193 gcc_checking_assert (m_clause[i] > m_clause[i + 1]);194 gcc_checking_assert (!p2.m_clause[i]195 || p2.m_clause[i] > p2.m_clause[i + 1]);196 if (m_clause[i] != p2.m_clause[i])199 return !p2.m_clause[i];207 return !m_clause[0];208 if (m_clause[0] == (1 << false_condition))210 gcc_checking_assert (!m_clause[1][all …]
100 m_clause[i2] = m_clause[i]; in add_clause()102 if (!m_clause[i]) in add_clause()106 if ((m_clause[i] & new_clause) == m_clause[i]) in add_clause()114 if (m_clause[i] < new_clause && insert_here < 0) in add_clause()119 if ((m_clause[i] & new_clause) != new_clause) in add_clause()161 m_clause[i2 + 1] = 0; in add_clause()164 m_clause[i2] = m_clause[i2 - 1]; in add_clause()167 m_clause[insert_here] = new_clause; in add_clause()188 for (i = 0; m_clause[i] && m_clause[i] == p.m_clause[i]; i++) in operator &=()194 for (; p.m_clause[i]; i++) in operator &=()[all …]