Searched refs:countTransitions (Results 1 – 1 of 1) sorted by relevance
51 int countTransitions = 0; variable157 if (countTransitions >= maxTransitions) { in actionTerminateIfDone()282 ++countTransitions; in main()283 printf("[%d] Selecting transition %s in state %d for the %u time\n", countTransitions, in main()