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