Searched refs:unsat_core_visit_antecedents (Results 1 – 1 of 1) sorted by relevance
3764 static void unsat_core_visit_antecedents(smt_core_t *s, int_hset_t *set, int_queue_t *queue, litera… in unsat_core_visit_antecedents() function3810 unsat_core_visit_antecedents(s, set, queue, l); in collect_decision_antecedents()3836 unsat_core_visit_antecedents(s, &visited, &queue, not(l)); in build_unsat_core()