Searched refs:block_pure_literal (Results 1 – 2 of 2) sorted by relevance
230 void Internal::block_pure_literal (Blocker & blocker, int lit) in block_pure_literal() function in CaDiCaL::Internal649 if (!noccs (-lit)) block_pure_literal (blocker, lit); in block_literal()
719 void block_pure_literal (Blocker &, int lit);