Searched refs:SetSuccessor (Results 1 – 1 of 1) sorted by relevance
283 static void SetSuccessor(CPpmd_State *p, CPpmd_Void_Ref v) in SetSuccessor() function315 SetSuccessor(s, 0); in RestartModel()379 SetSuccessor(&upState, upBranch + 1); in CreateSuccessors()410 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()469 SetSuccessor(p->FoundState, REF(p->MinContext)); in UpdateModel()501 SetSuccessor(p->FoundState, successor); in UpdateModel()565 SetSuccessor(s, successor); in UpdateModel()