private void disconnectClauses ( ) { this . limits . reduceImportant = 0 ; for ( int idx = 1 ; idx <= maxvar ( ) ; idx ++ ) { for ( int sign = - 1 ; sign <= 1 ; sign += 2 ) { final int lit = sign * idx ; watches ( lit ) . release ( ) ; occs ( lit ) . release ( ) ; } } this . dense = false ; }
Disconnects all clauses .