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

Packages that use TransitiveReductionOutput

Package	Description
org.semanticweb.elk.reasoner.reduction

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

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

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

Modifier and Type	Method and Description
protected void	TransitiveReductionJob.setOutput(TransitiveReductionOutput<R> output)