Lines Matching refs:union_map
150 obj = union_map(ctx=ctx, ptr=res)
5582 if not arg1.__class__ is union_map:
5583 arg1 = union_map(arg1)
5608 obj = union_map(ctx=ctx, ptr=res)
7705 class union_map(object):
7729 if not arg0.__class__ is union_map:
7730 arg0 = union_map(arg0)
7740 return 'isl.union_map("""%s""")' % s
7742 return 'isl.union_map("%s")' % s
7745 if not arg0.__class__ is union_map:
7746 arg0 = union_map(arg0)
7751 obj = union_map(ctx=ctx, ptr=res)
7755 if not arg0.__class__ is union_map:
7756 arg0 = union_map(arg0)
7760 if not arg1.__class__ is union_map:
7761 arg1 = union_map(arg1)
7766 obj = union_map(ctx=ctx, ptr=res)
7770 if not arg0.__class__ is union_map:
7771 arg0 = union_map(arg0)
7775 if not arg1.__class__ is union_map:
7776 arg1 = union_map(arg1)
7781 obj = union_map(ctx=ctx, ptr=res)
7785 if not arg0.__class__ is union_map:
7786 arg0 = union_map(arg0)
7795 if not arg0.__class__ is union_map:
7796 arg0 = union_map(arg0)
7805 if not arg0.__class__ is union_map:
7806 arg0 = union_map(arg0)
7815 if not arg0.__class__ is union_map:
7816 arg0 = union_map(arg0)
7830 if not arg0.__class__ is union_map:
7831 arg0 = union_map(arg0)
7836 obj = union_map(ctx=ctx, ptr=res)
7840 if not arg0.__class__ is union_map:
7841 arg0 = union_map(arg0)
7846 obj = union_map(ctx=ctx, ptr=res)
7850 if not arg0.__class__ is union_map:
7851 arg0 = union_map(arg0)
7856 obj = union_map(ctx=ctx, ptr=res)
7860 if not arg0.__class__ is union_map:
7861 arg0 = union_map(arg0)
7870 if not arg0.__class__ is union_map:
7871 arg0 = union_map(arg0)
7876 obj = union_map(ctx=ctx, ptr=res)
7880 if not arg0.__class__ is union_map:
7881 arg0 = union_map(arg0)
7890 if not arg0.__class__ is union_map:
7891 arg0 = union_map(arg0)
7896 obj = union_map(ctx=ctx, ptr=res)
7900 if not arg0.__class__ is union_map:
7901 arg0 = union_map(arg0)
7906 obj = union_map(ctx=ctx, ptr=res)
7910 if not arg0.__class__ is union_map:
7911 arg0 = union_map(arg0)
7916 obj = union_map(ctx=ctx, ptr=res)
7920 if not arg0.__class__ is union_map:
7921 arg0 = union_map(arg0)
7930 if not arg0.__class__ is union_map:
7931 arg0 = union_map(arg0)
7935 if not arg1.__class__ is union_map:
7936 arg1 = union_map(arg1)
7941 obj = union_map(ctx=ctx, ptr=res)
7945 if not arg0.__class__ is union_map:
7946 arg0 = union_map(arg0)
7951 obj = union_map(ctx=ctx, ptr=res)
7955 if not arg0.__class__ is union_map:
7956 arg0 = union_map(arg0)
7961 obj = union_map(ctx=ctx, ptr=res)
7968 obj = union_map(ctx=ctx, ptr=res)
7975 if not args[0].__class__ is union_map:
7976 args[0] = union_map(args[0])
7981 obj = union_map(ctx=ctx, ptr=res)
7986 if not arg0.__class__ is union_map:
7987 arg0 = union_map(arg0)
8010 if not arg0.__class__ is union_map:
8011 arg0 = union_map(arg0)
8025 if not arg0.__class__ is union_map:
8026 arg0 = union_map(arg0)
8031 obj = union_map(ctx=ctx, ptr=res)
8035 if not arg0.__class__ is union_map:
8036 arg0 = union_map(arg0)
8041 obj = union_map(ctx=ctx, ptr=res)
8047 if not args[0].__class__ is union_map:
8048 args[0] = union_map(args[0])
8058 obj = union_map(ctx=ctx, ptr=res)
8063 if not arg0.__class__ is union_map:
8064 arg0 = union_map(arg0)
8089 obj = union_map(ctx=ctx, ptr=res)
8094 obj = union_map(ctx=ctx, ptr=res)
8106 obj = union_map(ctx=ctx, ptr=res)
8122 obj = union_map(ctx=ctx, ptr=res)
8133 obj = union_map(ctx=ctx, ptr=res)
8137 if not arg0.__class__ is union_map:
8138 arg0 = union_map(arg0)
8142 if not arg1.__class__ is union_map:
8143 arg1 = union_map(arg1)
8148 obj = union_map(ctx=ctx, ptr=res)
8152 if not arg0.__class__ is union_map:
8153 arg0 = union_map(arg0)
8163 obj = union_map(ctx=ctx, ptr=res)
8167 if not arg0.__class__ is union_map:
8168 arg0 = union_map(arg0)
8178 obj = union_map(ctx=ctx, ptr=res)
8182 if not arg0.__class__ is union_map:
8183 arg0 = union_map(arg0)
8193 obj = union_map(ctx=ctx, ptr=res)
8197 if not arg0.__class__ is union_map:
8198 arg0 = union_map(arg0)
8202 if not arg1.__class__ is union_map:
8203 arg1 = union_map(arg1)
8208 obj = union_map(ctx=ctx, ptr=res)
8214 if not args[0].__class__ is union_map:
8215 args[0] = union_map(args[0])
8220 obj = union_map(ctx=ctx, ptr=res)
8225 if not args[0].__class__ is union_map:
8226 args[0] = union_map(args[0])
8231 obj = union_map(ctx=ctx, ptr=res)
8236 if not arg0.__class__ is union_map:
8237 arg0 = union_map(arg0)
8241 if not arg1.__class__ is union_map:
8242 arg1 = union_map(arg1)
8247 obj = union_map(ctx=ctx, ptr=res)
8251 if not arg0.__class__ is union_map:
8252 arg0 = union_map(arg0)
8256 if not arg1.__class__ is union_map:
8257 arg1 = union_map(arg1)
8262 obj = union_map(ctx=ctx, ptr=res)
8268 if not args[0].__class__ is union_map:
8269 args[0] = union_map(args[0])
8274 obj = union_map(ctx=ctx, ptr=res)
8279 if not arg0.__class__ is union_map:
8280 arg0 = union_map(arg0)
8290 obj = union_map(ctx=ctx, ptr=res)
8296 if not args[0].__class__ is union_map:
8297 args[0] = union_map(args[0])
8302 obj = union_map(ctx=ctx, ptr=res)
8307 if not args[0].__class__ is union_map:
8308 args[0] = union_map(args[0])
8313 obj = union_map(ctx=ctx, ptr=res)
8318 if not arg0.__class__ is union_map:
8319 arg0 = union_map(arg0)
8323 if not arg1.__class__ is union_map:
8324 arg1 = union_map(arg1)
8329 obj = union_map(ctx=ctx, ptr=res)
8333 if not arg0.__class__ is union_map:
8334 arg0 = union_map(arg0)
8338 if not arg1.__class__ is union_map:
8339 arg1 = union_map(arg1)
8344 obj = union_map(ctx=ctx, ptr=res)
8350 if not args[0].__class__ is union_map:
8351 args[0] = union_map(args[0])
8356 obj = union_map(ctx=ctx, ptr=res)
8361 if not arg0.__class__ is union_map:
8362 arg0 = union_map(arg0)
8372 if not arg0.__class__ is union_map:
8373 arg0 = union_map(arg0)
8377 if not arg1.__class__ is union_map:
8378 arg1 = union_map(arg1)
8388 if not arg0.__class__ is union_map:
8389 arg0 = union_map(arg0)
8399 if not arg0.__class__ is union_map:
8400 arg0 = union_map(arg0)
8404 if not arg1.__class__ is union_map:
8405 arg1 = union_map(arg1)
8415 if not arg0.__class__ is union_map:
8416 arg0 = union_map(arg0)
8426 if not arg0.__class__ is union_map:
8427 arg0 = union_map(arg0)
8437 if not arg0.__class__ is union_map:
8438 arg0 = union_map(arg0)
8442 if not arg1.__class__ is union_map:
8443 arg1 = union_map(arg1)
8453 if not arg0.__class__ is union_map:
8454 arg0 = union_map(arg0)
8458 if not arg1.__class__ is union_map:
8459 arg1 = union_map(arg1)
8469 if not arg0.__class__ is union_map:
8470 arg0 = union_map(arg0)
8480 if not arg0.__class__ is union_map:
8481 arg0 = union_map(arg0)
8486 obj = union_map(ctx=ctx, ptr=res)
8490 if not arg0.__class__ is union_map:
8491 arg0 = union_map(arg0)
8496 obj = union_map(ctx=ctx, ptr=res)
8500 if not arg0.__class__ is union_map:
8501 arg0 = union_map(arg0)
8512 if not arg0.__class__ is union_map:
8513 arg0 = union_map(arg0)
8522 if not arg0.__class__ is union_map:
8523 arg0 = union_map(arg0)
8528 obj = union_map(ctx=ctx, ptr=res)
8534 if not args[0].__class__ is union_map:
8535 args[0] = union_map(args[0])
8540 obj = union_map(ctx=ctx, ptr=res)
8545 if not args[0].__class__ is union_map:
8546 args[0] = union_map(args[0])
8551 obj = union_map(ctx=ctx, ptr=res)
8556 if not args[0].__class__ is union_map:
8557 args[0] = union_map(args[0])
8562 obj = union_map(ctx=ctx, ptr=res)
8567 if not args[0].__class__ is union_map:
8568 args[0] = union_map(args[0])
8573 obj = union_map(ctx=ctx, ptr=res)
8580 if not args[0].__class__ is union_map:
8581 args[0] = union_map(args[0])
8586 obj = union_map(ctx=ctx, ptr=res)
8591 if not args[0].__class__ is union_map:
8592 args[0] = union_map(args[0])
8597 obj = union_map(ctx=ctx, ptr=res)
8602 if not args[0].__class__ is union_map:
8603 args[0] = union_map(args[0])
8608 obj = union_map(ctx=ctx, ptr=res)
8613 if not arg0.__class__ is union_map:
8614 arg0 = union_map(arg0)
8618 if not arg1.__class__ is union_map:
8619 arg1 = union_map(arg1)
8624 obj = union_map(ctx=ctx, ptr=res)
8628 if not arg0.__class__ is union_map:
8629 arg0 = union_map(arg0)
8634 obj = union_map(ctx=ctx, ptr=res)
8640 if not args[0].__class__ is union_map:
8641 args[0] = union_map(args[0])
8651 obj = union_map(ctx=ctx, ptr=res)
8656 if not args[0].__class__ is union_map:
8657 args[0] = union_map(args[0])
8662 obj = union_map(ctx=ctx, ptr=res)
8667 if not arg0.__class__ is union_map:
8668 arg0 = union_map(arg0)
8677 if not arg0.__class__ is union_map:
8678 arg0 = union_map(arg0)
8683 obj = union_map(ctx=ctx, ptr=res)
8687 if not arg0.__class__ is union_map:
8688 arg0 = union_map(arg0)
8693 obj = union_map(ctx=ctx, ptr=res)
8697 if not arg0.__class__ is union_map:
8698 arg0 = union_map(arg0)
8703 obj = union_map(ctx=ctx, ptr=res)
8707 if not arg0.__class__ is union_map:
8708 arg0 = union_map(arg0)
8712 if not arg1.__class__ is union_map:
8713 arg1 = union_map(arg1)
8718 obj = union_map(ctx=ctx, ptr=res)
8722 if not arg0.__class__ is union_map:
8723 arg0 = union_map(arg0)
8728 obj = union_map(ctx=ctx, ptr=res)
8732 if not arg0.__class__ is union_map:
8733 arg0 = union_map(arg0)
8738 obj = union_map(ctx=ctx, ptr=res)
8742 if not arg0.__class__ is union_map:
8743 arg0 = union_map(arg0)
8754 if not arg0.__class__ is union_map:
8755 arg0 = union_map(arg0)
8759 if not arg1.__class__ is union_map:
8760 arg1 = union_map(arg1)
8765 obj = union_map(ctx=ctx, ptr=res)
8769 if not arg0.__class__ is union_map:
8770 arg0 = union_map(arg0)
8780 obj = union_map(ctx=ctx, ptr=res)
8784 if not arg0.__class__ is union_map:
8785 arg0 = union_map(arg0)
8795 obj = union_map(ctx=ctx, ptr=res)
8799 if not arg0.__class__ is union_map:
8800 arg0 = union_map(arg0)
8805 obj = union_map(ctx=ctx, ptr=res)
8809 if not arg0.__class__ is union_map:
8810 arg0 = union_map(arg0)
8814 if not arg1.__class__ is union_map:
8815 arg1 = union_map(arg1)
8820 obj = union_map(ctx=ctx, ptr=res)
8824 if not arg0.__class__ is union_map:
8825 arg0 = union_map(arg0)
8830 obj = union_map(ctx=ctx, ptr=res)
8834 if not arg0.__class__ is union_map:
8835 arg0 = union_map(arg0)
8844 if not arg0.__class__ is union_map:
8845 arg0 = union_map(arg0)
8850 obj = union_map
9035 class map(union_map):
9089 return union_map(arg0).apply_domain(arg1)
9104 return union_map(arg0).apply_range(arg1)
9129 return union_map(arg0).bind_domain(arg1)
9144 return union_map(arg0).bind_range(arg1)
9239 return union_map(arg0).domain_product(arg1)
9412 return union_map(arg0).gist(arg1)
9427 return union_map(arg0).gist_domain(arg1)
9442 return union_map(arg0).gist_params(arg1)
9479 return union_map(arg0).intersect(arg1)
9494 return union_map(arg0).intersect_domain(arg1)
9509 return union_map(arg0).intersect_domain_factor_domain(arg1)
9524 return union_map(arg0).intersect_domain_factor_range(arg1)
9539 return union_map(arg0).intersect_domain_wrapped_domain(arg1)
9554 return union_map(arg0).intersect_params(arg1)
9569 return union_map(arg0).intersect_range(arg1)
9584 return union_map(arg0).intersect_range_factor_domain(arg1)
9599 return union_map(arg0).intersect_range_factor_range(arg1)
9614 return union_map(arg0).intersect_range_wrapped_domain(arg1)
9640 return union_map(arg0).is_disjoint(arg1)
9667 return union_map(arg0).is_equal(arg1)
9705 return union_map(arg0).is_strict_subset(arg1)
9721 return union_map(arg0).is_subset(arg1)
9952 return union_map(arg0).product(arg1)
10048 return union_map(arg0).range_product(arg1)
10176 return union_map(arg0).subtract(arg1)
10199 obj = union_map(ctx=ctx, ptr=res)
10221 return union_map(arg0).union(arg1)
10858 if not arg1.__class__ is union_map:
10859 arg1 = union_map(arg1)
11047 obj = union_map(ctx=ctx, ptr=res)
11342 obj = union_map(ctx=ctx, ptr=res)
14824 obj = union_map(ctx=ctx, ptr=res)
14911 obj = union_map(ctx=ctx, ptr=res)
14933 obj = union_map(ctx=ctx, ptr=res)
14945 obj = union_map(ctx=ctx, ptr=res)
14992 obj = union_map(ctx=ctx, ptr=res)
15003 if not arg1.__class__ is union_map:
15004 arg1 = union_map(arg1)
15018 if not arg1.__class__ is union_map:
15019 arg1 = union_map(arg1)
15023 if not arg2.__class__ is union_map:
15024 arg2 = union_map(arg2)
15053 if not arg1.__class__ is union_map:
15054 arg1 = union_map(arg1)
15068 if not arg1.__class__ is union_map:
15069 arg1 = union_map(arg1)
15084 obj = union_map(ctx=ctx, ptr=res)
15368 if not arg0.__class__ is union_map:
15369 arg0 = union_map(arg0)
15686 obj = union_map(ctx=ctx, ptr=res)
16282 obj = union_map(ctx=ctx, ptr=res)
16334 obj = union_map(ctx=ctx, ptr=res)
17537 if len(args) == 1 and args[0].__class__ is union_map:
17578 if not arg1.__class__ is union_map:
17579 arg1 = union_map(arg1)
17593 if not arg1.__class__ is union_map:
17594 arg1 = union_map(arg1)
17608 if not arg1.__class__ is union_map:
17609 arg1 = union_map(arg1)
17638 if not arg1.__class__ is union_map:
17639 arg1 = union_map(arg1)
17702 obj = union_map(ctx=ctx, ptr=res)
17714 obj = union_map(ctx=ctx, ptr=res)
17726 obj = union_map(ctx=ctx, ptr=res)
17738 obj = union_map(ctx=ctx, ptr=res)
17750 obj = union_map(ctx=ctx, ptr=res)
17762 obj = union_map(ctx=ctx, ptr=res)
Indexes created Wed Mar 04 05:31:52 UTC 2026