Searched refs:clean_occur_from_idx_types_only_smudged (Results 1 – 6 of 6) sorted by relevance
313 void clean_occur_from_idx_types_only_smudged();462 inline void CNF::clean_occur_from_idx_types_only_smudged() in clean_occur_from_idx_types_only_smudged() function
63 solver->clean_occur_from_idx_types_only_smudged(); in doAll()
712 solver->clean_occur_from_idx_types_only_smudged(); in xor_together_xors()