/** Turn off all configurations associated with the * set of incoming nondeterministic alts except the min alt number. * There may be many alts among the configurations but only turn off * the ones with problems (other than the min alt of course). * * If nondeterministicAlts is null then turn off all configs 'cept those * associated with the minimum alt. * * Return the min alt found. */ protected int resolveByPickingMinAlt(DFAState d, Set<Integer> nondeterministicAlts) { int min; if ( nondeterministicAlts!=null ) { min = getMinAlt(nondeterministicAlts); } else { min = d.minAltInConfigurations; } turnOffOtherAlts(d, min, nondeterministicAlts); return min; }
/** Turn off all configurations associated with the * set of incoming nondeterministic alts except the min alt number. * There may be many alts among the configurations but only turn off * the ones with problems (other than the min alt of course). * * If nondeterministicAlts is null then turn off all configs 'cept those * associated with the minimum alt. * * Return the min alt found. */ protected int resolveByPickingMinAlt(DFAState d, Set<Integer> nondeterministicAlts) { int min; if ( nondeterministicAlts!=null ) { min = getMinAlt(nondeterministicAlts); } else { min = d.minAltInConfigurations; } turnOffOtherAlts(d, min, nondeterministicAlts); return min; }
/** Turn off all configurations associated with the * set of incoming nondeterministic alts except the min alt number. * There may be many alts among the configurations but only turn off * the ones with problems (other than the min alt of course). * * If nondeterministicAlts is null then turn off all configs 'cept those * associated with the minimum alt. * * Return the min alt found. */ protected int resolveByPickingMinAlt(DFAState d, Set nondeterministicAlts) { int min = Integer.MAX_VALUE; if ( nondeterministicAlts!=null ) { min = getMinAlt(nondeterministicAlts); } else { min = d.minAltInConfigurations; } turnOffOtherAlts(d, min, nondeterministicAlts); return min; }
/** Turn off all configurations associated with the * set of incoming nondeterministic alts except the min alt number. * There may be many alts among the configurations but only turn off * the ones with problems (other than the min alt of course). * * If nondeterministicAlts is null then turn off all configs 'cept those * associated with the minimum alt. * * Return the min alt found. */ protected int resolveByPickingMinAlt(DFAState d, Set nondeterministicAlts) { int min = Integer.MAX_VALUE; if ( nondeterministicAlts!=null ) { min = getMinAlt(nondeterministicAlts); } else { min = d.minAltInConfigurations; } turnOffOtherAlts(d, min, nondeterministicAlts); return min; }