Searched refs:getDisabledAlternatives (Results 1 – 3 of 3) sorted by relevance
76 Set<Integer> disabledAlts = probe.getDisabledAlternatives(problemState); in toString()89 st.add("disabled", probe.getDisabledAlternatives(problemState)); in toString()
282 public Set<Integer> getDisabledAlternatives(DFAState d) { in getDisabledAlternatives() method in DecisionProbe283 return d.getDisabledAlternatives(); in getDisabledAlternatives()437 Set<Integer> disabledAlts = getDisabledAlternatives(d); in issueWarnings()
486 public Set<Integer> getDisabledAlternatives() { in getDisabledAlternatives() method in DFAState