Lines Matching refs:previousD

473         $previousD = $s0;
482             $D = $this->getExistingTargetState($previousD, $t);
485                 $D = $this->computeTargetState($dfa, $previousD, $t);
504                 $e = $this->noViableAlt($input, $outerContext, $previousD->configs, $startIndex);
509                     $previousD->configs,
604             $previousD = $D;
618      * @param DFAState $previousD The current DFA state
625     public function getExistingTargetState(DFAState $previousD, int $t) : ?DFAState  argument
627         $edges = $previousD->edges;
641      * @param DFAState $previousD The current DFA state
649     public function computeTargetState(DFA $dfa, DFAState $previousD, int $t) : ?DFAState  argument
651         $reach = $this->computeReachSet($previousD->configs, $t, false);
654             $this->addDFAEdge($dfa, $previousD, $t, self::error());
670                 (string) $previousD->configs,
715         $D = $this->addDFAEdge($dfa, $previousD, $t, $D);