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

/barrelfish-master/usr/eclipseclp/Eplex/
H A Deplex.h152 int nsos_added; /* number of SOSs already in solver */ member in struct:__anon1616
H A Deplex.c2477 if (lpd->nsos_added > oldsos)
2479 if (cpx_delsos(lpd, oldsos, lpd->nsos_added))
2482 oldsos, lpd->nsos_added);
2485 lpd->nsos = lpd->nsos_added = oldsos;
2584 oldsos, lpd->nsos_added, oldidc, lpd->nidc,
2763 udata.oldsos = lpd->nsos_added;
2805 udata.oldsos = lpd->nsos_added;
4043 lpd->nsos_added = lpd->nsos;
4210 lpd->nsos_added = lpd->nsos;
5110 if (lpd->nsos <= lpd->nsos_added)
[all...]

Completed in 93 milliseconds