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"

Method Summary

Methods

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

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)