Searched refs:new_clause (Results 1 – 1 of 1) sorted by relevance
45 predicate::add_clause (conditions conditions, clause_t new_clause) in add_clause() argument53 if (!new_clause) in add_clause()57 if (new_clause == (1 << predicate::false_condition)) in add_clause()66 gcc_checking_assert (!(new_clause & (1 << predicate::false_condition))); in add_clause()79 if ((m_clause[i] & new_clause) == m_clause[i]) in add_clause()87 if (m_clause[i] < new_clause && insert_here < 0) in add_clause()92 if ((m_clause[i] & new_clause) != new_clause) in add_clause()103 if (!(new_clause & (1 << c1))) in add_clause()111 if (new_clause & (1 << c2)) in add_clause()138 m_clause[insert_here] = new_clause; in add_clause()