Searched refs:mk_clause_antecedent (Results 1 – 4 of 4) sorted by relevance
468 static inline antecedent_t mk_clause_antecedent(clause_t *cl, int32_t index) { in mk_clause_antecedent() function
343 static inline antecedent_t mk_clause_antecedent(clause_t *cl, int32_t idx) { in mk_clause_antecedent() function
2075 implied_literal(sol, l1, mk_clause_antecedent(cl, i^1)); in propagation_via_watched_list()
2660 implied_literal(s, l1, mk_clause_antecedent(cl, i^1)); in propagation_via_watched_list()