Searched refs:numStatesRemoved (Results 1 – 3 of 3) sorted by relevance
1040 int numStatesRemoved = 0;1045 ++numStatesRemoved;1047 return numStatesRemoved;
1041 int numStatesRemoved = 0;1046 ++numStatesRemoved;1048 return numStatesRemoved;
1251 int32_t numStatesRemoved = 0; in removeDuplicateStates() local1256 ++numStatesRemoved; in removeDuplicateStates()1258 return numStatesRemoved; in removeDuplicateStates()