Lines Matching defs:DFA
13 final class DFA
16 * A set of all DFA states. Use {@see Map} so we can get old state back
30 * From which ATN state did we create this DFA?
37 * `true` if this DFA is for a precedence decision; otherwise, `false`.
38 * This is the backing field for {@see DFA::isPrecedenceDfa()}.
64 * Gets whether this DFA is a precedence DFA. Precedence DFAs use a special
65 * start state {@see DFA::$s0} which is not stored in {@see DFA::$states}.
70 * @return bool `true` if this is a precedence DFA; otherwise, `false`.
88 * @throws \InvalidArgumentException If this is not a precedence DFA.
97 throw new \RuntimeException('s0.edges cannot be null for a precedence DFA.');
114 * @throws \InvalidArgumentException If this is not a precedence DFA.
134 // synchronization on s0 here is ok. when the DFA is turned into a
135 // precedence DFA, s0 will be initialized once and not updated again
136 // s0.edges is never null for a precedence DFA
141 * Return a list of all states in this DFA, ordered by state number.