org.semanticweb.elk.reasoner.saturation

Class ClassExpressionSaturationFactory.Engine

java.lang.Object

org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory.Engine

All Implemented Interfaces:

InputProcessor<J>

Enclosing class:

ClassExpressionSaturationFactory<J extends SaturationJob<? extends IndexedClassExpression>>

public class ClassExpressionSaturationFactory.Engine
extends Object
implements InputProcessor<J>

Method Summary

Methods

Modifier and Type	Method and Description
void	finish()
void	process()
void	submit(J job)

Methods inherited from class java.lang.Object

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

Method Detail

submit

public void submit(J job)

Specified by:

submit in interface InputProcessor<J extends SaturationJob<? extends IndexedClassExpression>>

process

public void process()
             throws InterruptedException

Specified by:

process in interface InputProcessor<J extends SaturationJob<? extends IndexedClassExpression>>

Throws:

InterruptedException

finish

public void finish()

Specified by:

finish in interface InputProcessor<J extends SaturationJob<? extends IndexedClassExpression>>