private void blockLit(final int blit) {
        final CLOccs os = occs(blit);
        for (final CLClause c : os) {
            assert !c.redundant();
            if (!blockClause(c, blit)) { continue; }
            this.stats.clausesBlocked++;
            pushExtension(c, blit);
            dumpClause(c);
        }
    }
private void blockLit ( final int blit ) { final CLOccs os = occs ( blit ) ; for ( final CLClause c : os ) { assert ! c . redundant ( ) ; if ( ! blockClause ( c , blit ) ) { continue ; } this . stats . clausesBlocked ++ ; pushExtension ( c , blit ) ; dumpClause ( c ) ; } }
Finds and removes all blocked clauses blocked on a given blocking literal.
@param blit the blocking literal