Lines Matching refs:tx
1297 p_breal_from_bounds(value vl, type tl, value vu, type tu, value vx, type tx)
1305 Check_Output_Type(tx, TIVL);
1334 Return_Unify_Interval(vx, tx, lo, hi);
1339 p_breal_min(value vx, type tx, value vmin, type tmin)
1345 if (IsDouble(tx)) {
1346 Return_Unify_Pw(vmin, tmin, vx, tx);
1347 } else if (IsInterval(tx)) {
1353 Check_Number(tx);
1354 result = tag_desc[TagType(tx)].coerce_to[TIVL](vx, &ivl);
1363 p_breal_max(value vx, type tx, value vmax, type tmax)
1367 if (IsDouble(tx)) {
1368 Return_Unify_Pw(vmax, tmax, vx, tx);
1369 } else if (IsInterval(tx)) {
1375 Check_Number(tx);
1376 result = tag_desc[TagType(tx)].coerce_to[TIVL](vx, &ivl);
1385 p_breal_bounds(value vx, type tx, value vmin, type tmin, value vmax, type tmax)
1392 if (IsDouble(tx)) {
1393 Request_Unify_Pw(vmin, tmin, vx, tx);
1394 Request_Unify_Pw(vmax, tmax, vx, tx);
1395 } else if (IsInterval(tx)) {
1402 Check_Number(tx);
1403 result = tag_desc[TagType(tx)].coerce_to[TIVL](vx, &ivl);