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

Packages that use TransitiveReductionOutputEquivalent

Package	Description
org.semanticweb.elk.reasoner.reduction

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

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

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

Methods in org.semanticweb.elk.reasoner.reduction that return types with arguments of type TransitiveReductionOutputEquivalent

Modifier and Type	Method and Description
List<TransitiveReductionOutputEquivalent<IndexedClass>>	TransitiveReductionOutputEquivalentDirect.getDirectSubsumers() Returns the list of partial outputs of transitive reduction, containing equivalent classes of direct, i.e., transitively reduced, subsumers of the root.

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

Modifier and Type	Method and Description
void	TransitiveReductionOutputVisitor.visit(TransitiveReductionOutputEquivalent<R> output)