Searched refs:remove_all_learned_clauses (Results 1 – 1 of 1) sorted by relevance
5126 static void remove_all_learned_clauses(smt_core_t *s) { in remove_all_learned_clauses() function5184 remove_all_learned_clauses(s); in restore_clauses()