Searched refs:SetSuccessor (Results 1 – 1 of 1) sorted by relevance
279 static void SetSuccessor(CPpmd_State *p, CPpmd_Void_Ref v) in SetSuccessor() function311 SetSuccessor(s, 0); in RestartModel()375 SetSuccessor(&upState, upBranch + 1); in CreateSuccessors()406 SetSuccessor(ps[--numPs], REF(c1)); in CreateSuccessors()465 SetSuccessor(p->FoundState, REF(p->MinContext)); in UpdateModel()497 SetSuccessor(p->FoundState, successor); in UpdateModel()561 SetSuccessor(s, successor); in UpdateModel()