Lines Matching refs:t2
73 static int p_termless(value v1, type t1, value v2, type t2),
74 p_termlesseq(value v1, type t1, value v2, type t2),
75 p_termgreater(value v1, type t1, value v2, type t2),
76 p_termgreatereq(value v1, type t1, value v2, type t2),
77 p_unify(value v1, type t1, value v2, type t2, value vl, type tl),
82 p_compare_instances4(value vr, type tr, value v1, type t1, value v2, type t2, value vl, type tl),
83 p_merge5(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2, value v, type t),
84 p_number_merge5(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2, value v, type t),
85 p_sort4(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2),
86 p_array_sort(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2),
87 p_number_sort4(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2);
89 static int _instance(int rel, value v1, type t1, value v2, type t2, pword *meta);
130 p_termless(value v1, type t1, value v2, type t2)
132 Succeed_If(ec_compare_terms(v1, t1, v2, t2) < 0);
139 p_termlesseq(value v1, type t1, value v2, type t2)
141 Succeed_If(ec_compare_terms(v1, t1, v2, t2) <= 0);
148 p_termgreater(value v1, type t1, value v2, type t2)
150 Succeed_If(ec_compare_terms(v1, t1, v2, t2) > 0);
157 p_termgreatereq(value v1, type t1, value v2, type t2)
159 Succeed_If(ec_compare_terms(v1, t1, v2, t2) >= 0);
169 p_unify(value v1, type t1, value v2, type t2, value vl, type tl)
174 res = ec_unify_(v1, t1, v2, t2, &list);
211 ec_compare_terms(value v1, type t1, value v2, type t2)
220 return IsRef(t2) ? v1.ptr - v2.ptr : LESS;
222 else if (IsRef(t2))
226 else if (res = tag_desc[TagType(t1)].order - tag_desc[TagType(t2)].order)
237 if (IsTag(t2.kernel,TINT)) /* TINT x TINT */
246 (void) arith_compare(v1, t1, v2, t2, &res);
253 return IsNil(t2) ? EQUAL :
257 return IsNil(t2) ? strcmp(DidName(v1.did), DidName(d_.nil)) :
261 if (IsList(t2))
279 if (IsList(t2))
321 t2.all = arg2->tag.all;
487 value v2, type t2,
499 code = _instance(ANY_INST, v1, t1, v2, t2, &list);
515 if (!_instance(EQ,v1,t1,v2,t2, &list))
520 code = _instance(EQ|LT,v1,t1,v2,t2, &list);
525 code = _instance(EQ|GT,v1,t1,v2,t2, &list);
588 value v2, type t2,
596 if (IsMeta(t1) || IsMeta(t2)) /* make list of meta pairs */
604 arg1[1].tag.kernel = IsTag(t2.kernel, TVARNUM) ? TREF : t2.kernel;
613 if (IsRef(t2)) /* var - var */
618 if (IsVar(t2)) Trail_(v2.ptr) else Trail_Tag(v2.ptr);
631 _instantiate(v2, t2);
640 v1.ptr->tag.all = t2.all;
644 else if (IsRef(t2)) /* nonvar - var */
650 if (IsVar(t2)) Trail_(v2.ptr) else Trail_Tag(v2.ptr);
654 /* t2 is now trailed, bind it */
661 if (IsTag(t2.kernel, TVARNUM) && v1.ptr == v2.ptr)
665 if (OccurCheckEnabled() && ec_occurs(v1, t1, v2, t2))
669 v1.ptr->tag.all = t2.all;
672 else if (IsTag(t2.kernel, TVARNUM))
674 if (OccurCheckEnabled() && ec_occurs(v2, t2, v1, t1))
676 /* t2 is already trailed */
685 if (!IsTag(t2.kernel, TLIST))
691 if (!IsTag(t2.kernel, TCOMP) || v1.ptr->val.did != v2.ptr->val.did)
699 return (IsString(t2) && !compare_strings(v1, v2)) ? rel : 0;
708 return (SameType(t1, t2) && SimpleEq(t1.kernel, v1, v2)) ? rel : 0;
713 if (SameType(t1, t2) &&
746 t2.all = arg2->tag.all;
830 * v2,t2 list, nil or variable (the sorted list)
873 p_sort4(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2)
878 Check_Output_List(t2); /* type checks */
890 Return_Unify_Nil(v2, t2)
896 Return_Unify_List(v2, t2, list);
907 * v2,t2 list, nil or variable (the sorted list)
922 p_number_sort4(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2)
928 Check_Output_List(t2); /* type checks */
955 Return_Unify_Nil(v2, t2)
961 Return_Unify_List(v2, t2, list);
977 p_array_sort(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2)
997 Return_Unify_Pw(v2, t2, v1, t1); /* nothing to sort */
1032 Return_Unify_Structure(v2, t2, arr);
1403 * v2,t2 a list or nil (input list)
1417 value v1, type t1, value v2, type t2, value v, type t,
1427 Check_List(t2);
1436 Return_Unify_Pw(v2, t2, v, t);
1438 else if (IsNil(t2))
1572 p_merge5(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2, value v, type t)
1576 return _merge(vk, tk, v1, t1, v2, t2, v, t, reverse, keep_duplicates, number_sort);
1581 p_number_merge5(value vk, type tk, value vo, type to, value v1, type t1, value v2, type t2, value v, type t)
1600 return _merge(vk, tk, v1, t1, v2, t2, v, t, reverse, keep_duplicates, TRUE);