elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/factories/AbstractRuleEngine.java
void process(Context context) {
		activeContext_.set(context);
		// at this point workerLocalTodo_ must be empty
		workerLocalTodo_.setActiveRoot(context.getRoot());
		for (;;) {
			ClassInference inference = workerLocalTodo_.poll();
			if (inference == null) {
				inference = context.takeToDo();
				if (inference == null)
					return;
			}
			LOGGER_.trace("{}: processing inference {}", context, inference);
			inference.accept(inferenceProcessor_);
		}
	}
void process(Context context) {
		activeContext_.set(context);
		// at this point workerLocalTodo_ must be empty
		workerLocalTodo_.setActiveRoot(context.getRoot());
		for (;;) {
			ClassInference inference = workerLocalTodo_.poll();
			if (inference == null) {
				inference = context.takeToDo();
				if (inference == null)
					return;
			}
			LOGGER_.trace("{}: processing inference {}", context, inference);
			inference.accept(inferenceProcessor_);
		}
	}
Process all pending {@link ClassInference}s of the given {@link Context}

@param context
the active {@link Context} with unprocessed
{@link ClassInference}s