Lines Matching defs:StateEntry
564 std::vector<int> StateEntry(numStates+1);
568 // to construct the StateEntry table.
573 StateEntry[i] = ValidTransitions;
585 if (ValidTransitions == StateEntry[i]) {
590 OS << " // state " << i << ": " << StateEntry[i];
591 if (StateEntry[i] != (ValidTransitions-1)) { // More than one transition.
619 OS << StateEntry[i] << ", ";