Searched refs:StateEntry (Results 1 – 1 of 1) sorted by relevance
570 std::vector<int> StateEntry(numStates+1); in writeTableAndAPI() local579 StateEntry[i] = ValidTransitions; in writeTableAndAPI()590 if (ValidTransitions == StateEntry[i]) { in writeTableAndAPI()595 OS << " // state " << i << ": " << StateEntry[i]; in writeTableAndAPI()596 if (StateEntry[i] != (ValidTransitions-1)) { // More than one transition. in writeTableAndAPI()624 OS << StateEntry[i] << ", "; in writeTableAndAPI()