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

Packages that use TransitiveReductionOutputEquivalent

org.semanticweb.elk.reasoner.reduction

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

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

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

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

void	TransitiveReductionOutputVisitor.visit(TransitiveReductionOutputEquivalent<R> output)