190             $this->log[] = \sprintf('start state closure=%s', (string) $ds0->configs);
203                 $this->log[] = \sprintf('execATN loop starting closure: %s', (string) $s->configs);
253         return $this->failOrAccept($this->prevAccept, $input, $s->configs, $t);
301         $this->getReachableConfigSet($input, $s->configs, $reach, $t);
451         $configs = new OrderedATNConfigSet();
456             $this->closure($input, $cfg, $configs, false, false, false);
459         return $configs;
474         ATNConfigSet $configs,  argument
500                     $configs->add($config);
505 …            $configs->add(new LexerATNConfig($config, $config->state, PredictionContext::empty()));
518                             $configs,
533                 $configs->add($config);
538 …$cfg = $this->getEpsilonTarget($input, $config, $trans, $configs, $speculative, $treatEofAsEpsilon…
544                     $configs,
562         ATNConfigSet $configs,  argument
609                 $configs->hasSemanticContext = true;
727 …protected function addDFAEdgeATNConfigSet(DFAState $from, int $t, ATNConfigSet $configs) : DFAState  argument
740         $suppressEdge = $configs->hasSemanticContext;
741         $configs->hasSemanticContext = false;
743         $to = $this->addDFAState($configs);
780     protected function addDFAState(ATNConfigSet $configs) : DFAState  argument
782         if ($configs->hasSemanticContext) {
786         $proposed = new DFAState($configs);
790         foreach ($configs->elements() as $config) {
821         $configs->setReadonly(true);
822         $newState->configs = $configs;