org.semanticweb.elk.reasoner.saturation.conclusions
Class TimedConclusionVisitor

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

All Implemented Interfaces:

ConclusionVisitor<Long>

public class TimedConclusionVisitor
extends Object
implements ConclusionVisitor<Long>

Field Summary

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

DUMMY

Constructor Summary

TimedConclusionVisitor(ConclusionTimer timer, ConclusionVisitor<?> processor)

Method Summary

Long	visit(BackwardLink link, Context context)
Long	visit(Contradiction bot, Context context)
Long	visit(DisjointnessAxiom disjointnessAxiom, Context context)
Long	visit(ForwardLink link, Context context)
Long	visit(NegativeSubsumer negSCE, Context context)
Long	visit(PositiveSubsumer posSCE, Context context)
Long	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

TimedConclusionVisitor

public TimedConclusionVisitor(ConclusionTimer timer,
                              ConclusionVisitor<?> processor)

Method Detail

visit

public Long visit(NegativeSubsumer negSCE,
                  Context context)

Specified by:

visit in interface ConclusionVisitor<Long>

visit

public Long visit(PositiveSubsumer posSCE,
                  Context context)

Specified by:

visit in interface ConclusionVisitor<Long>

visit

public Long visit(BackwardLink link,
                  Context context)

Specified by:

visit in interface ConclusionVisitor<Long>

visit

public Long visit(ForwardLink link,
                  Context context)

Specified by:

visit in interface ConclusionVisitor<Long>

visit

public Long visit(Contradiction bot,
                  Context context)

Specified by:

visit in interface ConclusionVisitor<Long>

visit

public Long visit(Propagation propagation,
                  Context context)

Specified by:

visit in interface ConclusionVisitor<Long>

visit

public Long visit(DisjointnessAxiom disjointnessAxiom,
                  Context context)

Specified by:

visit in interface ConclusionVisitor<Long>