elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/RuleCounter.java
public synchronized void add(RuleCounter counter) {
		countOwlThingContextInitRule += counter.countOwlThingContextInitRule;
		countRootContextInitializationRule += counter.countRootContextInitializationRule;
		countDisjointSubsumerFromMemberRule += counter.countDisjointSubsumerFromMemberRule;
		countContradictionFromNegationRule += counter.countContradictionFromNegationRule;
		countObjectIntersectionFromFirstConjunctRule += counter.countObjectIntersectionFromFirstConjunctRule;
		countObjectIntersectionFromSecondConjunctRule += counter.countObjectIntersectionFromSecondConjunctRule;
		countSuperClassFromSubClassRule += counter.countSuperClassFromSubClassRule;
		countPropagationFromExistentialFillerRule += counter.countPropagationFromExistentialFillerRule;
		countObjectUnionFromDisjunctRule += counter.countObjectUnionFromDisjunctRule;
		countBackwardLinkChainFromBackwardLinkRule += counter.countBackwardLinkChainFromBackwardLinkRule;
		countSubsumerBackwardLinkRule += counter.countSubsumerBackwardLinkRule;
		countContradictionOverBackwardLinkRule += counter.countContradictionOverBackwardLinkRule;
		countContradictionPropagationRule += counter.countContradictionPropagationRule;
		countContradictionCompositionRule += counter.countContradictionCompositionRule;
		countNonReflexiveBackwardLinkCompositionRule += counter.countNonReflexiveBackwardLinkCompositionRule;
		countIndexedObjectIntersectionOfDecomposition += counter.countIndexedObjectIntersectionOfDecomposition;
		countIndexedObjectSomeValuesFromDecomposition += counter.countIndexedObjectSomeValuesFromDecomposition;
		countIndexedObjectComplementOfDecomposition += counter.countIndexedObjectComplementOfDecomposition;
		countIndexedObjectHasSelfDecomposition += counter.countIndexedObjectHasSelfDecomposition;
		countContradictionFromOwlNothingRule += counter.countContradictionFromOwlNothingRule;
		countSubsumerPropagationRule += counter.countSubsumerPropagationRule;
		countReflexiveBackwardLinkCompositionRule += counter.countReflexiveBackwardLinkCompositionRule;
		countPropagationInitializationRule += counter.countPropagationInitializationRule;
		countBackwardLinkFromForwardLinkRule += counter.countBackwardLinkFromForwardLinkRule;
		countComposedFromDecomposedSubsumerRule += counter.countComposedFromDecomposedSubsumerRule;
		countIndexedClassDecompositionRule += counter.countIndexedClassDecompositionRule;
		countIndexedClassFromDefinitionRule += counter.countIndexedClassFromDefinitionRule;
		countEquivalentClassFirstFromSecondRule += counter.countEquivalentClassFirstFromSecondRule;
		countEquivalentClassSecondFromFirstRule += counter.countEquivalentClassSecondFromFirstRule;
	}
