Lines Matching refs:reach

209             // be able to avoid doing a reach operation upon t. If s!=null,
216             // computing reach/closure sets. Technically, once we know that
297         $reach = new OrderedATNConfigSet();
300         // Fill reach starting from closure, following t transitions
301         $this->getReachableConfigSet($input, $s->configs, $reach, $t);
303         if (\count($reach->elements()) === 0) {
305             if (!$reach->hasSemanticContext) {
315         // Add an edge from s to target DFA found/created for reach
316         return $this->addDFAEdgeATNConfigSet($s, $t, $reach) ?? ATNSimulator::error();
319     protected function failOrAccept(SimState $prevAccept, CharStream $input, ATNConfigSet $reach, int $t) : int
351         throw new LexerNoViableAltException($this->recog, $input, $this->startIndex, $reach);
356      * we can reach upon input `t`. Parameter `reach` is a return parameter.
361         ATNConfigSet $reach,
403                         $reach,
584                 // we cannot add a DFA state for this "reach" computation