org.semanticweb.elk.reasoner.saturation.conclusions

Interface ConclusionVisitor<R>

All Known Implementing Classes:

CombinedConclusionVisitor, ConclusionApplicationVisitor, ConclusionDeapplicationVisitor, ConclusionDeletionVisitor, ConclusionInsertionVisitor, ConclusionOccurranceCheckingVisitor, ConclusionSourceUnsaturationVisitor, CountingConclusionVisitor, PreprocessedConclusionVisitor, TimedConclusionVisitor

public interface ConclusionVisitor<R>

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

Fields

Modifier and Type	Field and Description
static ConclusionVisitor<?>	DUMMY A dummy visitor, does nothing

Method Summary

Methods

Modifier and Type	Method and Description
R	visit(BackwardLink link, Context context)
R	visit(Contradiction bot, Context context)
R	visit(DisjointnessAxiom disjointnessAxiom, Context context)
R	visit(ForwardLink link, Context context)
R	visit(NegativeSubsumer negSCE, Context context)
R	visit(PositiveSubsumer posSCE, Context context)
R	visit(Propagation propagation, Context context)

Field Detail

DUMMY

static final ConclusionVisitor<?> DUMMY

A dummy visitor, does nothing

Method Detail

visit

R visit(NegativeSubsumer negSCE,
      Context context)

visit

R visit(PositiveSubsumer posSCE,
      Context context)

visit

R visit(BackwardLink link,
      Context context)

visit

R visit(ForwardLink link,
      Context context)

visit

R visit(Contradiction bot,
      Context context)

visit

R visit(Propagation propagation,
      Context context)

visit

R visit(DisjointnessAxiom disjointnessAxiom,
      Context context)