org.semanticweb.elk.reasoner.saturation
Class SaturationJob<I extends IndexedClassExpression>

java.lang.Object
  org.semanticweb.elk.reasoner.ReasonerJob<I,Context>
      org.semanticweb.elk.reasoner.saturation.SaturationJob<I>

public class SaturationJob<I extends IndexedClassExpression>
extends ReasonerJob<I,Context>

Constructor Summary

SaturationJob(I input)

Method Summary

protected void

setOutput(Context output) Set the output of this job to the given value.

Methods inherited from class org.semanticweb.elk.reasoner.ReasonerJob

getInput, getOutput

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SaturationJob

public SaturationJob(I input)

Method Detail

setOutput

protected void setOutput(Context output)

Description copied from class: ReasonerJob

Set the output of this job to the given value.

Overrides:

setOutput in class ReasonerJob<I extends IndexedClassExpression,Context>

Parameters:

output - the output of this job