Searched refs:block_reschedule (Results 1 – 2 of 2) sorted by relevance
615 void Internal::block_reschedule (Blocker & blocker, int lit) in block_reschedule() function in CaDiCaL::Internal718 block_reschedule (blocker, lit); in block()
721 void block_reschedule (Blocker &, int lit);