org.semanticweb.elk.reasoner.saturation.conclusions
Class PreprocessedConclusionVisitor<T>

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor<T>

All Implemented Interfaces:

ConclusionVisitor<T>

public class PreprocessedConclusionVisitor<T>
extends Object
implements ConclusionVisitor<T>

Field Summary

Fields inherited from interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

DUMMY

Constructor Summary

PreprocessedConclusionVisitor(ConclusionVisitor<?> preprocessor, ConclusionVisitor<T> visitor)

Method Summary

T	visit(BackwardLink link, Context context)
T	visit(Contradiction bot, Context context)
T	visit(DisjointnessAxiom disjointnessAxiom, Context context)
T	visit(ForwardLink link, Context context)
T	visit(NegativeSubsumer negSCE, Context context)
T	visit(PositiveSubsumer posSCE, Context context)
T	visit(Propagation propagation, Context context)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PreprocessedConclusionVisitor

public PreprocessedConclusionVisitor(ConclusionVisitor<?> preprocessor,
                                     ConclusionVisitor<T> visitor)

Method Detail

visit

public T visit(NegativeSubsumer negSCE,
               Context context)

Specified by:

visit in interface ConclusionVisitor<T>

visit

public T visit(PositiveSubsumer posSCE,
               Context context)

Specified by:

visit in interface ConclusionVisitor<T>

visit

public T visit(BackwardLink link,
               Context context)

Specified by:

visit in interface ConclusionVisitor<T>

visit

public T visit(ForwardLink link,
               Context context)

Specified by:

visit in interface ConclusionVisitor<T>

visit

public T visit(Contradiction bot,
               Context context)

Specified by:

visit in interface ConclusionVisitor<T>

visit

public T visit(Propagation propagation,
               Context context)

Specified by:

visit in interface ConclusionVisitor<T>

visit

public T visit(DisjointnessAxiom disjointnessAxiom,
               Context context)

Specified by:

visit in interface ConclusionVisitor<T>