org.semanticweb.elk.reasoner.reduction

Interface TransitiveReductionOutputVisitor<R extends IndexedClassExpression>

Type Parameters:

R - the type of the input of the TransitiveReductionJobs for which the output can be accepted by this visitor

public interface TransitiveReductionOutputVisitor<R extends IndexedClassExpression>

Author:

"Yevgeny Kazakov"

Method Summary

Methods

Modifier and Type	Method and Description
void	visit(TransitiveReductionOutputEquivalent<R> output)
void	visit(TransitiveReductionOutputEquivalentDirect<R> output)
void	visit(TransitiveReductionOutputUnsatisfiable<R> output)

Method Detail

visit

void visit(TransitiveReductionOutputEquivalentDirect<R> output)

visit

void visit(TransitiveReductionOutputEquivalent<R> output)

visit

void visit(TransitiveReductionOutputUnsatisfiable<R> output)