| /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
4652 result = unary_arith_op(val, tag, vlo, tlo, ARITH_FIX, TINT);
4654 result = Unify_Pw(vlo, tlo, 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);
4695 result = Unify_Pw(vlo, tlo, val, tag);
4702 result = Unify_Pw(vlo, tlo, vvar, tvar);
4711 result = Unify_Pw(vlo, tl
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
5412 p_indomain_init(value vx, type tx, value vlo, type tlo) 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
1851 Request_Unify_Float(vlo, tlo, -CPX_INFBOUND);
2854 value vlo, type tlo,
2873 if ((newlo = Dbl(vlo)) < -CPX_INFBOUND) newlo = -CPX_INFBOUND;
2944 value vlo, type tlo,
2971 if ((newlo = Dbl(vlo)) < -CPX_INFBOUND) newlo = -CPX_INFBOUND;
3050 value vlo, type tlo,
3072 Request_Unify_Float(vlo, tlo, lpd->bdl[j]);
3083 Request_Unify_Float(vlo, tlo, lpd->bdl[j]);
3098 Request_Unify_Float(vlo, tl
2851 p_cpx_impose_col_lwb(value vhandle, type thandle, value vatt, type tatt, value vj, type tj, value vlo, type tlo, 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...] |