Lines Matching refs:preds_size
3897 UWord preds_size, succs_size, i, j;
3905 HG_(getPayloadWS)( &preds_words, &preds_size, univ_laog, preds );
3906 preds_words = UWordV_dup(preds_words, preds_size);
3911 for (i = 0; i < preds_size; i++)
3917 for (i = 0; i < preds_size; i++) {
