Lines Matching refs: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(