Searched refs:numPs (Results 1 – 1 of 1) sorted by relevance
347 unsigned numPs = 0; in CreateSuccessors() local350 ps[numPs++] = p->FoundState; in CreateSuccessors()367 if (numPs == 0) in CreateSuccessors()371 ps[numPs++] = s; in CreateSuccessors()406 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()409 while (numPs != 0); in CreateSuccessors()