Searched refs:SetSuccessor (Results 1 – 1 of 1) sorted by relevance
281 static void SetSuccessor(CPpmd_State *p, CPpmd_Void_Ref v) in SetSuccessor() function313 SetSuccessor(s, 0); in RestartModel()377 SetSuccessor(&upState, upBranch + 1); in CreateSuccessors()408 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()467 SetSuccessor(p->FoundState, REF(p->MinContext)); in UpdateModel()499 SetSuccessor(p->FoundState, successor); in UpdateModel()563 SetSuccessor(s, successor); in UpdateModel()