protected void newRestartLimit ( ) { final long newInterval = this . config . restartint * luby ( this . stats . restartsCount + 1 ) ; if ( newInterval > this . limits . maxRestartInterval ) { this . limits . maxRestartInterval = newInterval ; } this . limits . restart = this . stats . conflicts + newInterval ; }
Computes a new restart limit .