Lines Matching refs:tag
113 p_prune_woken_goals(value val, type tag),
280 res = p_schedule_woken(d->val, d->tag);
288 res = p_schedule_woken(d->val, d->tag);
290 res = p_schedule_postponed(d->val, d->tag);
299 res = p_schedule_woken(d->val, d->tag);
301 res = p_schedule_postponed(d->val, d->tag);
330 if (IsInteger(p->tag)) {
345 Bind_Var(var->val, var->tag, n, TINT)
355 Bind_Var(var->val, var->tag, n, TINT)
363 Bind_Var(var->val, var->tag, n1, TINT)
378 Bind_Var(var->val, var->tag, n1, TINT)
388 Bind_Var(var->val, var->tag, n, TINT)
396 Bind_Var(var->val, var->tag, n, TINT)
449 if (IsStructure(s->tag)) {
453 if (!IsInteger(t->tag)) {
459 l1->tag.kernel = TLIST;
461 l2->tag.kernel = TLIST;
468 (l1++)->tag.kernel = TREF;
469 l2->tag.kernel = TINT;
477 if (!IsList(p->tag))
481 l1->tag.kernel = TNIL;
482 l2->tag.kernel = TNIL;
483 Return_Unify_Pw(unif1->val, unif1->tag, unif2->val, unif2->tag)
535 if (IsInteger(s->tag)) {
547 if (IsInteger(s->tag)) {
568 if (!IsMeta(s->tag)) {
574 if (!IsStructure(s->tag)) {
575 Bind_Var(vres, tres, IsRef(s->tag) ? RES_EVAL : RES_ERROR, TINT)
603 last->tag.kernel = TLIST;
611 if (!IsList(p->tag))
619 last->tag.kernel = TNIL;
637 p[0].tag.kernel = TINT;
639 p[1].tag.kernel = TLIST;
652 p[0].tag.kernel = TINT;
654 p[1].tag.kernel = TLIST;
685 p[0].tag.kernel = TINT;
687 p[1].tag.kernel = TLIST;
721 if (IsInteger(s->tag))
723 else if (!IsFdInterval(s->val, s->tag))
734 while (IsList(p->tag))
739 if (IsInteger(s->tag))
741 else if (IsFdInterval(s->val, s->tag)){
749 if (!IsInteger(s->tag))
772 if (!IsInteger(s->tag)) {
778 if (!IsInteger(s->tag)) {
794 if (!IsList(p->tag))
1220 if (IsInteger(s->tag)) {
1229 if (IsInteger(s->tag))
1231 else if (!IsMeta(s->tag)) {
1236 if (!IsStructure(r->tag)) {
1237 Bind_Var(vres, tres, IsRef(r->tag) ? RES_EVAL : RES_ERROR, TINT)
1253 if (!IsList(p->tag))
1316 Bind_Var(vnewv, tnewv, p->val.nint, p->tag.all)
1329 dom[1].tag.kernel = TLIST;
1331 dom[3].tag.kernel = tv.kernel;
1332 dom[4].tag.kernel = TNIL;
1351 while (IsList(p->tag))
1356 if (IsInteger(s->tag))
1373 !dom_check_in(argp->val.nint, argp->tag, v)))
1391 lastit = argp->tag.kernel;
1400 newv->tag.kernel = TLIST;
1405 newv++->tag.kernel = argp->tag.kernel;
1409 lastt = argp->tag.kernel;
1421 newv->tag.kernel = TNIL;
1423 newi->tag.kernel = TNIL;
1438 Bind_Var(vnewv, tnewv, p->val.nint, p->tag.all)
1443 Bind_Var(vnewi, tnewi, ilist->val.all, ilist->tag.all)
1463 key.tag.kernel = TINT;
1464 sorted.val.ptr = ec_keysort(v1, key.val, key.tag, 0, 0, 0, &err);
1465 sorted.tag.kernel = TLIST;
1477 Bind_Var(vnewv, tnewv, vints->val.all, vints->tag.all)
1490 dom_check_in(word e, type tag, register pword *p)
1500 if (IsInteger(tag))
1502 while (IsList(p->tag))
1507 if (!IsFdInterval(s->val, s->tag)) {
1508 if (IsInteger(s->tag)) {
1514 res = ec_compare_terms(s->val, s->tag, v1, tag);
1535 while (IsList(p->tag))
1540 if (!IsFdInterval(s->val, s->tag)) {
1541 res = ec_compare_terms(s->val, s->tag, v1, tag);
1557 newi->tag.kernel = TLIST;
1563 newi++->tag.kernel = TINT;
1566 newi++->tag.kernel = TINT;
1568 newi->tag.kernel = TLIST;
1573 newi++->tag.kernel = TINT;
1580 newi++->tag.kernel = TCOMP;
1582 p[0].tag.kernel = TDICT;
1584 p[1].tag.kernel = TINT;
1586 p[2].tag.kernel = TINT;
1608 if (IsNil(d1->tag) || IsNil(d2->tag)) {
1619 p[0].tag.all = TDICT;
1621 p[1].tag.all = d1->tag.all;
1623 p[2].tag.all = TINT;
1653 if (IsInteger(s1->tag)) {
1656 } else if (!IsFdInterval(s1->val, s1->tag)) {
1657 tag1 = s1->tag.kernel;
1670 if (IsInteger(s2->tag)) {
1673 } else if (!IsFdInterval(s2->val, s2->tag)) {
1674 tag2 = s2->tag.kernel;
1714 res = ec_compare_terms(s1->val, s1->tag, s2->val, s2->tag);
1722 p->tag.kernel = TLIST;
1727 p++->tag.kernel = s1->tag.kernel;
1733 if (IsNil(d1->tag))
1738 if (IsInteger(s1->tag)) {
1741 } else if (!IsFdInterval(s1->val, s1->tag)) {
1742 tag1 = s1->tag.kernel;
1755 if (IsNil(d2->tag))
1760 if (IsInteger(s2->tag)) {
1763 } else if (!IsFdInterval(s2->val, s2->tag)) {
1764 tag2 = s2->tag.kernel;
1780 p->tag.all = TNIL;
1809 if (IsNil(d1->tag)) {
1810 if (IsNil(d2->tag)) {
1815 } else if (IsNil(d2->tag)) {
1821 if (!IsFdInterval(s1->val, s1->tag)) {
1822 tag1 = s1->tag.kernel;
1836 if (!IsFdInterval(s2->val, s2->tag)) {
1837 tag2 = s2->tag.kernel;
1880 comp = ec_compare_terms(s1->val, s1->tag, s2->val, s2->tag);
1915 if (IsNil(d1->tag))
1921 if (IsInteger(s1->tag)) {
1924 } else if (!IsFdInterval(s1->val, s1->tag)) {
1925 tag1 = s1->tag.kernel;
1939 if (IsNil(d2->tag))
1945 if (IsInteger(s2->tag)) {
1948 } else if (!IsFdInterval(s2->val, s2->tag)) {
1949 tag2 = s2->tag.kernel;
2004 if (IsNil(d1->tag)) {
2005 if (IsNil(d2->tag)) {
2016 if (!IsFdInterval(s1->val, s1->tag)) {
2017 tag1 = s1->tag.kernel;
2030 if (IsNil(d2->tag)) {
2038 if (!IsFdInterval(s2->val, s2->tag)) {
2039 tag2 = s2->tag.kernel;
2063 res = ec_compare_terms(s1->val, s1->tag, s2->val, s2->tag);
2096 p->tag.kernel = TLIST;
2102 p++->tag.kernel = s1->tag.kernel;
2107 if (!(next & DOM_2) && (can_leave || IsNil(d1->tag))) {
2111 if (IsNil(d1->tag)) {
2117 if (IsInteger(s1->tag)) {
2120 } else if (!IsFdInterval(s1->val, s1->tag)) {
2121 tag1 = s1->tag.kernel;
2161 p->tag.kernel = TLIST;
2167 p++->tag.kernel = s2->tag.kernel;
2173 if (!(next & DOM_1) && (can_leave || IsNil(d2->tag))) {
2178 if (IsNil(d2->tag)) {
2185 if (IsInteger(s2->tag)) {
2188 } else if (!IsFdInterval(s2->val, s2->tag)) {
2189 tag2 = s2->tag.kernel;
2213 p[0].tag.all = TDICT;
2215 p[1].tag.all = TLIST;
2217 p[2].tag.all = TINT;
2253 if (IsNil(d1->tag)) {
2256 else if (IsNil(d2->tag)) {
2270 if (IsInteger(s1->tag)) {
2275 } else if (!IsFdInterval(s1->val, s1->tag)) {
2276 tag1 = s1->tag.kernel;
2292 if (!IsFdInterval(s2->val, s2->tag)) {
2293 tag2 = s2->tag.kernel;
2322 res = ec_compare_terms(s1->val, s1->tag, s2->val, s2->tag);
2324 if (res < 0 || res > 0 && IsNil(d2->tag)) {
2331 p->tag.kernel = TLIST;
2336 p++->tag.kernel = s1->tag.kernel;
2343 if (IsNil(d2->tag)) {
2350 if (IsInteger(s2->tag)) {
2353 } else if (!IsFdInterval(s2->val, s2->tag)) {
2354 tag2 = s2->tag.kernel;
2367 if (IsNil(d1->tag))
2372 if (IsInteger(s1->tag)) {
2377 } else if (!IsFdInterval(s1->val, s1->tag)) {
2378 tag1 = s1->tag.kernel;
2406 p[0].tag.all = TDICT;
2408 p[1].tag.all = TLIST;
2410 p[2].tag.all = TINT;
2492 while (IsList(p->tag))
2497 if (IsInteger(s->tag)) {
2499 r->tag.kernel = TLIST;
2505 r++->tag.kernel = TINT;
2510 } else if (!IsFdInterval(s->val, s->tag))
2520 r->tag.kernel = TLIST;
2539 r->tag.kernel = TNIL;
2541 (void) ec_assign(dom + 1, newd->val, newd->tag);
2565 while (IsList(p->tag))
2570 if (IsInteger(s->tag)) {
2576 } else if (!IsFdInterval(s->val, s->tag))
2635 _remove_element(pword *var, word el, word tag)
2642 res = dom_remove_element(v, el, tag, &inst);
2652 Bind_Var(var->val, var->tag, inst.val.all, inst.tag.kernel)
2695 dom_remove_element(register pword *p, register word el, word tag, pword *inst)
2720 t0.kernel = tag;
2721 while (IsList(p->tag))
2726 if (!IsFdInterval(s->val, s->tag)) {
2727 if (IsInteger(s->tag) && IsTag(tag, TINT)) {
2735 comp = ec_compare_terms(s->val, s->tag, v0, t0);
2741 if (!IsList(p->tag))
2752 r->tag.kernel = TLIST;
2759 r++->tag.kernel = s->tag.kernel;
2767 if (IsTag(tag, TINT)) {
2777 r->tag.kernel = TLIST;
2818 if (res == RES_MAX && !IsNil(p->tag))
2820 (void) ec_assign(dom + 1, newd->val, newd->tag);
2866 if (IsInteger(p->tag))
2896 Bind_Var(var->val, var->tag, val, TINT);
2905 res = p_schedule_woken(p->val, p->tag);
2911 res = p_schedule_woken(p->val, p->tag);
2917 res = p_schedule_woken(p->val, p->tag);
2940 p_prune_woken_goals(value val, type tag) /* must be dereferenced */
2948 if (IsList(tag))
2950 else if (IsStructure(tag))
2955 else if IsMeta(tag) {
2958 if (!IsStructure(arg->tag))
2962 if (!IsStructure(arg->tag))
2980 res = p_prune_woken_goals(arg->val, arg->tag);
2986 tag.all = arg->tag.all;
3010 if (IsInteger(el->tag))
3012 else if (!IsFdInterval(el->val, el->tag)) {
3018 Check_Integer(t->tag);
3020 Check_Integer(s->tag);
3036 ints->tag.kernel = TNIL;
3042 if (IsList(l->tag)) {
3046 if (IsInteger(el->tag)) {
3058 else if (!IsFdInterval(el->val, el->tag)) {
3064 Check_Integer(t->tag);
3066 Check_Integer(s->tag);
3088 else if (IsNil(l->tag))
3091 Check_List(l->tag)
3096 p->tag.kernel = TNIL;
3103 p[0].tag.kernel = TDICT;
3105 p[1].tag.kernel = ints->tag.kernel;
3107 p[2].tag.kernel = TINT;
3136 result->tag = t1;
3144 comp = ec_compare_terms(head1->val, head1->tag, head2->val, head2->tag);
3147 p = l1.ptr + 1; Dereference_(p); l1 = p->val; t1 = p->tag;
3148 p = l2.ptr + 1; Dereference_(p); l2 = p->val; t2 = p->tag;
3150 p = l2.ptr + 1; Dereference_(p); l2 = p->val; t2 = p->tag;
3156 p = l1.ptr + 1; Dereference_(p); l1 = p->val; t1 = p->tag;
3159 Return_Unify_Pw(l3, t3, result_pw.val, result_pw.tag);