Uses of Interface
org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor

Packages that use TransitiveReductionOutputVisitor

Package	Description
org.semanticweb.elk.reasoner.reduction

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

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

Modifier and Type	Method and Description
abstract void	TransitiveReductionOutput.accept(TransitiveReductionOutputVisitor<R> visitor)
void	TransitiveReductionOutputUnsatisfiable.accept(TransitiveReductionOutputVisitor<R> visitor)
void	TransitiveReductionOutputEquivalent.accept(TransitiveReductionOutputVisitor<R> visitor)
void	TransitiveReductionOutputEquivalentDirect.accept(TransitiveReductionOutputVisitor<R> visitor)