34 typedef CPpmd7_Context * CTX_PTR;  typedef
301   p->MinContext = p->MaxContext = (CTX_PTR)(p->HiUnit -= UNIT_SIZE); /* AllocContext(p); */  in RestartModel()
343 static CTX_PTR CreateSuccessors(CPpmd7 *p, Bool skip)  in CreateSuccessors()
346   CTX_PTR c = p->MinContext;  in CreateSuccessors()
394     CTX_PTR c1; /* = AllocContext(p); */  in CreateSuccessors()
396       c1 = (CTX_PTR)(p->HiUnit -= UNIT_SIZE);  in CreateSuccessors()
398       c1 = (CTX_PTR)RemoveNode(p, 0);  in CreateSuccessors()
401       c1 = (CTX_PTR)AllocUnitsRare(p, 0);  in CreateSuccessors()
426   CTX_PTR c;  in UpdateModel()
483       CTX_PTR cs = CreateSuccessors(p, False);  in UpdateModel()
663   CTX_PTR c = CTX(SUCCESSOR(p->FoundState));  in NextContext()