Searched refs:clean_occur_from_idx (Results 1 – 2 of 2) sorted by relevance
314 void clean_occur_from_idx(const Lit lit);465 clean_occur_from_idx(lit); in clean_occur_from_idx_types_only_smudged()470 inline void CNF::clean_occur_from_idx(const Lit lit) in clean_occur_from_idx() function