Lines Matching refs:descr_state
547 if (lpd->descr_state != DESCR_EMPTY)
1063 lpd->descr_state = DESCR_LOADED;
1093 case 10: i = lpd->descr_state; break;
1871 if (lpd->descr_state != DESCR_EMPTY)
2198 if (lpd->descr_state != DESCR_EMPTY)
2438 if (lpd->descr_state != DESCR_EMPTY)
2578 if (lpd && lpd->descr_state != DESCR_EMPTY)
2864 if (lpd->descr_state == DESCR_EMPTY)
2909 if (lpd->descr_state == DESCR_EMPTY)
2959 if (lpd->descr_state == DESCR_EMPTY)
3062 if (lpd->descr_state == DESCR_EMPTY)
4378 lpd->descr_state = DESCR_LOADED;
4602 if (lpd->descr_state == DESCR_EMPTY)
4777 switch (lpd->descr_state)
4857 if (lpd->descr_state == DESCR_UNBOUNDED_NOSOL ||
4858 lpd->descr_state == DESCR_UNKNOWN_NOSOL)
4936 Request_Unify_Integer(vres, tres, lpd->descr_state);