Searched refs:nfaConfigurations (Results 1 – 3 of 3) sorted by relevance
138 public OrderedHashSet<NFAConfiguration> nfaConfigurations = field in DFAState222 if ( nfaConfigurations.contains(c) ) { in addNFAConfiguration()226 nfaConfigurations.add(c); in addNFAConfiguration()385 this.nfaConfigurations = configs; in setNFAConfigurations()415 return this.nfaConfigurations.equals(other.nfaConfigurations); in equals()430 int numConfigs = nfaConfigurations.size(); in getUniquelyPredictedAlt()432 NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); in getUniquelyPredictedAlt()456 int numConfigs = nfaConfigurations.size(); in getUniqueAlt()458 NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); in getUniqueAlt()483 int numConfigs = nfaConfigurations.size(); in getDisabledAlternatives()[all …]
89 " ("+d.nfaConfigurations.size()+" nfa states)"); in convert()465 configs.addAll(d.nfaConfigurations); in closure()896 if ( labelDFATarget.nfaConfigurations.size()==0 ) { in reach()917 int numConfigs = d.nfaConfigurations.size(); in convertToEOTAcceptState()919 NFAConfiguration c = (NFAConfiguration)d.nfaConfigurations.get(i); in convertToEOTAcceptState()930 d.nfaConfigurations.clear(); in convertToEOTAcceptState()1183 NFAConfiguration anyConfig = d.nfaConfigurations.get(0); in resolveNonDeterminisms()1300 int numConfigs = d.nfaConfigurations.size(); in turnOffOtherAlts()1302 NFAConfiguration configuration = (NFAConfiguration)d.nfaConfigurations.get(i); in turnOffOtherAlts()1417 int numConfigs = d.nfaConfigurations.size(); in tryToResolveWithSemanticPredicates()[all …]
333 Set configurations = ((DFAState) s).nfaConfigurations; in getStateLabel()