/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 1597 Check_Integer(thi); 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, thi, va 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 775 Check_Integer(thi);
|
/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, 2907 Check_Float(thi); 2945 value vhi, type thi, 2955 Check_Float(thi); 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, thi, h 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...] |