@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 SaturationJob<I> next() { SaturationJob<I> job = new SaturationJob<I>( inputsIterator.next()); if (LOGGER_.isTraceEnabled()) LOGGER_.trace(job.getInput() + ": saturation submitted"); return job; }
@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 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 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 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); }
IndexedContextRoot root = nextJob.getInput(); Context rootSaturation = saturationState_.getContext(root); if (rootSaturation.isInitialized()
IndexedContextRoot root = nextJob.getInput(); Context rootSaturation = saturationState_.getContext(root); if (rootSaturation.isInitialized()
IndexedContextRoot root = nextJob.getInput(); Context rootSaturation = saturationState_.getContext(root); if (rootSaturation.isInitialized()