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

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

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