elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/InstanceTaxonomyState.java
private int pruneToAdd() {
		final Iterator<IndexedIndividual> iter = toAdd_.iterator();
		int size = 0;
		while (iter.hasNext()) {
			final IndexedIndividual ind = iter.next();
			/* @formatter:off
			 * 
			 * Should be pruned when:
			 * it is not in ontology, or
			 * it has types in taxonomy.
			 * 
			 * @formatter:on
			 */
			if (!ind.occurs()) {
				iter.remove();
				continue;
			}
			// else
			final Context context = saturationState_.getContext(ind);
			if (context == null || !context.isInitialized()
					|| !context.isSaturated()) {
				// it is not saturated.
				size++;
				continue;
			}
			// else
			final InstanceNode<ElkClass, ElkNamedIndividual> node = taxonomy_
					.getInstanceNode(ind.getElkEntity());
			if (node == null) {
				// it is not in taxonomy
				size++;
				continue;
			}
			// else
			if (!node.getDirectTypeNodes().isEmpty()) {
				iter.remove();
				continue;
			}
			// else
			size++;
		}
		return size;
	}
private int pruneToAdd() {
		final Iterator<IndexedIndividual> iter = toAdd_.iterator();
		int size = 0;
		while (iter.hasNext()) {
			final IndexedIndividual ind = iter.next();
			/* @formatter:off
			 * 
			 * Should be pruned when:
			 * it is not in ontology, or
			 * it has types in taxonomy.
			 * 
			 * @formatter:on
			 */
			if (!ind.occurs()) {
				iter.remove();
				continue;
			}
			// else
			final Context context = saturationState_.getContext(ind);
			if (context == null || !context.isInitialized()
					|| !context.isSaturated()) {
				// it is not saturated.
				size++;
				continue;
			}
			// else
			final InstanceNode<ElkClass, ElkNamedIndividual> node = taxonomy_
					.getInstanceNode(ind.getElkEntity());
			if (node == null) {
				// it is not in taxonomy
				size++;
				continue;
			}
			// else
			if (!node.getDirectTypeNodes().isEmpty()) {
				iter.remove();
				continue;
			}
			// else
			size++;
		}
		return size;
	}
private int pruneToAdd ( ) { final Iterator < IndexedIndividual > iter = toAdd_ . iterator ( ) ; int size = 0 ; while ( iter . hasNext ( ) ) { final IndexedIndividual ind = iter . next ( ) ; /* @formatter:off
			 * 
			 * Should be pruned when:
			 * it is not in ontology, or
			 * it has types in taxonomy.
			 * 
			 * @formatter:on
			 */ if ( ! ind . occurs ( ) ) { iter . remove ( ) ; continue ; } // else final Context context = saturationState_ . getContext ( ind ) ; if ( context == null || ! context . isInitialized ( ) || ! context . isSaturated ( ) ) { // it is not saturated. size ++ ; continue ; } // else final InstanceNode < ElkClass , ElkNamedIndividual > node = taxonomy_ . getInstanceNode ( ind . getElkEntity ( ) ) ; if ( node == null ) { // it is not in taxonomy size ++ ; continue ; } // else if ( ! node . getDirectTypeNodes ( ) . isEmpty ( ) ) { iter . remove ( ) ; continue ; } // else size ++ ; } return size ; }
Prunes {@link #toAdd_}.
<p>
<strong>{@code taxonomy_} must not be {@code null}!</strong>

@return The resulting size of {@link #toAdd_}.
Prunes { @link #toAdd_ } . <p > <strong > { @code taxonomy_ } must not be { @code null } !< / strong >