public synchronized void add ( ClassConclusionTimer timer ) { this . timeComposedSubsumers += timer . timeComposedSubsumers ; this . timeDecomposedSubsumers += timer . timeDecomposedSubsumers ; this . timeBackwardLinks += timer . timeBackwardLinks ; this . timeForwardLinks += timer . timeForwardLinks ; this . timeContradictions += timer . timeContradictions ; this . timePropagations += timer . timePropagations ; this . timeDisjointSubsumers += timer . timeDisjointSubsumers ; this . timeContextInitializations += timer . timeContextInitializations ; this . timeSubContextInitializations += timer . timeSubContextInitializations ; }
Adds all timers of the argument to the corresponding counters of this object . The timers should not be directly modified other than using this method during this operation . The timers in the argument will be reseted after this operation .