Searched refs:numPs (Results 1 – 2 of 2) sorted by relevance
618 unsigned numPs = 0; in CreateSuccessors() local621 ps[numPs++] = p->FoundState; in CreateSuccessors()651 if (numPs == 0) in CreateSuccessors()655 ps[numPs++] = s; in CreateSuccessors()692 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()695 while (numPs != 0); in CreateSuccessors()709 unsigned numPs = 0; in ReduceOrder() local710 ps[numPs++] = p->FoundState; in ReduceOrder()731 do { SetSuccessor(ps[--numPs], REF(c)); } while (numPs); in ReduceOrder()758 ps[numPs++] = s; in ReduceOrder()[all …]
381 unsigned numPs = 0; in CreateSuccessors() local384 ps[numPs++] = p->FoundState; in CreateSuccessors()401 if (numPs == 0) in CreateSuccessors()405 ps[numPs++] = s; in CreateSuccessors()423 while (numPs != 0) in CreateSuccessors()440 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()