Searched refs:thisStateKey (Results 1 – 1 of 1) sorted by relevance
811 String thisStateKey = getStateLabelIndexKey(s.stateNumber,labelIndex); in getNFAPath() local812 if ( statesVisitedAtInputDepth.contains(thisStateKey) ) { in getNFAPath()819 statesVisitedAtInputDepth.add(thisStateKey); in getNFAPath()844 statesVisitedAtInputDepth.remove(thisStateKey); in getNFAPath()859 statesVisitedAtInputDepth.remove(thisStateKey); in getNFAPath()866 statesVisitedAtInputDepth.remove(thisStateKey); in getNFAPath()879 statesVisitedAtInputDepth.remove(thisStateKey); in getNFAPath()