| /barrelfish-master/usr/eclipseclp/icparc_solvers/ |
| H A D | bitmap.h | 98 extern int p_remove_bitmap_range(value vbm, type tbm, value vlo, type tlo, value vhi, type thi, value vresult, type tresult, value vnew_bm, type tnew_bm);
|
| H A D | ic.c | 1591 p_ic_exclude_range(value vvar, type tvar, value vlo, type tlo, value vhi, type thi) argument
1601 return ic_exclude_range(&vi, vlo.nint, vhi.nint);
4640 unify_integer_bounds(double lwb, double upb, value vlo, type tlo, value vhi, type thi) argument
4662 result = unary_arith_op(val, tag, vhi, thi, ARITH_FIX,
4665 result = Unify_Pw(vhi, thi, val, tag);
4679 p_get_bounds(value vvar, type tvar, value vlo, type tlo, value vhi, type thi) argument
4692 return unify_integer_bounds(vi.tb.b.l, vi.tb.b.u, vlo, tlo, vhi, thi);
4698 return Unify_Pw(vhi, thi, val, tag);
4704 return Unify_Pw(vhi, thi, vvar, tvar);
4714 return Unify_Pw(vhi, th
4734 p_get_integer_bounds1(value vvar, type tvar, value vfinite, type tfinite, value vlo, type tlo, value vhi, type thi, value vwake, type twake) argument
[all...] |
| H A D | bitmap.c | 767 p_remove_bitmap_range(value vbm, type tbm, value vlo, type tlo, value vhi, type thi, argument
777 result = remove_bitmap_range(vbm.wptr, vlo.nint, vhi.nint, &new_bitmap);
|
| /barrelfish-master/usr/eclipseclp/Eplex/ |
| H A D | eplex.c | 1848 p_cpx_lo_hi(value vlo, type tlo, value vhi, type thi) argument
1852 Request_Unify_Float(vhi, thi, CPX_INFBOUND);
2898 value vhi, type thi,
2918 if ((newhi = Dbl(vhi)) > CPX_INFBOUND) newhi = CPX_INFBOUND;
2945 value vhi, type thi,
2970 if ((newhi = Dbl(vhi)) > CPX_INFBOUND) newhi = CPX_INFBOUND;
3051 value vhi, type thi)
3071 Request_Unify_Float(vhi, thi, lpd->bdu[j]);
3082 Request_Unify_Float(vhi, thi, lpd->bdu[j]);
3097 Request_Unify_Float(vhi, th
2895 p_cpx_impose_col_upb(value vhandle, type thandle, value vatt, type tatt, value vj, type tj, value vhi, type thi, value vchanged, type tchanged) argument
2940 p_cpx_impose_col_bounds(value vhandle, type thandle, value vatt, type tatt, value vj, type tj, value vflag, type tflag, value vlo, type tlo, value vhi, type thi, value vchanged, type tchanged) argument
3048 p_cpx_get_col_bounds(value vlp, type tlp, value vj, type tj, value vlo, type tlo, value vhi, type thi) argument
[all...] |