Searched refs:restore_binary_clauses (Results 1 – 1 of 1) sorted by relevance
5238 static void restore_binary_clauses(smt_core_t *s, uint32_t n) { in restore_binary_clauses() function5342 restore_binary_clauses(s, top->nbins); in smt_pop()