Lines Matching defs:var
318 pword *var;
333 var = p->val.ptr;
334 Var_Domain(var, p);
345 Bind_Var(var->val, var->tag, n, TINT)
355 Bind_Var(var->val, var->tag, n, TINT)
363 Bind_Var(var->val, var->tag, n1, TINT)
378 Bind_Var(var->val, var->tag, n1, TINT)
388 Bind_Var(var->val, var->tag, n, TINT)
396 Bind_Var(var->val, var->tag, n, TINT)
413 k = _domain_changed(var, min, res);
424 pword *var;
456 var = t->val.ptr;
457 Var_Domain(var, t);
467 l1->val.ptr = var;
521 pword *var;
560 var = p - 1;
638 p[1].val.ptr = var;
653 p[1].val.ptr = var;
686 p[1].val.ptr = var;
1208 pword *var;
1241 Bind_Var(vvar, tvar, var, TREF)
1248 var = s;
1267 k = _remove_element(var, -k, (word) TINT);
2635 _remove_element(pword *var, word el, word tag)
2641 Var_Domain(var, v);
2652 Bind_Var(var->val, var->tag, inst.val.all, inst.tag.kernel)
2657 res = _domain_changed(var, 2, RES_MIN);
2661 res = _domain_changed(var, 2, RES_MAX);
2665 res = _domain_changed(var, 2, 0);
2881 _domain_changed(pword *var, word size, int which)
2890 Var_Attr(var, attr);
2896 Bind_Var(var->val, var->tag, val, TINT);
2936 return notify_constrained(var);