private void updateCands ( ) { if ( ! this . dense ) { connectOccs ( ) ; } assert ! this . schedule ; this . schedule = true ; if ( this . schedule = currentCands ( ) . empty ( ) ) { for ( int idx = 1 ; idx <= maxvar ( ) ; idx ++ ) { touch ( idx ) ; } } this . schedule = true ; touchFixed ( ) ; }
Updates the candidates priority queue for new rounds of simplification .