Lines Matching defs:sense
1015 lpd->sense = vsense.nint;
1086 case 3: i = lpd->sense; break;
1491 dident sense;
1519 sense = sen[0] == SOLVER_SENSE_LE ? d_le :
1521 Request_Unify_Atom(vsense, tsense, sense);
2239 #define New_Row(nrs, nr_sz, senx, rhsx, rmatbeg, nnz, sense, vrhs, trhs, ExtraAlloc) {\
2248 senx[nrs] = (char) sense;\
2261 int idx, sense;
2267 if (vsense.did == d_le) sense = SOLVER_SENSE_LE;
2268 else if (vsense.did == d_ge) sense = SOLVER_SENSE_GE;
2269 else if (vsense.did == d_eq) sense = SOLVER_SENSE_EQ;
2277 lpd->nnz, sense, vrhs, trhs, {});
2283 lpd->cp_rmatbeg, lpd->cp_nnz, sense, vrhs, trhs, {});
2289 lpd->cp_rmatbeg2, lpd->cp_nnz2, sense, vrhs, trhs,
2307 int sense;
2315 if (vsense.did == d_le) sense = SOLVER_SENSE_LE;
2316 else if (vsense.did == d_ge) sense = SOLVER_SENSE_GE;
2317 else if (vsense.did == d_eq) sense = SOLVER_SENSE_EQ;
2333 lpd->senx[lpd->nr] = (char) sense;
3847 lpd->sense = vsense.nint;
3938 Log1(lpd->sense = %d, lpd->sense);
3941 lpd->sense = %d;\n\
3957 lpd->sense,(lpd->macsz ? lpd->macsz : 1), (lpd->marsz ? lpd->marsz: 1), (lpd->matnz? lpd->matnz : 1),
4011 lpd->sense, lpd->objx, lpd->rhsx, lpd->senx,