Uses of Class
org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput

Packages that use TransitiveReductionOutput

org.semanticweb.elk.reasoner.reduction

Uses of TransitiveReductionOutput in org.semanticweb.elk.reasoner.reduction

Subclasses of TransitiveReductionOutput in org.semanticweb.elk.reasoner.reduction

class	TransitiveReductionOutputEquivalent<R extends IndexedClassExpression> The result of the transitive reduction for satisfiable indexed class expression; it contains information about equivalent classes.
class	TransitiveReductionOutputEquivalentDirect<R extends IndexedClassExpression> The result of the transitive reduction for a satisfiable IndexedClassExpression; it contains information about its equivalent classes and direct subsumers.
class	TransitiveReductionOutputUnsatisfiable<R extends IndexedClassExpression> The result of the transitive reduction for satisfiable IndexedClassExpressions.

Methods in org.semanticweb.elk.reasoner.reduction with parameters of type TransitiveReductionOutput

protected void

TransitiveReductionJob.setOutput(TransitiveReductionOutput<R> output)