elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/factories/AbstractRuleApplicationFactory.java
SaturationStateWriter<? extends C> getBaseWriter(
			ContextCreationListener creationListener,
			ContextModificationListener modificationListener) {
		// by default the writer can create new contexts
		return saturationState_.getContextCreatingWriter(creationListener,
				modificationListener);
	}
SaturationStateWriter<? extends C> getBaseWriter(
			ContextCreationListener creationListener,
			ContextModificationListener modificationListener) {
		// by default the writer can create new contexts
		return saturationState_.getContextCreatingWriter(creationListener,
				modificationListener);
	}
Creates a new primary {@link SaturationStateWriter} for the
{@link SaturationState} to be used by an engine of this
{@link RuleApplicationFactory}. This {@link SaturationStateWriter} can be
further extended and optimized.

@param creationListener
@param modificationListener
@return a new writer for the main {@link SaturationState} to be used by
engine.