Searched refs:cp_pools_max2 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Eplex/
H A Deplex.h223 int *cp_pools_max2; /* [cp_npools_sz2] max cstr in each pool */ member in struct:__anon1616
H A Deplex.c643 TryFree(lpd->cp_pools_max2);
5601 if (lpd->cp_pools_max2[vgrp.nint] >= lpd->cp_pools_sz2[vgrp.nint])
5606 lpd->cp_pools2[vgrp.nint][lpd->cp_pools_max2[vgrp.nint]++] = vidx.nint;
5615 lpd->cp_pools_max2 = (int *) Realloc(lpd->cp_pools_max2,sz*sizeof(int));\
5623 lpd->cp_pools_max2[i] = 0;\
5630 lpd->cp_pools_max2[n] = 0; \
5721 for (i=0; i < lpd->cp_pools_max2[vpidx.nint]; i++)

Completed in 37 milliseconds