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

Packages that use TransitiveReductionOutputUnsatisfiable

Package	Description
org.semanticweb.elk.reasoner.reduction

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

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

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