stenin-nikita / PHP-Yacc

            $maxAux->index = $this->context->countAux;

            for ($j = 0; $j < $maxAux->preImage->length; $j++) {

                $cl = $maxAux->preImage->classes[$j];

                if (Utils::eqRow($this->context->classAction[$cl], $maxAux->table, $this->context->countTerminals)) {

                    $maxAux->index = $cl;

                }

            }

            if ($maxAux->index >= $this->context->countAux) {

                $this->context->classAction[$this->context->countAux++] = $maxAux->table;

                $this->context->classAction[$this->context->countAux++] = $maxAux->table;

            }

            for ($j = 0; $j < $maxAux->preImage->length; $j++) {

                $cl = $maxAux->preImage->classes[$j];

                if ($this->context->class2nd[$cl] < 0) {

                    $this->context->class2nd[$cl] = $maxAux->index;

                }

            }

            if ($this->context->debug) {

                $this->context->debug(\sprintf('Selected aux[%d]: (%d) ', $maxAux->index, $maxAux->gain));