Searched refs:get_smudged_list (Results 1 – 22 of 22) sorted by relevance
51 const vector<Lit>& get_smudged_list() const { in get_smudged_list() function
256 assert(solver->watches.get_smudged_list().empty()); in perform_replace()454 assert(solver->watches.get_smudged_list().empty()); in replaceImplicit()463 for(size_t at = 0; at < solver->watches.get_smudged_list().size(); at++) { in replaceImplicit()464 const Lit origLit1 = solver->watches.get_smudged_list()[at]; in replaceImplicit()
456 for(const Lit l: watches.get_smudged_list()) { in clean_occur_from_removed_clauses_only_smudged()464 for(const Lit lit: watches.get_smudged_list()) { in clean_occur_from_idx_types_only_smudged()
396 for(auto& lit: solver->watches.get_smudged_list()) { in find_cards()
267 assert(solver->watches.get_smudged_list().empty()); in clean_clauses_pre()
183 assert(solver->watches.get_smudged_list().empty()); in handle_lev2()
695 assert(solver->watches.get_smudged_list().empty()); in eliminate_empty_resolvent_vars()961 assert(solver->watches.get_smudged_list().empty()); in eliminate_vars()1755 assert(solver->watches.get_smudged_list().empty()); in backward_sub_str()
53 assert(solver->watches.get_smudged_list().empty()); in doAll()
499 assert(solver->watches.get_smudged_list().empty()); in xor_together_xors()
2549 assert(watches.get_smudged_list().empty()); in solve()
1992 assert(watches.get_smudged_list().empty()); in execute_inprocess_strategy()