Searched refs:numPs (Results 1 – 1 of 1) sorted by relevance
349 unsigned numPs = 0; in CreateSuccessors() local352 ps[numPs++] = p->FoundState; in CreateSuccessors()369 if (numPs == 0) in CreateSuccessors()373 ps[numPs++] = s; in CreateSuccessors()408 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()411 while (numPs != 0); in CreateSuccessors()