Searched refs:thisStateKey (Results 1 – 1 of 1) sorted by relevance
817 String thisStateKey = getStateLabelIndexKey(s.stateNumber,labelIndex); in getNFAPath() local818 if ( statesVisitedAtInputDepth.contains(thisStateKey) ) { in getNFAPath()825 statesVisitedAtInputDepth.add(thisStateKey); in getNFAPath()850 statesVisitedAtInputDepth.remove(thisStateKey); in getNFAPath()865 statesVisitedAtInputDepth.remove(thisStateKey); in getNFAPath()872 statesVisitedAtInputDepth.remove(thisStateKey); in getNFAPath()885 statesVisitedAtInputDepth.remove(thisStateKey); in getNFAPath()