public synchronized void add(RuleCounter counter) {
		countOwlThingContextInitRule += counter.countOwlThingContextInitRule;
		countRootContextInitializationRule += counter.countRootContextInitializationRule;
		countDisjointSubsumerFromMemberRule += counter.countDisjointSubsumerFromMemberRule;
		countContradictionFromNegationRule += counter.countContradictionFromNegationRule;
		countObjectIntersectionFromFirstConjunctRule += counter.countObjectIntersectionFromFirstConjunctRule;
		countObjectIntersectionFromSecondConjunctRule += counter.countObjectIntersectionFromSecondConjunctRule;
		countSuperClassFromSubClassRule += counter.countSuperClassFromSubClassRule;
		countPropagationFromExistentialFillerRule += counter.countPropagationFromExistentialFillerRule;
		countObjectUnionFromDisjunctRule += counter.countObjectUnionFromDisjunctRule;
		countBackwardLinkChainFromBackwardLinkRule += counter.countBackwardLinkChainFromBackwardLinkRule;
		countSubsumerBackwardLinkRule += counter.countSubsumerBackwardLinkRule;
		countContradictionOverBackwardLinkRule += counter.countContradictionOverBackwardLinkRule;
		countContradictionPropagationRule += counter.countContradictionPropagationRule;
		countContradictionCompositionRule += counter.countContradictionCompositionRule;
		countNonReflexiveBackwardLinkCompositionRule += counter.countNonReflexiveBackwardLinkCompositionRule;
		countIndexedObjectIntersectionOfDecomposition += counter.countIndexedObjectIntersectionOfDecomposition;
		countIndexedObjectSomeValuesFromDecomposition += counter.countIndexedObjectSomeValuesFromDecomposition;
		countIndexedObjectComplementOfDecomposition += counter.countIndexedObjectComplementOfDecomposition;
		countIndexedObjectHasSelfDecomposition += counter.countIndexedObjectHasSelfDecomposition;
		countContradictionFromOwlNothingRule += counter.countContradictionFromOwlNothingRule;
		countSubsumerPropagationRule += counter.countSubsumerPropagationRule;
		countReflexiveBackwardLinkCompositionRule += counter.countReflexiveBackwardLinkCompositionRule;
		countPropagationInitializationRule += counter.countPropagationInitializationRule;
		countBackwardLinkFromForwardLinkRule += counter.countBackwardLinkFromForwardLinkRule;
		countComposedFromDecomposedSubsumerRule += counter.countComposedFromDecomposedSubsumerRule;
		countIndexedClassDecompositionRule += counter.countIndexedClassDecompositionRule;
		countIndexedClassFromDefinitionRule += counter.countIndexedClassFromDefinitionRule;
		countEquivalentClassFirstFromSecondRule += counter.countEquivalentClassFirstFromSecondRule;
		countEquivalentClassSecondFromFirstRule += counter.countEquivalentClassSecondFromFirstRule;
	}
public synchronized void add ( RuleCounter counter ) { countOwlThingContextInitRule += counter . countOwlThingContextInitRule ; countRootContextInitializationRule += counter . countRootContextInitializationRule ; countDisjointSubsumerFromMemberRule += counter . countDisjointSubsumerFromMemberRule ; countContradictionFromNegationRule += counter . countContradictionFromNegationRule ; countObjectIntersectionFromFirstConjunctRule += counter . countObjectIntersectionFromFirstConjunctRule ; countObjectIntersectionFromSecondConjunctRule += counter . countObjectIntersectionFromSecondConjunctRule ; countSuperClassFromSubClassRule += counter . countSuperClassFromSubClassRule ; countPropagationFromExistentialFillerRule += counter . countPropagationFromExistentialFillerRule ; countObjectUnionFromDisjunctRule += counter . countObjectUnionFromDisjunctRule ; countBackwardLinkChainFromBackwardLinkRule += counter . countBackwardLinkChainFromBackwardLinkRule ; countSubsumerBackwardLinkRule += counter . countSubsumerBackwardLinkRule ; countContradictionOverBackwardLinkRule += counter . countContradictionOverBackwardLinkRule ; countContradictionPropagationRule += counter . countContradictionPropagationRule ; countContradictionCompositionRule += counter . countContradictionCompositionRule ; countNonReflexiveBackwardLinkCompositionRule += counter . countNonReflexiveBackwardLinkCompositionRule ; countIndexedObjectIntersectionOfDecomposition += counter . countIndexedObjectIntersectionOfDecomposition ; countIndexedObjectSomeValuesFromDecomposition += counter . countIndexedObjectSomeValuesFromDecomposition ; countIndexedObjectComplementOfDecomposition += counter . countIndexedObjectComplementOfDecomposition ; countIndexedObjectHasSelfDecomposition += counter . countIndexedObjectHasSelfDecomposition ; countContradictionFromOwlNothingRule += counter . countContradictionFromOwlNothingRule ; countSubsumerPropagationRule += counter . countSubsumerPropagationRule ; countReflexiveBackwardLinkCompositionRule += counter . countReflexiveBackwardLinkCompositionRule ; countPropagationInitializationRule += counter . countPropagationInitializationRule ; countBackwardLinkFromForwardLinkRule += counter . countBackwardLinkFromForwardLinkRule ; countComposedFromDecomposedSubsumerRule += counter . countComposedFromDecomposedSubsumerRule ; countIndexedClassDecompositionRule += counter . countIndexedClassDecompositionRule ; countIndexedClassFromDefinitionRule += counter . countIndexedClassFromDefinitionRule ; countEquivalentClassFirstFromSecondRule += counter . countEquivalentClassFirstFromSecondRule ; countEquivalentClassSecondFromFirstRule += counter . countEquivalentClassSecondFromFirstRule ; }
Add the values the corresponding values of the given counter

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