Lines Matching defs:tmin
1339 p_breal_min(value vx, type tx, value vmin, type tmin)
1343 Check_Output_Float(tmin);
1346 Return_Unify_Pw(vmin, tmin, vx, tx);
1348 Return_Unify_Double(vmin, tmin, IvlLwb(vx.ptr));
1357 Return_Unify_Double(vmin, tmin, IvlLwb(ivl.ptr));
1385 p_breal_bounds(value vx, type tx, value vmin, type tmin, value vmax, type tmax)
1389 Check_Output_Float(tmin);
1393 Request_Unify_Pw(vmin, tmin, vx, tx);
1396 Request_Unify_Double(vmin, tmin, IvlLwb(vx.ptr));
1406 Request_Unify_Double(vmin, tmin, IvlLwb(ivl.ptr));