Lines Matching refs:from
199 $s = $ds0; // s is current/from DFA state
210 // it means that semantic predicates didn't prevent us from
250 $s = $target; // flip; current DFA target becomes new src/from state
300 // Fill reach starting from closure, following t transitions
304 // we got nowhere on t from s
307 // cause a failover from DFA later.
315 // Add an edge from s to target DFA found/created for reach
466 * search from `config`, all other (potentially reachable) states for
727 protected function addDFAEdgeATNConfigSet(DFAState $from, int $t, ATNConfigSet $configs) : DFAState
738 * state, we can continue in pure DFA mode from there.
749 $this->addDFAEdge($from, $t, $to);
754 protected function addDFAEdge(DFAState $from, int $t, ?DFAState $to) : void
763 $this->log[] = \sprintf('EDGE %s->%s upon %d', $from, $to, $t);
766 if ($from->edges === null) {
768 $from->edges = new \SplFixedArray(self::MAX_DFA_EDGE - self::MIN_DFA_EDGE + 1);
771 $from->edges[$t - self::MIN_DFA_EDGE] = $to; // connect