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

static ConclusionVisitor<?>

DUMMY A dummy visitor, does nothing

Method Summary

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)