@Override public SaturationJob<I> next() { SaturationJob<I> job = new SaturationJob<I>( inputsIterator.next()); if (LOGGER_.isTraceEnabled()) LOGGER_.trace(job.getInput() + ": saturation submitted"); return job; }
@Override public void process() throws InterruptedException { for (;;) { if (isInterrupted()) { return; } saturationEngine_.process(); final IndexedContextRoot root = tracingState_.pollToTrace(); if (root == null) { break; } // else saturationEngine_ .submit(new SaturationJob<IndexedContextRoot>(root)); } }
@Override public void notifyFinished(final SaturationJob<IndexedContextRoot> job) throws InterruptedException { // all inferences for this job are computed final IndexedContextRoot root = job.getInput(); LOGGER_.trace("{}: job finished", job); final ModifiableTracingProof<ClassInference> proof = new ModifiableTracingProofImpl<ClassInference>(); final ClassInferenceBlockingFilter filter = new ClassInferenceBlockingFilter( proof); for (final ClassInference inference : tracedInferences_.get(root)) { filter.produce(inference); } tracingState_.getTracingListener().notifyJobFinished(job.getInput(), proof); }
@Override public void process() throws InterruptedException { for (;;) { if (isInterrupted()) { return; } saturationEngine_.process(); final IndexedContextRoot root = tracingState_.pollToTrace(); if (root == null) { break; } // else saturationEngine_ .submit(new SaturationJob<IndexedContextRoot>(root)); } }
@Override public void notifyFinished(final SaturationJob<IndexedContextRoot> job) throws InterruptedException { // all inferences for this job are computed final IndexedContextRoot root = job.getInput(); LOGGER_.trace("{}: job finished", job); final ModifiableTracingProof<ClassInference> proof = new ModifiableTracingProofImpl<ClassInference>(); final ClassInferenceBlockingFilter filter = new ClassInferenceBlockingFilter( proof); for (final ClassInference inference : tracedInferences_.get(root)) { filter.produce(inference); } tracingState_.getTracingListener().notifyJobFinished(job.getInput(), proof); }
@Override public SaturationJob<I> next() { SaturationJob<I> job = new SaturationJob<I>( inputsIterator.next()); if (LOGGER_.isTraceEnabled()) LOGGER_.trace(job.getInput() + ": saturation submitted"); return job; }
@Override public void process() throws InterruptedException { for (;;) { if (isInterrupted()) { return; } saturationEngine_.process(); final IndexedContextRoot root = tracingState_.pollToTrace(); if (root == null) { break; } // else saturationEngine_ .submit(new SaturationJob<IndexedContextRoot>(root)); } }
@Override public void notifyFinished(final SaturationJob<IndexedContextRoot> job) throws InterruptedException { // all inferences for this job are computed final IndexedContextRoot root = job.getInput(); LOGGER_.trace("{}: job finished", job); final ModifiableTracingProof<ClassInference> proof = new ModifiableTracingProofImpl<ClassInference>(); final ClassInferenceBlockingFilter filter = new ClassInferenceBlockingFilter( proof); for (final ClassInference inference : tracedInferences_.get(root)) { filter.produce(inference); } tracingState_.getTracingListener().notifyJobFinished(job.getInput(), proof); }
@Override public SaturationJob<I> next() { SaturationJob<I> job = new SaturationJob<I>( inputsIterator.next()); if (LOGGER_.isTraceEnabled()) LOGGER_.trace(job.getInput() + ": saturation submitted"); return job; }
.submit(new SaturationJob<IndexedClassExpression>(A)); classExpressionSaturation.finish(); Context context = saturationState.getContext(A);
.submit(new SaturationJob<IndexedClassExpression>(A)); classExpressionSaturation.finish();