/**
* 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);
}