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

/barrelfish-master/usr/eclipseclp/Eplex/
H A Deplex.h153 int sossz; /* size of sos arrays */ member in struct:__anon1616
157 int *sosbeg; /* [sossz] index into sosind[] */
H A Deplex.c588 if (lpd->sossz)
4130 lpd->sossz = 0;\n\
5159 if (nnewsos+1 >= lpd->sossz)
5163 if (lpd->sossz == 0)
5165 lpd->sossz = NEWSOS_INCR;
5170 lpd->sossz += NEWSOS_INCR;
5171 lpd->sosbeg = (int *) Realloc(lpd->sosbeg, lpd->sossz*sizeof(int));

Completed in 87 milliseconds