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

Constructors

Constructor and Description
SaturationJob(I input)

Method Summary

Methods

Modifier and Type	Method and Description
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