Searched refs:previously_visited_states (Results 1 – 1 of 1) sorted by relevance
1992 map<State*, int> previously_visited_states; in PossibleMatchRange() local2037 if (previously_visited_states[s] > kMaxEltRepetitions) { in PossibleMatchRange()2042 previously_visited_states[s]++; in PossibleMatchRange()2070 previously_visited_states.clear(); in PossibleMatchRange()2074 if (previously_visited_states[s] > kMaxEltRepetitions) { in PossibleMatchRange()2079 previously_visited_states[s] += 1; in PossibleMatchRange()