Lines Matching refs:m_clause
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]
207 && m_clause[0] == 1
249 clause_t m_clause[max_clauses + 1]; variable
254 m_clause[0] = 1 << cond; in set_to_cond()
255 m_clause[1] = 0; in set_to_cond()