org.semanticweb.elk.reasoner.saturation.rules
Class RuleApplicationCounterVisitor

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

All Implemented Interfaces:

RuleApplicationVisitor

public class RuleApplicationCounterVisitor
extends Object
implements RuleApplicationVisitor

A RuleApplicationVisitor wrapper for a given RuleApplicationVisitor that additionally records the number of invocations of the methods using the given RuleApplicationCounter.

Author:

"Yevgeny Kazakov"

Constructor Summary

RuleApplicationCounterVisitor(RuleApplicationVisitor visitor, RuleApplicationCounter counter)
Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and counts the number of invocations of the corresponding methods using the given RuleApplicationCounter.

Method Summary

void	visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
void	visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleApplicationCounterVisitor

public RuleApplicationCounterVisitor(RuleApplicationVisitor visitor,
                                     RuleApplicationCounter counter)

Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and counts the number of invocations of the corresponding methods using the given RuleApplicationCounter.

Parameters:

visitor - the DecompositionRuleApplicationVisitor used to execute the methods

counter - the RuleApplicationCounter used to count the number of method invocations

Method Detail

visit

public void visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule,
                  BasicSaturationStateWriter writer,
                  BackwardLink backwardLink)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule,
                  BasicSaturationStateWriter writer,
                  BackwardLink backwardLink)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule,
                  BasicSaturationStateWriter writer,
                  BackwardLink backwardLink)

Specified by:

visit in interface RuleApplicationVisitor

visit

public void visit(DirectIndex.ContextRootInitializationRule rootInitRule,
                  BasicSaturationStateWriter writer,
                  Context context)

Specified by:

visit in interface RuleApplicationVisitor