Lines Matching refs:val
128 * PARAMETERS: vt - term1->val
133 * vf - functor1->val
137 * va - arity1->val
255 p->val.did = (dident) d;
260 p->val.ptr = p;
285 * val.did), followed by (next addresses) the arguments,
296 d = vt.ptr->val.did;
350 * PARAMETERS: vterm - term1->val
355 * votype - type1->val
397 * PARAMETERS: va - atom1->val
402 * vs - string1->val
500 Make_Stack_String(len, result.val, s); /* maybe too long */
518 Return_Unify_Pw(vn, tn, result.val, result.tag);
551 Make_Stack_String(len, result.val, s); /* maybe too long */
553 Trim_Buffer(result.val.ptr, len+1); /* adjust length */
554 Return_Unify_String(vs, ts, result.val.ptr);
564 Return_Unify_Pw(vn, tn, result.val, result.tag);
625 * PARAMETERS: tv - Term->val
627 * lv - List->val
688 Check_Output_Atom_Or_Nil(elem->val,elem->tag);
690 fd = elem->val.did;
693 head->val.did = fd;
698 elem = tail->val.ptr;
732 head->val.did = add_dict(fd, (int) i);
749 Return_Unify_Pw(tv, tt, elem->val, elem->tag);
782 (newel++)->val.did = d_.eocl;
787 arity = DidArity(tvptr->val.did);
788 fd = add_dict(tvptr->val.did, 0);
794 (newel++)->val.did = fd;
806 newel->val.ptr = newel + 1;
828 newel->val = tv;
848 arity = DidArity(pw1->val.did);
876 argi = car->val.nint;
880 arity = DidArity(pw1->val.did);
908 plist = plist->val.ptr;
910 vt.all = pw1->val.all;
959 arity = DidArity(argp->val.did);
969 pw.val = va;
998 if (IsRef(argp->tag) && argp == argp->val.ptr)
1096 d = (vterm.ptr++)->val.did;
1123 h = _term_hash(arg_i->val, arg_i->tag, maxdepth, h+(h<<3), pres);
1128 vterm = arg_i->val; /* tail recursion optimised */
1172 Return_Unify_Pw(vi, ti, pw.val, pw.tag);
1203 arity = elem->val.nint;
1215 pw->val.did = add_dict(d_.nil, (int) arity);
1225 res = _make_dim(dims->val.ptr, pw++);
1251 Return_Unify_Pw(va, ta, result.val, result.tag);
1274 Make_Integer(TG, DidArity(paux->val.did));
1280 va.all = paux->val.all;
1294 Return_Unify_Pw(vdim, tdim, result.val, result.tag);
1305 if (IsArray(pw->val, pw->tag)) {
1306 int res = _flatten_array(d-1, DidArity(pw->val.ptr->val.did), pw->val.ptr+1);
1346 arity = TG-result.val.ptr-1;
1348 Make_Atom(result.val.ptr, add_dict(d_.nil, arity));
1350 TG = result.val.ptr;
1353 Return_Unify_Pw(vflat, tflat, result.val, result.tag);
1388 word n = DidArity(pw1->val.did) + DidArity(pw2->val.did);
1393 for(n=DidArity(pw1->val.did); n; --n) *++pw = *++pw1;
1394 for(n=DidArity(pw2->val.did); n; --n) *++pw = *++pw2;
1395 Return_Unify_Pw(v, t, result.val, result.tag);
1422 if (IsList(tt) && 0==ec_compare_terms(elem->val, elem->tag, vt, tt))
1424 elem = elem->val.ptr;
1428 elem = elem->val.ptr;
1484 arity = DidArity(arg->val.did);
1500 elem[1].val = vt;
1502 Return_Unify_Pw(vl, tl, result.val, result.tag);