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

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c2036 typed_bounds ytb; local
2046 Constant_To_Typed_Bounds(tmp->val, tmp->tag, ytb);
2047 if ((con->flags & CON_INTEGRALITY_PROP) && !ytb.i) {
2053 Mul(b, ytb.b, ytb.b);
2054 Sub(con->c, ytb.b, con->c);

Completed in 33 milliseconds