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

Constructors

Constructor and Description
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

Methods

Modifier and Type	Method and Description
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