Lines Matching refs:vterm
72 p_term_hash(value vterm, type tterm, value vdepth, type tdepth, value vrange, type trange, value vhash, type thash),
75 p_type_of(value vterm, type term, value votype, type ttype),
348 * FUNCTION NAME: p_type_of(vterm, term, votype,ttype) - logical
350 * PARAMETERS: vterm - term1->val
369 p_type_of(value vterm, type term, value votype, type ttype)
1054 _term_hash(value vterm,
1077 return hash+vterm.nint;
1081 Hashl((char*) &vterm.all, h, SIZEOF_DOUBLE);
1083 Hashl(StringStart(vterm), h, SIZEOF_DOUBLE);
1088 Hashl(StringStart(vterm), h, StringLength(vterm));
1092 Hashl(DidName(vterm.did), h, DidLength(vterm.did));
1096 d = (vterm.ptr++)->val.did;
1107 if (ISPointer(tterm.kernel) && IsTag(vterm.ptr->tag.kernel, TBUFFER))
1109 Hashl(StringStart(vterm), h, StringLength(vterm)+1);
1121 arg_i = vterm.ptr++;
1126 arg_i = vterm.ptr;
1128 vterm = arg_i->val; /* tail recursion optimised */
1135 ec_term_hash(value vterm,
1140 return _term_hash(vterm, tterm, maxdepth, 0, pres);
1145 p_term_hash(value vterm, type tterm, value vdepth, type tdepth, value vrange, type trange, value vhash, type thash)
1155 h = vdepth.nint ? ec_term_hash(vterm, tterm, (uword)vdepth.nint, &res) : 0;