elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/consistency/ConsistencyCheckingState.java
private int pruneToDo() {
		int size = 0;
		Iterator<IndexedClassEntity> itr = toDoEntities_.iterator();
		while (itr.hasNext()) {
			IndexedClassEntity next = itr.next();
			if (!next.occurs()) {
				itr.remove();
				continue;
			}
			// else
			Context context = saturationState_.getContext(next);
			if (context != null && context.isSaturated()) {
				itr.remove();
			} else {
				size++;
			}
		}
		return size;
	}
private int pruneToDo() {
		int size = 0;
		Iterator<IndexedClassEntity> itr = toDoEntities_.iterator();
		while (itr.hasNext()) {
			IndexedClassEntity next = itr.next();
			if (!next.occurs()) {
				itr.remove();
				continue;
			}
			// else
			Context context = saturationState_.getContext(next);
			if (context != null && context.isSaturated()) {
				itr.remove();
			} else {
				size++;
			}
		}
		return size;
	}
private int pruneToDo ( ) { int size = 0 ; Iterator < IndexedClassEntity > itr = toDoEntities_ . iterator ( ) ; while ( itr . hasNext ( ) ) { IndexedClassEntity next = itr . next ( ) ; if ( ! next . occurs ( ) ) { itr . remove ( ) ; continue ; } // else Context context = saturationState_ . getContext ( next ) ; if ( context != null && context . isSaturated ( ) ) { itr . remove ( ) ; } else { size ++ ; } } return size ; }
Removes from {@link #toDoEntities_} the entities which no longer occur in
the ontology or for the context is already saturated (thus consistency is
already checked)

@return the number of the remaining entries in {@link #toDoEntities_}
Removes from { @link #toDoEntities_ } the entities which no longer occur in the ontology or for the context is already saturated ( thus consistency is already checked )