Lines Matching refs:tag
68 #define Set_Bit(mask,pw) (pw)->tag.kernel |= (mask);
69 #define Clr_Bit(mask,pw) (pw)->tag.kernel &= ~(mask);
70 #define Marked(tag) ((tag).kernel & MARK)
312 (arg1->val, arg1->tag,
313 arg2->val, arg2->tag);
319 t1.all = arg1->tag.all;
321 t2.all = arg2->tag.all;
385 if (ec_occurs(vs, ts, arg->val, arg->tag))
391 tterm = arg->tag;
405 switch (TagType(term->tag))
495 list.tag.kernel = TNIL;
535 Return_Unify_Pw(vl, tl, list.val, list.tag)
540 * numbervars(), but it uses terms with the special tag TVARNUM.
553 v1.ptr->tag.kernel = TVARNUM;
572 _instantiate(arg1->val, arg1->tag);
575 t1.all = arg1->tag.all;
602 arg1[0].tag.kernel = IsTag(t1.kernel, TVARNUM) ? TREF : t1.kernel;
604 arg1[1].tag.kernel = IsTag(t2.kernel, TVARNUM) ? TREF : t2.kernel;
606 arg1[2].tag.kernel = TLIST;
609 meta->tag.kernel = TLIST;
619 v1.ptr->tag.kernel = TVARNUM;
620 v2.ptr->tag.kernel = TREF;
632 if (!IsTag(v1.ptr->tag.kernel, TVARNUM))
640 v1.ptr->tag.all = t2.all;
648 if (!IsTag(v2.ptr->tag.kernel, TVARNUM))
656 v2.ptr->tag.all = t1.all;
669 v1.ptr->tag.all = t2.all;
678 v2.ptr->tag.all = t1.all;
720 "_instance(): unknown tag (%x) encountered\n", t1.kernel);
736 rel = _instance(rel, arg1->val, arg1->tag,
737 arg2->val, arg2->tag, meta);
744 t1.all = arg1->tag.all;
746 t2.all = arg2->tag.all;
778 _cyclic_term(value val, type tag) /* expects a dereferenced argument */
784 if (IsList(tag))
786 if (val.ptr->tag.kernel & MARK)
791 else if (IsStructure(tag))
793 if (val.ptr->tag.kernel & MARK)
801 val.ptr->tag.kernel |= MARK;
806 if (IsCompound(pw->tag) && _cyclic_term(pw->val, pw->tag))
808 val.ptr->tag.kernel &= ~MARK;
812 val.ptr->tag.kernel &= ~MARK;
1026 if (IsNil(list->tag))
1048 if (pw = ec_chase_arg(vk, tk, pw->val, pw->tag, perr))
1089 if (number_sort && !IsNumber(key_ptr1->tag))
1092 *err = IsRef(key_ptr1->tag) ? INSTANTIATION_FAULT : TYPE_ERROR;
1099 while(! IsRef(h1->tag) && IsList(h1->tag))
1111 if (!IsNumber(key_ptr2->tag))
1114 *err = IsRef(key_ptr2->tag) ? INSTANTIATION_FAULT : TYPE_ERROR;
1118 int res = arith_compare(key_ptr1->val, key_ptr1->tag,
1119 key_ptr2->val, key_ptr2->tag, &comp);
1127 comp = ec_compare_terms(key_ptr1->val, key_ptr1->tag,
1128 key_ptr2->val, key_ptr2->tag);
1150 append->tag.kernel = TLIST | MARK;
1155 (h2-1)->tag.kernel = TLIST;
1166 append->tag.kernel = TLIST | MARK;
1171 comp_ptr->tag.kernel = TLIST;
1183 } /* while(! IsRef(h1->tag) && IsList(h1->tag)) */
1185 if(IsRef(h1->tag))
1191 else if(! IsNil(h1->tag))
1199 append->tag.kernel = TLIST | MARK;
1204 (h2-1)->tag.kernel = TLIST;
1207 (Gbl_Tg - 1)->tag.kernel = TNIL;
1209 next_append->tag.kernel = TNIL;
1213 append->tag.kernel = TLIST | MARK;
1218 comp_ptr->tag.kernel = TLIST;
1222 comp_ptr->tag.kernel = TNIL;
1224 next_append->tag.kernel = TNIL;
1226 if(IsNil(list2.tag))
1255 int res = arith_compare(key_ptr1->val, key_ptr1->tag,
1256 key_ptr2->val, key_ptr2->tag, &comp);
1264 comp = ec_compare_terms(key_ptr1->val, key_ptr1->tag,
1265 key_ptr2->val, key_ptr2->tag);
1274 if (!Marked((h1+1)->tag))
1280 h1 = IsList((h1+1)->tag) ? (h1+1)->val.ptr : (pword *) 0;
1281 append->tag.kernel = TLIST; /* and reset mark */
1283 while (!Marked((h2+1)->tag))
1286 h2 = IsList(append->tag) ? append->val.ptr : (pword *) 0;
1292 if (!Marked((h2+1)->tag))
1298 h2 = IsList((h2+1)->tag) ? (h2+1)->val.ptr : (pword *) 0;
1299 append->tag.kernel = TLIST; /* and reset mark */
1301 while (!Marked((h1+1)->tag))
1304 h1 = IsList(append->tag) ? append->val.ptr : (pword *) 0;
1308 if (!Marked((h2+1)->tag)) /* skip element h2 */
1315 h2 = IsList((h2+1)->tag) ? (h2+1)->val.ptr : (pword *) 0;
1317 while (!Marked((h1+1)->tag))
1320 h1 = IsList(append->tag) ? append->val.ptr : (pword *) 0;
1332 append->tag.kernel = MARK|TLIST;
1334 while (!Marked((h1+1)->tag))
1339 append->tag.kernel = MARK|TNIL;
1352 while(IsList(h2->tag))
1358 comp = ec_compare_terms(key_ptr1->val, key_ptr1->tag,
1359 key_ptr2->val, key_ptr2->tag);
1375 if(!IsNil(h2->tag))
1384 if (Marked(h1->tag))
1460 if (!IsNumber(key_ptr1->tag) || !IsNumber(key_ptr2->tag))
1462 err = IsRef(key_ptr1->tag) ? INSTANTIATION_FAULT : IsRef(key_ptr2->tag) ? INSTANTIATION_FAULT : TYPE_ERROR;
1466 err = arith_compare(key_ptr1->val, key_ptr1->tag,
1467 key_ptr2->val, key_ptr2->tag, &comp);
1476 comp = ec_compare_terms(key_ptr1->val, key_ptr1->tag,
1477 key_ptr2->val, key_ptr2->tag);
1489 if (!IsList(h1->tag))
1491 if (IsNil(h1->tag))
1496 err = IsRef(h1->tag) ? INSTANTIATION_FAULT : TYPE_ERROR;
1510 if (!IsList(h2->tag))
1512 if (IsNil(h2->tag))
1517 err = IsRef(h2->tag) ? INSTANTIATION_FAULT : TYPE_ERROR;
1533 if (!IsList(h1->tag))
1535 if (IsNil(h1->tag))
1540 err = IsRef(h1->tag) ? INSTANTIATION_FAULT : TYPE_ERROR;
1543 if (!IsList(h2->tag))
1545 if (IsNil(h2->tag))
1550 err = IsRef(h2->tag) ? INSTANTIATION_FAULT : TYPE_ERROR;
1563 Return_Unify_Pw(result.val, result.tag, v, t);