Lines Matching defs:closure

190             $this->log[] = \sprintf('start state closure=%s', (string) $ds0->configs);
203                 $this->log[] = \sprintf('execATN loop starting closure: %s', (string) $s->configs);
216             // computing reach/closure sets. Technically, once we know that
300         // Fill reach starting from closure, following t transitions
360         ATNConfigSet $closure,
368         foreach ($closure->elements() as $cfg) {
400                     if ($this->closure(
456             $this->closure($input, $cfg, $configs, false, false, false);
464      * preference, this method stops pursuing the closure as soon as an accept
471     protected function closure(
482             $this->log[] = \sprintf('closure(%s)', $config->toString(true));
489                         "closure at %s rule stop %s\n",
494                     $this->log[] = \sprintf("closure at rule stop %s\n", $config);
515                         $currentAltReachedAcceptState = $this->closure(
541                 $currentAltReachedAcceptState = $this->closure(