elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/RuleApplicationTimer.java
public synchronized void add(RuleApplicationTimer timer) {
		timeOwlThingContextInitRule += timer.timeOwlThingContextInitRule;
		timeRootContextInitializationRule += timer.timeRootContextInitializationRule;
		timeDisjointSubsumerFromMemberRule += timer.timeDisjointSubsumerFromMemberRule;
		timeContradictionFromNegationRule += timer.timeContradictionFromNegationRule;
		timeObjectIntersectionFromFirstConjunctRule += timer.timeObjectIntersectionFromFirstConjunctRule;
		timeObjectIntersectionFromSecondConjunctRule += timer.timeObjectIntersectionFromSecondConjunctRule;
		timeSuperClassFromSubClassRule += timer.timeSuperClassFromSubClassRule;
		timePropagationFromExistentialFillerRule += timer.timePropagationFromExistentialFillerRule;
		timeObjectUnionFromDisjunctRule += timer.timeObjectUnionFromDisjunctRule;
		timeBackwardLinkChainFromBackwardLinkRule += timer.timeBackwardLinkChainFromBackwardLinkRule;
		timeReflexiveBackwardLinkCompositionRule += timer.timeReflexiveBackwardLinkCompositionRule;
		timeNonReflexiveBackwardLinkCompositionRule += timer.timeNonReflexiveBackwardLinkCompositionRule;
		timeSubsumerBackwardLinkRule += timer.timeSubsumerBackwardLinkRule;
		timeContradictionOverBackwardLinkRule += timer.timeContradictionOverBackwardLinkRule;
		timeContradictionPropagationRule += timer.timeContradictionPropagationRule;
		timeContradictionCompositionRule += timer.timeContradictionCompositionRule;
		timeIndexedObjectIntersectionOfDecomposition += timer.timeIndexedObjectIntersectionOfDecomposition;
		timeIndexedObjectSomeValuesFromDecomposition += timer.timeIndexedObjectSomeValuesFromDecomposition;
		timeIndexedObjectComplementOfDecomposition += timer.timeIndexedObjectComplementOfDecomposition;
		timeIndexedObjectHasSelfDecomposition += timer.timeIndexedObjectHasSelfDecomposition;
		timeContradictionFromOwlNothingRule += timer.timeContradictionFromOwlNothingRule;
		timeSubsumerPropagationRule += timer.timeSubsumerPropagationRule;
		timePropagationInitializationRule += timer.timePropagationInitializationRule;
		timeBackwardLinkFromForwardLinkRule += timer.timeBackwardLinkFromForwardLinkRule;
		timeComposedFromDecomposedSubsumerRule += timer.timeComposedFromDecomposedSubsumerRule;
		timeIndexedClassDecompositionRule += timer.timeIndexedClassDecompositionRule;
		timeIndexedClassFromDefinitionRule += timer.timeIndexedClassFromDefinitionRule;
		timeEquivalentClassFirstFromSecondRule += timer.timeEquivalentClassFirstFromSecondRule;
		timeEquivalentClassSecondFromFirstRule += timer.timeEquivalentClassSecondFromFirstRule;
	}
