Searched refs:computeReachSet (Results 1 – 1 of 1) sorted by relevance
651 $reach = $this->computeReachSet($previousD->configs, $t, false);773 $reach = $this->computeReachSet($previous, $t, $fullCtx);890 protected function computeReachSet(ATNConfigSet $closure, int $t, bool $fullCtx) : ?ATNConfigSet function in Antlr\\Antlr4\\Runtime\\Atn\\ParserATNSimulator 893 $this->log[] = \sprintf('In computeReachSet, starting closure: %s', (string) $closure);