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);
	}
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}.
@param visitor the { @link SubsumerDecompositionVisitor } used to execute the methods @param timer the { @link RuleApplicationTimer } used to mesure the time spent within the methods