Lines Matching refs:val
88 obj->term.val.nint = 0;
267 *pheader = (t_heap_rec *) prop->val.ptr;
305 Return_Unify_Pw(vrec, trec, rec.val, rec.tag);
330 prop->val.wptr = (uword *) _rec_create();
355 prop->val.wptr = (uword *) _rec_create();
468 Return_Unify_Pw(vdref, tdref, ref_pw.val, ref_pw.tag);
498 Return_Unify_Pw(vdref, tdref, ref_pw.val, ref_pw.tag);
531 if (farg->val.did != targ->val.did)
550 return SimpleEq(farg->tag.kernel,farg->val,targ->val);
554 targ = targ->val.ptr;
555 farg = farg->val.ptr;
556 i = DidArity(farg->val.did);
557 if (farg->val.did != targ->val.did) return 0;
570 if (!SimpleEq(f->tag.kernel,f->val,targ->val))
575 if (f->val.ptr->val.did != targ->val.ptr->val.did)
581 targ = targ->val.ptr-1;
582 farg = farg->val.ptr-1;
615 Return_Unify_Pw(vl, tl, list.val, list.tag);
648 _may_match_filter(vfilter, tfilter.kernel, obj->term.val, obj->term.tag))
659 Return_Unify_Pw(vl, tl, list.val, list.tag);
707 if (IsRef(result.tag) && result.val.ptr == &result)
711 Return_Unify_Pw(vl, tl, result.val, result.tag);
763 _may_match_filter(vfilter, tfilter.kernel, obj->term.val, obj->term.tag))
768 Return_Unify_Pw(vdref, tdref, ref_pw.val, ref_pw.tag);
799 _may_match_filter(vfilter, tfilter.kernel, obj->term.val, obj->term.tag))
807 Return_Unify_Pw(vref2, tref2, ref_pw.val, ref_pw.tag);
825 if (this->term.val.ptr[0].val.did == wd)
826 return this->term.val.ptr[1].val.nint;
839 if (this->term.val.ptr[1].val.nint == slot)
840 return this->term.val.ptr[0].val.did;
933 IDB_PROP, v2.did, t, LOCAL_PROP, &res)->val.ptr;