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

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

All Implemented Interfaces:

ConclusionVisitor<Integer>

public class CountingConclusionVisitor
extends Object
implements ConclusionVisitor<Integer>

Field Summary

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

DUMMY

Constructor Summary

CountingConclusionVisitor(ConclusionCounter counter)

Method Summary

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

CountingConclusionVisitor

public CountingConclusionVisitor(ConclusionCounter counter)

Method Detail

visit

public Integer visit(NegativeSubsumer negSCE,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Integer>

visit

public Integer visit(PositiveSubsumer posSCE,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Integer>

visit

public Integer visit(BackwardLink link,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Integer>

visit

public Integer visit(ForwardLink link,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Integer>

visit

public Integer visit(Contradiction bot,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Integer>

visit

public Integer visit(Propagation propagation,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Integer>

visit

public Integer visit(DisjointnessAxiom disjointnessAxiom,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Integer>