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

Packages that use TransitiveReductionOutputVisitor

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

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)