Searched refs:numPs (Results 1 – 1 of 1) sorted by relevance
351 unsigned numPs = 0; in CreateSuccessors() local354 ps[numPs++] = p->FoundState; in CreateSuccessors()371 if (numPs == 0) in CreateSuccessors()375 ps[numPs++] = s; in CreateSuccessors()410 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()413 while (numPs != 0); in CreateSuccessors()