org.semanticweb.elk.reasoner.saturation.rules

Class RuleApplicationTimerVisitor

java.lang.Object

org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

All Implemented Interfaces:

RuleApplicationVisitor

public class RuleApplicationTimerVisitor
extends Object
implements RuleApplicationVisitor

A RuleApplicationVisitor wrapper for a given RuleApplicationVisitor that additionally records the time spend within methods in the given RuleApplicationTimer.

Author:

"Yevgeny Kazakov"

Constructor Summary

Constructors

Constructor and Description
RuleApplicationTimerVisitor(RuleApplicationVisitor visitor, RuleApplicationTimer timer) Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and measures the time spent within the corresponding methods using the given RuleApplicationTimer.

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

RuleApplicationTimerVisitor

public RuleApplicationTimerVisitor(RuleApplicationVisitor visitor,
                           RuleApplicationTimer timer)

Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and measures the time spent within the corresponding methods using the given RuleApplicationTimer.

Parameters:

visitor - the DecompositionRuleApplicationVisitor used to execute the methods

timer - the RuleApplicationTimer used to mesure the time spent within the methods

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