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

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c272 #define OpIsLessEqual(op) ((op) == UPPER_BOUND) macro
2155 if (OpIsLessEqual(con->op) || prop->inf_e_idx >= 0) {
2219 inequality = OpIsLessEqual(con->op) || OpIsGreater(con->op);
2358 if (OpIsLessEqual(con->op) ? res.u <= con->c.l : res.l > con->c.u) {
2384 } else if (OpIsLessEqual(con->op)) {
2602 no_e_bounds = OpIsLessEqual(op) || inf_e_idx >= term_count;
2858 if (OpIsLessEqual(con->op)) {
3175 if (OpIsLessEqual(con->op)) {
3856 } else if (OpIsLessEqual(con->op)) {
4081 if (OpIsLessEqual(co
[all...]

Completed in 78 milliseconds