Searched refs:numPs (Results 1 – 1 of 1) sorted by relevance
454 unsigned numPs = 0; in CreateSuccessors() local458 ps[numPs++] = p->FoundState; in CreateSuccessors()483 if (numPs == 0) in CreateSuccessors()491 ps[numPs++] = s; in CreateSuccessors()543 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()546 while (numPs != 0); in CreateSuccessors()