elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/conclusions/classes/ClassConclusionCounter.java
public synchronized void add(ClassConclusionCounter counter) {
		this.countSubClassInclusionDecomposed += counter.countSubClassInclusionDecomposed;
		this.countSubClassInclusionComposed += counter.countSubClassInclusionComposed;
		this.countBackwardLink += counter.countBackwardLink;
		this.countForwardLink += counter.countForwardLink;
		this.countContradiction += counter.countContradiction;
		this.countPropagation += counter.countPropagation;
		this.countDisjointSubsumer += counter.countDisjointSubsumer;
		this.countContextInitialization += counter.countContextInitialization;
		this.countSubContextInitialization += counter.countSubContextInitialization;
	}
public synchronized void add(ClassConclusionCounter counter) {
		this.countSubClassInclusionDecomposed += counter.countSubClassInclusionDecomposed;
		this.countSubClassInclusionComposed += counter.countSubClassInclusionComposed;
		this.countBackwardLink += counter.countBackwardLink;
		this.countForwardLink += counter.countForwardLink;
		this.countContradiction += counter.countContradiction;
		this.countPropagation += counter.countPropagation;
		this.countDisjointSubsumer += counter.countDisjointSubsumer;
		this.countContextInitialization += counter.countContextInitialization;
		this.countSubContextInitialization += counter.countSubContextInitialization;
	}
Adds all counters of the argument to the corresponding counters of this
object. The counters should not be directly modified other than using
this method during this operation. The counter in the argument will be
reseted after this operation.

@param counter
the object which counters should be added