Lines Matching defs:pmin
352 char *pmax = max, *pmin = min;
354 strcpy(pmin, " min(l,r,w,a,d) = (");
356 pmin += strlen(pmin);
359 copy_number(&pmin, &pmax,
362 *pmin++ = *pmax++ = ',';
363 copy_number(&pmin, &pmax,
366 *pmin++ = *pmax++ = ',';
367 copy_number(&pmin, &pmax,
370 *pmin++ = *pmax++ = ',';
371 copy_number(&pmin, &pmax,
374 *pmin++ = *pmax++ = ',';
375 copy_number(&pmin, &pmax,
378 *pmin++ = *pmax++ = ')';
379 *pmin = *pmax = '\0';