elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/AbstractReasonerState.java
private void restoreSaturation() throws ElkException {

		ensureLoading();

		final boolean changed;

		if (isIncrementalMode()) {
			changed = !stageManager.incrementalTaxonomyCleaningStage
					.isCompleted();
			complete(stageManager.incrementalTaxonomyCleaningStage);
		} else {
			changed = !stageManager.contextInitializationStage.isCompleted();
			complete(stageManager.contextInitializationStage);
		}

		if (changed) {
			stageManager.consistencyCheckingStage.invalidateRecursive();
		}

	}
private void restoreSaturation() throws ElkException {

		ensureLoading();

		final boolean changed;

		if (isIncrementalMode()) {
			changed = !stageManager.incrementalTaxonomyCleaningStage
					.isCompleted();
			complete(stageManager.incrementalTaxonomyCleaningStage);
		} else {
			changed = !stageManager.contextInitializationStage.isCompleted();
			complete(stageManager.contextInitializationStage);
		}

		if (changed) {
			stageManager.consistencyCheckingStage.invalidateRecursive();
		}

	}
private void restoreSaturation ( ) throws ElkException { ensureLoading ( ) ; final boolean changed ; if ( isIncrementalMode ( ) ) { changed = ! stageManager . incrementalTaxonomyCleaningStage . isCompleted ( ) ; complete ( stageManager . incrementalTaxonomyCleaningStage ) ; } else { changed = ! stageManager . contextInitializationStage . isCompleted ( ) ; complete ( stageManager . contextInitializationStage ) ; } if ( changed ) { stageManager . consistencyCheckingStage . invalidateRecursive ( ) ; } }
Ensures that saturation is restored and taxonomies are cleaned. Also
invalidates stages that depend on the saturation if it changed.

@throws ElkException
Ensures that saturation is restored and taxonomies are cleaned . Also invalidates stages that depend on the saturation if it changed .