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_);
		}
	}
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
Process all pending { @link ClassInference } s of the given { @link Context }