org.semanticweb.elk.reasoner.reduction
Class TransitiveReductionOutput<R extends IndexedClassExpression>

java.lang.Object
  org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput<R>

Type Parameters:

R - the type of the input for the transitive reduction job

Direct Known Subclasses:

TransitiveReductionOutputEquivalent, TransitiveReductionOutputUnsatisfiable

public abstract class TransitiveReductionOutput<R extends IndexedClassExpression>
extends Object

The abstract class representing the output of the transitive reduction process for a given indexed class expression.

Author:

"Yevgeny Kazakov"

Field Summary

protected R

root The indexed class expression for which the transitive reduction was initiated.

Method Summary

abstract void	accept(TransitiveReductionOutputVisitor<R> visitor)
R	getRoot() Returns the indexed class expression for which this output was computed.

Methods inherited from class java.lang.Object

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

Field Detail

root

protected final R extends IndexedClassExpression root

The indexed class expression for which the transitive reduction was initiated.

Method Detail

getRoot

public R getRoot()

Returns the indexed class expression for which this output was computed.

Returns:

the indexed class expression for which this output was computed

accept

public abstract void accept(TransitiveReductionOutputVisitor<R> visitor)