Searched refs:end_learned (Results 1 – 8 of 8) sorted by relevance
123 return check_clauses(s.begin_learned(), s.end_learned()); in check_learned_clauses()
815 clause * const * end_learned() const { return m_learned.end(); } in end_learned() function
773 clause * const * end_learned() const { return m_learned.end(); } in end_learned() function
197 end_learned = -2, // end of learned clause enumerator
188 result->cl[i] = end_learned; // end marker: learned clause in new_learned_clause()2078 if (l == end_learned) { in propagation_via_watched_list()2514 if (l == end_learned) { in analyze_conflict()2562 if (l == end_learned) { in analyze_conflict()
107 end_learned = -2, // end of learned clause enumerator
245 result->cl[i] = end_learned; // end marker: learned clause in new_learned_clause()3530 if (l == end_learned) { in resolve_conflict()3579 if (l == end_learned) { in resolve_conflict()4737 assert(end_learned <= l && l <= (int32_t) s->nlits); in unsafe_literal_value()4746 assert(end_learned <= l && l <= (int32_t) s->nlits); in unsafe_literal_is_unassigned()