/** * Filter multiples of n. */ private ATermList filterMultiples(int n, ATermList numbers) { int nr, len = numbers.getLength(); for(int i=0; i<len; i++) { ATermInt el = (ATermInt)numbers.elementAt(i); nr = el.getInt(); if(nr % n == 0) { len--; numbers = numbers.removeElementAt(i); } } return numbers; }
/** * Filter multiples of n. */ private ATermList filterMultiples(int n, ATermList numbers) { int nr, len = numbers.getLength(); for (int i = 0; i < len; i++) { ATermInt el = (ATermInt)numbers.elementAt(i); nr = el.getInt(); if (nr % n == 0) { len--; numbers = numbers.removeElementAt(i); } } return(numbers); }