// Check the input signature
public void checkInputSignature(ATermList sigs) {
while (!sigs.isEmpty()) {
ATermAppl sig = (ATermAppl) sigs.getFirst();
sigs = sigs.getNext();
if (!sigTable.containsKey(sig)) {
// Sorry, but the term is not in the input signature!
notInInputSignature(sig);
}
}
}
/**
* Filter non-primes
*
* @param numbers
*/
private ATermList filterNonPrimes(ATermList numbers) {
ATermList primes = factory.makeList();
numbers = numbers.getNext();
while (!numbers.isEmpty()) {
ATermInt prime = (ATermInt) numbers.getFirst();
numbers = filterMultiples(prime.getInt(), numbers);
primes = primes.append(prime);
}
return factory.makeList(factory.makeInt(1), primes);
}
