Searched refs:clean_occur_from_removed_clauses_only_smudged (Results 1 – 10 of 10) sorted by relevance
312 void clean_occur_from_removed_clauses_only_smudged();454 inline void CNF::clean_occur_from_removed_clauses_only_smudged() in clean_occur_from_removed_clauses_only_smudged() function
204 solver->clean_occur_from_removed_clauses_only_smudged(); in handle_lev2()648 solver->clean_occur_from_removed_clauses_only_smudged(); in handle_lev2_predictor()
720 solver->clean_occur_from_removed_clauses_only_smudged(); in eliminate_empty_resolvent_vars()904 solver->clean_occur_from_removed_clauses_only_smudged(); in prop_and_clean_long_and_impl_clauses()1072 solver->clean_occur_from_removed_clauses_only_smudged(); in eliminate_vars()1108 solver->clean_occur_from_removed_clauses_only_smudged(); in eliminate_vars()1413 solver->clean_occur_from_removed_clauses_only_smudged(); in execute_simplifier_strategy()1785 solver->clean_occur_from_removed_clauses_only_smudged(); in backward_sub_str()
273 solver->clean_occur_from_removed_clauses_only_smudged(); in clean_clauses_post()
266 solver->clean_occur_from_removed_clauses_only_smudged(); in perform_replace()