Lines Matching defs:configs
129 * associated with the conflicting configs, but since we can continue
165 public static function hasSLLConflictTerminatingPrediction(int $mode, ATNConfigSet $configs) : bool
169 * configs meet this condition, then none of the configurations is able
172 if (self::allConfigsInRuleStopStates($configs)) {
178 // Don't bother with combining configs from different semantic
181 if ($configs->hasSemanticContext) {
182 // dup configs, tossing out semantic predicates
185 foreach ($configs->elements() as $c) {
190 $configs = $dup;
192 // now we have combined contexts for configs with dissimilar preds
196 $altsets = self::getConflictingAltSubsets($configs);
198 return self::hasConflictingAltSet($altsets) && !self::hasStateAssociatedWithOneAlt($configs);
202 * Checks if any configuration in `configs` is in a {@see RuleStopState}.
206 * @param ATNConfigSet $configs The configuration set to test.
209 * `configs` is in a {@see RuleStopState}, otherwise `false`.
211 public static function hasConfigInRuleStopState(ATNConfigSet $configs) : bool
213 foreach ($configs->elements() as $c) {
223 * Checks if all configurations in `configs` are in a {@see RuleStopState}.
227 * @param ATNConfigSet $configs the configuration set to test.
230 * `configs` are in a {@see RuleStopState}, otherwise `false`.
232 public static function allConfigsInRuleStopStates(ATNConfigSet $configs) : bool
234 foreach ($configs->elements() as $c) {
487 * For each configuration `c` in `configs`:
494 public static function getConflictingAltSubsets(ATNConfigSet $configs) : array
520 foreach ($configs->elements() as $cfg) {
536 * configuration `c` in `configs`:
540 public static function getStateToAltMap(ATNConfigSet $configs) : Map
544 foreach ($configs->elements() as $c) {
558 public static function hasStateAssociatedWithOneAlt(ATNConfigSet $configs) : bool
560 foreach (self::getStateToAltMap($configs)->getValues() as $value) {