elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/RuleVisitors.java
public static <O> RuleVisitor<O> getTimedVisitor(RuleVisitor<O> visitor,
			RuleApplicationTimer timer) {
		return new RuleApplicationTimerVisitor<O>(visitor, timer);
	}
public static <O> RuleVisitor<O> getTimedVisitor(RuleVisitor<O> visitor,
			RuleApplicationTimer timer) {
		return new RuleApplicationTimerVisitor<O>(visitor, timer);
	}
@param visitor
the {@link SubsumerDecompositionVisitor} used to execute the
methods
@param timer
the {@link RuleApplicationTimer} used to mesure the time spent
within the methods

@return a new {@link SubsumerDecompositionVisitor} that executes the
corresponding methods of the given
{@link SubsumerDecompositionVisitor} and measures the time spent
within the corresponding methods using the given
{@link RuleApplicationTimer}.