private void dumpClause ( final CLClause c ) { if ( c . dumped ( ) ) { return ; } if ( c . redundant ( ) ) { assert this . stats . clausesRedundant > 0 ; this . stats . clausesRedundant -- ; } else { assert this . stats . clausesIrredundant > 0 ; this . stats . clausesIrredundant -- ; if ( this . dense ) { for ( int i = 0 ; i < c . lits ( ) . size ( ) ; i ++ ) { decOcc ( c . lits ( ) . get ( i ) ) ; } } } c . setDumped ( true ) ; }
Dumps a given clause .