propagations propagate IndexedObjectSomeValueFrom; slightly optimized
the implementation of SubContext
Introduced a worker-local todo queue to buffer produced conclusions for
the currently processed context. This queue should not be concurrent and
thus can be more efficiently implemented.
Some tweaks to ClassExpressionSaturationFactory and SaturationState
logging in WorkerLocalTodo
updated statistic printing for new rules and conclusions; improved
formatting
adding the remove() method
finished switching all rules to producing inferences instead of
conclusions
bug fixes: WorkerLocalTodo sets active root to null if no context is
currently processed; improved safety of CassExpressionSaturationFactory;
RuleApplicationAdditionPruningFactory uses local writer as the main one
when initializing context is marked as non-saturated *before* it is
initialized; flag isInitialized is now volatile because it is checked
from multiple threads
Merge remote-tracking branch 'origin/feature/rules-refactoring' into
feature/tracing-new