Searched refs:configsInAlt (Results 1 – 1 of 1) sorted by relevance
345 List<NFAConfiguration> configsInAlt = new ArrayList<NFAConfiguration>(); in getStateLabel() local348 configsInAlt.add(c); in getStateLabel()351 for (int cIndex = 0; cIndex < configsInAlt.size(); cIndex++) { in getStateLabel()352 NFAConfiguration c = configsInAlt.get(cIndex); in getStateLabel()355 if ( (cIndex+1)<configsInAlt.size() ) { in getStateLabel()358 if ( n%5==0 && (configsInAlt.size()-cIndex)>3 ) { in getStateLabel()