private function processUpdateCounter(AbstractRuleJ54 $rule) { $updates = $rule->getUpdateCounter(); $ruleClass = get_class($rule); $key = substr($ruleClass, strrpos($ruleClass, '\\') + 1); if (!isset($this->solvingStatistics[$key])) { $this->solvingStatistics[$key] = 0; } $this->solvingStatistics[$key] += $updates; return $updates; }