Searched refs:analyze_antecedents (Results 1 – 2 of 2) sorted by relevance
2266 static bool analyze_antecedents(sat_solver_t *sol, literal_t l, uint32_t sgn) { in analyze_antecedents() function2338 while (analyze_antecedents(sol, l, sgn)) { in subsumed()
3217 static bool analyze_antecedents(smt_core_t *s, literal_t l, uint32_t sgn) { in analyze_antecedents() function3312 while (analyze_antecedents(s, l, sgn)) { in subsumed()