@Override public Set<Term> getGenerableTerms() { Set<Term> result = new HashSet<>(); for (Instruction instruction: rules.getInstructions()) { result.addAll(instruction.getGenerableTerms()); } return result; }
@Override public Set<Term> getGenerableTerms() { // REVISIT: return Iterator? Limit number of results? final Set<Term> result = new HashSet<Term>(); for (final Instruction instruction: rules.getInstructions()) { result.addAll(instruction.getGenerableTerms()); } return result; }