private boolean isCompletelyCoveredBy ( int [ ] isCovered , List < RuleInterval > intervals ) { for ( RuleInterval i : intervals ) { for ( int j = i . getStart ( ) ; j < i . getEnd ( ) ; j ++ ) { if ( isCovered [ j ] == 0 ) { return false ; } } } return true ; }
Checks if the cover is complete .