Lines Matching defs:var
94 ** Offsets (in pwords) of the various fields in the ic var structure.
135 #define Fill_Var_Field(pw, var) Make_Ref(&pw[OFF_VARIABLE], var)
137 #define Fill_Var_Field(pw, var)
154 ** attributes. 'var' must be dereferenced and 'IsMeta'.
156 #define IC_Var_Get_Attr(var, attr) { \
157 (attr) = MetaTerm(var); \
166 ** vector). 'var' must be dereferenced and have a proper IC attribute.
168 #define IC_Var_Get_Attr_Vec(var, attr) { \
169 IC_Var_Get_Attr(var, attr) \
177 ** vector), creating the IC attribute if it doesn't exist. 'var' must be
180 #define IC_Var_Attr_Vec(var, attr) { \
181 (attr) = make_ic_var_attr(var); \
359 pword *var;
363 int prop_int; /* Prop integrality to the var if appropriate */
623 /* Bind var to integer/bignum. */ \
627 /* Bind var to bounded real. */ \
630 result = Unify_Pw((var_info)->var->val, (var_info)->var->tag, res.val, res.tag); \
677 #define BeginIterateLinList(plin, pterm, idx, coef, var) \
686 /* Extract the coefficient - use var as temporary. */ \
687 var = pterm->val.ptr + 1; \
688 Dereference(var); \
689 Constant_To_Typed_Bounds(var->val, var->tag, coef); \
691 var = pterm->val.ptr + 2; \
692 Dereference(var);
796 ** exist. 'var' must be dereferenced and 'IsRef'.
799 make_ic_var_attr(pword *var)
803 if (IsMeta(var->tag)) {
804 IC_Var_Get_Attr(var, attr);
808 Fill_Var_Field(pw, var);
810 notify_constrained(var);
815 pw = (pword *)add_attribute(var->tag.all,
817 Fill_Var_Field(pw, var);
818 Bind_Var(var->val, var->tag, pw, TREF);
819 var = pw; /* Implicit Deref(var) */
820 IC_Var_Get_Attr(var, attr);
835 vi->var = x;
852 vi->var = x;
863 vi->var = x;
894 result = notify_constrained(vi->var);
1006 result = notify_constrained(vi->var);
1141 result = notify_constrained(vi->var);
1195 ** constrain it if it already exists. 'var' must be dereferenced and
1201 pword *var = *pvar;
1204 if (IsMeta(var->tag)) {
1206 IC_Var_Get_Attr(var, attr);
1210 Fill_Var_Field(pw, var);
1212 notify_constrained(var);
1216 get_var_info_from_attr(var, attr, &vi);
1232 Dereference(var);
1233 /* var = var->val.ptr; */
1238 pw = (pword *)add_attribute(var->tag.all,
1240 Fill_Var_Field(pw, var);
1241 Bind_Var(var->val, var->tag, pw, TREF);
1242 var = pw; /* Implicit Deref(var) */
1245 *pvar = var;
1331 pw[1].val.ptr = vi->var;
1426 result = notify_constrained(vi->var);
1467 pw[1].val.ptr = vi->var;
1572 result = notify_constrained(vi->var);
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);
1957 ** var. Pad things to match.
1981 ** Note that we clobber the allocated var struct to make
2113 /* Little hack for 1-var constraints. */
2157 /* Little hack for 1-var constraints. */
2571 ** XXX - Do we want to check for short (1 & 2 var) constraints here?
2763 /* Can't rely on index of non-int var remaining stable... :( */
2840 ** E.g. it's now a 0-var equation or perhaps a 1-var int inequality.
2842 ** earlier? Is it only 0-var equations or 0,1 var inequalities?
2848 ** 1-var equality (dealt with above?).
2850 ** Umm, 1-var inequalities are not caught earlier...?
2856 /* Be lazy for now, and just catch 0-var constraints. */
3097 bnd = var->attr + (which_var_bound ? OFF_HI : OFF_LO);
3115 /* XXX - prop integrality when last non-int var and have unit coef. */
3219 return Unify_Pw(vi->var->val, vi->var->tag, val, tag);
3249 return notify_constrained(vi->var);
3639 fprintf(stderr, " Initial constraining of var.\n");
3642 ** Make sure it's an IC var, and constrain it to be integral
3963 result = insert_suspension(vi.var, 1,
4887 /* Don't allow binding an integer var to a non-integer value. */
4976 Wake either var slack bounds.
4980 Wake var1 type change and either var slack bounds.
4985 Wake var1 type change and hole and either var slack bounds.
4989 Wake var2 type change and either var slack bounds.
4992 Wake either var slack bounds.
4996 Wake var1 hole and either var slack bounds.
5001 Wake var2 type change and hole and either var slack bounds.
5005 Wake var2 hole and either var slack bounds.
5131 /* Wake things suspended on new holes in second var. */
5140 /* Wake things suspended on new holes in first var. */
5178 ** First var has a bitmap, but second does not: trim
5205 /* Wake things suspended on new holes in the second var. */
5212 ** Second var has a bitmap, but first does not: trim bitmap2 to
5236 /* Wake things suspended on new holes in the first var. */
5246 /* Bind var to integer/bignum. */
5250 /* Bind var to bounded real. */
5350 /* IC attribute of second var is not a structure! */
5355 /* IC attribute of second var is not correct structure! */
5362 /* First var is a ground number. */
5365 /* First var is a variable (and we're promised it's meta). */
5369 ** First var has no IC attribute, so just give it the
5376 /* IC attribute of first var is not a structure! */
5381 /* IC attribute of first var is not correct structure! */
5390 /* First var is neither a number or a variable. */