Lines Matching refs:pvar
1499 notify_constrained(pword *pvar)
1503 if (!IsMeta(pvar->tag)) {
1506 p = MetaTerm(pvar->val.ptr);
1739 meta_bind(pword *pvar, value v, type t)
1744 v.ptr->val.ptr = pvar;
1746 else /* bind the metaterm pvar */
1748 Trail_Tag_If_Needed_Gb(pvar)
1749 pvar->tag.all = t.all;
1750 pvar->val.all = v.all;
1859 register pword *pvar;
1862 if (pvar = ec_nonground(arg_i->val,arg_i->tag))
1863 return pvar;