elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/InstanceTaxonomyState.java
Collection<IndexedIndividual> getToRemove() {
		if (taxonomy_ == null) {// TODO: Never set taxonomy_ to null !!!
			// no individuals are in taxonomy
			toRemove_.clear();
			return Collections.emptyList();
		}
		// else
		final int size = pruneToRemove();
		/*
		 * since getting the size of the queue is a linear operation, use the
		 * computed size
		 */
		return Operations.getCollection(toRemove_, size);
	}
Collection<IndexedIndividual> getToRemove() {
		if (taxonomy_ == null) {// TODO: Never set taxonomy_ to null !!!
			// no individuals are in taxonomy
			toRemove_.clear();
			return Collections.emptyList();
		}
		// else
		final int size = pruneToRemove();
		/*
		 * since getting the size of the queue is a linear operation, use the
		 * computed size
		 */
		return Operations.getCollection(toRemove_, size);
	}
Collection < IndexedIndividual > getToRemove ( ) { if ( taxonomy_ == null ) { // TODO: Never set taxonomy_ to null !!! // no individuals are in taxonomy toRemove_ . clear ( ) ; return Collections . emptyList ( ) ; } // else final int size = pruneToRemove ( ) ; /*
		 * since getting the size of the queue is a linear operation, use the
		 * computed size
		 */ return Operations . getCollection ( toRemove_ , size ) ; }
Returns collection that contains at least all individuals that are in
taxonomy, but either are removed from ontology or their context became
not saturated.

@return collection that contains at least all individuals that are in
taxonomy, but either are removed from ontology or their context
became not saturated.
Returns collection that contains at least all individuals that are in taxonomy but either are removed from ontology or their context became not saturated .