Lines Matching defs:DFAState

21 use Antlr\Antlr4\Runtime\Dfa\DFAState;
173  * decision when setting the {@see DFAState::$edges} field.
183  * `s.edge[t]` get the same physical target {@see DFAState}, or `null`. Once
185  * It follows the {@see DFAState::$edges} field to new targets. The DFA simulator
186  * will either find {@see DFAState::$edges} to be `null`, to be non-`null` and
399                     $s0 = $this->addDFAState($dfa, new DFAState($s0_closure));
403                     $s0 = $this->addDFAState($dfa, new DFAState($s0_closure));
456         DFAState $s0,
618      * @param DFAState $previousD The current DFA state
621      * @return DFAState|null The existing target DFA state for the given input
625     public function getExistingTargetState(DFAState $previousD, int $t) : ?DFAState
641      * @param DFAState $previousD The current DFA state
644      * @return DFAState|null The computed target DFA state for the given input
649     public function computeTargetState(DFA $dfa, DFAState $previousD, int $t) : ?DFAState
660         $D = new DFAState($reach);
720     protected function predicateDFAState(DFAState $dfaState, DecisionState $decisionState) : void
754         DFAState $D, // how far we got before failing over
2327      * returns the {@see DFAState} returned by calling
2331      * @param DFAState|null $from The source state for the edge
2333      * @param DFAState|null $to   The target state for the edge
2335      * @return DFAState If `to` is `null` this method returns `null`,
2339     protected function addDFAEdge(DFA $dfa, ?DFAState $from, int $t, ?DFAState $to) : ?DFAState
2378      * @param DFAState $D   The DFA state to add
2380      * @return DFAState The state stored in the DFA. This will be either
2386     protected function addDFAState(DFA $dfa, DFAState $D) : DFAState
2394         if ($existing !== null && $existing instanceof DFAState) {
2481         DFAState $D,