public synchronized void add(RuleApplicationTimer timer) {
		timeOwlThingContextInitRule += timer.timeOwlThingContextInitRule;
		timeRootContextInitializationRule += timer.timeRootContextInitializationRule;
		timeDisjointSubsumerFromMemberRule += timer.timeDisjointSubsumerFromMemberRule;
		timeContradictionFromNegationRule += timer.timeContradictionFromNegationRule;
		timeObjectIntersectionFromFirstConjunctRule += timer.timeObjectIntersectionFromFirstConjunctRule;
		timeObjectIntersectionFromSecondConjunctRule += timer.timeObjectIntersectionFromSecondConjunctRule;
		timeSuperClassFromSubClassRule += timer.timeSuperClassFromSubClassRule;
		timePropagationFromExistentialFillerRule += timer.timePropagationFromExistentialFillerRule;
		timeObjectUnionFromDisjunctRule += timer.timeObjectUnionFromDisjunctRule;
		timeBackwardLinkChainFromBackwardLinkRule += timer.timeBackwardLinkChainFromBackwardLinkRule;
		timeReflexiveBackwardLinkCompositionRule += timer.timeReflexiveBackwardLinkCompositionRule;
		timeNonReflexiveBackwardLinkCompositionRule += timer.timeNonReflexiveBackwardLinkCompositionRule;
		timeSubsumerBackwardLinkRule += timer.timeSubsumerBackwardLinkRule;
		timeContradictionOverBackwardLinkRule += timer.timeContradictionOverBackwardLinkRule;
		timeContradictionPropagationRule += timer.timeContradictionPropagationRule;
		timeContradictionCompositionRule += timer.timeContradictionCompositionRule;
		timeIndexedObjectIntersectionOfDecomposition += timer.timeIndexedObjectIntersectionOfDecomposition;
		timeIndexedObjectSomeValuesFromDecomposition += timer.timeIndexedObjectSomeValuesFromDecomposition;
		timeIndexedObjectComplementOfDecomposition += timer.timeIndexedObjectComplementOfDecomposition;
		timeIndexedObjectHasSelfDecomposition += timer.timeIndexedObjectHasSelfDecomposition;
		timeContradictionFromOwlNothingRule += timer.timeContradictionFromOwlNothingRule;
		timeSubsumerPropagationRule += timer.timeSubsumerPropagationRule;
		timePropagationInitializationRule += timer.timePropagationInitializationRule;
		timeBackwardLinkFromForwardLinkRule += timer.timeBackwardLinkFromForwardLinkRule;
		timeComposedFromDecomposedSubsumerRule += timer.timeComposedFromDecomposedSubsumerRule;
		timeIndexedClassDecompositionRule += timer.timeIndexedClassDecompositionRule;
		timeIndexedClassFromDefinitionRule += timer.timeIndexedClassFromDefinitionRule;
		timeEquivalentClassFirstFromSecondRule += timer.timeEquivalentClassFirstFromSecondRule;
		timeEquivalentClassSecondFromFirstRule += timer.timeEquivalentClassSecondFromFirstRule;
	}
public synchronized void add ( RuleApplicationTimer timer ) { timeOwlThingContextInitRule += timer . timeOwlThingContextInitRule ; timeRootContextInitializationRule += timer . timeRootContextInitializationRule ; timeDisjointSubsumerFromMemberRule += timer . timeDisjointSubsumerFromMemberRule ; timeContradictionFromNegationRule += timer . timeContradictionFromNegationRule ; timeObjectIntersectionFromFirstConjunctRule += timer . timeObjectIntersectionFromFirstConjunctRule ; timeObjectIntersectionFromSecondConjunctRule += timer . timeObjectIntersectionFromSecondConjunctRule ; timeSuperClassFromSubClassRule += timer . timeSuperClassFromSubClassRule ; timePropagationFromExistentialFillerRule += timer . timePropagationFromExistentialFillerRule ; timeObjectUnionFromDisjunctRule += timer . timeObjectUnionFromDisjunctRule ; timeBackwardLinkChainFromBackwardLinkRule += timer . timeBackwardLinkChainFromBackwardLinkRule ; timeReflexiveBackwardLinkCompositionRule += timer . timeReflexiveBackwardLinkCompositionRule ; timeNonReflexiveBackwardLinkCompositionRule += timer . timeNonReflexiveBackwardLinkCompositionRule ; timeSubsumerBackwardLinkRule += timer . timeSubsumerBackwardLinkRule ; timeContradictionOverBackwardLinkRule += timer . timeContradictionOverBackwardLinkRule ; timeContradictionPropagationRule += timer . timeContradictionPropagationRule ; timeContradictionCompositionRule += timer . timeContradictionCompositionRule ; timeIndexedObjectIntersectionOfDecomposition += timer . timeIndexedObjectIntersectionOfDecomposition ; timeIndexedObjectSomeValuesFromDecomposition += timer . timeIndexedObjectSomeValuesFromDecomposition ; timeIndexedObjectComplementOfDecomposition += timer . timeIndexedObjectComplementOfDecomposition ; timeIndexedObjectHasSelfDecomposition += timer . timeIndexedObjectHasSelfDecomposition ; timeContradictionFromOwlNothingRule += timer . timeContradictionFromOwlNothingRule ; timeSubsumerPropagationRule += timer . timeSubsumerPropagationRule ; timePropagationInitializationRule += timer . timePropagationInitializationRule ; timeBackwardLinkFromForwardLinkRule += timer . timeBackwardLinkFromForwardLinkRule ; timeComposedFromDecomposedSubsumerRule += timer . timeComposedFromDecomposedSubsumerRule ; timeIndexedClassDecompositionRule += timer . timeIndexedClassDecompositionRule ; timeIndexedClassFromDefinitionRule += timer . timeIndexedClassFromDefinitionRule ; timeEquivalentClassFirstFromSecondRule += timer . timeEquivalentClassFirstFromSecondRule ; timeEquivalentClassSecondFromFirstRule += timer . timeEquivalentClassSecondFromFirstRule ; }
Add the values the corresponding values of the given timer

@param timer
Add the values the corresponding values of the given timer