Lines Matching defs:val
159 (attr) = (attr)->val.ptr + ic_domain_slot; \
170 (attr) = (attr)->val.ptr; \
182 (attr) = (attr)->val.ptr; \
432 #define maybe_round_up(integral, val) \
433 if (integral) { val = ceil(val); } else
434 #define maybe_round_down(integral, val) \
435 if (integral) { val = floor(val); } else
452 v.ptr->val.nint = i; \
545 lwb = Dbl(tmp->val); \
549 upb = Dbl(tmp->val); \
553 ic_type = tmp->val.did; \
563 if ((var_info)->bitmap->val.wptr != (new_bitmap)) { \
564 value val; \
566 val.wptr = (new_bitmap); \
568 ec_assign((var_info)->attr + OFF_BITMAP, val, tag); \
585 Set_Susp_Dead((con_info)->susp->val.ptr); \
591 pw.val.nint = (value); \
592 (result) = Unify_Pw((bool)->val, (bool)->tag, pw.val, pw.tag); \
607 return Unify_Pw((con)->var_vec[0].val, (con)->var_vec[0].tag, \
608 (con)->var_vec[1].val, (con)->var_vec[1].tag); \
630 result = Unify_Pw((var_info)->var->val, (var_info)->var->tag, res.val, res.tag); \
682 pterm = plin->val.ptr; \
687 var = pterm->val.ptr + 1; \
689 Constant_To_Typed_Bounds(var->val, var->tag, coef); \
691 var = pterm->val.ptr + 2; \
696 plin = plin->val.ptr + 1; \
809 Bind_Var(attr->val, attr->tag, pattr, TCOMP);
818 Bind_Var(var->val, var->tag, pw, TREF);
837 attr = attr->val.ptr;
864 vi->attr = attr->val.ptr;
883 value val;
888 val.did = d_.integer0;
890 ec_assign(vi->attr + OFF_TYPE, val, tag);
909 value val;
960 result = next_greater_member(vi->bitmap->val.wptr,
984 Make_Checked_Double_Val(val, bound);
986 ec_assign(vi->attr + OFF_LO, val, tag);
993 result = set_bitmap_lwb(vi->bitmap->val.wptr, (word) bound,
1044 value val;
1095 result = next_smaller_member(vi->bitmap->val.wptr,
1119 Make_Checked_Double_Val(val, bound);
1121 ec_assign(vi->attr + OFF_HI, val, tag);
1128 result = set_bitmap_upb(vi->bitmap->val.wptr, (word) bound,
1211 Bind_Var(attr->val, attr->tag, pw, TCOMP);
1233 /* var = var->val.ptr; */
1241 Bind_Var(var->val, var->tag, pw, TREF);
1331 pw[1].val.ptr = vi->var;
1333 pw[2].val.nint = exclude;
1345 result = ec_enter_suspension(vi->attr + OFF_WAKE_LO, susp.val.ptr);
1347 result = ec_enter_suspension(vi->attr + OFF_WAKE_HI, susp.val.ptr);
1412 bitmap = vi->bitmap->val.wptr;
1467 pw[1].val.ptr = vi->var;
1469 pw[2].val.nint = int_lwb;
1471 pw[3].val.nint = int_upb;
1483 result = ec_enter_suspension(vi->attr + OFF_WAKE_LO, susp.val.ptr);
1485 result = ec_enter_suspension(vi->attr + OFF_WAKE_HI, susp.val.ptr);
1558 bitmap = vi->bitmap->val.wptr;
1671 result = Unify_Pw(vi->var->val, vi->var->tag, tmp.val, tmp.tag);
1688 result = Unify_Pw(vi->var->val, vi->var->tag, tmp.val, tmp.tag);
1703 result = Unify_Pw(vi->var->val, vi->var->tag, tmp.val, tmp.tag);
1782 (tmp)->val.ptr = (con_info->data);
1790 prio.val.nint = ConstraintPriority(con_info);
1792 return p_set_suspension_priority(susp->val, susp->tag, prio.val, prio.tag);
1810 con->data = tmp->val.ptr;
1822 tmp = tmp->val.ptr;
1828 tmp = tmp->val.ptr;
1834 tmp = tmp->val.ptr;
1861 status = con->bool->val.nint;
1906 con->con[CON_OFF_BOOLEAN].val.all = vbool.all;
1910 con->con[CON_OFF_SUSP].val.all = vsusp.all;
1913 con->con[CON_OFF_SUSP].val.ptr = con->con + CON_OFF_SUSP;
1915 result = Unify_Pw(con->con[CON_OFF_SUSP].val, con->con[CON_OFF_SUSP].tag, vsusp, tsusp);
1964 var_buf->val.did = did;
2009 con->con[CON_OFF_DATA].val.ptr = con->data;
2012 con->con[CON_OFF_LO_VEC].val.ptr = lo_buf;
2014 con->con[CON_OFF_HI_VEC].val.ptr = hi_buf;
2022 con->con[CON_OFF_LO_VEC].val.ptr = 0;
2023 con->con[CON_OFF_HI_VEC].val.ptr = 0;
2024 con->con[CON_OFF_VAR_VEC].val.ptr = 0;
2046 Constant_To_Typed_Bounds(tmp->val, tmp->tag, ytb);
2366 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
2453 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
2913 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
2928 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
2972 Constant_To_Typed_Bounds(tmp->val, tmp->tag, tb);
3007 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
3065 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
3093 result = Unify_Pw(tmp->val, tmp->tag, bnd.val, bnd.tag);
3098 result = Unify_Pw(tmp->val, tmp->tag, bnd->val, bnd->tag);
3201 value val;
3217 val.nint = min;
3219 return Unify_Pw(vi->var->val, vi->var->tag, val, tag);
3224 Make_Checked_Double_Val(val, lwb);
3226 ec_assign(vi->attr + OFF_LO, val, tag);
3234 Make_Checked_Double_Val(val, upb);
3236 ec_assign(vi->attr + OFF_HI, val, tag);
3348 copy_bitmap_shifted(viy.bitmap->val.wptr, c, &bitmap_x);
3374 copy_bitmap_shifted(vix.bitmap->val.wptr, -c, &bitmap_y);
3381 result = bitmap_shifted_intersect_into(vix.bitmap->val.wptr,
3382 viy.bitmap->val.wptr, c, &bitmap_x);
3385 result = bitmap_shifted_intersect_into(viy.bitmap->val.wptr,
3406 value val;
3413 val.nint = vx.nint - c;
3415 result = Unify_Pw(vy, ty, val, tag);
3422 val.nint = vy.nint + c;
3424 result = Unify_Pw(vx, tx, val, tag);
3435 result = bitmap_shifted_intersect_into(vix.bitmap->val.wptr,
3436 viy.bitmap->val.wptr, c, &bitmap_x);
3439 result = bitmap_shifted_intersect_into(viy.bitmap->val.wptr,
3688 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
3793 TG->val.ptr = 0; * For reproducible bugs... :) *
3812 goal.val.ptr[1].val.ptr = con->con;
3813 goal.val.ptr[1].tag.kernel = TCOMP;
3882 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
3912 con->susp->val.ptr);
3915 con->susp->val.ptr);
3932 con->susp->val.ptr);
3937 con->susp->val.ptr);
3951 con->susp->val.ptr);
3954 con->susp->val.ptr);
3964 con->susp->val.ptr, suspend_slot);
4104 result = insert_suspension(con->bool, 1, con->susp->val.ptr,
4206 Constant_To_Typed_Bounds(tmp->val, tmp->tag, vi.tb);
4299 lin.val = vlin;
4316 vbool.all = bool->val.all;
4433 con.con[CON_OFF_BOOLEAN].val.all = vbool.all;
4460 value val;
4471 con.con[CON_OFF_BOOLEAN].val, con.con[CON_OFF_BOOLEAN].tag);
4474 val.nint = con.flags;
4476 result = Unify_Pw(vflags, tflags, val, tag);
4480 result = Unify_Pw(vc, tc, res.val, res.tag);
4485 val.ptr = TG;
4492 dest = val.ptr + i + 1;
4496 result = Unify_Pw(vcoefs, tcoefs, val, tag);
4499 val.ptr = TG;
4502 memcpy(val.ptr + 1, con.var_vec, con.term_count * sizeof(pword));
4503 result = Unify_Pw(vvars, tvars, val, tag);
4506 val.ptr = 0;
4509 result = Unify_Pw(vcoefs, tcoefs, val, tag);
4511 result = Unify_Pw(vvars, tvars, val, tag);
4565 module.val.did = ec_did("ic_kernel", 0);
4602 module.val.did = ec_did("ic_constraints", 0);
4630 Return_Bind_Var(vattr, tattr, res->val.all, res->tag.kernel);
4642 value val;
4649 Make_Double_Val(val, lwb);
4652 result = unary_arith_op(val, tag, vlo, tlo, ARITH_FIX, TINT);
4654 result = Unify_Pw(vlo, tlo, val, tag);
4659 Make_Double_Val(val, upb);
4662 result = unary_arith_op(val, tag, vhi, thi, ARITH_FIX,
4665 result = Unify_Pw(vhi, thi, val, tag);
4681 value val;
4694 Make_Double_Val(val, vi.tb.b.l);
4695 result = Unify_Pw(vlo, tlo, val, tag);
4697 Make_Double_Val(val, vi.tb.b.u);
4698 return Unify_Pw(vhi, thi, val, tag);
4710 Make_Double_Val(val, IvlLwb(breal.ptr));
4711 result = Unify_Pw(vlo, tlo, val, tag);
4713 Make_Double_Val(val, IvlUpb(breal.ptr));
4714 return Unify_Pw(vhi, thi, val, tag);
4796 res.val.nint = 1;
4798 Return_Unify_Pw(vsize, tsize, res.val, res.tag);
4810 attr = attr->val.ptr;
4834 Make_Double_Val(res.val, fsize);
4841 res.val.nint = bitmap_size(bitmap->val.wptr);
4845 Return_Unify_Pw(vsize, tsize, res.val, res.tag);
4902 result = bitmap_contains(bitmap->val.wptr, vnum.nint);
4920 result = p_schedule_postponed(attr2vec[OFF_WAKE_LO].val,
4928 pw[1].val = attr2vec[OFF_LO].val;
4930 pw[2].val = vnum;
4947 result = p_schedule_postponed(attr2vec[OFF_WAKE_HI].val,
4955 pw[1].val = attr2vec[OFF_HI].val;
4957 pw[2].val = vnum;
5028 value val, a1val, a2val;
5075 val.did = d_.integer0;
5077 ec_assign(attr1vec + OFF_TYPE, val, tag);
5120 result = compare_bitmaps(bitmap1->val.wptr,
5121 bitmap2->val.wptr, &res);
5138 ec_assign(attr1vec + OFF_BITMAP, bitmap2->val,
5151 res = bitmap_intersect_into(bitmap1->val.wptr,
5152 bitmap2->val.wptr, 0, &bitmap_ptr);
5163 if (bitmap_ptr != bitmap1->val.wptr) {
5164 val.wptr = bitmap_ptr;
5166 ec_assign(attr1vec + OFF_BITMAP, val, tag);
5182 bitmap_ptr = bitmap1->val.wptr;
5200 if (bitmap_ptr != bitmap1->val.wptr) {
5201 val.wptr = bitmap_ptr;
5203 ec_assign(attr1vec + OFF_BITMAP, val, tag);
5215 bitmap_ptr = bitmap2->val.wptr;
5233 val.wptr = bitmap_ptr;
5235 ec_assign(attr1vec + OFF_BITMAP, val, tag);
5253 result = Unify_Pw(vvar, tvar, num.val, num.tag);
5260 Make_Checked_Double_Val(val, lwb);
5262 ec_assign(attr1vec + OFF_LO, val, tag);
5269 Make_Checked_Double_Val(val, upb);
5271 ec_assign(attr1vec + OFF_HI, val, tag);
5296 val.nint = OFF_WAKE_LO;
5301 val, tag, a2val, atag,
5302 val, tag, a1val, atag);
5304 val.nint = OFF_WAKE_HI;
5306 val, tag, a2val, atag,
5307 val, tag, a1val, atag);
5309 val.nint = OFF_WAKE_HOLE;
5311 val, tag, a2val, atag,
5312 val, tag, a1val, atag);
5314 val.nint = OFF_WAKE_TYPE;
5316 val, tag, a2val, atag,
5317 val, tag, a1val, atag);
5354 if (attr2vec->val.did != d_ic_attr_functor) {
5372 Bind_Var(attr1->val, attr1->tag, attr2vec, TCOMP);
5379 attr1vec = attr1->val.ptr;
5380 if (attr1vec->val.did != d_ic_attr_functor) {
5434 attr = attr->val.ptr;
5439 if (!Type_Is_Int(tmp->val.did)) {
5452 if (Dbl(tmp->val) < MIN_BITMAP_RANGE
5453 || Dbl(tmp->val) > MAX_BITMAP_RANGE) {
5456 lo = (word) Dbl(tmp->val);
5489 result = next_greater_member(vi.bitmap->val.wptr, try - 1, &try);