org.semanticweb.elk.reasoner.saturation.rules

Class DecompositionRuleApplicationTimerVisitor

java.lang.Object

org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor

All Implemented Interfaces:

DecompositionRuleApplicationVisitor

public class DecompositionRuleApplicationTimerVisitor
extends Object
implements DecompositionRuleApplicationVisitor

Constructor Summary

Constructors

Constructor and Description
DecompositionRuleApplicationTimerVisitor(DecompositionRuleApplicationVisitor visitor, DecompositionRuleApplicationTimer 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 DecompositionRuleApplicationTimer.

Method Summary

Methods

Modifier and Type	Method and Description
void	visit(IndexedClass ice, Context context)
void	visit(IndexedDataHasValue ice, Context context)
void	visit(IndexedObjectComplementOf ice, Context context)
void	visit(IndexedObjectIntersectionOf ice, Context context)
void	visit(IndexedObjectSomeValuesFrom ice, Context context)

Methods inherited from class java.lang.Object

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

Constructor Detail

DecompositionRuleApplicationTimerVisitor

public DecompositionRuleApplicationTimerVisitor(DecompositionRuleApplicationVisitor visitor,
                                        DecompositionRuleApplicationTimer 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 DecompositionRuleApplicationTimer.

Parameters:

visitor - the DecompositionRuleApplicationVisitor used to execute the methods

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

Method Detail

visit

public void visit(IndexedClass ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedObjectComplementOf ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedObjectIntersectionOf ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedObjectSomeValuesFrom ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedDataHasValue ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor