Lines Matching refs:arg0
78 def __str__(arg0): argument
80 if not arg0.__class__ is union_pw_multi_aff:
81 arg0 = union_pw_multi_aff(arg0)
84 ptr = isl.isl_union_pw_multi_aff_to_str(arg0.ptr)
94 def add(arg0, arg1): argument
96 if not arg0.__class__ is union_pw_multi_aff:
97 arg0 = union_pw_multi_aff(arg0)
105 ctx = arg0.ctx
106 …res = isl.isl_union_pw_multi_aff_add(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl.isl_union_pw_m…
122 def as_multi_union_pw_aff(arg0): argument
124 if not arg0.__class__ is union_pw_multi_aff:
125 arg0 = union_pw_multi_aff(arg0)
128 ctx = arg0.ctx
129 … res = isl.isl_union_pw_multi_aff_as_multi_union_pw_aff(isl.isl_union_pw_multi_aff_copy(arg0.ptr))
132 def as_pw_multi_aff(arg0): argument
134 if not arg0.__class__ is union_pw_multi_aff:
135 arg0 = union_pw_multi_aff(arg0)
138 ctx = arg0.ctx
139 res = isl.isl_union_pw_multi_aff_as_pw_multi_aff(isl.isl_union_pw_multi_aff_copy(arg0.ptr))
142 def as_union_map(arg0): argument
144 if not arg0.__class__ is union_pw_multi_aff:
145 arg0 = union_pw_multi_aff(arg0)
148 ctx = arg0.ctx
149 res = isl.isl_union_pw_multi_aff_as_union_map(isl.isl_union_pw_multi_aff_copy(arg0.ptr))
152 def coalesce(arg0): argument
154 if not arg0.__class__ is union_pw_multi_aff:
155 arg0 = union_pw_multi_aff(arg0)
158 ctx = arg0.ctx
159 res = isl.isl_union_pw_multi_aff_coalesce(isl.isl_union_pw_multi_aff_copy(arg0.ptr))
162 def domain(arg0): argument
164 if not arg0.__class__ is union_pw_multi_aff:
165 arg0 = union_pw_multi_aff(arg0)
168 ctx = arg0.ctx
169 res = isl.isl_union_pw_multi_aff_domain(isl.isl_union_pw_multi_aff_copy(arg0.ptr))
172 def drop_unused_params(arg0): argument
174 if not arg0.__class__ is union_pw_multi_aff:
175 arg0 = union_pw_multi_aff(arg0)
178 ctx = arg0.ctx
179 … res = isl.isl_union_pw_multi_aff_drop_unused_params(isl.isl_union_pw_multi_aff_copy(arg0.ptr))
190 def extract_pw_multi_aff(arg0, arg1): argument
192 if not arg0.__class__ is union_pw_multi_aff:
193 arg0 = union_pw_multi_aff(arg0)
201 ctx = arg0.ctx
202 … res = isl.isl_union_pw_multi_aff_extract_pw_multi_aff(arg0.ptr, isl.isl_space_copy(arg1.ptr))
205 def flat_range_product(arg0, arg1): argument
207 if not arg0.__class__ is union_pw_multi_aff:
208 arg0 = union_pw_multi_aff(arg0)
216 ctx = arg0.ctx
217 …res = isl.isl_union_pw_multi_aff_flat_range_product(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl…
220 def gist(arg0, arg1): argument
222 if not arg0.__class__ is union_pw_multi_aff:
223 arg0 = union_pw_multi_aff(arg0)
231 ctx = arg0.ctx
232 …res = isl.isl_union_pw_multi_aff_gist(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl.isl_union_set…
259 def intersect_domain_wrapped_domain(arg0, arg1): argument
261 if not arg0.__class__ is union_pw_multi_aff:
262 arg0 = union_pw_multi_aff(arg0)
270 ctx = arg0.ctx
271 …multi_aff_intersect_domain_wrapped_domain(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl.isl_union…
274 def intersect_domain_wrapped_range(arg0, arg1): argument
276 if not arg0.__class__ is union_pw_multi_aff:
277 arg0 = union_pw_multi_aff(arg0)
285 ctx = arg0.ctx
286 …_multi_aff_intersect_domain_wrapped_range(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl.isl_union…
289 def intersect_params(arg0, arg1): argument
291 if not arg0.__class__ is union_pw_multi_aff:
292 arg0 = union_pw_multi_aff(arg0)
300 ctx = arg0.ctx
301 …res = isl.isl_union_pw_multi_aff_intersect_params(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl.i…
304 def involves_locals(arg0): argument
306 if not arg0.__class__ is union_pw_multi_aff:
307 arg0 = union_pw_multi_aff(arg0)
310 ctx = arg0.ctx
311 res = isl.isl_union_pw_multi_aff_involves_locals(arg0.ptr)
315 def isa_pw_multi_aff(arg0): argument
317 if not arg0.__class__ is union_pw_multi_aff:
318 arg0 = union_pw_multi_aff(arg0)
321 ctx = arg0.ctx
322 res = isl.isl_union_pw_multi_aff_isa_pw_multi_aff(arg0.ptr)
326 def plain_is_empty(arg0): argument
328 if not arg0.__class__ is union_pw_multi_aff:
329 arg0 = union_pw_multi_aff(arg0)
332 ctx = arg0.ctx
333 res = isl.isl_union_pw_multi_aff_plain_is_empty(arg0.ptr)
337 def plain_is_equal(arg0, arg1): argument
339 if not arg0.__class__ is union_pw_multi_aff:
340 arg0 = union_pw_multi_aff(arg0)
348 ctx = arg0.ctx
349 res = isl.isl_union_pw_multi_aff_plain_is_equal(arg0.ptr, arg1.ptr)
379 def pw_multi_aff_list(arg0): argument
381 if not arg0.__class__ is union_pw_multi_aff:
382 arg0 = union_pw_multi_aff(arg0)
385 ctx = arg0.ctx
386 res = isl.isl_union_pw_multi_aff_get_pw_multi_aff_list(arg0.ptr)
389 def get_pw_multi_aff_list(arg0): argument
390 return arg0.pw_multi_aff_list()
391 def range_factor_domain(arg0): argument
393 if not arg0.__class__ is union_pw_multi_aff:
394 arg0 = union_pw_multi_aff(arg0)
397 ctx = arg0.ctx
398 … res = isl.isl_union_pw_multi_aff_range_factor_domain(isl.isl_union_pw_multi_aff_copy(arg0.ptr))
401 def range_factor_range(arg0): argument
403 if not arg0.__class__ is union_pw_multi_aff:
404 arg0 = union_pw_multi_aff(arg0)
407 ctx = arg0.ctx
408 … res = isl.isl_union_pw_multi_aff_range_factor_range(isl.isl_union_pw_multi_aff_copy(arg0.ptr))
411 def range_product(arg0, arg1): argument
413 if not arg0.__class__ is union_pw_multi_aff:
414 arg0 = union_pw_multi_aff(arg0)
422 ctx = arg0.ctx
423 …res = isl.isl_union_pw_multi_aff_range_product(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl.isl_…
426 def space(arg0): argument
428 if not arg0.__class__ is union_pw_multi_aff:
429 arg0 = union_pw_multi_aff(arg0)
432 ctx = arg0.ctx
433 res = isl.isl_union_pw_multi_aff_get_space(arg0.ptr)
436 def get_space(arg0): argument
437 return arg0.space()
438 def sub(arg0, arg1): argument
440 if not arg0.__class__ is union_pw_multi_aff:
441 arg0 = union_pw_multi_aff(arg0)
449 ctx = arg0.ctx
450 …res = isl.isl_union_pw_multi_aff_sub(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl.isl_union_pw_m…
477 def union_add(arg0, arg1): argument
479 if not arg0.__class__ is union_pw_multi_aff:
480 arg0 = union_pw_multi_aff(arg0)
488 ctx = arg0.ctx
489 …res = isl.isl_union_pw_multi_aff_union_add(isl.isl_union_pw_multi_aff_copy(arg0.ptr), isl.isl_unio…
594 def __str__(arg0): argument
596 if not arg0.__class__ is multi_union_pw_aff:
597 arg0 = multi_union_pw_aff(arg0)
600 ptr = isl.isl_multi_union_pw_aff_to_str(arg0.ptr)
610 def add(arg0, arg1): argument
612 if not arg0.__class__ is multi_union_pw_aff:
613 arg0 = multi_union_pw_aff(arg0)
621 ctx = arg0.ctx
622 …res = isl.isl_multi_union_pw_aff_add(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.isl_multi_unio…
625 def at(arg0, arg1): argument
627 if not arg0.__class__ is multi_union_pw_aff:
628 arg0 = multi_union_pw_aff(arg0)
631 ctx = arg0.ctx
632 res = isl.isl_multi_union_pw_aff_get_at(arg0.ptr, arg1)
635 def get_at(arg0, arg1): argument
636 return arg0.at(arg1)
637 def bind(arg0, arg1): argument
639 if not arg0.__class__ is multi_union_pw_aff:
640 arg0 = multi_union_pw_aff(arg0)
648 ctx = arg0.ctx
649 …res = isl.isl_multi_union_pw_aff_bind(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.isl_multi_id_…
652 def coalesce(arg0): argument
654 if not arg0.__class__ is multi_union_pw_aff:
655 arg0 = multi_union_pw_aff(arg0)
658 ctx = arg0.ctx
659 res = isl.isl_multi_union_pw_aff_coalesce(isl.isl_multi_union_pw_aff_copy(arg0.ptr))
662 def domain(arg0): argument
664 if not arg0.__class__ is multi_union_pw_aff:
665 arg0 = multi_union_pw_aff(arg0)
668 ctx = arg0.ctx
669 res = isl.isl_multi_union_pw_aff_domain(isl.isl_multi_union_pw_aff_copy(arg0.ptr))
672 def flat_range_product(arg0, arg1): argument
674 if not arg0.__class__ is multi_union_pw_aff:
675 arg0 = multi_union_pw_aff(arg0)
683 ctx = arg0.ctx
684 …res = isl.isl_multi_union_pw_aff_flat_range_product(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl…
687 def gist(arg0, arg1): argument
689 if not arg0.__class__ is multi_union_pw_aff:
690 arg0 = multi_union_pw_aff(arg0)
698 ctx = arg0.ctx
699 …res = isl.isl_multi_union_pw_aff_gist(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.isl_union_set…
702 def gist_params(arg0, arg1): argument
704 if not arg0.__class__ is multi_union_pw_aff:
705 arg0 = multi_union_pw_aff(arg0)
713 ctx = arg0.ctx
714 …res = isl.isl_multi_union_pw_aff_gist_params(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.isl_se…
717 def has_range_tuple_id(arg0): argument
719 if not arg0.__class__ is multi_union_pw_aff:
720 arg0 = multi_union_pw_aff(arg0)
723 ctx = arg0.ctx
724 res = isl.isl_multi_union_pw_aff_has_range_tuple_id(arg0.ptr)
728 def intersect_domain(arg0, arg1): argument
730 if not arg0.__class__ is multi_union_pw_aff:
731 arg0 = multi_union_pw_aff(arg0)
739 ctx = arg0.ctx
740 …res = isl.isl_multi_union_pw_aff_intersect_domain(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.i…
743 def intersect_params(arg0, arg1): argument
745 if not arg0.__class__ is multi_union_pw_aff:
746 arg0 = multi_union_pw_aff(arg0)
754 ctx = arg0.ctx
755 …res = isl.isl_multi_union_pw_aff_intersect_params(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.i…
758 def involves_nan(arg0): argument
760 if not arg0.__class__ is multi_union_pw_aff:
761 arg0 = multi_union_pw_aff(arg0)
764 ctx = arg0.ctx
765 res = isl.isl_multi_union_pw_aff_involves_nan(arg0.ptr)
769 def list(arg0): argument
771 if not arg0.__class__ is multi_union_pw_aff:
772 arg0 = multi_union_pw_aff(arg0)
775 ctx = arg0.ctx
776 res = isl.isl_multi_union_pw_aff_get_list(arg0.ptr)
779 def get_list(arg0): argument
780 return arg0.list()
781 def neg(arg0): argument
783 if not arg0.__class__ is multi_union_pw_aff:
784 arg0 = multi_union_pw_aff(arg0)
787 ctx = arg0.ctx
788 res = isl.isl_multi_union_pw_aff_neg(isl.isl_multi_union_pw_aff_copy(arg0.ptr))
791 def plain_is_equal(arg0, arg1): argument
793 if not arg0.__class__ is multi_union_pw_aff:
794 arg0 = multi_union_pw_aff(arg0)
802 ctx = arg0.ctx
803 res = isl.isl_multi_union_pw_aff_plain_is_equal(arg0.ptr, arg1.ptr)
820 def range_product(arg0, arg1): argument
822 if not arg0.__class__ is multi_union_pw_aff:
823 arg0 = multi_union_pw_aff(arg0)
831 ctx = arg0.ctx
832 …res = isl.isl_multi_union_pw_aff_range_product(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.isl_…
835 def range_tuple_id(arg0): argument
837 if not arg0.__class__ is multi_union_pw_aff:
838 arg0 = multi_union_pw_aff(arg0)
841 ctx = arg0.ctx
842 res = isl.isl_multi_union_pw_aff_get_range_tuple_id(arg0.ptr)
845 def get_range_tuple_id(arg0): argument
846 return arg0.range_tuple_id()
847 def reset_range_tuple_id(arg0): argument
849 if not arg0.__class__ is multi_union_pw_aff:
850 arg0 = multi_union_pw_aff(arg0)
853 ctx = arg0.ctx
854 … res = isl.isl_multi_union_pw_aff_reset_range_tuple_id(isl.isl_multi_union_pw_aff_copy(arg0.ptr))
915 def set_at(arg0, arg1, arg2): argument
917 if not arg0.__class__ is multi_union_pw_aff:
918 arg0 = multi_union_pw_aff(arg0)
926 ctx = arg0.ctx
927 …res = isl.isl_multi_union_pw_aff_set_at(isl.isl_multi_union_pw_aff_copy(arg0.ptr), arg1, isl.isl_u…
948 def size(arg0): argument
950 if not arg0.__class__ is multi_union_pw_aff:
951 arg0 = multi_union_pw_aff(arg0)
954 ctx = arg0.ctx
955 res = isl.isl_multi_union_pw_aff_size(arg0.ptr)
959 def space(arg0): argument
961 if not arg0.__class__ is multi_union_pw_aff:
962 arg0 = multi_union_pw_aff(arg0)
965 ctx = arg0.ctx
966 res = isl.isl_multi_union_pw_aff_get_space(arg0.ptr)
969 def get_space(arg0): argument
970 return arg0.space()
971 def sub(arg0, arg1): argument
973 if not arg0.__class__ is multi_union_pw_aff:
974 arg0 = multi_union_pw_aff(arg0)
982 ctx = arg0.ctx
983 …res = isl.isl_multi_union_pw_aff_sub(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.isl_multi_unio…
986 def union_add(arg0, arg1): argument
988 if not arg0.__class__ is multi_union_pw_aff:
989 arg0 = multi_union_pw_aff(arg0)
997 ctx = arg0.ctx
998 …res = isl.isl_multi_union_pw_aff_union_add(isl.isl_multi_union_pw_aff_copy(arg0.ptr), isl.isl_mult…
1002 def zero(arg0): argument
1004 if not arg0.__class__ is space:
1005 arg0 = space(arg0)
1008 ctx = arg0.ctx
1009 res = isl.isl_multi_union_pw_aff_zero(isl.isl_space_copy(arg0.ptr))
1106 def __str__(arg0): argument
1108 if not arg0.__class__ is union_pw_aff:
1109 arg0 = union_pw_aff(arg0)
1112 ptr = isl.isl_union_pw_aff_to_str(arg0.ptr)
1122 def add(arg0, arg1): argument
1124 if not arg0.__class__ is union_pw_aff:
1125 arg0 = union_pw_aff(arg0)
1132 return union_pw_multi_aff(arg0).add(arg1)
1133 ctx = arg0.ctx
1134 …res = isl.isl_union_pw_aff_add(isl.isl_union_pw_aff_copy(arg0.ptr), isl.isl_union_pw_aff_copy(arg1…
1155 def coalesce(arg0): argument
1157 if not arg0.__class__ is union_pw_aff:
1158 arg0 = union_pw_aff(arg0)
1161 ctx = arg0.ctx
1162 res = isl.isl_union_pw_aff_coalesce(isl.isl_union_pw_aff_copy(arg0.ptr))
1165 def domain(arg0): argument
1167 if not arg0.__class__ is union_pw_aff:
1168 arg0 = union_pw_aff(arg0)
1171 ctx = arg0.ctx
1172 res = isl.isl_union_pw_aff_domain(isl.isl_union_pw_aff_copy(arg0.ptr))
1175 def drop_unused_params(arg0): argument
1177 if not arg0.__class__ is union_pw_aff:
1178 arg0 = union_pw_aff(arg0)
1181 ctx = arg0.ctx
1182 res = isl.isl_union_pw_aff_drop_unused_params(isl.isl_union_pw_aff_copy(arg0.ptr))
1185 def gist(arg0, arg1): argument
1187 if not arg0.__class__ is union_pw_aff:
1188 arg0 = union_pw_aff(arg0)
1195 return union_pw_multi_aff(arg0).gist(arg1)
1196 ctx = arg0.ctx
1197 …res = isl.isl_union_pw_aff_gist(isl.isl_union_pw_aff_copy(arg0.ptr), isl.isl_union_set_copy(arg1.p…
1224 def intersect_domain_wrapped_domain(arg0, arg1): argument
1226 if not arg0.__class__ is union_pw_aff:
1227 arg0 = union_pw_aff(arg0)
1234 return union_pw_multi_aff(arg0).intersect_domain_wrapped_domain(arg1)
1235 ctx = arg0.ctx
1236 …res = isl.isl_union_pw_aff_intersect_domain_wrapped_domain(isl.isl_union_pw_aff_copy(arg0.ptr), is…
1239 def intersect_domain_wrapped_range(arg0, arg1): argument
1241 if not arg0.__class__ is union_pw_aff:
1242 arg0 = union_pw_aff(arg0)
1249 return union_pw_multi_aff(arg0).intersect_domain_wrapped_range(arg1)
1250 ctx = arg0.ctx
1251 …res = isl.isl_union_pw_aff_intersect_domain_wrapped_range(isl.isl_union_pw_aff_copy(arg0.ptr), isl…
1254 def intersect_params(arg0, arg1): argument
1256 if not arg0.__class__ is union_pw_aff:
1257 arg0 = union_pw_aff(arg0)
1264 return union_pw_multi_aff(arg0).intersect_params(arg1)
1265 ctx = arg0.ctx
1266 …res = isl.isl_union_pw_aff_intersect_params(isl.isl_union_pw_aff_copy(arg0.ptr), isl.isl_set_copy(…
1269 def plain_is_equal(arg0, arg1): argument
1271 if not arg0.__class__ is union_pw_aff:
1272 arg0 = union_pw_aff(arg0)
1279 return union_pw_multi_aff(arg0).plain_is_equal(arg1)
1280 ctx = arg0.ctx
1281 res = isl.isl_union_pw_aff_plain_is_equal(arg0.ptr, arg1.ptr)
1298 def space(arg0): argument
1300 if not arg0.__class__ is union_pw_aff:
1301 arg0 = union_pw_aff(arg0)
1304 ctx = arg0.ctx
1305 res = isl.isl_union_pw_aff_get_space(arg0.ptr)
1308 def get_space(arg0): argument
1309 return arg0.space()
1310 def sub(arg0, arg1): argument
1312 if not arg0.__class__ is union_pw_aff:
1313 arg0 = union_pw_aff(arg0)
1320 return union_pw_multi_aff(arg0).sub(arg1)
1321 ctx = arg0.ctx
1322 …res = isl.isl_union_pw_aff_sub(isl.isl_union_pw_aff_copy(arg0.ptr), isl.isl_union_pw_aff_copy(arg1…
1349 def to_list(arg0): argument
1351 if not arg0.__class__ is union_pw_aff:
1352 arg0 = union_pw_aff(arg0)
1355 ctx = arg0.ctx
1356 res = isl.isl_union_pw_aff_to_list(isl.isl_union_pw_aff_copy(arg0.ptr))
1359 def union_add(arg0, arg1): argument
1361 if not arg0.__class__ is union_pw_aff:
1362 arg0 = union_pw_aff(arg0)
1369 return union_pw_multi_aff(arg0).union_add(arg1)
1370 ctx = arg0.ctx
1371 …res = isl.isl_union_pw_aff_union_add(isl.isl_union_pw_aff_copy(arg0.ptr), isl.isl_union_pw_aff_cop…
1459 def __str__(arg0): argument
1461 if not arg0.__class__ is multi_pw_aff:
1462 arg0 = multi_pw_aff(arg0)
1465 ptr = isl.isl_multi_pw_aff_to_str(arg0.ptr)
1475 def add(arg0, arg1): argument
1477 if not arg0.__class__ is multi_pw_aff:
1478 arg0 = multi_pw_aff(arg0)
1485 return multi_union_pw_aff(arg0).add(arg1)
1486 ctx = arg0.ctx
1487 …res = isl.isl_multi_pw_aff_add(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_pw_aff_copy(arg1…
1519 def as_map(arg0): argument
1521 if not arg0.__class__ is multi_pw_aff:
1522 arg0 = multi_pw_aff(arg0)
1525 ctx = arg0.ctx
1526 res = isl.isl_multi_pw_aff_as_map(isl.isl_multi_pw_aff_copy(arg0.ptr))
1529 def as_multi_aff(arg0): argument
1531 if not arg0.__class__ is multi_pw_aff:
1532 arg0 = multi_pw_aff(arg0)
1535 ctx = arg0.ctx
1536 res = isl.isl_multi_pw_aff_as_multi_aff(isl.isl_multi_pw_aff_copy(arg0.ptr))
1539 def as_set(arg0): argument
1541 if not arg0.__class__ is multi_pw_aff:
1542 arg0 = multi_pw_aff(arg0)
1545 ctx = arg0.ctx
1546 res = isl.isl_multi_pw_aff_as_set(isl.isl_multi_pw_aff_copy(arg0.ptr))
1549 def at(arg0, arg1): argument
1551 if not arg0.__class__ is multi_pw_aff:
1552 arg0 = multi_pw_aff(arg0)
1555 ctx = arg0.ctx
1556 res = isl.isl_multi_pw_aff_get_at(arg0.ptr, arg1)
1559 def get_at(arg0, arg1): argument
1560 return arg0.at(arg1)
1561 def bind(arg0, arg1): argument
1563 if not arg0.__class__ is multi_pw_aff:
1564 arg0 = multi_pw_aff(arg0)
1571 return multi_union_pw_aff(arg0).bind(arg1)
1572 ctx = arg0.ctx
1573 …res = isl.isl_multi_pw_aff_bind(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.pt…
1576 def bind_domain(arg0, arg1): argument
1578 if not arg0.__class__ is multi_pw_aff:
1579 arg0 = multi_pw_aff(arg0)
1586 return multi_union_pw_aff(arg0).bind_domain(arg1)
1587 ctx = arg0.ctx
1588 …res = isl.isl_multi_pw_aff_bind_domain(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_id_copy(…
1591 def bind_domain_wrapped_domain(arg0, arg1): argument
1593 if not arg0.__class__ is multi_pw_aff:
1594 arg0 = multi_pw_aff(arg0)
1601 return multi_union_pw_aff(arg0).bind_domain_wrapped_domain(arg1)
1602 ctx = arg0.ctx
1603 …res = isl.isl_multi_pw_aff_bind_domain_wrapped_domain(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl…
1606 def coalesce(arg0): argument
1608 if not arg0.__class__ is multi_pw_aff:
1609 arg0 = multi_pw_aff(arg0)
1612 ctx = arg0.ctx
1613 res = isl.isl_multi_pw_aff_coalesce(isl.isl_multi_pw_aff_copy(arg0.ptr))
1616 def domain(arg0): argument
1618 if not arg0.__class__ is multi_pw_aff:
1619 arg0 = multi_pw_aff(arg0)
1622 ctx = arg0.ctx
1623 res = isl.isl_multi_pw_aff_domain(isl.isl_multi_pw_aff_copy(arg0.ptr))
1626 def domain_reverse(arg0): argument
1628 if not arg0.__class__ is multi_pw_aff:
1629 arg0 = multi_pw_aff(arg0)
1632 ctx = arg0.ctx
1633 res = isl.isl_multi_pw_aff_domain_reverse(isl.isl_multi_pw_aff_copy(arg0.ptr))
1636 def flat_range_product(arg0, arg1): argument
1638 if not arg0.__class__ is multi_pw_aff:
1639 arg0 = multi_pw_aff(arg0)
1646 return multi_union_pw_aff(arg0).flat_range_product(arg1)
1647 ctx = arg0.ctx
1648 …res = isl.isl_multi_pw_aff_flat_range_product(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_p…
1651 def gist(arg0, arg1): argument
1653 if not arg0.__class__ is multi_pw_aff:
1654 arg0 = multi_pw_aff(arg0)
1661 return multi_union_pw_aff(arg0).gist(arg1)
1662 ctx = arg0.ctx
1663 … res = isl.isl_multi_pw_aff_gist(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
1666 def gist_params(arg0, arg1): argument
1668 if not arg0.__class__ is multi_pw_aff:
1669 arg0 = multi_pw_aff(arg0)
1676 return multi_union_pw_aff(arg0).gist_params(arg1)
1677 ctx = arg0.ctx
1678 …res = isl.isl_multi_pw_aff_gist_params(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.…
1681 def has_range_tuple_id(arg0): argument
1683 if not arg0.__class__ is multi_pw_aff:
1684 arg0 = multi_pw_aff(arg0)
1687 ctx = arg0.ctx
1688 res = isl.isl_multi_pw_aff_has_range_tuple_id(arg0.ptr)
1713 def insert_domain(arg0, arg1): argument
1715 if not arg0.__class__ is multi_pw_aff:
1716 arg0 = multi_pw_aff(arg0)
1723 return multi_union_pw_aff(arg0).insert_domain(arg1)
1724 ctx = arg0.ctx
1725 …res = isl.isl_multi_pw_aff_insert_domain(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_space_copy(a…
1728 def intersect_domain(arg0, arg1): argument
1730 if not arg0.__class__ is multi_pw_aff:
1731 arg0 = multi_pw_aff(arg0)
1738 return multi_union_pw_aff(arg0).intersect_domain(arg1)
1739 ctx = arg0.ctx
1740 …res = isl.isl_multi_pw_aff_intersect_domain(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_set_copy(…
1743 def intersect_params(arg0, arg1): argument
1745 if not arg0.__class__ is multi_pw_aff:
1746 arg0 = multi_pw_aff(arg0)
1753 return multi_union_pw_aff(arg0).intersect_params(arg1)
1754 ctx = arg0.ctx
1755 …res = isl.isl_multi_pw_aff_intersect_params(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_set_copy(…
1758 def involves_nan(arg0): argument
1760 if not arg0.__class__ is multi_pw_aff:
1761 arg0 = multi_pw_aff(arg0)
1764 ctx = arg0.ctx
1765 res = isl.isl_multi_pw_aff_involves_nan(arg0.ptr)
1800 def isa_multi_aff(arg0): argument
1802 if not arg0.__class__ is multi_pw_aff:
1803 arg0 = multi_pw_aff(arg0)
1806 ctx = arg0.ctx
1807 res = isl.isl_multi_pw_aff_isa_multi_aff(arg0.ptr)
1811 def list(arg0): argument
1813 if not arg0.__class__ is multi_pw_aff:
1814 arg0 = multi_pw_aff(arg0)
1817 ctx = arg0.ctx
1818 res = isl.isl_multi_pw_aff_get_list(arg0.ptr)
1821 def get_list(arg0): argument
1822 return arg0.list()
1823 def max(arg0, arg1): argument
1825 if not arg0.__class__ is multi_pw_aff:
1826 arg0 = multi_pw_aff(arg0)
1833 return multi_union_pw_aff(arg0).max(arg1)
1834 ctx = arg0.ctx
1835 …res = isl.isl_multi_pw_aff_max(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_pw_aff_copy(arg1…
1838 def max_multi_val(arg0): argument
1840 if not arg0.__class__ is multi_pw_aff:
1841 arg0 = multi_pw_aff(arg0)
1844 ctx = arg0.ctx
1845 res = isl.isl_multi_pw_aff_max_multi_val(isl.isl_multi_pw_aff_copy(arg0.ptr))
1848 def min(arg0, arg1): argument
1850 if not arg0.__class__ is multi_pw_aff:
1851 arg0 = multi_pw_aff(arg0)
1858 return multi_union_pw_aff(arg0).min(arg1)
1859 ctx = arg0.ctx
1860 …res = isl.isl_multi_pw_aff_min(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_pw_aff_copy(arg1…
1863 def min_multi_val(arg0): argument
1865 if not arg0.__class__ is multi_pw_aff:
1866 arg0 = multi_pw_aff(arg0)
1869 ctx = arg0.ctx
1870 res = isl.isl_multi_pw_aff_min_multi_val(isl.isl_multi_pw_aff_copy(arg0.ptr))
1873 def neg(arg0): argument
1875 if not arg0.__class__ is multi_pw_aff:
1876 arg0 = multi_pw_aff(arg0)
1879 ctx = arg0.ctx
1880 res = isl.isl_multi_pw_aff_neg(isl.isl_multi_pw_aff_copy(arg0.ptr))
1883 def plain_is_equal(arg0, arg1): argument
1885 if not arg0.__class__ is multi_pw_aff:
1886 arg0 = multi_pw_aff(arg0)
1893 return multi_union_pw_aff(arg0).plain_is_equal(arg1)
1894 ctx = arg0.ctx
1895 res = isl.isl_multi_pw_aff_plain_is_equal(arg0.ptr, arg1.ptr)
1899 def product(arg0, arg1): argument
1901 if not arg0.__class__ is multi_pw_aff:
1902 arg0 = multi_pw_aff(arg0)
1909 return multi_union_pw_aff(arg0).product(arg1)
1910 ctx = arg0.ctx
1911 …res = isl.isl_multi_pw_aff_product(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_pw_aff_copy(…
1949 def range_product(arg0, arg1): argument
1951 if not arg0.__class__ is multi_pw_aff:
1952 arg0 = multi_pw_aff(arg0)
1959 return multi_union_pw_aff(arg0).range_product(arg1)
1960 ctx = arg0.ctx
1961 …res = isl.isl_multi_pw_aff_range_product(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_pw_aff…
1964 def range_tuple_id(arg0): argument
1966 if not arg0.__class__ is multi_pw_aff:
1967 arg0 = multi_pw_aff(arg0)
1970 ctx = arg0.ctx
1971 res = isl.isl_multi_pw_aff_get_range_tuple_id(arg0.ptr)
1974 def get_range_tuple_id(arg0): argument
1975 return arg0.range_tuple_id()
1976 def reset_range_tuple_id(arg0): argument
1978 if not arg0.__class__ is multi_pw_aff:
1979 arg0 = multi_pw_aff(arg0)
1982 ctx = arg0.ctx
1983 res = isl.isl_multi_pw_aff_reset_range_tuple_id(isl.isl_multi_pw_aff_copy(arg0.ptr))
2044 def set_at(arg0, arg1, arg2): argument
2046 if not arg0.__class__ is multi_pw_aff:
2047 arg0 = multi_pw_aff(arg0)
2054 return multi_union_pw_aff(arg0).set_at(arg1, arg2)
2055 ctx = arg0.ctx
2056 …res = isl.isl_multi_pw_aff_set_at(isl.isl_multi_pw_aff_copy(arg0.ptr), arg1, isl.isl_pw_aff_copy(a…
2077 def size(arg0): argument
2079 if not arg0.__class__ is multi_pw_aff:
2080 arg0 = multi_pw_aff(arg0)
2083 ctx = arg0.ctx
2084 res = isl.isl_multi_pw_aff_size(arg0.ptr)
2088 def space(arg0): argument
2090 if not arg0.__class__ is multi_pw_aff:
2091 arg0 = multi_pw_aff(arg0)
2094 ctx = arg0.ctx
2095 res = isl.isl_multi_pw_aff_get_space(arg0.ptr)
2098 def get_space(arg0): argument
2099 return arg0.space()
2100 def sub(arg0, arg1): argument
2102 if not arg0.__class__ is multi_pw_aff:
2103 arg0 = multi_pw_aff(arg0)
2110 return multi_union_pw_aff(arg0).sub(arg1)
2111 ctx = arg0.ctx
2112 …res = isl.isl_multi_pw_aff_sub(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_pw_aff_copy(arg1…
2115 def unbind_params_insert_domain(arg0, arg1): argument
2117 if not arg0.__class__ is multi_pw_aff:
2118 arg0 = multi_pw_aff(arg0)
2125 return multi_union_pw_aff(arg0).unbind_params_insert_domain(arg1)
2126 ctx = arg0.ctx
2127 …res = isl.isl_multi_pw_aff_unbind_params_insert_domain(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.is…
2130 def union_add(arg0, arg1): argument
2132 if not arg0.__class__ is multi_pw_aff:
2133 arg0 = multi_pw_aff(arg0)
2140 return multi_union_pw_aff(arg0).union_add(arg1)
2141 ctx = arg0.ctx
2142 …res = isl.isl_multi_pw_aff_union_add(isl.isl_multi_pw_aff_copy(arg0.ptr), isl.isl_multi_pw_aff_cop…
2146 def zero(arg0): argument
2148 if not arg0.__class__ is space:
2149 arg0 = space(arg0)
2152 ctx = arg0.ctx
2153 res = isl.isl_multi_pw_aff_zero(isl.isl_space_copy(arg0.ptr))
2295 def __str__(arg0): argument
2297 if not arg0.__class__ is pw_multi_aff:
2298 arg0 = pw_multi_aff(arg0)
2301 ptr = isl.isl_pw_multi_aff_to_str(arg0.ptr)
2311 def add(arg0, arg1): argument
2313 if not arg0.__class__ is pw_multi_aff:
2314 arg0 = pw_multi_aff(arg0)
2321 return union_pw_multi_aff(arg0).add(arg1)
2322 ctx = arg0.ctx
2323 …res = isl.isl_pw_multi_aff_add(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_pw_multi_aff_copy(arg1…
2355 def as_map(arg0): argument
2357 if not arg0.__class__ is pw_multi_aff:
2358 arg0 = pw_multi_aff(arg0)
2361 ctx = arg0.ctx
2362 res = isl.isl_pw_multi_aff_as_map(isl.isl_pw_multi_aff_copy(arg0.ptr))
2365 def as_multi_aff(arg0): argument
2367 if not arg0.__class__ is pw_multi_aff:
2368 arg0 = pw_multi_aff(arg0)
2371 ctx = arg0.ctx
2372 res = isl.isl_pw_multi_aff_as_multi_aff(isl.isl_pw_multi_aff_copy(arg0.ptr))
2375 def as_set(arg0): argument
2377 if not arg0.__class__ is pw_multi_aff:
2378 arg0 = pw_multi_aff(arg0)
2381 ctx = arg0.ctx
2382 res = isl.isl_pw_multi_aff_as_set(isl.isl_pw_multi_aff_copy(arg0.ptr))
2385 def at(arg0, arg1): argument
2387 if not arg0.__class__ is pw_multi_aff:
2388 arg0 = pw_multi_aff(arg0)
2391 ctx = arg0.ctx
2392 res = isl.isl_pw_multi_aff_get_at(arg0.ptr, arg1)
2395 def get_at(arg0, arg1): argument
2396 return arg0.at(arg1)
2397 def bind_domain(arg0, arg1): argument
2399 if not arg0.__class__ is pw_multi_aff:
2400 arg0 = pw_multi_aff(arg0)
2407 return union_pw_multi_aff(arg0).bind_domain(arg1)
2408 ctx = arg0.ctx
2409 …res = isl.isl_pw_multi_aff_bind_domain(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_multi_id_copy(…
2412 def bind_domain_wrapped_domain(arg0, arg1): argument
2414 if not arg0.__class__ is pw_multi_aff:
2415 arg0 = pw_multi_aff(arg0)
2422 return union_pw_multi_aff(arg0).bind_domain_wrapped_domain(arg1)
2423 ctx = arg0.ctx
2424 …res = isl.isl_pw_multi_aff_bind_domain_wrapped_domain(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl…
2427 def coalesce(arg0): argument
2429 if not arg0.__class__ is pw_multi_aff:
2430 arg0 = pw_multi_aff(arg0)
2433 ctx = arg0.ctx
2434 res = isl.isl_pw_multi_aff_coalesce(isl.isl_pw_multi_aff_copy(arg0.ptr))
2437 def domain(arg0): argument
2439 if not arg0.__class__ is pw_multi_aff:
2440 arg0 = pw_multi_aff(arg0)
2443 ctx = arg0.ctx
2444 res = isl.isl_pw_multi_aff_domain(isl.isl_pw_multi_aff_copy(arg0.ptr))
2448 def domain_map(arg0): argument
2450 if not arg0.__class__ is space:
2451 arg0 = space(arg0)
2454 ctx = arg0.ctx
2455 res = isl.isl_pw_multi_aff_domain_map(isl.isl_space_copy(arg0.ptr))
2458 def domain_reverse(arg0): argument
2460 if not arg0.__class__ is pw_multi_aff:
2461 arg0 = pw_multi_aff(arg0)
2464 ctx = arg0.ctx
2465 res = isl.isl_pw_multi_aff_domain_reverse(isl.isl_pw_multi_aff_copy(arg0.ptr))
2468 def drop_unused_params(arg0): argument
2470 if not arg0.__class__ is pw_multi_aff:
2471 arg0 = pw_multi_aff(arg0)
2474 ctx = arg0.ctx
2475 res = isl.isl_pw_multi_aff_drop_unused_params(isl.isl_pw_multi_aff_copy(arg0.ptr))
2478 def flat_range_product(arg0, arg1): argument
2480 if not arg0.__class__ is pw_multi_aff:
2481 arg0 = pw_multi_aff(arg0)
2488 return union_pw_multi_aff(arg0).flat_range_product(arg1)
2489 ctx = arg0.ctx
2490 …res = isl.isl_pw_multi_aff_flat_range_product(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_pw_mult…
2493 def foreach_piece(arg0, arg1): argument
2495 if not arg0.__class__ is pw_multi_aff:
2496 arg0 = pw_multi_aff(arg0)
2502 cb_arg0 = set(ctx=arg0.ctx, ptr=(cb_arg0))
2503 cb_arg1 = multi_aff(ctx=arg0.ctx, ptr=(cb_arg1))
2511 ctx = arg0.ctx
2512 res = isl.isl_pw_multi_aff_foreach_piece(arg0.ptr, cb1, None)
2517 def gist(arg0, arg1): argument
2519 if not arg0.__class__ is pw_multi_aff:
2520 arg0 = pw_multi_aff(arg0)
2527 return union_pw_multi_aff(arg0).gist(arg1)
2528 ctx = arg0.ctx
2529 … res = isl.isl_pw_multi_aff_gist(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
2532 def gist_params(arg0, arg1): argument
2534 if not arg0.__class__ is pw_multi_aff:
2535 arg0 = pw_multi_aff(arg0)
2542 return union_pw_multi_aff(arg0).gist_params(arg1)
2543 ctx = arg0.ctx
2544 …res = isl.isl_pw_multi_aff_gist_params(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.…
2547 def has_range_tuple_id(arg0): argument
2549 if not arg0.__class__ is pw_multi_aff:
2550 arg0 = pw_multi_aff(arg0)
2553 ctx = arg0.ctx
2554 res = isl.isl_pw_multi_aff_has_range_tuple_id(arg0.ptr)
2566 def insert_domain(arg0, arg1): argument
2568 if not arg0.__class__ is pw_multi_aff:
2569 arg0 = pw_multi_aff(arg0)
2576 return union_pw_multi_aff(arg0).insert_domain(arg1)
2577 ctx = arg0.ctx
2578 …res = isl.isl_pw_multi_aff_insert_domain(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_space_copy(a…
2581 def intersect_domain(arg0, arg1): argument
2583 if not arg0.__class__ is pw_multi_aff:
2584 arg0 = pw_multi_aff(arg0)
2591 return union_pw_multi_aff(arg0).intersect_domain(arg1)
2592 ctx = arg0.ctx
2593 …res = isl.isl_pw_multi_aff_intersect_domain(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_set_copy(…
2596 def intersect_params(arg0, arg1): argument
2598 if not arg0.__class__ is pw_multi_aff:
2599 arg0 = pw_multi_aff(arg0)
2606 return union_pw_multi_aff(arg0).intersect_params(arg1)
2607 ctx = arg0.ctx
2608 …res = isl.isl_pw_multi_aff_intersect_params(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_set_copy(…
2611 def involves_locals(arg0): argument
2613 if not arg0.__class__ is pw_multi_aff:
2614 arg0 = pw_multi_aff(arg0)
2617 ctx = arg0.ctx
2618 res = isl.isl_pw_multi_aff_involves_locals(arg0.ptr)
2622 def isa_multi_aff(arg0): argument
2624 if not arg0.__class__ is pw_multi_aff:
2625 arg0 = pw_multi_aff(arg0)
2628 ctx = arg0.ctx
2629 res = isl.isl_pw_multi_aff_isa_multi_aff(arg0.ptr)
2633 def max_multi_val(arg0): argument
2635 if not arg0.__class__ is pw_multi_aff:
2636 arg0 = pw_multi_aff(arg0)
2639 ctx = arg0.ctx
2640 res = isl.isl_pw_multi_aff_max_multi_val(isl.isl_pw_multi_aff_copy(arg0.ptr))
2643 def min_multi_val(arg0): argument
2645 if not arg0.__class__ is pw_multi_aff:
2646 arg0 = pw_multi_aff(arg0)
2649 ctx = arg0.ctx
2650 res = isl.isl_pw_multi_aff_min_multi_val(isl.isl_pw_multi_aff_copy(arg0.ptr))
2654 def multi_val_on_domain(arg0, arg1): argument
2656 if not arg0.__class__ is set:
2657 arg0 = set(arg0)
2664 return union_pw_multi_aff(arg0).multi_val_on_domain(arg1)
2665 ctx = arg0.ctx
2666 …res = isl.isl_pw_multi_aff_multi_val_on_domain(isl.isl_set_copy(arg0.ptr), isl.isl_multi_val_copy(…
2669 def n_piece(arg0): argument
2671 if not arg0.__class__ is pw_multi_aff:
2672 arg0 = pw_multi_aff(arg0)
2675 ctx = arg0.ctx
2676 res = isl.isl_pw_multi_aff_n_piece(arg0.ptr)
2680 def plain_is_equal(arg0, arg1): argument
2682 if not arg0.__class__ is pw_multi_aff:
2683 arg0 = pw_multi_aff(arg0)
2690 return union_pw_multi_aff(arg0).plain_is_equal(arg1)
2691 ctx = arg0.ctx
2692 res = isl.isl_pw_multi_aff_plain_is_equal(arg0.ptr, arg1.ptr)
2709 def product(arg0, arg1): argument
2711 if not arg0.__class__ is pw_multi_aff:
2712 arg0 = pw_multi_aff(arg0)
2719 return union_pw_multi_aff(arg0).product(arg1)
2720 ctx = arg0.ctx
2721 …res = isl.isl_pw_multi_aff_product(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_pw_multi_aff_copy(…
2748 def range_factor_domain(arg0): argument
2750 if not arg0.__class__ is pw_multi_aff:
2751 arg0 = pw_multi_aff(arg0)
2754 ctx = arg0.ctx
2755 res = isl.isl_pw_multi_aff_range_factor_domain(isl.isl_pw_multi_aff_copy(arg0.ptr))
2758 def range_factor_range(arg0): argument
2760 if not arg0.__class__ is pw_multi_aff:
2761 arg0 = pw_multi_aff(arg0)
2764 ctx = arg0.ctx
2765 res = isl.isl_pw_multi_aff_range_factor_range(isl.isl_pw_multi_aff_copy(arg0.ptr))
2769 def range_map(arg0): argument
2771 if not arg0.__class__ is space:
2772 arg0 = space(arg0)
2775 ctx = arg0.ctx
2776 res = isl.isl_pw_multi_aff_range_map(isl.isl_space_copy(arg0.ptr))
2779 def range_product(arg0, arg1): argument
2781 if not arg0.__class__ is pw_multi_aff:
2782 arg0 = pw_multi_aff(arg0)
2789 return union_pw_multi_aff(arg0).range_product(arg1)
2790 ctx = arg0.ctx
2791 …res = isl.isl_pw_multi_aff_range_product(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_pw_multi_aff…
2794 def range_tuple_id(arg0): argument
2796 if not arg0.__class__ is pw_multi_aff:
2797 arg0 = pw_multi_aff(arg0)
2800 ctx = arg0.ctx
2801 res = isl.isl_pw_multi_aff_get_range_tuple_id(arg0.ptr)
2804 def get_range_tuple_id(arg0): argument
2805 return arg0.range_tuple_id()
2882 def space(arg0): argument
2884 if not arg0.__class__ is pw_multi_aff:
2885 arg0 = pw_multi_aff(arg0)
2888 ctx = arg0.ctx
2889 res = isl.isl_pw_multi_aff_get_space(arg0.ptr)
2892 def get_space(arg0): argument
2893 return arg0.space()
2894 def sub(arg0, arg1): argument
2896 if not arg0.__class__ is pw_multi_aff:
2897 arg0 = pw_multi_aff(arg0)
2904 return union_pw_multi_aff(arg0).sub(arg1)
2905 ctx = arg0.ctx
2906 …res = isl.isl_pw_multi_aff_sub(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_pw_multi_aff_copy(arg1…
2909 def subtract_domain(arg0, arg1): argument
2911 if not arg0.__class__ is pw_multi_aff:
2912 arg0 = pw_multi_aff(arg0)
2919 return union_pw_multi_aff(arg0).subtract_domain(arg1)
2920 ctx = arg0.ctx
2921 …res = isl.isl_pw_multi_aff_subtract_domain(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_set_copy(a…
2924 def to_list(arg0): argument
2926 if not arg0.__class__ is pw_multi_aff:
2927 arg0 = pw_multi_aff(arg0)
2930 ctx = arg0.ctx
2931 res = isl.isl_pw_multi_aff_to_list(isl.isl_pw_multi_aff_copy(arg0.ptr))
2934 def to_multi_pw_aff(arg0): argument
2936 if not arg0.__class__ is pw_multi_aff:
2937 arg0 = pw_multi_aff(arg0)
2940 ctx = arg0.ctx
2941 res = isl.isl_pw_multi_aff_to_multi_pw_aff(isl.isl_pw_multi_aff_copy(arg0.ptr))
2944 def to_union_pw_multi_aff(arg0): argument
2946 if not arg0.__class__ is pw_multi_aff:
2947 arg0 = pw_multi_aff(arg0)
2950 ctx = arg0.ctx
2951 res = isl.isl_pw_multi_aff_to_union_pw_multi_aff(isl.isl_pw_multi_aff_copy(arg0.ptr))
2954 def union_add(arg0, arg1): argument
2956 if not arg0.__class__ is pw_multi_aff:
2957 arg0 = pw_multi_aff(arg0)
2964 return union_pw_multi_aff(arg0).union_add(arg1)
2965 ctx = arg0.ctx
2966 …res = isl.isl_pw_multi_aff_union_add(isl.isl_pw_multi_aff_copy(arg0.ptr), isl.isl_pw_multi_aff_cop…
2970 def zero(arg0): argument
2972 if not arg0.__class__ is space:
2973 arg0 = space(arg0)
2976 ctx = arg0.ctx
2977 res = isl.isl_pw_multi_aff_zero(isl.isl_space_copy(arg0.ptr))
3110 def __str__(arg0): argument
3112 if not arg0.__class__ is pw_aff:
3113 arg0 = pw_aff(arg0)
3116 ptr = isl.isl_pw_aff_to_str(arg0.ptr)
3126 def add(arg0, arg1): argument
3128 if not arg0.__class__ is pw_aff:
3129 arg0 = pw_aff(arg0)
3136 return union_pw_aff(arg0).add(arg1)
3137 ctx = arg0.ctx
3138 res = isl.isl_pw_aff_add(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3159 def as_aff(arg0): argument
3161 if not arg0.__class__ is pw_aff:
3162 arg0 = pw_aff(arg0)
3165 ctx = arg0.ctx
3166 res = isl.isl_pw_aff_as_aff(isl.isl_pw_aff_copy(arg0.ptr))
3169 def as_map(arg0): argument
3171 if not arg0.__class__ is pw_aff:
3172 arg0 = pw_aff(arg0)
3175 ctx = arg0.ctx
3176 res = isl.isl_pw_aff_as_map(isl.isl_pw_aff_copy(arg0.ptr))
3197 def bind_domain(arg0, arg1): argument
3199 if not arg0.__class__ is pw_aff:
3200 arg0 = pw_aff(arg0)
3207 return union_pw_aff(arg0).bind_domain(arg1)
3208 ctx = arg0.ctx
3209 … res = isl.isl_pw_aff_bind_domain(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.ptr))
3212 def bind_domain_wrapped_domain(arg0, arg1): argument
3214 if not arg0.__class__ is pw_aff:
3215 arg0 = pw_aff(arg0)
3222 return union_pw_aff(arg0).bind_domain_wrapped_domain(arg1)
3223 ctx = arg0.ctx
3224 …res = isl.isl_pw_aff_bind_domain_wrapped_domain(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_multi_id_co…
3227 def ceil(arg0): argument
3229 if not arg0.__class__ is pw_aff:
3230 arg0 = pw_aff(arg0)
3233 ctx = arg0.ctx
3234 res = isl.isl_pw_aff_ceil(isl.isl_pw_aff_copy(arg0.ptr))
3237 def coalesce(arg0): argument
3239 if not arg0.__class__ is pw_aff:
3240 arg0 = pw_aff(arg0)
3243 ctx = arg0.ctx
3244 res = isl.isl_pw_aff_coalesce(isl.isl_pw_aff_copy(arg0.ptr))
3247 def cond(arg0, arg1, arg2): argument
3249 if not arg0.__class__ is pw_aff:
3250 arg0 = pw_aff(arg0)
3257 return union_pw_aff(arg0).cond(arg1, arg2)
3262 return union_pw_aff(arg0).cond(arg1, arg2)
3263 ctx = arg0.ctx
3264 …res = isl.isl_pw_aff_cond(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr), isl.isl_pw…
3267 def div(arg0, arg1): argument
3269 if not arg0.__class__ is pw_aff:
3270 arg0 = pw_aff(arg0)
3277 return union_pw_aff(arg0).div(arg1)
3278 ctx = arg0.ctx
3279 res = isl.isl_pw_aff_div(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3282 def domain(arg0): argument
3284 if not arg0.__class__ is pw_aff:
3285 arg0 = pw_aff(arg0)
3288 ctx = arg0.ctx
3289 res = isl.isl_pw_aff_domain(isl.isl_pw_aff_copy(arg0.ptr))
3292 def domain_reverse(arg0): argument
3294 if not arg0.__class__ is pw_aff:
3295 arg0 = pw_aff(arg0)
3298 ctx = arg0.ctx
3299 res = isl.isl_pw_aff_domain_reverse(isl.isl_pw_aff_copy(arg0.ptr))
3302 def drop_unused_params(arg0): argument
3304 if not arg0.__class__ is pw_aff:
3305 arg0 = pw_aff(arg0)
3308 ctx = arg0.ctx
3309 res = isl.isl_pw_aff_drop_unused_params(isl.isl_pw_aff_copy(arg0.ptr))
3312 def eq_set(arg0, arg1): argument
3314 if not arg0.__class__ is pw_aff:
3315 arg0 = pw_aff(arg0)
3322 return union_pw_aff(arg0).eq_set(arg1)
3323 ctx = arg0.ctx
3324 res = isl.isl_pw_aff_eq_set(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3327 def eval(arg0, arg1): argument
3329 if not arg0.__class__ is pw_aff:
3330 arg0 = pw_aff(arg0)
3337 return union_pw_aff(arg0).eval(arg1)
3338 ctx = arg0.ctx
3339 res = isl.isl_pw_aff_eval(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_point_copy(arg1.ptr))
3342 def floor(arg0): argument
3344 if not arg0.__class__ is pw_aff:
3345 arg0 = pw_aff(arg0)
3348 ctx = arg0.ctx
3349 res = isl.isl_pw_aff_floor(isl.isl_pw_aff_copy(arg0.ptr))
3352 def ge_set(arg0, arg1): argument
3354 if not arg0.__class__ is pw_aff:
3355 arg0 = pw_aff(arg0)
3362 return union_pw_aff(arg0).ge_set(arg1)
3363 ctx = arg0.ctx
3364 res = isl.isl_pw_aff_ge_set(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3367 def gist(arg0, arg1): argument
3369 if not arg0.__class__ is pw_aff:
3370 arg0 = pw_aff(arg0)
3377 return union_pw_aff(arg0).gist(arg1)
3378 ctx = arg0.ctx
3379 res = isl.isl_pw_aff_gist(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
3382 def gist_params(arg0, arg1): argument
3384 if not arg0.__class__ is pw_aff:
3385 arg0 = pw_aff(arg0)
3392 return union_pw_aff(arg0).gist_params(arg1)
3393 ctx = arg0.ctx
3394 res = isl.isl_pw_aff_gist_params(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
3397 def gt_set(arg0, arg1): argument
3399 if not arg0.__class__ is pw_aff:
3400 arg0 = pw_aff(arg0)
3407 return union_pw_aff(arg0).gt_set(arg1)
3408 ctx = arg0.ctx
3409 res = isl.isl_pw_aff_gt_set(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3412 def insert_domain(arg0, arg1): argument
3414 if not arg0.__class__ is pw_aff:
3415 arg0 = pw_aff(arg0)
3422 return union_pw_aff(arg0).insert_domain(arg1)
3423 ctx = arg0.ctx
3424 … res = isl.isl_pw_aff_insert_domain(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_space_copy(arg1.ptr))
3427 def intersect_domain(arg0, arg1): argument
3429 if not arg0.__class__ is pw_aff:
3430 arg0 = pw_aff(arg0)
3437 return union_pw_aff(arg0).intersect_domain(arg1)
3438 ctx = arg0.ctx
3439 … res = isl.isl_pw_aff_intersect_domain(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
3442 def intersect_params(arg0, arg1): argument
3444 if not arg0.__class__ is pw_aff:
3445 arg0 = pw_aff(arg0)
3452 return union_pw_aff(arg0).intersect_params(arg1)
3453 ctx = arg0.ctx
3454 … res = isl.isl_pw_aff_intersect_params(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
3457 def isa_aff(arg0): argument
3459 if not arg0.__class__ is pw_aff:
3460 arg0 = pw_aff(arg0)
3463 ctx = arg0.ctx
3464 res = isl.isl_pw_aff_isa_aff(arg0.ptr)
3468 def le_set(arg0, arg1): argument
3470 if not arg0.__class__ is pw_aff:
3471 arg0 = pw_aff(arg0)
3478 return union_pw_aff(arg0).le_set(arg1)
3479 ctx = arg0.ctx
3480 res = isl.isl_pw_aff_le_set(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3483 def lt_set(arg0, arg1): argument
3485 if not arg0.__class__ is pw_aff:
3486 arg0 = pw_aff(arg0)
3493 return union_pw_aff(arg0).lt_set(arg1)
3494 ctx = arg0.ctx
3495 res = isl.isl_pw_aff_lt_set(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3498 def max(arg0, arg1): argument
3500 if not arg0.__class__ is pw_aff:
3501 arg0 = pw_aff(arg0)
3508 return union_pw_aff(arg0).max(arg1)
3509 ctx = arg0.ctx
3510 res = isl.isl_pw_aff_max(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3513 def max_val(arg0): argument
3515 if not arg0.__class__ is pw_aff:
3516 arg0 = pw_aff(arg0)
3519 ctx = arg0.ctx
3520 res = isl.isl_pw_aff_max_val(isl.isl_pw_aff_copy(arg0.ptr))
3523 def min(arg0, arg1): argument
3525 if not arg0.__class__ is pw_aff:
3526 arg0 = pw_aff(arg0)
3533 return union_pw_aff(arg0).min(arg1)
3534 ctx = arg0.ctx
3535 res = isl.isl_pw_aff_min(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3538 def min_val(arg0): argument
3540 if not arg0.__class__ is pw_aff:
3541 arg0 = pw_aff(arg0)
3544 ctx = arg0.ctx
3545 res = isl.isl_pw_aff_min_val(isl.isl_pw_aff_copy(arg0.ptr))
3566 def mul(arg0, arg1): argument
3568 if not arg0.__class__ is pw_aff:
3569 arg0 = pw_aff(arg0)
3576 return union_pw_aff(arg0).mul(arg1)
3577 ctx = arg0.ctx
3578 res = isl.isl_pw_aff_mul(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3581 def ne_set(arg0, arg1): argument
3583 if not arg0.__class__ is pw_aff:
3584 arg0 = pw_aff(arg0)
3591 return union_pw_aff(arg0).ne_set(arg1)
3592 ctx = arg0.ctx
3593 res = isl.isl_pw_aff_ne_set(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3596 def neg(arg0): argument
3598 if not arg0.__class__ is pw_aff:
3599 arg0 = pw_aff(arg0)
3602 ctx = arg0.ctx
3603 res = isl.isl_pw_aff_neg(isl.isl_pw_aff_copy(arg0.ptr))
3620 def params(arg0): argument
3622 if not arg0.__class__ is pw_aff:
3623 arg0 = pw_aff(arg0)
3626 ctx = arg0.ctx
3627 res = isl.isl_pw_aff_params(isl.isl_pw_aff_copy(arg0.ptr))
3630 def plain_is_equal(arg0, arg1): argument
3632 if not arg0.__class__ is pw_aff:
3633 arg0 = pw_aff(arg0)
3640 return union_pw_aff(arg0).plain_is_equal(arg1)
3641 ctx = arg0.ctx
3642 res = isl.isl_pw_aff_plain_is_equal(arg0.ptr, arg1.ptr)
3717 def space(arg0): argument
3719 if not arg0.__class__ is pw_aff:
3720 arg0 = pw_aff(arg0)
3723 ctx = arg0.ctx
3724 res = isl.isl_pw_aff_get_space(arg0.ptr)
3727 def get_space(arg0): argument
3728 return arg0.space()
3729 def sub(arg0, arg1): argument
3731 if not arg0.__class__ is pw_aff:
3732 arg0 = pw_aff(arg0)
3739 return union_pw_aff(arg0).sub(arg1)
3740 ctx = arg0.ctx
3741 res = isl.isl_pw_aff_sub(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3744 def subtract_domain(arg0, arg1): argument
3746 if not arg0.__class__ is pw_aff:
3747 arg0 = pw_aff(arg0)
3754 return union_pw_aff(arg0).subtract_domain(arg1)
3755 ctx = arg0.ctx
3756 … res = isl.isl_pw_aff_subtract_domain(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
3759 def tdiv_q(arg0, arg1): argument
3761 if not arg0.__class__ is pw_aff:
3762 arg0 = pw_aff(arg0)
3769 return union_pw_aff(arg0).tdiv_q(arg1)
3770 ctx = arg0.ctx
3771 res = isl.isl_pw_aff_tdiv_q(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3774 def tdiv_r(arg0, arg1): argument
3776 if not arg0.__class__ is pw_aff:
3777 arg0 = pw_aff(arg0)
3784 return union_pw_aff(arg0).tdiv_r(arg1)
3785 ctx = arg0.ctx
3786 res = isl.isl_pw_aff_tdiv_r(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3789 def to_list(arg0): argument
3791 if not arg0.__class__ is pw_aff:
3792 arg0 = pw_aff(arg0)
3795 ctx = arg0.ctx
3796 res = isl.isl_pw_aff_to_list(isl.isl_pw_aff_copy(arg0.ptr))
3799 def to_union_pw_aff(arg0): argument
3801 if not arg0.__class__ is pw_aff:
3802 arg0 = pw_aff(arg0)
3805 ctx = arg0.ctx
3806 res = isl.isl_pw_aff_to_union_pw_aff(isl.isl_pw_aff_copy(arg0.ptr))
3809 def union_add(arg0, arg1): argument
3811 if not arg0.__class__ is pw_aff:
3812 arg0 = pw_aff(arg0)
3819 return union_pw_aff(arg0).union_add(arg1)
3820 ctx = arg0.ctx
3821 res = isl.isl_pw_aff_union_add(isl.isl_pw_aff_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
3958 def __str__(arg0): argument
3960 if not arg0.__class__ is multi_aff:
3961 arg0 = multi_aff(arg0)
3964 ptr = isl.isl_multi_aff_to_str(arg0.ptr)
3974 def add(arg0, arg1): argument
3976 if not arg0.__class__ is multi_aff:
3977 arg0 = multi_aff(arg0)
3984 return pw_multi_aff(arg0).add(arg1)
3985 ctx = arg0.ctx
3986 … res = isl.isl_multi_aff_add(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_multi_aff_copy(arg1.ptr))
4018 def as_map(arg0): argument
4020 if not arg0.__class__ is multi_aff:
4021 arg0 = multi_aff(arg0)
4024 ctx = arg0.ctx
4025 res = isl.isl_multi_aff_as_map(isl.isl_multi_aff_copy(arg0.ptr))
4028 def as_set(arg0): argument
4030 if not arg0.__class__ is multi_aff:
4031 arg0 = multi_aff(arg0)
4034 ctx = arg0.ctx
4035 res = isl.isl_multi_aff_as_set(isl.isl_multi_aff_copy(arg0.ptr))
4038 def at(arg0, arg1): argument
4040 if not arg0.__class__ is multi_aff:
4041 arg0 = multi_aff(arg0)
4044 ctx = arg0.ctx
4045 res = isl.isl_multi_aff_get_at(arg0.ptr, arg1)
4048 def get_at(arg0, arg1): argument
4049 return arg0.at(arg1)
4050 def bind(arg0, arg1): argument
4052 if not arg0.__class__ is multi_aff:
4053 arg0 = multi_aff(arg0)
4060 return pw_multi_aff(arg0).bind(arg1)
4061 ctx = arg0.ctx
4062 … res = isl.isl_multi_aff_bind(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.ptr))
4065 def bind_domain(arg0, arg1): argument
4067 if not arg0.__class__ is multi_aff:
4068 arg0 = multi_aff(arg0)
4075 return pw_multi_aff(arg0).bind_domain(arg1)
4076 ctx = arg0.ctx
4077 …res = isl.isl_multi_aff_bind_domain(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.p…
4080 def bind_domain_wrapped_domain(arg0, arg1): argument
4082 if not arg0.__class__ is multi_aff:
4083 arg0 = multi_aff(arg0)
4090 return pw_multi_aff(arg0).bind_domain_wrapped_domain(arg1)
4091 ctx = arg0.ctx
4092 …res = isl.isl_multi_aff_bind_domain_wrapped_domain(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_multi…
4095 def constant_multi_val(arg0): argument
4097 if not arg0.__class__ is multi_aff:
4098 arg0 = multi_aff(arg0)
4101 ctx = arg0.ctx
4102 res = isl.isl_multi_aff_get_constant_multi_val(arg0.ptr)
4105 def get_constant_multi_val(arg0): argument
4106 return arg0.constant_multi_val()
4108 def domain_map(arg0): argument
4110 if not arg0.__class__ is space:
4111 arg0 = space(arg0)
4114 ctx = arg0.ctx
4115 res = isl.isl_multi_aff_domain_map(isl.isl_space_copy(arg0.ptr))
4118 def domain_reverse(arg0): argument
4120 if not arg0.__class__ is multi_aff:
4121 arg0 = multi_aff(arg0)
4124 ctx = arg0.ctx
4125 res = isl.isl_multi_aff_domain_reverse(isl.isl_multi_aff_copy(arg0.ptr))
4128 def flat_range_product(arg0, arg1): argument
4130 if not arg0.__class__ is multi_aff:
4131 arg0 = multi_aff(arg0)
4138 return pw_multi_aff(arg0).flat_range_product(arg1)
4139 ctx = arg0.ctx
4140 …res = isl.isl_multi_aff_flat_range_product(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_multi_aff_cop…
4143 def floor(arg0): argument
4145 if not arg0.__class__ is multi_aff:
4146 arg0 = multi_aff(arg0)
4149 ctx = arg0.ctx
4150 res = isl.isl_multi_aff_floor(isl.isl_multi_aff_copy(arg0.ptr))
4153 def gist(arg0, arg1): argument
4155 if not arg0.__class__ is multi_aff:
4156 arg0 = multi_aff(arg0)
4163 return pw_multi_aff(arg0).gist(arg1)
4164 ctx = arg0.ctx
4165 res = isl.isl_multi_aff_gist(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
4168 def gist_params(arg0, arg1): argument
4170 if not arg0.__class__ is multi_aff:
4171 arg0 = multi_aff(arg0)
4178 return pw_multi_aff(arg0).gist_params(arg1)
4179 ctx = arg0.ctx
4180 … res = isl.isl_multi_aff_gist_params(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
4183 def has_range_tuple_id(arg0): argument
4185 if not arg0.__class__ is multi_aff:
4186 arg0 = multi_aff(arg0)
4189 ctx = arg0.ctx
4190 res = isl.isl_multi_aff_has_range_tuple_id(arg0.ptr)
4215 def insert_domain(arg0, arg1): argument
4217 if not arg0.__class__ is multi_aff:
4218 arg0 = multi_aff(arg0)
4225 return pw_multi_aff(arg0).insert_domain(arg1)
4226 ctx = arg0.ctx
4227 …res = isl.isl_multi_aff_insert_domain(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_space_copy(arg1.pt…
4230 def involves_locals(arg0): argument
4232 if not arg0.__class__ is multi_aff:
4233 arg0 = multi_aff(arg0)
4236 ctx = arg0.ctx
4237 res = isl.isl_multi_aff_involves_locals(arg0.ptr)
4241 def involves_nan(arg0): argument
4243 if not arg0.__class__ is multi_aff:
4244 arg0 = multi_aff(arg0)
4247 ctx = arg0.ctx
4248 res = isl.isl_multi_aff_involves_nan(arg0.ptr)
4252 def list(arg0): argument
4254 if not arg0.__class__ is multi_aff:
4255 arg0 = multi_aff(arg0)
4258 ctx = arg0.ctx
4259 res = isl.isl_multi_aff_get_list(arg0.ptr)
4262 def get_list(arg0): argument
4263 return arg0.list()
4272 def neg(arg0): argument
4274 if not arg0.__class__ is multi_aff:
4275 arg0 = multi_aff(arg0)
4278 ctx = arg0.ctx
4279 res = isl.isl_multi_aff_neg(isl.isl_multi_aff_copy(arg0.ptr))
4282 def plain_is_equal(arg0, arg1): argument
4284 if not arg0.__class__ is multi_aff:
4285 arg0 = multi_aff(arg0)
4292 return pw_multi_aff(arg0).plain_is_equal(arg1)
4293 ctx = arg0.ctx
4294 res = isl.isl_multi_aff_plain_is_equal(arg0.ptr, arg1.ptr)
4298 def product(arg0, arg1): argument
4300 if not arg0.__class__ is multi_aff:
4301 arg0 = multi_aff(arg0)
4308 return pw_multi_aff(arg0).product(arg1)
4309 ctx = arg0.ctx
4310 …res = isl.isl_multi_aff_product(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_multi_aff_copy(arg1.ptr))
4327 def range_map(arg0): argument
4329 if not arg0.__class__ is space:
4330 arg0 = space(arg0)
4333 ctx = arg0.ctx
4334 res = isl.isl_multi_aff_range_map(isl.isl_space_copy(arg0.ptr))
4337 def range_product(arg0, arg1): argument
4339 if not arg0.__class__ is multi_aff:
4340 arg0 = multi_aff(arg0)
4347 return pw_multi_aff(arg0).range_product(arg1)
4348 ctx = arg0.ctx
4349 …res = isl.isl_multi_aff_range_product(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_multi_aff_copy(arg…
4352 def range_tuple_id(arg0): argument
4354 if not arg0.__class__ is multi_aff:
4355 arg0 = multi_aff(arg0)
4358 ctx = arg0.ctx
4359 res = isl.isl_multi_aff_get_range_tuple_id(arg0.ptr)
4362 def get_range_tuple_id(arg0): argument
4363 return arg0.range_tuple_id()
4364 def reset_range_tuple_id(arg0): argument
4366 if not arg0.__class__ is multi_aff:
4367 arg0 = multi_aff(arg0)
4370 ctx = arg0.ctx
4371 res = isl.isl_multi_aff_reset_range_tuple_id(isl.isl_multi_aff_copy(arg0.ptr))
4432 def set_at(arg0, arg1, arg2): argument
4434 if not arg0.__class__ is multi_aff:
4435 arg0 = multi_aff(arg0)
4442 return pw_multi_aff(arg0).set_at(arg1, arg2)
4443 ctx = arg0.ctx
4444 … res = isl.isl_multi_aff_set_at(isl.isl_multi_aff_copy(arg0.ptr), arg1, isl.isl_aff_copy(arg2.ptr))
4465 def size(arg0): argument
4467 if not arg0.__class__ is multi_aff:
4468 arg0 = multi_aff(arg0)
4471 ctx = arg0.ctx
4472 res = isl.isl_multi_aff_size(arg0.ptr)
4476 def space(arg0): argument
4478 if not arg0.__class__ is multi_aff:
4479 arg0 = multi_aff(arg0)
4482 ctx = arg0.ctx
4483 res = isl.isl_multi_aff_get_space(arg0.ptr)
4486 def get_space(arg0): argument
4487 return arg0.space()
4488 def sub(arg0, arg1): argument
4490 if not arg0.__class__ is multi_aff:
4491 arg0 = multi_aff(arg0)
4498 return pw_multi_aff(arg0).sub(arg1)
4499 ctx = arg0.ctx
4500 … res = isl.isl_multi_aff_sub(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_multi_aff_copy(arg1.ptr))
4503 def to_multi_pw_aff(arg0): argument
4505 if not arg0.__class__ is multi_aff:
4506 arg0 = multi_aff(arg0)
4509 ctx = arg0.ctx
4510 res = isl.isl_multi_aff_to_multi_pw_aff(isl.isl_multi_aff_copy(arg0.ptr))
4513 def to_multi_union_pw_aff(arg0): argument
4515 if not arg0.__class__ is multi_aff:
4516 arg0 = multi_aff(arg0)
4519 ctx = arg0.ctx
4520 res = isl.isl_multi_aff_to_multi_union_pw_aff(isl.isl_multi_aff_copy(arg0.ptr))
4523 def to_pw_multi_aff(arg0): argument
4525 if not arg0.__class__ is multi_aff:
4526 arg0 = multi_aff(arg0)
4529 ctx = arg0.ctx
4530 res = isl.isl_multi_aff_to_pw_multi_aff(isl.isl_multi_aff_copy(arg0.ptr))
4533 def unbind_params_insert_domain(arg0, arg1): argument
4535 if not arg0.__class__ is multi_aff:
4536 arg0 = multi_aff(arg0)
4543 return pw_multi_aff(arg0).unbind_params_insert_domain(arg1)
4544 ctx = arg0.ctx
4545 …res = isl.isl_multi_aff_unbind_params_insert_domain(isl.isl_multi_aff_copy(arg0.ptr), isl.isl_mult…
4549 def zero(arg0): argument
4551 if not arg0.__class__ is space:
4552 arg0 = space(arg0)
4555 ctx = arg0.ctx
4556 res = isl.isl_multi_aff_zero(isl.isl_space_copy(arg0.ptr))
4674 def __str__(arg0): argument
4676 if not arg0.__class__ is aff:
4677 arg0 = aff(arg0)
4680 ptr = isl.isl_aff_to_str(arg0.ptr)
4690 def add(arg0, arg1): argument
4692 if not arg0.__class__ is aff:
4693 arg0 = aff(arg0)
4700 return pw_aff(arg0).add(arg1)
4701 ctx = arg0.ctx
4702 res = isl.isl_aff_add(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4741 def ceil(arg0): argument
4743 if not arg0.__class__ is aff:
4744 arg0 = aff(arg0)
4747 ctx = arg0.ctx
4748 res = isl.isl_aff_ceil(isl.isl_aff_copy(arg0.ptr))
4751 def constant_val(arg0): argument
4753 if not arg0.__class__ is aff:
4754 arg0 = aff(arg0)
4757 ctx = arg0.ctx
4758 res = isl.isl_aff_get_constant_val(arg0.ptr)
4761 def get_constant_val(arg0): argument
4762 return arg0.constant_val()
4763 def div(arg0, arg1): argument
4765 if not arg0.__class__ is aff:
4766 arg0 = aff(arg0)
4773 return pw_aff(arg0).div(arg1)
4774 ctx = arg0.ctx
4775 res = isl.isl_aff_div(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4778 def domain_reverse(arg0): argument
4780 if not arg0.__class__ is aff:
4781 arg0 = aff(arg0)
4784 ctx = arg0.ctx
4785 res = isl.isl_aff_domain_reverse(isl.isl_aff_copy(arg0.ptr))
4788 def eq_set(arg0, arg1): argument
4790 if not arg0.__class__ is aff:
4791 arg0 = aff(arg0)
4798 return pw_aff(arg0).eq_set(arg1)
4799 ctx = arg0.ctx
4800 res = isl.isl_aff_eq_set(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4803 def eval(arg0, arg1): argument
4805 if not arg0.__class__ is aff:
4806 arg0 = aff(arg0)
4813 return pw_aff(arg0).eval(arg1)
4814 ctx = arg0.ctx
4815 res = isl.isl_aff_eval(isl.isl_aff_copy(arg0.ptr), isl.isl_point_copy(arg1.ptr))
4818 def floor(arg0): argument
4820 if not arg0.__class__ is aff:
4821 arg0 = aff(arg0)
4824 ctx = arg0.ctx
4825 res = isl.isl_aff_floor(isl.isl_aff_copy(arg0.ptr))
4828 def ge_set(arg0, arg1): argument
4830 if not arg0.__class__ is aff:
4831 arg0 = aff(arg0)
4838 return pw_aff(arg0).ge_set(arg1)
4839 ctx = arg0.ctx
4840 res = isl.isl_aff_ge_set(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4843 def gist(arg0, arg1): argument
4845 if not arg0.__class__ is aff:
4846 arg0 = aff(arg0)
4853 return pw_aff(arg0).gist(arg1)
4854 ctx = arg0.ctx
4855 res = isl.isl_aff_gist(isl.isl_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
4858 def gist_params(arg0, arg1): argument
4860 if not arg0.__class__ is aff:
4861 arg0 = aff(arg0)
4868 return pw_aff(arg0).gist_params(arg1)
4869 ctx = arg0.ctx
4870 res = isl.isl_aff_gist_params(isl.isl_aff_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
4873 def gt_set(arg0, arg1): argument
4875 if not arg0.__class__ is aff:
4876 arg0 = aff(arg0)
4883 return pw_aff(arg0).gt_set(arg1)
4884 ctx = arg0.ctx
4885 res = isl.isl_aff_gt_set(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4888 def is_cst(arg0): argument
4890 if not arg0.__class__ is aff:
4891 arg0 = aff(arg0)
4894 ctx = arg0.ctx
4895 res = isl.isl_aff_is_cst(arg0.ptr)
4899 def le_set(arg0, arg1): argument
4901 if not arg0.__class__ is aff:
4902 arg0 = aff(arg0)
4909 return pw_aff(arg0).le_set(arg1)
4910 ctx = arg0.ctx
4911 res = isl.isl_aff_le_set(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4914 def lt_set(arg0, arg1): argument
4916 if not arg0.__class__ is aff:
4917 arg0 = aff(arg0)
4924 return pw_aff(arg0).lt_set(arg1)
4925 ctx = arg0.ctx
4926 res = isl.isl_aff_lt_set(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4947 def mul(arg0, arg1): argument
4949 if not arg0.__class__ is aff:
4950 arg0 = aff(arg0)
4957 return pw_aff(arg0).mul(arg1)
4958 ctx = arg0.ctx
4959 res = isl.isl_aff_mul(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4962 def ne_set(arg0, arg1): argument
4964 if not arg0.__class__ is aff:
4965 arg0 = aff(arg0)
4972 return pw_aff(arg0).ne_set(arg1)
4973 ctx = arg0.ctx
4974 res = isl.isl_aff_ne_set(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
4977 def neg(arg0): argument
4979 if not arg0.__class__ is aff:
4980 arg0 = aff(arg0)
4983 ctx = arg0.ctx
4984 res = isl.isl_aff_neg(isl.isl_aff_copy(arg0.ptr))
4987 def plain_is_equal(arg0, arg1): argument
4989 if not arg0.__class__ is aff:
4990 arg0 = aff(arg0)
4997 return pw_aff(arg0).plain_is_equal(arg1)
4998 ctx = arg0.ctx
4999 res = isl.isl_aff_plain_is_equal(arg0.ptr, arg1.ptr)
5052 def sub(arg0, arg1): argument
5054 if not arg0.__class__ is aff:
5055 arg0 = aff(arg0)
5062 return pw_aff(arg0).sub(arg1)
5063 ctx = arg0.ctx
5064 res = isl.isl_aff_sub(isl.isl_aff_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
5067 def to_list(arg0): argument
5069 if not arg0.__class__ is aff:
5070 arg0 = aff(arg0)
5073 ctx = arg0.ctx
5074 res = isl.isl_aff_to_list(isl.isl_aff_copy(arg0.ptr))
5077 def unbind_params_insert_domain(arg0, arg1): argument
5079 if not arg0.__class__ is aff:
5080 arg0 = aff(arg0)
5087 return pw_aff(arg0).unbind_params_insert_domain(arg1)
5088 ctx = arg0.ctx
5089 …res = isl.isl_aff_unbind_params_insert_domain(isl.isl_aff_copy(arg0.ptr), isl.isl_multi_id_copy(ar…
5188 def __str__(arg0): argument
5190 if not arg0.__class__ is aff_list:
5191 arg0 = aff_list(arg0)
5194 ptr = isl.isl_aff_list_to_str(arg0.ptr)
5204 def add(arg0, arg1): argument
5206 if not arg0.__class__ is aff_list:
5207 arg0 = aff_list(arg0)
5215 ctx = arg0.ctx
5216 res = isl.isl_aff_list_add(isl.isl_aff_list_copy(arg0.ptr), isl.isl_aff_copy(arg1.ptr))
5219 def at(arg0, arg1): argument
5221 if not arg0.__class__ is aff_list:
5222 arg0 = aff_list(arg0)
5225 ctx = arg0.ctx
5226 res = isl.isl_aff_list_get_at(arg0.ptr, arg1)
5229 def get_at(arg0, arg1): argument
5230 return arg0.at(arg1)
5231 def clear(arg0): argument
5233 if not arg0.__class__ is aff_list:
5234 arg0 = aff_list(arg0)
5237 ctx = arg0.ctx
5238 res = isl.isl_aff_list_clear(isl.isl_aff_list_copy(arg0.ptr))
5241 def concat(arg0, arg1): argument
5243 if not arg0.__class__ is aff_list:
5244 arg0 = aff_list(arg0)
5252 ctx = arg0.ctx
5253 … res = isl.isl_aff_list_concat(isl.isl_aff_list_copy(arg0.ptr), isl.isl_aff_list_copy(arg1.ptr))
5256 def drop(arg0, arg1, arg2): argument
5258 if not arg0.__class__ is aff_list:
5259 arg0 = aff_list(arg0)
5262 ctx = arg0.ctx
5263 res = isl.isl_aff_list_drop(isl.isl_aff_list_copy(arg0.ptr), arg1, arg2)
5266 def foreach(arg0, arg1): argument
5268 if not arg0.__class__ is aff_list:
5269 arg0 = aff_list(arg0)
5275 cb_arg0 = aff(ctx=arg0.ctx, ptr=(cb_arg0))
5283 ctx = arg0.ctx
5284 res = isl.isl_aff_list_foreach(arg0.ptr, cb1, None)
5289 def foreach_scc(arg0, arg1, arg2): argument
5291 if not arg0.__class__ is aff_list:
5292 arg0 = aff_list(arg0)
5298 cb_arg0 = aff(ctx=arg0.ctx, ptr=isl.isl_aff_copy(cb_arg0))
5299 cb_arg1 = aff(ctx=arg0.ctx, ptr=isl.isl_aff_copy(cb_arg1))
5310 cb_arg0 = aff_list(ctx=arg0.ctx, ptr=(cb_arg0))
5318 ctx = arg0.ctx
5319 res = isl.isl_aff_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
5324 def insert(arg0, arg1, arg2): argument
5326 if not arg0.__class__ is aff_list:
5327 arg0 = aff_list(arg0)
5335 ctx = arg0.ctx
5336 … res = isl.isl_aff_list_insert(isl.isl_aff_list_copy(arg0.ptr), arg1, isl.isl_aff_copy(arg2.ptr))
5339 def set_at(arg0, arg1, arg2): argument
5341 if not arg0.__class__ is aff_list:
5342 arg0 = aff_list(arg0)
5350 ctx = arg0.ctx
5351 … res = isl.isl_aff_list_set_at(isl.isl_aff_list_copy(arg0.ptr), arg1, isl.isl_aff_copy(arg2.ptr))
5354 def size(arg0): argument
5356 if not arg0.__class__ is aff_list:
5357 arg0 = aff_list(arg0)
5360 ctx = arg0.ctx
5361 res = isl.isl_aff_list_size(arg0.ptr)
5413 def set_at_each_domain(arg0, arg1): argument
5415 if not arg0.__class__ is ast_build:
5416 arg0 = ast_build(arg0)
5422 cb_arg0 = ast_node(ctx=arg0.ctx, ptr=(cb_arg0))
5423 cb_arg1 = ast_build(ctx=arg0.ctx, ptr=isl.isl_ast_build_copy(cb_arg1))
5431 ctx = arg0.ctx
5432 res = isl.isl_ast_build_set_at_each_domain(isl.isl_ast_build_copy(arg0.ptr), cb1, None)
5435 if hasattr(arg0, 'at_each_domain') and arg0.at_each_domain['exc_info'] != None:
5436 exc_info = arg0.at_each_domain['exc_info'][0]
5437 arg0.at_each_domain['exc_info'][0] = None
5441 obj.copy_callbacks(arg0)
5547 def from_context(arg0): argument
5549 if not arg0.__class__ is set:
5550 arg0 = set(arg0)
5553 ctx = arg0.ctx
5554 res = isl.isl_ast_build_from_context(isl.isl_set_copy(arg0.ptr))
5575 def node_from_schedule_map(arg0, arg1): argument
5577 if not arg0.__class__ is ast_build:
5578 arg0 = ast_build(arg0)
5586 ctx = arg0.ctx
5587 res = isl.isl_ast_build_node_from_schedule_map(arg0.ptr, isl.isl_union_map_copy(arg1.ptr))
5588 if hasattr(arg0, 'at_each_domain') and arg0.at_each_domain['exc_info'] != None:
5589 exc_info = arg0.at_each_domain['exc_info'][0]
5590 arg0.at_each_domain['exc_info'][0] = None
5595 def schedule(arg0): argument
5597 if not arg0.__class__ is ast_build:
5598 arg0 = ast_build(arg0)
5601 ctx = arg0.ctx
5602 res = isl.isl_ast_build_get_schedule(arg0.ptr)
5603 if hasattr(arg0, 'at_each_domain') and arg0.at_each_domain['exc_info'] != None:
5604 exc_info = arg0.at_each_domain['exc_info'][0]
5605 arg0.at_each_domain['exc_info'][0] = None
5610 def get_schedule(arg0): argument
5611 return arg0.schedule()
5675 def __str__(arg0): argument
5677 if not arg0.__class__ is ast_expr:
5678 arg0 = ast_expr(arg0)
5681 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
5691 def to_C_str(arg0): argument
5693 if not arg0.__class__ is ast_expr:
5694 arg0 = ast_expr(arg0)
5697 ctx = arg0.ctx
5698 res = isl.isl_ast_expr_to_C_str(arg0.ptr)
5727 def __str__(arg0): argument
5729 if not arg0.__class__ is ast_expr_id:
5730 arg0 = ast_expr_id(arg0)
5733 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
5743 def id(arg0): argument
5745 if not arg0.__class__ is ast_expr:
5746 arg0 = ast_expr(arg0)
5749 ctx = arg0.ctx
5750 res = isl.isl_ast_expr_id_get_id(arg0.ptr)
5753 def get_id(arg0): argument
5754 return arg0.id()
5777 def __str__(arg0): argument
5779 if not arg0.__class__ is ast_expr_int:
5780 arg0 = ast_expr_int(arg0)
5783 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
5793 def val(arg0): argument
5795 if not arg0.__class__ is ast_expr:
5796 arg0 = ast_expr(arg0)
5799 ctx = arg0.ctx
5800 res = isl.isl_ast_expr_int_get_val(arg0.ptr)
5803 def get_val(arg0): argument
5804 return arg0.val()
5986 def __str__(arg0): argument
5988 if not arg0.__class__ is ast_expr_op:
5989 arg0 = ast_expr_op(arg0)
5992 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6002 def arg(arg0, arg1): argument
6004 if not arg0.__class__ is ast_expr:
6005 arg0 = ast_expr(arg0)
6008 ctx = arg0.ctx
6009 res = isl.isl_ast_expr_op_get_arg(arg0.ptr, arg1)
6012 def get_arg(arg0, arg1): argument
6013 return arg0.arg(arg1)
6014 def n_arg(arg0): argument
6016 if not arg0.__class__ is ast_expr:
6017 arg0 = ast_expr(arg0)
6020 ctx = arg0.ctx
6021 res = isl.isl_ast_expr_op_get_n_arg(arg0.ptr)
6025 def get_n_arg(arg0): argument
6026 return arg0.n_arg()
6051 def __str__(arg0): argument
6053 if not arg0.__class__ is ast_expr_op_access:
6054 arg0 = ast_expr_op_access(arg0)
6057 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6087 def __str__(arg0): argument
6089 if not arg0.__class__ is ast_expr_op_add:
6090 arg0 = ast_expr_op_add(arg0)
6093 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6123 def __str__(arg0): argument
6125 if not arg0.__class__ is ast_expr_op_address_of:
6126 arg0 = ast_expr_op_address_of(arg0)
6129 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6159 def __str__(arg0): argument
6161 if not arg0.__class__ is ast_expr_op_and:
6162 arg0 = ast_expr_op_and(arg0)
6165 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6195 def __str__(arg0): argument
6197 if not arg0.__class__ is ast_expr_op_and_then:
6198 arg0 = ast_expr_op_and_then(arg0)
6201 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6231 def __str__(arg0): argument
6233 if not arg0.__class__ is ast_expr_op_call:
6234 arg0 = ast_expr_op_call(arg0)
6237 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6267 def __str__(arg0): argument
6269 if not arg0.__class__ is ast_expr_op_cond:
6270 arg0 = ast_expr_op_cond(arg0)
6273 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6303 def __str__(arg0): argument
6305 if not arg0.__class__ is ast_expr_op_div:
6306 arg0 = ast_expr_op_div(arg0)
6309 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6339 def __str__(arg0): argument
6341 if not arg0.__class__ is ast_expr_op_eq:
6342 arg0 = ast_expr_op_eq(arg0)
6345 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6375 def __str__(arg0): argument
6377 if not arg0.__class__ is ast_expr_op_fdiv_q:
6378 arg0 = ast_expr_op_fdiv_q(arg0)
6381 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6411 def __str__(arg0): argument
6413 if not arg0.__class__ is ast_expr_op_ge:
6414 arg0 = ast_expr_op_ge(arg0)
6417 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6447 def __str__(arg0): argument
6449 if not arg0.__class__ is ast_expr_op_gt:
6450 arg0 = ast_expr_op_gt(arg0)
6453 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6483 def __str__(arg0): argument
6485 if not arg0.__class__ is ast_expr_op_le:
6486 arg0 = ast_expr_op_le(arg0)
6489 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6519 def __str__(arg0): argument
6521 if not arg0.__class__ is ast_expr_op_lt:
6522 arg0 = ast_expr_op_lt(arg0)
6525 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6555 def __str__(arg0): argument
6557 if not arg0.__class__ is ast_expr_op_max:
6558 arg0 = ast_expr_op_max(arg0)
6561 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6591 def __str__(arg0): argument
6593 if not arg0.__class__ is ast_expr_op_member:
6594 arg0 = ast_expr_op_member(arg0)
6597 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6627 def __str__(arg0): argument
6629 if not arg0.__class__ is ast_expr_op_min:
6630 arg0 = ast_expr_op_min(arg0)
6633 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6663 def __str__(arg0): argument
6665 if not arg0.__class__ is ast_expr_op_minus:
6666 arg0 = ast_expr_op_minus(arg0)
6669 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6699 def __str__(arg0): argument
6701 if not arg0.__class__ is ast_expr_op_mul:
6702 arg0 = ast_expr_op_mul(arg0)
6705 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6735 def __str__(arg0): argument
6737 if not arg0.__class__ is ast_expr_op_or:
6738 arg0 = ast_expr_op_or(arg0)
6741 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6771 def __str__(arg0): argument
6773 if not arg0.__class__ is ast_expr_op_or_else:
6774 arg0 = ast_expr_op_or_else(arg0)
6777 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6807 def __str__(arg0): argument
6809 if not arg0.__class__ is ast_expr_op_pdiv_q:
6810 arg0 = ast_expr_op_pdiv_q(arg0)
6813 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6843 def __str__(arg0): argument
6845 if not arg0.__class__ is ast_expr_op_pdiv_r:
6846 arg0 = ast_expr_op_pdiv_r(arg0)
6849 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6879 def __str__(arg0): argument
6881 if not arg0.__class__ is ast_expr_op_select:
6882 arg0 = ast_expr_op_select(arg0)
6885 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6915 def __str__(arg0): argument
6917 if not arg0.__class__ is ast_expr_op_sub:
6918 arg0 = ast_expr_op_sub(arg0)
6921 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
6951 def __str__(arg0): argument
6953 if not arg0.__class__ is ast_expr_op_zdiv_r:
6954 arg0 = ast_expr_op_zdiv_r(arg0)
6957 ptr = isl.isl_ast_expr_to_str(arg0.ptr)
7020 def __str__(arg0): argument
7022 if not arg0.__class__ is ast_node:
7023 arg0 = ast_node(arg0)
7026 ptr = isl.isl_ast_node_to_str(arg0.ptr)
7036 def map_descendant_bottom_up(arg0, arg1): argument
7038 if not arg0.__class__ is ast_node:
7039 arg0 = ast_node(arg0)
7045 cb_arg0 = ast_node(ctx=arg0.ctx, ptr=(cb_arg0))
7053 ctx = arg0.ctx
7054 res = isl.isl_ast_node_map_descendant_bottom_up(isl.isl_ast_node_copy(arg0.ptr), cb1, None)
7059 def to_C_str(arg0): argument
7061 if not arg0.__class__ is ast_node:
7062 arg0 = ast_node(arg0)
7065 ctx = arg0.ctx
7066 res = isl.isl_ast_node_to_C_str(arg0.ptr)
7072 def to_list(arg0): argument
7074 if not arg0.__class__ is ast_node:
7075 arg0 = ast_node(arg0)
7078 ctx = arg0.ctx
7079 res = isl.isl_ast_node_to_list(isl.isl_ast_node_copy(arg0.ptr))
7113 def __str__(arg0): argument
7115 if not arg0.__class__ is ast_node_block:
7116 arg0 = ast_node_block(arg0)
7119 ptr = isl.isl_ast_node_to_str(arg0.ptr)
7129 def children(arg0): argument
7131 if not arg0.__class__ is ast_node:
7132 arg0 = ast_node(arg0)
7135 ctx = arg0.ctx
7136 res = isl.isl_ast_node_block_get_children(arg0.ptr)
7139 def get_children(arg0): argument
7140 return arg0.children()
7165 def __str__(arg0): argument
7167 if not arg0.__class__ is ast_node_for:
7168 arg0 = ast_node_for(arg0)
7171 ptr = isl.isl_ast_node_to_str(arg0.ptr)
7181 def body(arg0): argument
7183 if not arg0.__class__ is ast_node:
7184 arg0 = ast_node(arg0)
7187 ctx = arg0.ctx
7188 res = isl.isl_ast_node_for_get_body(arg0.ptr)
7191 def get_body(arg0): argument
7192 return arg0.body()
7193 def cond(arg0): argument
7195 if not arg0.__class__ is ast_node:
7196 arg0 = ast_node(arg0)
7199 ctx = arg0.ctx
7200 res = isl.isl_ast_node_for_get_cond(arg0.ptr)
7203 def get_cond(arg0): argument
7204 return arg0.cond()
7205 def inc(arg0): argument
7207 if not arg0.__class__ is ast_node:
7208 arg0 = ast_node(arg0)
7211 ctx = arg0.ctx
7212 res = isl.isl_ast_node_for_get_inc(arg0.ptr)
7215 def get_inc(arg0): argument
7216 return arg0.inc()
7217 def init(arg0): argument
7219 if not arg0.__class__ is ast_node:
7220 arg0 = ast_node(arg0)
7223 ctx = arg0.ctx
7224 res = isl.isl_ast_node_for_get_init(arg0.ptr)
7227 def get_init(arg0): argument
7228 return arg0.init()
7229 def is_degenerate(arg0): argument
7231 if not arg0.__class__ is ast_node:
7232 arg0 = ast_node(arg0)
7235 ctx = arg0.ctx
7236 res = isl.isl_ast_node_for_is_degenerate(arg0.ptr)
7240 def iterator(arg0): argument
7242 if not arg0.__class__ is ast_node:
7243 arg0 = ast_node(arg0)
7246 ctx = arg0.ctx
7247 res = isl.isl_ast_node_for_get_iterator(arg0.ptr)
7250 def get_iterator(arg0): argument
7251 return arg0.iterator()
7283 def __str__(arg0): argument
7285 if not arg0.__class__ is ast_node_if:
7286 arg0 = ast_node_if(arg0)
7289 ptr = isl.isl_ast_node_to_str(arg0.ptr)
7299 def cond(arg0): argument
7301 if not arg0.__class__ is ast_node:
7302 arg0 = ast_node(arg0)
7305 ctx = arg0.ctx
7306 res = isl.isl_ast_node_if_get_cond(arg0.ptr)
7309 def get_cond(arg0): argument
7310 return arg0.cond()
7311 def else_node(arg0): argument
7313 if not arg0.__class__ is ast_node:
7314 arg0 = ast_node(arg0)
7317 ctx = arg0.ctx
7318 res = isl.isl_ast_node_if_get_else_node(arg0.ptr)
7321 def get_else_node(arg0): argument
7322 return arg0.else_node()
7323 def has_else_node(arg0): argument
7325 if not arg0.__class__ is ast_node:
7326 arg0 = ast_node(arg0)
7329 ctx = arg0.ctx
7330 res = isl.isl_ast_node_if_has_else_node(arg0.ptr)
7334 def then_node(arg0): argument
7336 if not arg0.__class__ is ast_node:
7337 arg0 = ast_node(arg0)
7340 ctx = arg0.ctx
7341 res = isl.isl_ast_node_if_get_then_node(arg0.ptr)
7344 def get_then_node(arg0): argument
7345 return arg0.then_node()
7379 def __str__(arg0): argument
7381 if not arg0.__class__ is ast_node_list:
7382 arg0 = ast_node_list(arg0)
7385 ptr = isl.isl_ast_node_list_to_str(arg0.ptr)
7395 def add(arg0, arg1): argument
7397 if not arg0.__class__ is ast_node_list:
7398 arg0 = ast_node_list(arg0)
7406 ctx = arg0.ctx
7407 …res = isl.isl_ast_node_list_add(isl.isl_ast_node_list_copy(arg0.ptr), isl.isl_ast_node_copy(arg1.p…
7410 def at(arg0, arg1): argument
7412 if not arg0.__class__ is ast_node_list:
7413 arg0 = ast_node_list(arg0)
7416 ctx = arg0.ctx
7417 res = isl.isl_ast_node_list_get_at(arg0.ptr, arg1)
7420 def get_at(arg0, arg1): argument
7421 return arg0.at(arg1)
7422 def clear(arg0): argument
7424 if not arg0.__class__ is ast_node_list:
7425 arg0 = ast_node_list(arg0)
7428 ctx = arg0.ctx
7429 res = isl.isl_ast_node_list_clear(isl.isl_ast_node_list_copy(arg0.ptr))
7432 def concat(arg0, arg1): argument
7434 if not arg0.__class__ is ast_node_list:
7435 arg0 = ast_node_list(arg0)
7443 ctx = arg0.ctx
7444 …res = isl.isl_ast_node_list_concat(isl.isl_ast_node_list_copy(arg0.ptr), isl.isl_ast_node_list_cop…
7447 def drop(arg0, arg1, arg2): argument
7449 if not arg0.__class__ is ast_node_list:
7450 arg0 = ast_node_list(arg0)
7453 ctx = arg0.ctx
7454 res = isl.isl_ast_node_list_drop(isl.isl_ast_node_list_copy(arg0.ptr), arg1, arg2)
7457 def foreach(arg0, arg1): argument
7459 if not arg0.__class__ is ast_node_list:
7460 arg0 = ast_node_list(arg0)
7466 cb_arg0 = ast_node(ctx=arg0.ctx, ptr=(cb_arg0))
7474 ctx = arg0.ctx
7475 res = isl.isl_ast_node_list_foreach(arg0.ptr, cb1, None)
7480 def foreach_scc(arg0, arg1, arg2): argument
7482 if not arg0.__class__ is ast_node_list:
7483 arg0 = ast_node_list(arg0)
7489 cb_arg0 = ast_node(ctx=arg0.ctx, ptr=isl.isl_ast_node_copy(cb_arg0))
7490 cb_arg1 = ast_node(ctx=arg0.ctx, ptr=isl.isl_ast_node_copy(cb_arg1))
7501 cb_arg0 = ast_node_list(ctx=arg0.ctx, ptr=(cb_arg0))
7509 ctx = arg0.ctx
7510 res = isl.isl_ast_node_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
7515 def insert(arg0, arg1, arg2): argument
7517 if not arg0.__class__ is ast_node_list:
7518 arg0 = ast_node_list(arg0)
7526 ctx = arg0.ctx
7527 …res = isl.isl_ast_node_list_insert(isl.isl_ast_node_list_copy(arg0.ptr), arg1, isl.isl_ast_node_co…
7530 def set_at(arg0, arg1, arg2): argument
7532 if not arg0.__class__ is ast_node_list:
7533 arg0 = ast_node_list(arg0)
7541 ctx = arg0.ctx
7542 …res = isl.isl_ast_node_list_set_at(isl.isl_ast_node_list_copy(arg0.ptr), arg1, isl.isl_ast_node_co…
7545 def size(arg0): argument
7547 if not arg0.__class__ is ast_node_list:
7548 arg0 = ast_node_list(arg0)
7551 ctx = arg0.ctx
7552 res = isl.isl_ast_node_list_size(arg0.ptr)
7597 def __str__(arg0): argument
7599 if not arg0.__class__ is ast_node_mark:
7600 arg0 = ast_node_mark(arg0)
7603 ptr = isl.isl_ast_node_to_str(arg0.ptr)
7613 def id(arg0): argument
7615 if not arg0.__class__ is ast_node:
7616 arg0 = ast_node(arg0)
7619 ctx = arg0.ctx
7620 res = isl.isl_ast_node_mark_get_id(arg0.ptr)
7623 def get_id(arg0): argument
7624 return arg0.id()
7625 def node(arg0): argument
7627 if not arg0.__class__ is ast_node:
7628 arg0 = ast_node(arg0)
7631 ctx = arg0.ctx
7632 res = isl.isl_ast_node_mark_get_node(arg0.ptr)
7635 def get_node(arg0): argument
7636 return arg0.node()
7665 def __str__(arg0): argument
7667 if not arg0.__class__ is ast_node_user:
7668 arg0 = ast_node_user(arg0)
7671 ptr = isl.isl_ast_node_to_str(arg0.ptr)
7681 def expr(arg0): argument
7683 if not arg0.__class__ is ast_node:
7684 arg0 = ast_node(arg0)
7687 ctx = arg0.ctx
7688 res = isl.isl_ast_node_user_get_expr(arg0.ptr)
7691 def get_expr(arg0): argument
7692 return arg0.expr()
7727 def __str__(arg0): argument
7729 if not arg0.__class__ is union_map:
7730 arg0 = union_map(arg0)
7733 ptr = isl.isl_union_map_to_str(arg0.ptr)
7743 def affine_hull(arg0): argument
7745 if not arg0.__class__ is union_map:
7746 arg0 = union_map(arg0)
7749 ctx = arg0.ctx
7750 res = isl.isl_union_map_affine_hull(isl.isl_union_map_copy(arg0.ptr))
7753 def apply_domain(arg0, arg1): argument
7755 if not arg0.__class__ is union_map:
7756 arg0 = union_map(arg0)
7764 ctx = arg0.ctx
7765 …res = isl.isl_union_map_apply_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1…
7768 def apply_range(arg0, arg1): argument
7770 if not arg0.__class__ is union_map:
7771 arg0 = union_map(arg0)
7779 ctx = arg0.ctx
7780 …res = isl.isl_union_map_apply_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.…
7783 def as_map(arg0): argument
7785 if not arg0.__class__ is union_map:
7786 arg0 = union_map(arg0)
7789 ctx = arg0.ctx
7790 res = isl.isl_union_map_as_map(isl.isl_union_map_copy(arg0.ptr))
7793 def as_multi_union_pw_aff(arg0): argument
7795 if not arg0.__class__ is union_map:
7796 arg0 = union_map(arg0)
7799 ctx = arg0.ctx
7800 res = isl.isl_union_map_as_multi_union_pw_aff(isl.isl_union_map_copy(arg0.ptr))
7803 def as_union_pw_multi_aff(arg0): argument
7805 if not arg0.__class__ is union_map:
7806 arg0 = union_map(arg0)
7809 ctx = arg0.ctx
7810 res = isl.isl_union_map_as_union_pw_multi_aff(isl.isl_union_map_copy(arg0.ptr))
7813 def bind_range(arg0, arg1): argument
7815 if not arg0.__class__ is union_map:
7816 arg0 = union_map(arg0)
7824 ctx = arg0.ctx
7825 …res = isl.isl_union_map_bind_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.pt…
7828 def coalesce(arg0): argument
7830 if not arg0.__class__ is union_map:
7831 arg0 = union_map(arg0)
7834 ctx = arg0.ctx
7835 res = isl.isl_union_map_coalesce(isl.isl_union_map_copy(arg0.ptr))
7838 def compute_divs(arg0): argument
7840 if not arg0.__class__ is union_map:
7841 arg0 = union_map(arg0)
7844 ctx = arg0.ctx
7845 res = isl.isl_union_map_compute_divs(isl.isl_union_map_copy(arg0.ptr))
7848 def curry(arg0): argument
7850 if not arg0.__class__ is union_map:
7851 arg0 = union_map(arg0)
7854 ctx = arg0.ctx
7855 res = isl.isl_union_map_curry(isl.isl_union_map_copy(arg0.ptr))
7858 def deltas(arg0): argument
7860 if not arg0.__class__ is union_map:
7861 arg0 = union_map(arg0)
7864 ctx = arg0.ctx
7865 res = isl.isl_union_map_deltas(isl.isl_union_map_copy(arg0.ptr))
7868 def detect_equalities(arg0): argument
7870 if not arg0.__class__ is union_map:
7871 arg0 = union_map(arg0)
7874 ctx = arg0.ctx
7875 res = isl.isl_union_map_detect_equalities(isl.isl_union_map_copy(arg0.ptr))
7878 def domain(arg0): argument
7880 if not arg0.__class__ is union_map:
7881 arg0 = union_map(arg0)
7884 ctx = arg0.ctx
7885 res = isl.isl_union_map_domain(isl.isl_union_map_copy(arg0.ptr))
7888 def domain_factor_domain(arg0): argument
7890 if not arg0.__class__ is union_map:
7891 arg0 = union_map(arg0)
7894 ctx = arg0.ctx
7895 res = isl.isl_union_map_domain_factor_domain(isl.isl_union_map_copy(arg0.ptr))
7898 def domain_factor_range(arg0): argument
7900 if not arg0.__class__ is union_map:
7901 arg0 = union_map(arg0)
7904 ctx = arg0.ctx
7905 res = isl.isl_union_map_domain_factor_range(isl.isl_union_map_copy(arg0.ptr))
7908 def domain_map(arg0): argument
7910 if not arg0.__class__ is union_map:
7911 arg0 = union_map(arg0)
7914 ctx = arg0.ctx
7915 res = isl.isl_union_map_domain_map(isl.isl_union_map_copy(arg0.ptr))
7918 def domain_map_union_pw_multi_aff(arg0): argument
7920 if not arg0.__class__ is union_map:
7921 arg0 = union_map(arg0)
7924 ctx = arg0.ctx
7925 res = isl.isl_union_map_domain_map_union_pw_multi_aff(isl.isl_union_map_copy(arg0.ptr))
7928 def domain_product(arg0, arg1): argument
7930 if not arg0.__class__ is union_map:
7931 arg0 = union_map(arg0)
7939 ctx = arg0.ctx
7940 …res = isl.isl_union_map_domain_product(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(ar…
7943 def domain_reverse(arg0): argument
7945 if not arg0.__class__ is union_map:
7946 arg0 = union_map(arg0)
7949 ctx = arg0.ctx
7950 res = isl.isl_union_map_domain_reverse(isl.isl_union_map_copy(arg0.ptr))
7953 def drop_unused_params(arg0): argument
7955 if not arg0.__class__ is union_map:
7956 arg0 = union_map(arg0)
7959 ctx = arg0.ctx
7960 res = isl.isl_union_map_drop_unused_params(isl.isl_union_map_copy(arg0.ptr))
7984 def every_map(arg0, arg1): argument
7986 if not arg0.__class__ is union_map:
7987 arg0 = union_map(arg0)
7993 cb_arg0 = map(ctx=arg0.ctx, ptr=isl.isl_map_copy(cb_arg0))
8001 ctx = arg0.ctx
8002 res = isl.isl_union_map_every_map(arg0.ptr, cb1, None)
8008 def extract_map(arg0, arg1): argument
8010 if not arg0.__class__ is union_map:
8011 arg0 = union_map(arg0)
8019 ctx = arg0.ctx
8020 res = isl.isl_union_map_extract_map(arg0.ptr, isl.isl_space_copy(arg1.ptr))
8023 def factor_domain(arg0): argument
8025 if not arg0.__class__ is union_map:
8026 arg0 = union_map(arg0)
8029 ctx = arg0.ctx
8030 res = isl.isl_union_map_factor_domain(isl.isl_union_map_copy(arg0.ptr))
8033 def factor_range(arg0): argument
8035 if not arg0.__class__ is union_map:
8036 arg0 = union_map(arg0)
8039 ctx = arg0.ctx
8040 res = isl.isl_union_map_factor_range(isl.isl_union_map_copy(arg0.ptr))
8061 def foreach_map(arg0, arg1): argument
8063 if not arg0.__class__ is union_map:
8064 arg0 = union_map(arg0)
8070 cb_arg0 = map(ctx=arg0.ctx, ptr=(cb_arg0))
8078 ctx = arg0.ctx
8079 res = isl.isl_union_map_foreach_map(arg0.ptr, cb1, None)
8098 def from_domain(arg0): argument
8100 if not arg0.__class__ is union_set:
8101 arg0 = union_set(arg0)
8104 ctx = arg0.ctx
8105 res = isl.isl_union_map_from_domain(isl.isl_union_set_copy(arg0.ptr))
8109 def from_domain_and_range(arg0, arg1): argument
8111 if not arg0.__class__ is union_set:
8112 arg0 = union_set(arg0)
8120 ctx = arg0.ctx
8121 …res = isl.isl_union_map_from_domain_and_range(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_set_…
8125 def from_range(arg0): argument
8127 if not arg0.__class__ is union_set:
8128 arg0 = union_set(arg0)
8131 ctx = arg0.ctx
8132 res = isl.isl_union_map_from_range(isl.isl_union_set_copy(arg0.ptr))
8135 def gist(arg0, arg1): argument
8137 if not arg0.__class__ is union_map:
8138 arg0 = union_map(arg0)
8146 ctx = arg0.ctx
8147 … res = isl.isl_union_map_gist(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
8150 def gist_domain(arg0, arg1): argument
8152 if not arg0.__class__ is union_map:
8153 arg0 = union_map(arg0)
8161 ctx = arg0.ctx
8162 …res = isl.isl_union_map_gist_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(arg1.…
8165 def gist_params(arg0, arg1): argument
8167 if not arg0.__class__ is union_map:
8168 arg0 = union_map(arg0)
8176 ctx = arg0.ctx
8177 … res = isl.isl_union_map_gist_params(isl.isl_union_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
8180 def gist_range(arg0, arg1): argument
8182 if not arg0.__class__ is union_map:
8183 arg0 = union_map(arg0)
8191 ctx = arg0.ctx
8192 …res = isl.isl_union_map_gist_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(arg1.p…
8195 def intersect(arg0, arg1): argument
8197 if not arg0.__class__ is union_map:
8198 arg0 = union_map(arg0)
8206 ctx = arg0.ctx
8207 …res = isl.isl_union_map_intersect(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.pt…
8234 def intersect_domain_factor_domain(arg0, arg1): argument
8236 if not arg0.__class__ is union_map:
8237 arg0 = union_map(arg0)
8245 ctx = arg0.ctx
8246 …res = isl.isl_union_map_intersect_domain_factor_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_u…
8249 def intersect_domain_factor_range(arg0, arg1): argument
8251 if not arg0.__class__ is union_map:
8252 arg0 = union_map(arg0)
8260 ctx = arg0.ctx
8261 …res = isl.isl_union_map_intersect_domain_factor_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_un…
8277 def intersect_params(arg0, arg1): argument
8279 if not arg0.__class__ is union_map:
8280 arg0 = union_map(arg0)
8288 ctx = arg0.ctx
8289 …res = isl.isl_union_map_intersect_params(isl.isl_union_map_copy(arg0.ptr), isl.isl_set_copy(arg1.p…
8316 def intersect_range_factor_domain(arg0, arg1): argument
8318 if not arg0.__class__ is union_map:
8319 arg0 = union_map(arg0)
8327 ctx = arg0.ctx
8328 …res = isl.isl_union_map_intersect_range_factor_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_un…
8331 def intersect_range_factor_range(arg0, arg1): argument
8333 if not arg0.__class__ is union_map:
8334 arg0 = union_map(arg0)
8342 ctx = arg0.ctx
8343 …res = isl.isl_union_map_intersect_range_factor_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_uni…
8359 def is_bijective(arg0): argument
8361 if not arg0.__class__ is union_map:
8362 arg0 = union_map(arg0)
8365 ctx = arg0.ctx
8366 res = isl.isl_union_map_is_bijective(arg0.ptr)
8370 def is_disjoint(arg0, arg1): argument
8372 if not arg0.__class__ is union_map:
8373 arg0 = union_map(arg0)
8381 ctx = arg0.ctx
8382 res = isl.isl_union_map_is_disjoint(arg0.ptr, arg1.ptr)
8386 def is_empty(arg0): argument
8388 if not arg0.__class__ is union_map:
8389 arg0 = union_map(arg0)
8392 ctx = arg0.ctx
8393 res = isl.isl_union_map_is_empty(arg0.ptr)
8397 def is_equal(arg0, arg1): argument
8399 if not arg0.__class__ is union_map:
8400 arg0 = union_map(arg0)
8408 ctx = arg0.ctx
8409 res = isl.isl_union_map_is_equal(arg0.ptr, arg1.ptr)
8413 def is_injective(arg0): argument
8415 if not arg0.__class__ is union_map:
8416 arg0 = union_map(arg0)
8419 ctx = arg0.ctx
8420 res = isl.isl_union_map_is_injective(arg0.ptr)
8424 def is_single_valued(arg0): argument
8426 if not arg0.__class__ is union_map:
8427 arg0 = union_map(arg0)
8430 ctx = arg0.ctx
8431 res = isl.isl_union_map_is_single_valued(arg0.ptr)
8435 def is_strict_subset(arg0, arg1): argument
8437 if not arg0.__class__ is union_map:
8438 arg0 = union_map(arg0)
8446 ctx = arg0.ctx
8447 res = isl.isl_union_map_is_strict_subset(arg0.ptr, arg1.ptr)
8451 def is_subset(arg0, arg1): argument
8453 if not arg0.__class__ is union_map:
8454 arg0 = union_map(arg0)
8462 ctx = arg0.ctx
8463 res = isl.isl_union_map_is_subset(arg0.ptr, arg1.ptr)
8467 def isa_map(arg0): argument
8469 if not arg0.__class__ is union_map:
8470 arg0 = union_map(arg0)
8473 ctx = arg0.ctx
8474 res = isl.isl_union_map_isa_map(arg0.ptr)
8478 def lexmax(arg0): argument
8480 if not arg0.__class__ is union_map:
8481 arg0 = union_map(arg0)
8484 ctx = arg0.ctx
8485 res = isl.isl_union_map_lexmax(isl.isl_union_map_copy(arg0.ptr))
8488 def lexmin(arg0): argument
8490 if not arg0.__class__ is union_map:
8491 arg0 = union_map(arg0)
8494 ctx = arg0.ctx
8495 res = isl.isl_union_map_lexmin(isl.isl_union_map_copy(arg0.ptr))
8498 def map_list(arg0): argument
8500 if not arg0.__class__ is union_map:
8501 arg0 = union_map(arg0)
8504 ctx = arg0.ctx
8505 res = isl.isl_union_map_get_map_list(arg0.ptr)
8508 def get_map_list(arg0): argument
8509 return arg0.map_list()
8510 def params(arg0): argument
8512 if not arg0.__class__ is union_map:
8513 arg0 = union_map(arg0)
8516 ctx = arg0.ctx
8517 res = isl.isl_union_map_params(isl.isl_union_map_copy(arg0.ptr))
8520 def polyhedral_hull(arg0): argument
8522 if not arg0.__class__ is union_map:
8523 arg0 = union_map(arg0)
8526 ctx = arg0.ctx
8527 res = isl.isl_union_map_polyhedral_hull(isl.isl_union_map_copy(arg0.ptr))
8611 def product(arg0, arg1): argument
8613 if not arg0.__class__ is union_map:
8614 arg0 = union_map(arg0)
8622 ctx = arg0.ctx
8623 …res = isl.isl_union_map_product(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
8626 def project_out_all_params(arg0): argument
8628 if not arg0.__class__ is union_map:
8629 arg0 = union_map(arg0)
8632 ctx = arg0.ctx
8633 res = isl.isl_union_map_project_out_all_params(isl.isl_union_map_copy(arg0.ptr))
8665 def range(arg0): argument
8667 if not arg0.__class__ is union_map:
8668 arg0 = union_map(arg0)
8671 ctx = arg0.ctx
8672 res = isl.isl_union_map_range(isl.isl_union_map_copy(arg0.ptr))
8675 def range_factor_domain(arg0): argument
8677 if not arg0.__class__ is union_map:
8678 arg0 = union_map(arg0)
8681 ctx = arg0.ctx
8682 res = isl.isl_union_map_range_factor_domain(isl.isl_union_map_copy(arg0.ptr))
8685 def range_factor_range(arg0): argument
8687 if not arg0.__class__ is union_map:
8688 arg0 = union_map(arg0)
8691 ctx = arg0.ctx
8692 res = isl.isl_union_map_range_factor_range(isl.isl_union_map_copy(arg0.ptr))
8695 def range_map(arg0): argument
8697 if not arg0.__class__ is union_map:
8698 arg0 = union_map(arg0)
8701 ctx = arg0.ctx
8702 res = isl.isl_union_map_range_map(isl.isl_union_map_copy(arg0.ptr))
8705 def range_product(arg0, arg1): argument
8707 if not arg0.__class__ is union_map:
8708 arg0 = union_map(arg0)
8716 ctx = arg0.ctx
8717 …res = isl.isl_union_map_range_product(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg…
8720 def range_reverse(arg0): argument
8722 if not arg0.__class__ is union_map:
8723 arg0 = union_map(arg0)
8726 ctx = arg0.ctx
8727 res = isl.isl_union_map_range_reverse(isl.isl_union_map_copy(arg0.ptr))
8730 def reverse(arg0): argument
8732 if not arg0.__class__ is union_map:
8733 arg0 = union_map(arg0)
8736 ctx = arg0.ctx
8737 res = isl.isl_union_map_reverse(isl.isl_union_map_copy(arg0.ptr))
8740 def space(arg0): argument
8742 if not arg0.__class__ is union_map:
8743 arg0 = union_map(arg0)
8746 ctx = arg0.ctx
8747 res = isl.isl_union_map_get_space(arg0.ptr)
8750 def get_space(arg0): argument
8751 return arg0.space()
8752 def subtract(arg0, arg1): argument
8754 if not arg0.__class__ is union_map:
8755 arg0 = union_map(arg0)
8763 ctx = arg0.ctx
8764 …res = isl.isl_union_map_subtract(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr…
8767 def subtract_domain(arg0, arg1): argument
8769 if not arg0.__class__ is union_map:
8770 arg0 = union_map(arg0)
8778 ctx = arg0.ctx
8779 …res = isl.isl_union_map_subtract_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(a…
8782 def subtract_range(arg0, arg1): argument
8784 if not arg0.__class__ is union_map:
8785 arg0 = union_map(arg0)
8793 ctx = arg0.ctx
8794 …res = isl.isl_union_map_subtract_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(ar…
8797 def uncurry(arg0): argument
8799 if not arg0.__class__ is union_map:
8800 arg0 = union_map(arg0)
8803 ctx = arg0.ctx
8804 res = isl.isl_union_map_uncurry(isl.isl_union_map_copy(arg0.ptr))
8807 def union(arg0, arg1): argument
8809 if not arg0.__class__ is union_map:
8810 arg0 = union_map(arg0)
8818 ctx = arg0.ctx
8819 … res = isl.isl_union_map_union(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
8822 def universe(arg0): argument
8824 if not arg0.__class__ is union_map:
8825 arg0 = union_map(arg0)
8828 ctx = arg0.ctx
8829 res = isl.isl_union_map_universe(isl.isl_union_map_copy(arg0.ptr))
8832 def wrap(arg0): argument
8834 if not arg0.__class__ is union_map:
8835 arg0 = union_map(arg0)
8838 ctx = arg0.ctx
8839 res = isl.isl_union_map_wrap(isl.isl_union_map_copy(arg0.ptr))
8842 def zip(arg0): argument
8844 if not arg0.__class__ is union_map:
8845 arg0 = union_map(arg0)
8848 ctx = arg0.ctx
8849 res = isl.isl_union_map_zip(isl.isl_union_map_copy(arg0.ptr))
9053 def __str__(arg0): argument
9055 if not arg0.__class__ is map:
9056 arg0 = map(arg0)
9059 ptr = isl.isl_map_to_str(arg0.ptr)
9069 def affine_hull(arg0): argument
9071 if not arg0.__class__ is map:
9072 arg0 = map(arg0)
9075 ctx = arg0.ctx
9076 res = isl.isl_map_affine_hull(isl.isl_map_copy(arg0.ptr))
9079 def apply_domain(arg0, arg1): argument
9081 if not arg0.__class__ is map:
9082 arg0 = map(arg0)
9089 return union_map(arg0).apply_domain(arg1)
9090 ctx = arg0.ctx
9091 res = isl.isl_map_apply_domain(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
9094 def apply_range(arg0, arg1): argument
9096 if not arg0.__class__ is map:
9097 arg0 = map(arg0)
9104 return union_map(arg0).apply_range(arg1)
9105 ctx = arg0.ctx
9106 res = isl.isl_map_apply_range(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
9109 def as_pw_multi_aff(arg0): argument
9111 if not arg0.__class__ is map:
9112 arg0 = map(arg0)
9115 ctx = arg0.ctx
9116 res = isl.isl_map_as_pw_multi_aff(isl.isl_map_copy(arg0.ptr))
9119 def bind_domain(arg0, arg1): argument
9121 if not arg0.__class__ is map:
9122 arg0 = map(arg0)
9129 return union_map(arg0).bind_domain(arg1)
9130 ctx = arg0.ctx
9131 res = isl.isl_map_bind_domain(isl.isl_map_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.ptr))
9134 def bind_range(arg0, arg1): argument
9136 if not arg0.__class__ is map:
9137 arg0 = map(arg0)
9144 return union_map(arg0).bind_range(arg1)
9145 ctx = arg0.ctx
9146 res = isl.isl_map_bind_range(isl.isl_map_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.ptr))
9149 def coalesce(arg0): argument
9151 if not arg0.__class__ is map:
9152 arg0 = map(arg0)
9155 ctx = arg0.ctx
9156 res = isl.isl_map_coalesce(isl.isl_map_copy(arg0.ptr))
9159 def complement(arg0): argument
9161 if not arg0.__class__ is map:
9162 arg0 = map(arg0)
9165 ctx = arg0.ctx
9166 res = isl.isl_map_complement(isl.isl_map_copy(arg0.ptr))
9169 def curry(arg0): argument
9171 if not arg0.__class__ is map:
9172 arg0 = map(arg0)
9175 ctx = arg0.ctx
9176 res = isl.isl_map_curry(isl.isl_map_copy(arg0.ptr))
9179 def deltas(arg0): argument
9181 if not arg0.__class__ is map:
9182 arg0 = map(arg0)
9185 ctx = arg0.ctx
9186 res = isl.isl_map_deltas(isl.isl_map_copy(arg0.ptr))
9189 def detect_equalities(arg0): argument
9191 if not arg0.__class__ is map:
9192 arg0 = map(arg0)
9195 ctx = arg0.ctx
9196 res = isl.isl_map_detect_equalities(isl.isl_map_copy(arg0.ptr))
9199 def domain(arg0): argument
9201 if not arg0.__class__ is map:
9202 arg0 = map(arg0)
9205 ctx = arg0.ctx
9206 res = isl.isl_map_domain(isl.isl_map_copy(arg0.ptr))
9209 def domain_factor_domain(arg0): argument
9211 if not arg0.__class__ is map:
9212 arg0 = map(arg0)
9215 ctx = arg0.ctx
9216 res = isl.isl_map_domain_factor_domain(isl.isl_map_copy(arg0.ptr))
9219 def domain_factor_range(arg0): argument
9221 if not arg0.__class__ is map:
9222 arg0 = map(arg0)
9225 ctx = arg0.ctx
9226 res = isl.isl_map_domain_factor_range(isl.isl_map_copy(arg0.ptr))
9229 def domain_product(arg0, arg1): argument
9231 if not arg0.__class__ is map:
9232 arg0 = map(arg0)
9239 return union_map(arg0).domain_product(arg1)
9240 ctx = arg0.ctx
9241 res = isl.isl_map_domain_product(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
9244 def domain_reverse(arg0): argument
9246 if not arg0.__class__ is map:
9247 arg0 = map(arg0)
9250 ctx = arg0.ctx
9251 res = isl.isl_map_domain_reverse(isl.isl_map_copy(arg0.ptr))
9254 def domain_tuple_dim(arg0): argument
9256 if not arg0.__class__ is map:
9257 arg0 = map(arg0)
9260 ctx = arg0.ctx
9261 res = isl.isl_map_domain_tuple_dim(arg0.ptr)
9265 def domain_tuple_id(arg0): argument
9267 if not arg0.__class__ is map:
9268 arg0 = map(arg0)
9271 ctx = arg0.ctx
9272 res = isl.isl_map_get_domain_tuple_id(arg0.ptr)
9275 def get_domain_tuple_id(arg0): argument
9276 return arg0.domain_tuple_id()
9277 def drop_unused_params(arg0): argument
9279 if not arg0.__class__ is map:
9280 arg0 = map(arg0)
9283 ctx = arg0.ctx
9284 res = isl.isl_map_drop_unused_params(isl.isl_map_copy(arg0.ptr))
9288 def empty(arg0): argument
9290 if not arg0.__class__ is space:
9291 arg0 = space(arg0)
9294 ctx = arg0.ctx
9295 res = isl.isl_map_empty(isl.isl_space_copy(arg0.ptr))
9311 def factor_domain(arg0): argument
9313 if not arg0.__class__ is map:
9314 arg0 = map(arg0)
9317 ctx = arg0.ctx
9318 res = isl.isl_map_factor_domain(isl.isl_map_copy(arg0.ptr))
9321 def factor_range(arg0): argument
9323 if not arg0.__class__ is map:
9324 arg0 = map(arg0)
9327 ctx = arg0.ctx
9328 res = isl.isl_map_factor_range(isl.isl_map_copy(arg0.ptr))
9349 def flatten(arg0): argument
9351 if not arg0.__class__ is map:
9352 arg0 = map(arg0)
9355 ctx = arg0.ctx
9356 res = isl.isl_map_flatten(isl.isl_map_copy(arg0.ptr))
9359 def flatten_domain(arg0): argument
9361 if not arg0.__class__ is map:
9362 arg0 = map(arg0)
9365 ctx = arg0.ctx
9366 res = isl.isl_map_flatten_domain(isl.isl_map_copy(arg0.ptr))
9369 def flatten_range(arg0): argument
9371 if not arg0.__class__ is map:
9372 arg0 = map(arg0)
9375 ctx = arg0.ctx
9376 res = isl.isl_map_flatten_range(isl.isl_map_copy(arg0.ptr))
9379 def foreach_basic_map(arg0, arg1): argument
9381 if not arg0.__class__ is map:
9382 arg0 = map(arg0)
9388 cb_arg0 = basic_map(ctx=arg0.ctx, ptr=(cb_arg0))
9396 ctx = arg0.ctx
9397 res = isl.isl_map_foreach_basic_map(arg0.ptr, cb1, None)
9402 def gist(arg0, arg1): argument
9404 if not arg0.__class__ is map:
9405 arg0 = map(arg0)
9412 return union_map(arg0).gist(arg1)
9413 ctx = arg0.ctx
9414 res = isl.isl_map_gist(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
9417 def gist_domain(arg0, arg1): argument
9419 if not arg0.__class__ is map:
9420 arg0 = map(arg0)
9427 return union_map(arg0).gist_domain(arg1)
9428 ctx = arg0.ctx
9429 res = isl.isl_map_gist_domain(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
9432 def gist_params(arg0, arg1): argument
9434 if not arg0.__class__ is map:
9435 arg0 = map(arg0)
9442 return union_map(arg0).gist_params(arg1)
9443 ctx = arg0.ctx
9444 res = isl.isl_map_gist_params(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
9447 def has_domain_tuple_id(arg0): argument
9449 if not arg0.__class__ is map:
9450 arg0 = map(arg0)
9453 ctx = arg0.ctx
9454 res = isl.isl_map_has_domain_tuple_id(arg0.ptr)
9458 def has_range_tuple_id(arg0): argument
9460 if not arg0.__class__ is map:
9461 arg0 = map(arg0)
9464 ctx = arg0.ctx
9465 res = isl.isl_map_has_range_tuple_id(arg0.ptr)
9469 def intersect(arg0, arg1): argument
9471 if not arg0.__class__ is map:
9472 arg0 = map(arg0)
9479 return union_map(arg0).intersect(arg1)
9480 ctx = arg0.ctx
9481 res = isl.isl_map_intersect(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
9484 def intersect_domain(arg0, arg1): argument
9486 if not arg0.__class__ is map:
9487 arg0 = map(arg0)
9494 return union_map(arg0).intersect_domain(arg1)
9495 ctx = arg0.ctx
9496 res = isl.isl_map_intersect_domain(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
9499 def intersect_domain_factor_domain(arg0, arg1): argument
9501 if not arg0.__class__ is map:
9502 arg0 = map(arg0)
9509 return union_map(arg0).intersect_domain_factor_domain(arg1)
9510 ctx = arg0.ctx
9511 …res = isl.isl_map_intersect_domain_factor_domain(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1…
9514 def intersect_domain_factor_range(arg0, arg1): argument
9516 if not arg0.__class__ is map:
9517 arg0 = map(arg0)
9524 return union_map(arg0).intersect_domain_factor_range(arg1)
9525 ctx = arg0.ctx
9526 …res = isl.isl_map_intersect_domain_factor_range(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.…
9529 def intersect_domain_wrapped_domain(arg0, arg1): argument
9531 if not arg0.__class__ is map:
9532 arg0 = map(arg0)
9539 return union_map(arg0).intersect_domain_wrapped_domain(arg1)
9540 ctx = arg0.ctx
9541 …res = isl.isl_map_intersect_domain_wrapped_domain(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg…
9544 def intersect_params(arg0, arg1): argument
9546 if not arg0.__class__ is map:
9547 arg0 = map(arg0)
9554 return union_map(arg0).intersect_params(arg1)
9555 ctx = arg0.ctx
9556 res = isl.isl_map_intersect_params(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
9559 def intersect_range(arg0, arg1): argument
9561 if not arg0.__class__ is map:
9562 arg0 = map(arg0)
9569 return union_map(arg0).intersect_range(arg1)
9570 ctx = arg0.ctx
9571 res = isl.isl_map_intersect_range(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
9574 def intersect_range_factor_domain(arg0, arg1): argument
9576 if not arg0.__class__ is map:
9577 arg0 = map(arg0)
9584 return union_map(arg0).intersect_range_factor_domain(arg1)
9585 ctx = arg0.ctx
9586 …res = isl.isl_map_intersect_range_factor_domain(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.…
9589 def intersect_range_factor_range(arg0, arg1): argument
9591 if not arg0.__class__ is map:
9592 arg0 = map(arg0)
9599 return union_map(arg0).intersect_range_factor_range(arg1)
9600 ctx = arg0.ctx
9601 …res = isl.isl_map_intersect_range_factor_range(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.p…
9604 def intersect_range_wrapped_domain(arg0, arg1): argument
9606 if not arg0.__class__ is map:
9607 arg0 = map(arg0)
9614 return union_map(arg0).intersect_range_wrapped_domain(arg1)
9615 ctx = arg0.ctx
9616 …res = isl.isl_map_intersect_range_wrapped_domain(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1…
9619 def is_bijective(arg0): argument
9621 if not arg0.__class__ is map:
9622 arg0 = map(arg0)
9625 ctx = arg0.ctx
9626 res = isl.isl_map_is_bijective(arg0.ptr)
9630 def is_disjoint(arg0, arg1): argument
9632 if not arg0.__class__ is map:
9633 arg0 = map(arg0)
9640 return union_map(arg0).is_disjoint(arg1)
9641 ctx = arg0.ctx
9642 res = isl.isl_map_is_disjoint(arg0.ptr, arg1.ptr)
9646 def is_empty(arg0): argument
9648 if not arg0.__class__ is map:
9649 arg0 = map(arg0)
9652 ctx = arg0.ctx
9653 res = isl.isl_map_is_empty(arg0.ptr)
9657 def is_equal(arg0, arg1): argument
9659 if not arg0.__class__ is map:
9660 arg0 = map(arg0)
9667 return union_map(arg0).is_equal(arg1)
9668 ctx = arg0.ctx
9669 res = isl.isl_map_is_equal(arg0.ptr, arg1.ptr)
9673 def is_injective(arg0): argument
9675 if not arg0.__class__ is map:
9676 arg0 = map(arg0)
9679 ctx = arg0.ctx
9680 res = isl.isl_map_is_injective(arg0.ptr)
9684 def is_single_valued(arg0): argument
9686 if not arg0.__class__ is map:
9687 arg0 = map(arg0)
9690 ctx = arg0.ctx
9691 res = isl.isl_map_is_single_valued(arg0.ptr)
9695 def is_strict_subset(arg0, arg1): argument
9697 if not arg0.__class__ is map:
9698 arg0 = map(arg0)
9705 return union_map(arg0).is_strict_subset(arg1)
9706 ctx = arg0.ctx
9707 res = isl.isl_map_is_strict_subset(arg0.ptr, arg1.ptr)
9711 def is_subset(arg0, arg1): argument
9713 if not arg0.__class__ is map:
9714 arg0 = map(arg0)
9721 return union_map(arg0).is_subset(arg1)
9722 ctx = arg0.ctx
9723 res = isl.isl_map_is_subset(arg0.ptr, arg1.ptr)
9779 def lexmax(arg0): argument
9781 if not arg0.__class__ is map:
9782 arg0 = map(arg0)
9785 ctx = arg0.ctx
9786 res = isl.isl_map_lexmax(isl.isl_map_copy(arg0.ptr))
9789 def lexmax_pw_multi_aff(arg0): argument
9791 if not arg0.__class__ is map:
9792 arg0 = map(arg0)
9795 ctx = arg0.ctx
9796 res = isl.isl_map_lexmax_pw_multi_aff(isl.isl_map_copy(arg0.ptr))
9799 def lexmin(arg0): argument
9801 if not arg0.__class__ is map:
9802 arg0 = map(arg0)
9805 ctx = arg0.ctx
9806 res = isl.isl_map_lexmin(isl.isl_map_copy(arg0.ptr))
9809 def lexmin_pw_multi_aff(arg0): argument
9811 if not arg0.__class__ is map:
9812 arg0 = map(arg0)
9815 ctx = arg0.ctx
9816 res = isl.isl_map_lexmin_pw_multi_aff(isl.isl_map_copy(arg0.ptr))
9832 def max_multi_pw_aff(arg0): argument
9834 if not arg0.__class__ is map:
9835 arg0 = map(arg0)
9838 ctx = arg0.ctx
9839 res = isl.isl_map_max_multi_pw_aff(isl.isl_map_copy(arg0.ptr))
9842 def min_multi_pw_aff(arg0): argument
9844 if not arg0.__class__ is map:
9845 arg0 = map(arg0)
9848 ctx = arg0.ctx
9849 res = isl.isl_map_min_multi_pw_aff(isl.isl_map_copy(arg0.ptr))
9852 def n_basic_map(arg0): argument
9854 if not arg0.__class__ is map:
9855 arg0 = map(arg0)
9858 ctx = arg0.ctx
9859 res = isl.isl_map_n_basic_map(arg0.ptr)
9863 def params(arg0): argument
9865 if not arg0.__class__ is map:
9866 arg0 = map(arg0)
9869 ctx = arg0.ctx
9870 res = isl.isl_map_params(isl.isl_map_copy(arg0.ptr))
9873 def polyhedral_hull(arg0): argument
9875 if not arg0.__class__ is map:
9876 arg0 = map(arg0)
9879 ctx = arg0.ctx
9880 res = isl.isl_map_polyhedral_hull(isl.isl_map_copy(arg0.ptr))
9942 def product(arg0, arg1): argument
9944 if not arg0.__class__ is map:
9945 arg0 = map(arg0)
9952 return union_map(arg0).product(arg1)
9953 ctx = arg0.ctx
9954 res = isl.isl_map_product(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
9957 def project_out_all_params(arg0): argument
9959 if not arg0.__class__ is map:
9960 arg0 = map(arg0)
9963 ctx = arg0.ctx
9964 res = isl.isl_map_project_out_all_params(isl.isl_map_copy(arg0.ptr))
9996 def range(arg0): argument
9998 if not arg0.__class__ is map:
9999 arg0 = map(arg0)
10002 ctx = arg0.ctx
10003 res = isl.isl_map_range(isl.isl_map_copy(arg0.ptr))
10006 def range_factor_domain(arg0): argument
10008 if not arg0.__class__ is map:
10009 arg0 = map(arg0)
10012 ctx = arg0.ctx
10013 res = isl.isl_map_range_factor_domain(isl.isl_map_copy(arg0.ptr))
10016 def range_factor_range(arg0): argument
10018 if not arg0.__class__ is map:
10019 arg0 = map(arg0)
10022 ctx = arg0.ctx
10023 res = isl.isl_map_range_factor_range(isl.isl_map_copy(arg0.ptr))
10026 def range_lattice_tile(arg0): argument
10028 if not arg0.__class__ is map:
10029 arg0 = map(arg0)
10032 ctx = arg0.ctx
10033 res = isl.isl_map_get_range_lattice_tile(arg0.ptr)
10036 def get_range_lattice_tile(arg0): argument
10037 return arg0.range_lattice_tile()
10038 def range_product(arg0, arg1): argument
10040 if not arg0.__class__ is map:
10041 arg0 = map(arg0)
10048 return union_map(arg0).range_product(arg1)
10049 ctx = arg0.ctx
10050 res = isl.isl_map_range_product(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
10053 def range_reverse(arg0): argument
10055 if not arg0.__class__ is map:
10056 arg0 = map(arg0)
10059 ctx = arg0.ctx
10060 res = isl.isl_map_range_reverse(isl.isl_map_copy(arg0.ptr))
10063 def range_simple_fixed_box_hull(arg0): argument
10065 if not arg0.__class__ is map:
10066 arg0 = map(arg0)
10069 ctx = arg0.ctx
10070 res = isl.isl_map_get_range_simple_fixed_box_hull(arg0.ptr)
10073 def get_range_simple_fixed_box_hull(arg0): argument
10074 return arg0.range_simple_fixed_box_hull()
10075 def range_tuple_dim(arg0): argument
10077 if not arg0.__class__ is map:
10078 arg0 = map(arg0)
10081 ctx = arg0.ctx
10082 res = isl.isl_map_range_tuple_dim(arg0.ptr)
10086 def range_tuple_id(arg0): argument
10088 if not arg0.__class__ is map:
10089 arg0 = map(arg0)
10092 ctx = arg0.ctx
10093 res = isl.isl_map_get_range_tuple_id(arg0.ptr)
10096 def get_range_tuple_id(arg0): argument
10097 return arg0.range_tuple_id()
10098 def reverse(arg0): argument
10100 if not arg0.__class__ is map:
10101 arg0 = map(arg0)
10104 ctx = arg0.ctx
10105 res = isl.isl_map_reverse(isl.isl_map_copy(arg0.ptr))
10108 def sample(arg0): argument
10110 if not arg0.__class__ is map:
10111 arg0 = map(arg0)
10114 ctx = arg0.ctx
10115 res = isl.isl_map_sample(isl.isl_map_copy(arg0.ptr))
10154 def space(arg0): argument
10156 if not arg0.__class__ is map:
10157 arg0 = map(arg0)
10160 ctx = arg0.ctx
10161 res = isl.isl_map_get_space(arg0.ptr)
10164 def get_space(arg0): argument
10165 return arg0.space()
10166 def subtract(arg0, arg1): argument
10168 if not arg0.__class__ is map:
10169 arg0 = map(arg0)
10176 return union_map(arg0).subtract(arg1)
10177 ctx = arg0.ctx
10178 res = isl.isl_map_subtract(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
10181 def to_list(arg0): argument
10183 if not arg0.__class__ is map:
10184 arg0 = map(arg0)
10187 ctx = arg0.ctx
10188 res = isl.isl_map_to_list(isl.isl_map_copy(arg0.ptr))
10191 def to_union_map(arg0): argument
10193 if not arg0.__class__ is map:
10194 arg0 = map(arg0)
10197 ctx = arg0.ctx
10198 res = isl.isl_map_to_union_map(isl.isl_map_copy(arg0.ptr))
10201 def uncurry(arg0): argument
10203 if not arg0.__class__ is map:
10204 arg0 = map(arg0)
10207 ctx = arg0.ctx
10208 res = isl.isl_map_uncurry(isl.isl_map_copy(arg0.ptr))
10211 def union(arg0, arg1): argument
10213 if not arg0.__class__ is map:
10214 arg0 = map(arg0)
10221 return union_map(arg0).union(arg1)
10222 ctx = arg0.ctx
10223 res = isl.isl_map_union(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
10227 def universe(arg0): argument
10229 if not arg0.__class__ is space:
10230 arg0 = space(arg0)
10233 ctx = arg0.ctx
10234 res = isl.isl_map_universe(isl.isl_space_copy(arg0.ptr))
10237 def unshifted_simple_hull(arg0): argument
10239 if not arg0.__class__ is map:
10240 arg0 = map(arg0)
10243 ctx = arg0.ctx
10244 res = isl.isl_map_unshifted_simple_hull(isl.isl_map_copy(arg0.ptr))
10260 def wrap(arg0): argument
10262 if not arg0.__class__ is map:
10263 arg0 = map(arg0)
10266 ctx = arg0.ctx
10267 res = isl.isl_map_wrap(isl.isl_map_copy(arg0.ptr))
10270 def zip(arg0): argument
10272 if not arg0.__class__ is map:
10273 arg0 = map(arg0)
10276 ctx = arg0.ctx
10277 res = isl.isl_map_zip(isl.isl_map_copy(arg0.ptr))
10488 def __str__(arg0): argument
10490 if not arg0.__class__ is basic_map:
10491 arg0 = basic_map(arg0)
10494 ptr = isl.isl_basic_map_to_str(arg0.ptr)
10504 def affine_hull(arg0): argument
10506 if not arg0.__class__ is basic_map:
10507 arg0 = basic_map(arg0)
10510 ctx = arg0.ctx
10511 res = isl.isl_basic_map_affine_hull(isl.isl_basic_map_copy(arg0.ptr))
10514 def apply_domain(arg0, arg1): argument
10516 if not arg0.__class__ is basic_map:
10517 arg0 = basic_map(arg0)
10524 return map(arg0).apply_domain(arg1)
10525 ctx = arg0.ctx
10526 …res = isl.isl_basic_map_apply_domain(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1…
10529 def apply_range(arg0, arg1): argument
10531 if not arg0.__class__ is basic_map:
10532 arg0 = basic_map(arg0)
10539 return map(arg0).apply_range(arg1)
10540 ctx = arg0.ctx
10541 …res = isl.isl_basic_map_apply_range(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.…
10544 def deltas(arg0): argument
10546 if not arg0.__class__ is basic_map:
10547 arg0 = basic_map(arg0)
10550 ctx = arg0.ctx
10551 res = isl.isl_basic_map_deltas(isl.isl_basic_map_copy(arg0.ptr))
10554 def detect_equalities(arg0): argument
10556 if not arg0.__class__ is basic_map:
10557 arg0 = basic_map(arg0)
10560 ctx = arg0.ctx
10561 res = isl.isl_basic_map_detect_equalities(isl.isl_basic_map_copy(arg0.ptr))
10564 def flatten(arg0): argument
10566 if not arg0.__class__ is basic_map:
10567 arg0 = basic_map(arg0)
10570 ctx = arg0.ctx
10571 res = isl.isl_basic_map_flatten(isl.isl_basic_map_copy(arg0.ptr))
10574 def flatten_domain(arg0): argument
10576 if not arg0.__class__ is basic_map:
10577 arg0 = basic_map(arg0)
10580 ctx = arg0.ctx
10581 res = isl.isl_basic_map_flatten_domain(isl.isl_basic_map_copy(arg0.ptr))
10584 def flatten_range(arg0): argument
10586 if not arg0.__class__ is basic_map:
10587 arg0 = basic_map(arg0)
10590 ctx = arg0.ctx
10591 res = isl.isl_basic_map_flatten_range(isl.isl_basic_map_copy(arg0.ptr))
10594 def gist(arg0, arg1): argument
10596 if not arg0.__class__ is basic_map:
10597 arg0 = basic_map(arg0)
10604 return map(arg0).gist(arg1)
10605 ctx = arg0.ctx
10606 … res = isl.isl_basic_map_gist(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
10609 def intersect(arg0, arg1): argument
10611 if not arg0.__class__ is basic_map:
10612 arg0 = basic_map(arg0)
10619 return map(arg0).intersect(arg1)
10620 ctx = arg0.ctx
10621 …res = isl.isl_basic_map_intersect(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.pt…
10624 def intersect_domain(arg0, arg1): argument
10626 if not arg0.__class__ is basic_map:
10627 arg0 = basic_map(arg0)
10634 return map(arg0).intersect_domain(arg1)
10635 ctx = arg0.ctx
10636 …res = isl.isl_basic_map_intersect_domain(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_set_copy(…
10639 def intersect_range(arg0, arg1): argument
10641 if not arg0.__class__ is basic_map:
10642 arg0 = basic_map(arg0)
10649 return map(arg0).intersect_range(arg1)
10650 ctx = arg0.ctx
10651 …res = isl.isl_basic_map_intersect_range(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_set_copy(a…
10654 def is_empty(arg0): argument
10656 if not arg0.__class__ is basic_map:
10657 arg0 = basic_map(arg0)
10660 ctx = arg0.ctx
10661 res = isl.isl_basic_map_is_empty(arg0.ptr)
10665 def is_equal(arg0, arg1): argument
10667 if not arg0.__class__ is basic_map:
10668 arg0 = basic_map(arg0)
10675 return map(arg0).is_equal(arg1)
10676 ctx = arg0.ctx
10677 res = isl.isl_basic_map_is_equal(arg0.ptr, arg1.ptr)
10681 def is_subset(arg0, arg1): argument
10683 if not arg0.__class__ is basic_map:
10684 arg0 = basic_map(arg0)
10691 return map(arg0).is_subset(arg1)
10692 ctx = arg0.ctx
10693 res = isl.isl_basic_map_is_subset(arg0.ptr, arg1.ptr)
10697 def lexmax(arg0): argument
10699 if not arg0.__class__ is basic_map:
10700 arg0 = basic_map(arg0)
10703 ctx = arg0.ctx
10704 res = isl.isl_basic_map_lexmax(isl.isl_basic_map_copy(arg0.ptr))
10707 def lexmin(arg0): argument
10709 if not arg0.__class__ is basic_map:
10710 arg0 = basic_map(arg0)
10713 ctx = arg0.ctx
10714 res = isl.isl_basic_map_lexmin(isl.isl_basic_map_copy(arg0.ptr))
10717 def reverse(arg0): argument
10719 if not arg0.__class__ is basic_map:
10720 arg0 = basic_map(arg0)
10723 ctx = arg0.ctx
10724 res = isl.isl_basic_map_reverse(isl.isl_basic_map_copy(arg0.ptr))
10727 def sample(arg0): argument
10729 if not arg0.__class__ is basic_map:
10730 arg0 = basic_map(arg0)
10733 ctx = arg0.ctx
10734 res = isl.isl_basic_map_sample(isl.isl_basic_map_copy(arg0.ptr))
10737 def union(arg0, arg1): argument
10739 if not arg0.__class__ is basic_map:
10740 arg0 = basic_map(arg0)
10747 return map(arg0).union(arg1)
10748 ctx = arg0.ctx
10749 … res = isl.isl_basic_map_union(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
10825 def __str__(arg0): argument
10827 if not arg0.__class__ is union_set:
10828 arg0 = union_set(arg0)
10831 ptr = isl.isl_union_set_to_str(arg0.ptr)
10841 def affine_hull(arg0): argument
10843 if not arg0.__class__ is union_set:
10844 arg0 = union_set(arg0)
10847 ctx = arg0.ctx
10848 res = isl.isl_union_set_affine_hull(isl.isl_union_set_copy(arg0.ptr))
10851 def apply(arg0, arg1): argument
10853 if not arg0.__class__ is union_set:
10854 arg0 = union_set(arg0)
10862 ctx = arg0.ctx
10863 … res = isl.isl_union_set_apply(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
10866 def as_set(arg0): argument
10868 if not arg0.__class__ is union_set:
10869 arg0 = union_set(arg0)
10872 ctx = arg0.ctx
10873 res = isl.isl_union_set_as_set(isl.isl_union_set_copy(arg0.ptr))
10876 def coalesce(arg0): argument
10878 if not arg0.__class__ is union_set:
10879 arg0 = union_set(arg0)
10882 ctx = arg0.ctx
10883 res = isl.isl_union_set_coalesce(isl.isl_union_set_copy(arg0.ptr))
10886 def compute_divs(arg0): argument
10888 if not arg0.__class__ is union_set:
10889 arg0 = union_set(arg0)
10892 ctx = arg0.ctx
10893 res = isl.isl_union_set_compute_divs(isl.isl_union_set_copy(arg0.ptr))
10896 def detect_equalities(arg0): argument
10898 if not arg0.__class__ is union_set:
10899 arg0 = union_set(arg0)
10902 ctx = arg0.ctx
10903 res = isl.isl_union_set_detect_equalities(isl.isl_union_set_copy(arg0.ptr))
10906 def drop_unused_params(arg0): argument
10908 if not arg0.__class__ is union_set:
10909 arg0 = union_set(arg0)
10912 ctx = arg0.ctx
10913 res = isl.isl_union_set_drop_unused_params(isl.isl_union_set_copy(arg0.ptr))
10924 def every_set(arg0, arg1): argument
10926 if not arg0.__class__ is union_set:
10927 arg0 = union_set(arg0)
10933 cb_arg0 = set(ctx=arg0.ctx, ptr=isl.isl_set_copy(cb_arg0))
10941 ctx = arg0.ctx
10942 res = isl.isl_union_set_every_set(arg0.ptr, cb1, None)
10948 def extract_set(arg0, arg1): argument
10950 if not arg0.__class__ is union_set:
10951 arg0 = union_set(arg0)
10959 ctx = arg0.ctx
10960 res = isl.isl_union_set_extract_set(arg0.ptr, isl.isl_space_copy(arg1.ptr))
10963 def foreach_point(arg0, arg1): argument
10965 if not arg0.__class__ is union_set:
10966 arg0 = union_set(arg0)
10972 cb_arg0 = point(ctx=arg0.ctx, ptr=(cb_arg0))
10980 ctx = arg0.ctx
10981 res = isl.isl_union_set_foreach_point(arg0.ptr, cb1, None)
10986 def foreach_set(arg0, arg1): argument
10988 if not arg0.__class__ is union_set:
10989 arg0 = union_set(arg0)
10995 cb_arg0 = set(ctx=arg0.ctx, ptr=(cb_arg0))
11003 ctx = arg0.ctx
11004 res = isl.isl_union_set_foreach_set(arg0.ptr, cb1, None)
11009 def gist(arg0, arg1): argument
11011 if not arg0.__class__ is union_set:
11012 arg0 = union_set(arg0)
11020 ctx = arg0.ctx
11021 … res = isl.isl_union_set_gist(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
11024 def gist_params(arg0, arg1): argument
11026 if not arg0.__class__ is union_set:
11027 arg0 = union_set(arg0)
11035 ctx = arg0.ctx
11036 … res = isl.isl_union_set_gist_params(isl.isl_union_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
11039 def identity(arg0): argument
11041 if not arg0.__class__ is union_set:
11042 arg0 = union_set(arg0)
11045 ctx = arg0.ctx
11046 res = isl.isl_union_set_identity(isl.isl_union_set_copy(arg0.ptr))
11049 def intersect(arg0, arg1): argument
11051 if not arg0.__class__ is union_set:
11052 arg0 = union_set(arg0)
11060 ctx = arg0.ctx
11061 …res = isl.isl_union_set_intersect(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_set_copy(arg1.pt…
11064 def intersect_params(arg0, arg1): argument
11066 if not arg0.__class__ is union_set:
11067 arg0 = union_set(arg0)
11075 ctx = arg0.ctx
11076 …res = isl.isl_union_set_intersect_params(isl.isl_union_set_copy(arg0.ptr), isl.isl_set_copy(arg1.p…
11079 def is_disjoint(arg0, arg1): argument
11081 if not arg0.__class__ is union_set:
11082 arg0 = union_set(arg0)
11090 ctx = arg0.ctx
11091 res = isl.isl_union_set_is_disjoint(arg0.ptr, arg1.ptr)
11095 def is_empty(arg0): argument
11097 if not arg0.__class__ is union_set:
11098 arg0 = union_set(arg0)
11101 ctx = arg0.ctx
11102 res = isl.isl_union_set_is_empty(arg0.ptr)
11106 def is_equal(arg0, arg1): argument
11108 if not arg0.__class__ is union_set:
11109 arg0 = union_set(arg0)
11117 ctx = arg0.ctx
11118 res = isl.isl_union_set_is_equal(arg0.ptr, arg1.ptr)
11122 def is_strict_subset(arg0, arg1): argument
11124 if not arg0.__class__ is union_set:
11125 arg0 = union_set(arg0)
11133 ctx = arg0.ctx
11134 res = isl.isl_union_set_is_strict_subset(arg0.ptr, arg1.ptr)
11138 def is_subset(arg0, arg1): argument
11140 if not arg0.__class__ is union_set:
11141 arg0 = union_set(arg0)
11149 ctx = arg0.ctx
11150 res = isl.isl_union_set_is_subset(arg0.ptr, arg1.ptr)
11154 def isa_set(arg0): argument
11156 if not arg0.__class__ is union_set:
11157 arg0 = union_set(arg0)
11160 ctx = arg0.ctx
11161 res = isl.isl_union_set_isa_set(arg0.ptr)
11165 def lexmax(arg0): argument
11167 if not arg0.__class__ is union_set:
11168 arg0 = union_set(arg0)
11171 ctx = arg0.ctx
11172 res = isl.isl_union_set_lexmax(isl.isl_union_set_copy(arg0.ptr))
11175 def lexmin(arg0): argument
11177 if not arg0.__class__ is union_set:
11178 arg0 = union_set(arg0)
11181 ctx = arg0.ctx
11182 res = isl.isl_union_set_lexmin(isl.isl_union_set_copy(arg0.ptr))
11185 def params(arg0): argument
11187 if not arg0.__class__ is union_set:
11188 arg0 = union_set(arg0)
11191 ctx = arg0.ctx
11192 res = isl.isl_union_set_params(isl.isl_union_set_copy(arg0.ptr))
11195 def polyhedral_hull(arg0): argument
11197 if not arg0.__class__ is union_set:
11198 arg0 = union_set(arg0)
11201 ctx = arg0.ctx
11202 res = isl.isl_union_set_polyhedral_hull(isl.isl_union_set_copy(arg0.ptr))
11240 def project_out_all_params(arg0): argument
11242 if not arg0.__class__ is union_set:
11243 arg0 = union_set(arg0)
11246 ctx = arg0.ctx
11247 res = isl.isl_union_set_project_out_all_params(isl.isl_union_set_copy(arg0.ptr))
11250 def sample_point(arg0): argument
11252 if not arg0.__class__ is union_set:
11253 arg0 = union_set(arg0)
11256 ctx = arg0.ctx
11257 res = isl.isl_union_set_sample_point(isl.isl_union_set_copy(arg0.ptr))
11260 def set_list(arg0): argument
11262 if not arg0.__class__ is union_set:
11263 arg0 = union_set(arg0)
11266 ctx = arg0.ctx
11267 res = isl.isl_union_set_get_set_list(arg0.ptr)
11270 def get_set_list(arg0): argument
11271 return arg0.set_list()
11272 def space(arg0): argument
11274 if not arg0.__class__ is union_set:
11275 arg0 = union_set(arg0)
11278 ctx = arg0.ctx
11279 res = isl.isl_union_set_get_space(arg0.ptr)
11282 def get_space(arg0): argument
11283 return arg0.space()
11284 def subtract(arg0, arg1): argument
11286 if not arg0.__class__ is union_set:
11287 arg0 = union_set(arg0)
11295 ctx = arg0.ctx
11296 …res = isl.isl_union_set_subtract(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr…
11299 def to_list(arg0): argument
11301 if not arg0.__class__ is union_set:
11302 arg0 = union_set(arg0)
11305 ctx = arg0.ctx
11306 res = isl.isl_union_set_to_list(isl.isl_union_set_copy(arg0.ptr))
11309 def union(arg0, arg1): argument
11311 if not arg0.__class__ is union_set:
11312 arg0 = union_set(arg0)
11320 ctx = arg0.ctx
11321 … res = isl.isl_union_set_union(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
11324 def universe(arg0): argument
11326 if not arg0.__class__ is union_set:
11327 arg0 = union_set(arg0)
11330 ctx = arg0.ctx
11331 res = isl.isl_union_set_universe(isl.isl_union_set_copy(arg0.ptr))
11334 def unwrap(arg0): argument
11336 if not arg0.__class__ is union_set:
11337 arg0 = union_set(arg0)
11340 ctx = arg0.ctx
11341 res = isl.isl_union_set_unwrap(isl.isl_union_set_copy(arg0.ptr))
11451 def __str__(arg0): argument
11453 if not arg0.__class__ is set:
11454 arg0 = set(arg0)
11457 ptr = isl.isl_set_to_str(arg0.ptr)
11467 def affine_hull(arg0): argument
11469 if not arg0.__class__ is set:
11470 arg0 = set(arg0)
11473 ctx = arg0.ctx
11474 res = isl.isl_set_affine_hull(isl.isl_set_copy(arg0.ptr))
11477 def apply(arg0, arg1): argument
11479 if not arg0.__class__ is set:
11480 arg0 = set(arg0)
11487 return union_set(arg0).apply(arg1)
11488 ctx = arg0.ctx
11489 res = isl.isl_set_apply(isl.isl_set_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
11492 def as_pw_multi_aff(arg0): argument
11494 if not arg0.__class__ is set:
11495 arg0 = set(arg0)
11498 ctx = arg0.ctx
11499 res = isl.isl_set_as_pw_multi_aff(isl.isl_set_copy(arg0.ptr))
11502 def bind(arg0, arg1): argument
11504 if not arg0.__class__ is set:
11505 arg0 = set(arg0)
11512 return union_set(arg0).bind(arg1)
11513 ctx = arg0.ctx
11514 res = isl.isl_set_bind(isl.isl_set_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.ptr))
11517 def coalesce(arg0): argument
11519 if not arg0.__class__ is set:
11520 arg0 = set(arg0)
11523 ctx = arg0.ctx
11524 res = isl.isl_set_coalesce(isl.isl_set_copy(arg0.ptr))
11527 def complement(arg0): argument
11529 if not arg0.__class__ is set:
11530 arg0 = set(arg0)
11533 ctx = arg0.ctx
11534 res = isl.isl_set_complement(isl.isl_set_copy(arg0.ptr))
11537 def detect_equalities(arg0): argument
11539 if not arg0.__class__ is set:
11540 arg0 = set(arg0)
11543 ctx = arg0.ctx
11544 res = isl.isl_set_detect_equalities(isl.isl_set_copy(arg0.ptr))
11547 def dim_max_val(arg0, arg1): argument
11549 if not arg0.__class__ is set:
11550 arg0 = set(arg0)
11553 ctx = arg0.ctx
11554 res = isl.isl_set_dim_max_val(isl.isl_set_copy(arg0.ptr), arg1)
11557 def dim_min_val(arg0, arg1): argument
11559 if not arg0.__class__ is set:
11560 arg0 = set(arg0)
11563 ctx = arg0.ctx
11564 res = isl.isl_set_dim_min_val(isl.isl_set_copy(arg0.ptr), arg1)
11567 def drop_unused_params(arg0): argument
11569 if not arg0.__class__ is set:
11570 arg0 = set(arg0)
11573 ctx = arg0.ctx
11574 res = isl.isl_set_drop_unused_params(isl.isl_set_copy(arg0.ptr))
11578 def empty(arg0): argument
11580 if not arg0.__class__ is space:
11581 arg0 = space(arg0)
11584 ctx = arg0.ctx
11585 res = isl.isl_set_empty(isl.isl_space_copy(arg0.ptr))
11588 def flatten(arg0): argument
11590 if not arg0.__class__ is set:
11591 arg0 = set(arg0)
11594 ctx = arg0.ctx
11595 res = isl.isl_set_flatten(isl.isl_set_copy(arg0.ptr))
11598 def foreach_basic_set(arg0, arg1): argument
11600 if not arg0.__class__ is set:
11601 arg0 = set(arg0)
11607 cb_arg0 = basic_set(ctx=arg0.ctx, ptr=(cb_arg0))
11615 ctx = arg0.ctx
11616 res = isl.isl_set_foreach_basic_set(arg0.ptr, cb1, None)
11621 def foreach_point(arg0, arg1): argument
11623 if not arg0.__class__ is set:
11624 arg0 = set(arg0)
11630 cb_arg0 = point(ctx=arg0.ctx, ptr=(cb_arg0))
11638 ctx = arg0.ctx
11639 res = isl.isl_set_foreach_point(arg0.ptr, cb1, None)
11644 def gist(arg0, arg1): argument
11646 if not arg0.__class__ is set:
11647 arg0 = set(arg0)
11654 return union_set(arg0).gist(arg1)
11655 ctx = arg0.ctx
11656 res = isl.isl_set_gist(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
11659 def gist_params(arg0, arg1): argument
11661 if not arg0.__class__ is set:
11662 arg0 = set(arg0)
11669 return union_set(arg0).gist_params(arg1)
11670 ctx = arg0.ctx
11671 res = isl.isl_set_gist_params(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
11674 def identity(arg0): argument
11676 if not arg0.__class__ is set:
11677 arg0 = set(arg0)
11680 ctx = arg0.ctx
11681 res = isl.isl_set_identity(isl.isl_set_copy(arg0.ptr))
11684 def indicator_function(arg0): argument
11686 if not arg0.__class__ is set:
11687 arg0 = set(arg0)
11690 ctx = arg0.ctx
11691 res = isl.isl_set_indicator_function(isl.isl_set_copy(arg0.ptr))
11694 def insert_domain(arg0, arg1): argument
11696 if not arg0.__class__ is set:
11697 arg0 = set(arg0)
11704 return union_set(arg0).insert_domain(arg1)
11705 ctx = arg0.ctx
11706 res = isl.isl_set_insert_domain(isl.isl_set_copy(arg0.ptr), isl.isl_space_copy(arg1.ptr))
11709 def intersect(arg0, arg1): argument
11711 if not arg0.__class__ is set:
11712 arg0 = set(arg0)
11719 return union_set(arg0).intersect(arg1)
11720 ctx = arg0.ctx
11721 res = isl.isl_set_intersect(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
11724 def intersect_params(arg0, arg1): argument
11726 if not arg0.__class__ is set:
11727 arg0 = set(arg0)
11734 return union_set(arg0).intersect_params(arg1)
11735 ctx = arg0.ctx
11736 res = isl.isl_set_intersect_params(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
11739 def involves_locals(arg0): argument
11741 if not arg0.__class__ is set:
11742 arg0 = set(arg0)
11745 ctx = arg0.ctx
11746 res = isl.isl_set_involves_locals(arg0.ptr)
11750 def is_disjoint(arg0, arg1): argument
11752 if not arg0.__class__ is set:
11753 arg0 = set(arg0)
11760 return union_set(arg0).is_disjoint(arg1)
11761 ctx = arg0.ctx
11762 res = isl.isl_set_is_disjoint(arg0.ptr, arg1.ptr)
11766 def is_empty(arg0): argument
11768 if not arg0.__class__ is set:
11769 arg0 = set(arg0)
11772 ctx = arg0.ctx
11773 res = isl.isl_set_is_empty(arg0.ptr)
11777 def is_equal(arg0, arg1): argument
11779 if not arg0.__class__ is set:
11780 arg0 = set(arg0)
11787 return union_set(arg0).is_equal(arg1)
11788 ctx = arg0.ctx
11789 res = isl.isl_set_is_equal(arg0.ptr, arg1.ptr)
11793 def is_singleton(arg0): argument
11795 if not arg0.__class__ is set:
11796 arg0 = set(arg0)
11799 ctx = arg0.ctx
11800 res = isl.isl_set_is_singleton(arg0.ptr)
11804 def is_strict_subset(arg0, arg1): argument
11806 if not arg0.__class__ is set:
11807 arg0 = set(arg0)
11814 return union_set(arg0).is_strict_subset(arg1)
11815 ctx = arg0.ctx
11816 res = isl.isl_set_is_strict_subset(arg0.ptr, arg1.ptr)
11820 def is_subset(arg0, arg1): argument
11822 if not arg0.__class__ is set:
11823 arg0 = set(arg0)
11830 return union_set(arg0).is_subset(arg1)
11831 ctx = arg0.ctx
11832 res = isl.isl_set_is_subset(arg0.ptr, arg1.ptr)
11836 def is_wrapping(arg0): argument
11838 if not arg0.__class__ is set:
11839 arg0 = set(arg0)
11842 ctx = arg0.ctx
11843 res = isl.isl_set_is_wrapping(arg0.ptr)
11847 def lattice_tile(arg0): argument
11849 if not arg0.__class__ is set:
11850 arg0 = set(arg0)
11853 ctx = arg0.ctx
11854 res = isl.isl_set_get_lattice_tile(arg0.ptr)
11857 def get_lattice_tile(arg0): argument
11858 return arg0.lattice_tile()
11859 def lexmax(arg0): argument
11861 if not arg0.__class__ is set:
11862 arg0 = set(arg0)
11865 ctx = arg0.ctx
11866 res = isl.isl_set_lexmax(isl.isl_set_copy(arg0.ptr))
11869 def lexmax_pw_multi_aff(arg0): argument
11871 if not arg0.__class__ is set:
11872 arg0 = set(arg0)
11875 ctx = arg0.ctx
11876 res = isl.isl_set_lexmax_pw_multi_aff(isl.isl_set_copy(arg0.ptr))
11879 def lexmin(arg0): argument
11881 if not arg0.__class__ is set:
11882 arg0 = set(arg0)
11885 ctx = arg0.ctx
11886 res = isl.isl_set_lexmin(isl.isl_set_copy(arg0.ptr))
11889 def lexmin_pw_multi_aff(arg0): argument
11891 if not arg0.__class__ is set:
11892 arg0 = set(arg0)
11895 ctx = arg0.ctx
11896 res = isl.isl_set_lexmin_pw_multi_aff(isl.isl_set_copy(arg0.ptr))
11923 def max_multi_pw_aff(arg0): argument
11925 if not arg0.__class__ is set:
11926 arg0 = set(arg0)
11929 ctx = arg0.ctx
11930 res = isl.isl_set_max_multi_pw_aff(isl.isl_set_copy(arg0.ptr))
11933 def max_val(arg0, arg1): argument
11935 if not arg0.__class__ is set:
11936 arg0 = set(arg0)
11943 return union_set(arg0).max_val(arg1)
11944 ctx = arg0.ctx
11945 res = isl.isl_set_max_val(arg0.ptr, arg1.ptr)
11948 def min_multi_pw_aff(arg0): argument
11950 if not arg0.__class__ is set:
11951 arg0 = set(arg0)
11954 ctx = arg0.ctx
11955 res = isl.isl_set_min_multi_pw_aff(isl.isl_set_copy(arg0.ptr))
11958 def min_val(arg0, arg1): argument
11960 if not arg0.__class__ is set:
11961 arg0 = set(arg0)
11968 return union_set(arg0).min_val(arg1)
11969 ctx = arg0.ctx
11970 res = isl.isl_set_min_val(arg0.ptr, arg1.ptr)
11973 def n_basic_set(arg0): argument
11975 if not arg0.__class__ is set:
11976 arg0 = set(arg0)
11979 ctx = arg0.ctx
11980 res = isl.isl_set_n_basic_set(arg0.ptr)
12002 def params(arg0): argument
12004 if not arg0.__class__ is set:
12005 arg0 = set(arg0)
12008 ctx = arg0.ctx
12009 res = isl.isl_set_params(isl.isl_set_copy(arg0.ptr))
12012 def plain_multi_val_if_fixed(arg0): argument
12014 if not arg0.__class__ is set:
12015 arg0 = set(arg0)
12018 ctx = arg0.ctx
12019 res = isl.isl_set_get_plain_multi_val_if_fixed(arg0.ptr)
12022 def get_plain_multi_val_if_fixed(arg0): argument
12023 return arg0.plain_multi_val_if_fixed()
12024 def polyhedral_hull(arg0): argument
12026 if not arg0.__class__ is set:
12027 arg0 = set(arg0)
12030 ctx = arg0.ctx
12031 res = isl.isl_set_polyhedral_hull(isl.isl_set_copy(arg0.ptr))
12069 def product(arg0, arg1): argument
12071 if not arg0.__class__ is set:
12072 arg0 = set(arg0)
12079 return union_set(arg0).product(arg1)
12080 ctx = arg0.ctx
12081 res = isl.isl_set_product(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
12084 def project_out_all_params(arg0): argument
12086 if not arg0.__class__ is set:
12087 arg0 = set(arg0)
12090 ctx = arg0.ctx
12091 res = isl.isl_set_project_out_all_params(isl.isl_set_copy(arg0.ptr))
12154 def sample(arg0): argument
12156 if not arg0.__class__ is set:
12157 arg0 = set(arg0)
12160 ctx = arg0.ctx
12161 res = isl.isl_set_sample(isl.isl_set_copy(arg0.ptr))
12164 def sample_point(arg0): argument
12166 if not arg0.__class__ is set:
12167 arg0 = set(arg0)
12170 ctx = arg0.ctx
12171 res = isl.isl_set_sample_point(isl.isl_set_copy(arg0.ptr))
12174 def simple_fixed_box_hull(arg0): argument
12176 if not arg0.__class__ is set:
12177 arg0 = set(arg0)
12180 ctx = arg0.ctx
12181 res = isl.isl_set_get_simple_fixed_box_hull(arg0.ptr)
12184 def get_simple_fixed_box_hull(arg0): argument
12185 return arg0.simple_fixed_box_hull()
12186 def space(arg0): argument
12188 if not arg0.__class__ is set:
12189 arg0 = set(arg0)
12192 ctx = arg0.ctx
12193 res = isl.isl_set_get_space(arg0.ptr)
12196 def get_space(arg0): argument
12197 return arg0.space()
12198 def stride(arg0, arg1): argument
12200 if not arg0.__class__ is set:
12201 arg0 = set(arg0)
12204 ctx = arg0.ctx
12205 res = isl.isl_set_get_stride(arg0.ptr, arg1)
12208 def get_stride(arg0, arg1): argument
12209 return arg0.stride(arg1)
12210 def subtract(arg0, arg1): argument
12212 if not arg0.__class__ is set:
12213 arg0 = set(arg0)
12220 return union_set(arg0).subtract(arg1)
12221 ctx = arg0.ctx
12222 res = isl.isl_set_subtract(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
12225 def to_list(arg0): argument
12227 if not arg0.__class__ is set:
12228 arg0 = set(arg0)
12231 ctx = arg0.ctx
12232 res = isl.isl_set_to_list(isl.isl_set_copy(arg0.ptr))
12235 def to_union_set(arg0): argument
12237 if not arg0.__class__ is set:
12238 arg0 = set(arg0)
12241 ctx = arg0.ctx
12242 res = isl.isl_set_to_union_set(isl.isl_set_copy(arg0.ptr))
12245 def translation(arg0): argument
12247 if not arg0.__class__ is set:
12248 arg0 = set(arg0)
12251 ctx = arg0.ctx
12252 res = isl.isl_set_translation(isl.isl_set_copy(arg0.ptr))
12255 def tuple_dim(arg0): argument
12257 if not arg0.__class__ is set:
12258 arg0 = set(arg0)
12261 ctx = arg0.ctx
12262 res = isl.isl_set_tuple_dim(arg0.ptr)
12266 def unbind_params(arg0, arg1): argument
12268 if not arg0.__class__ is set:
12269 arg0 = set(arg0)
12276 return union_set(arg0).unbind_params(arg1)
12277 ctx = arg0.ctx
12278 res = isl.isl_set_unbind_params(isl.isl_set_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.ptr))
12281 def unbind_params_insert_domain(arg0, arg1): argument
12283 if not arg0.__class__ is set:
12284 arg0 = set(arg0)
12291 return union_set(arg0).unbind_params_insert_domain(arg1)
12292 ctx = arg0.ctx
12293 …res = isl.isl_set_unbind_params_insert_domain(isl.isl_set_copy(arg0.ptr), isl.isl_multi_id_copy(ar…
12296 def union(arg0, arg1): argument
12298 if not arg0.__class__ is set:
12299 arg0 = set(arg0)
12306 return union_set(arg0).union(arg1)
12307 ctx = arg0.ctx
12308 res = isl.isl_set_union(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
12312 def universe(arg0): argument
12314 if not arg0.__class__ is space:
12315 arg0 = space(arg0)
12318 ctx = arg0.ctx
12319 res = isl.isl_set_universe(isl.isl_space_copy(arg0.ptr))
12322 def unshifted_simple_hull(arg0): argument
12324 if not arg0.__class__ is set:
12325 arg0 = set(arg0)
12328 ctx = arg0.ctx
12329 res = isl.isl_set_unshifted_simple_hull(isl.isl_set_copy(arg0.ptr))
12332 def unwrap(arg0): argument
12334 if not arg0.__class__ is set:
12335 arg0 = set(arg0)
12338 ctx = arg0.ctx
12339 res = isl.isl_set_unwrap(isl.isl_set_copy(arg0.ptr))
12366 def wrapped_reverse(arg0): argument
12368 if not arg0.__class__ is set:
12369 arg0 = set(arg0)
12372 ctx = arg0.ctx
12373 res = isl.isl_set_wrapped_reverse(isl.isl_set_copy(arg0.ptr))
12542 def __str__(arg0): argument
12544 if not arg0.__class__ is basic_set:
12545 arg0 = basic_set(arg0)
12548 ptr = isl.isl_basic_set_to_str(arg0.ptr)
12558 def affine_hull(arg0): argument
12560 if not arg0.__class__ is basic_set:
12561 arg0 = basic_set(arg0)
12564 ctx = arg0.ctx
12565 res = isl.isl_basic_set_affine_hull(isl.isl_basic_set_copy(arg0.ptr))
12568 def apply(arg0, arg1): argument
12570 if not arg0.__class__ is basic_set:
12571 arg0 = basic_set(arg0)
12578 return set(arg0).apply(arg1)
12579 ctx = arg0.ctx
12580 … res = isl.isl_basic_set_apply(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
12583 def detect_equalities(arg0): argument
12585 if not arg0.__class__ is basic_set:
12586 arg0 = basic_set(arg0)
12589 ctx = arg0.ctx
12590 res = isl.isl_basic_set_detect_equalities(isl.isl_basic_set_copy(arg0.ptr))
12593 def dim_max_val(arg0, arg1): argument
12595 if not arg0.__class__ is basic_set:
12596 arg0 = basic_set(arg0)
12599 ctx = arg0.ctx
12600 res = isl.isl_basic_set_dim_max_val(isl.isl_basic_set_copy(arg0.ptr), arg1)
12603 def flatten(arg0): argument
12605 if not arg0.__class__ is basic_set:
12606 arg0 = basic_set(arg0)
12609 ctx = arg0.ctx
12610 res = isl.isl_basic_set_flatten(isl.isl_basic_set_copy(arg0.ptr))
12613 def gist(arg0, arg1): argument
12615 if not arg0.__class__ is basic_set:
12616 arg0 = basic_set(arg0)
12623 return set(arg0).gist(arg1)
12624 ctx = arg0.ctx
12625 … res = isl.isl_basic_set_gist(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.ptr))
12628 def intersect(arg0, arg1): argument
12630 if not arg0.__class__ is basic_set:
12631 arg0 = basic_set(arg0)
12638 return set(arg0).intersect(arg1)
12639 ctx = arg0.ctx
12640 …res = isl.isl_basic_set_intersect(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.pt…
12643 def intersect_params(arg0, arg1): argument
12645 if not arg0.__class__ is basic_set:
12646 arg0 = basic_set(arg0)
12653 return set(arg0).intersect_params(arg1)
12654 ctx = arg0.ctx
12655 …res = isl.isl_basic_set_intersect_params(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_set_copy(…
12658 def is_empty(arg0): argument
12660 if not arg0.__class__ is basic_set:
12661 arg0 = basic_set(arg0)
12664 ctx = arg0.ctx
12665 res = isl.isl_basic_set_is_empty(arg0.ptr)
12669 def is_equal(arg0, arg1): argument
12671 if not arg0.__class__ is basic_set:
12672 arg0 = basic_set(arg0)
12679 return set(arg0).is_equal(arg1)
12680 ctx = arg0.ctx
12681 res = isl.isl_basic_set_is_equal(arg0.ptr, arg1.ptr)
12685 def is_subset(arg0, arg1): argument
12687 if not arg0.__class__ is basic_set:
12688 arg0 = basic_set(arg0)
12695 return set(arg0).is_subset(arg1)
12696 ctx = arg0.ctx
12697 res = isl.isl_basic_set_is_subset(arg0.ptr, arg1.ptr)
12701 def is_wrapping(arg0): argument
12703 if not arg0.__class__ is basic_set:
12704 arg0 = basic_set(arg0)
12707 ctx = arg0.ctx
12708 res = isl.isl_basic_set_is_wrapping(arg0.ptr)
12712 def lexmax(arg0): argument
12714 if not arg0.__class__ is basic_set:
12715 arg0 = basic_set(arg0)
12718 ctx = arg0.ctx
12719 res = isl.isl_basic_set_lexmax(isl.isl_basic_set_copy(arg0.ptr))
12722 def lexmin(arg0): argument
12724 if not arg0.__class__ is basic_set:
12725 arg0 = basic_set(arg0)
12728 ctx = arg0.ctx
12729 res = isl.isl_basic_set_lexmin(isl.isl_basic_set_copy(arg0.ptr))
12732 def params(arg0): argument
12734 if not arg0.__class__ is basic_set:
12735 arg0 = basic_set(arg0)
12738 ctx = arg0.ctx
12739 res = isl.isl_basic_set_params(isl.isl_basic_set_copy(arg0.ptr))
12742 def sample(arg0): argument
12744 if not arg0.__class__ is basic_set:
12745 arg0 = basic_set(arg0)
12748 ctx = arg0.ctx
12749 res = isl.isl_basic_set_sample(isl.isl_basic_set_copy(arg0.ptr))
12752 def sample_point(arg0): argument
12754 if not arg0.__class__ is basic_set:
12755 arg0 = basic_set(arg0)
12758 ctx = arg0.ctx
12759 res = isl.isl_basic_set_sample_point(isl.isl_basic_set_copy(arg0.ptr))
12762 def to_set(arg0): argument
12764 if not arg0.__class__ is basic_set:
12765 arg0 = basic_set(arg0)
12768 ctx = arg0.ctx
12769 res = isl.isl_basic_set_to_set(isl.isl_basic_set_copy(arg0.ptr))
12772 def union(arg0, arg1): argument
12774 if not arg0.__class__ is basic_set:
12775 arg0 = basic_set(arg0)
12782 return set(arg0).union(arg1)
12783 ctx = arg0.ctx
12784 … res = isl.isl_basic_set_union(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.ptr))
12847 def __str__(arg0): argument
12849 if not arg0.__class__ is fixed_box:
12850 arg0 = fixed_box(arg0)
12853 ptr = isl.isl_fixed_box_to_str(arg0.ptr)
12863 def is_valid(arg0): argument
12865 if not arg0.__class__ is fixed_box:
12866 arg0 = fixed_box(arg0)
12869 ctx = arg0.ctx
12870 res = isl.isl_fixed_box_is_valid(arg0.ptr)
12874 def offset(arg0): argument
12876 if not arg0.__class__ is fixed_box:
12877 arg0 = fixed_box(arg0)
12880 ctx = arg0.ctx
12881 res = isl.isl_fixed_box_get_offset(arg0.ptr)
12884 def get_offset(arg0): argument
12885 return arg0.offset()
12886 def size(arg0): argument
12888 if not arg0.__class__ is fixed_box:
12889 arg0 = fixed_box(arg0)
12892 ctx = arg0.ctx
12893 res = isl.isl_fixed_box_get_size(arg0.ptr)
12896 def get_size(arg0): argument
12897 return arg0.size()
12898 def space(arg0): argument
12900 if not arg0.__class__ is fixed_box:
12901 arg0 = fixed_box(arg0)
12904 ctx = arg0.ctx
12905 res = isl.isl_fixed_box_get_space(arg0.ptr)
12908 def get_space(arg0): argument
12909 return arg0.space()
12949 def __str__(arg0): argument
12951 if not arg0.__class__ is id:
12952 arg0 = id(arg0)
12955 ptr = isl.isl_id_to_str(arg0.ptr)
12971 def name(arg0): argument
12973 if not arg0.__class__ is id:
12974 arg0 = id(arg0)
12977 ctx = arg0.ctx
12978 res = isl.isl_id_get_name(arg0.ptr)
12983 def get_name(arg0): argument
12984 return arg0.name()
12985 def to_list(arg0): argument
12987 if not arg0.__class__ is id:
12988 arg0 = id(arg0)
12991 ctx = arg0.ctx
12992 res = isl.isl_id_to_list(isl.isl_id_copy(arg0.ptr))
13037 def __str__(arg0): argument
13039 if not arg0.__class__ is id_list:
13040 arg0 = id_list(arg0)
13043 ptr = isl.isl_id_list_to_str(arg0.ptr)
13053 def add(arg0, arg1): argument
13055 if not arg0.__class__ is id_list:
13056 arg0 = id_list(arg0)
13064 ctx = arg0.ctx
13065 res = isl.isl_id_list_add(isl.isl_id_list_copy(arg0.ptr), isl.isl_id_copy(arg1.ptr))
13068 def at(arg0, arg1): argument
13070 if not arg0.__class__ is id_list:
13071 arg0 = id_list(arg0)
13074 ctx = arg0.ctx
13075 res = isl.isl_id_list_get_at(arg0.ptr, arg1)
13078 def get_at(arg0, arg1): argument
13079 return arg0.at(arg1)
13080 def clear(arg0): argument
13082 if not arg0.__class__ is id_list:
13083 arg0 = id_list(arg0)
13086 ctx = arg0.ctx
13087 res = isl.isl_id_list_clear(isl.isl_id_list_copy(arg0.ptr))
13090 def concat(arg0, arg1): argument
13092 if not arg0.__class__ is id_list:
13093 arg0 = id_list(arg0)
13101 ctx = arg0.ctx
13102 res = isl.isl_id_list_concat(isl.isl_id_list_copy(arg0.ptr), isl.isl_id_list_copy(arg1.ptr))
13105 def drop(arg0, arg1, arg2): argument
13107 if not arg0.__class__ is id_list:
13108 arg0 = id_list(arg0)
13111 ctx = arg0.ctx
13112 res = isl.isl_id_list_drop(isl.isl_id_list_copy(arg0.ptr), arg1, arg2)
13115 def foreach(arg0, arg1): argument
13117 if not arg0.__class__ is id_list:
13118 arg0 = id_list(arg0)
13124 cb_arg0 = id(ctx=arg0.ctx, ptr=(cb_arg0))
13132 ctx = arg0.ctx
13133 res = isl.isl_id_list_foreach(arg0.ptr, cb1, None)
13138 def foreach_scc(arg0, arg1, arg2): argument
13140 if not arg0.__class__ is id_list:
13141 arg0 = id_list(arg0)
13147 cb_arg0 = id(ctx=arg0.ctx, ptr=isl.isl_id_copy(cb_arg0))
13148 cb_arg1 = id(ctx=arg0.ctx, ptr=isl.isl_id_copy(cb_arg1))
13159 cb_arg0 = id_list(ctx=arg0.ctx, ptr=(cb_arg0))
13167 ctx = arg0.ctx
13168 res = isl.isl_id_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
13173 def insert(arg0, arg1, arg2): argument
13175 if not arg0.__class__ is id_list:
13176 arg0 = id_list(arg0)
13184 ctx = arg0.ctx
13185 … res = isl.isl_id_list_insert(isl.isl_id_list_copy(arg0.ptr), arg1, isl.isl_id_copy(arg2.ptr))
13188 def set_at(arg0, arg1, arg2): argument
13190 if not arg0.__class__ is id_list:
13191 arg0 = id_list(arg0)
13199 ctx = arg0.ctx
13200 … res = isl.isl_id_list_set_at(isl.isl_id_list_copy(arg0.ptr), arg1, isl.isl_id_copy(arg2.ptr))
13203 def size(arg0): argument
13205 if not arg0.__class__ is id_list:
13206 arg0 = id_list(arg0)
13209 ctx = arg0.ctx
13210 res = isl.isl_id_list_size(arg0.ptr)
13263 def __str__(arg0): argument
13265 if not arg0.__class__ is id_to_ast_expr:
13266 arg0 = id_to_ast_expr(arg0)
13269 ptr = isl.isl_id_to_ast_expr_to_str(arg0.ptr)
13279 def is_equal(arg0, arg1): argument
13281 if not arg0.__class__ is id_to_ast_expr:
13282 arg0 = id_to_ast_expr(arg0)
13290 ctx = arg0.ctx
13291 res = isl.isl_id_to_ast_expr_is_equal(arg0.ptr, arg1.ptr)
13295 def set(arg0, arg1, arg2): argument
13297 if not arg0.__class__ is id_to_ast_expr:
13298 arg0 = id_to_ast_expr(arg0)
13311 ctx = arg0.ctx
13312 …res = isl.isl_id_to_ast_expr_set(isl.isl_id_to_ast_expr_copy(arg0.ptr), isl.isl_id_copy(arg1.ptr),…
13348 def __str__(arg0): argument
13350 if not arg0.__class__ is id_to_id:
13351 arg0 = id_to_id(arg0)
13354 ptr = isl.isl_id_to_id_to_str(arg0.ptr)
13364 def is_equal(arg0, arg1): argument
13366 if not arg0.__class__ is id_to_id:
13367 arg0 = id_to_id(arg0)
13375 ctx = arg0.ctx
13376 res = isl.isl_id_to_id_is_equal(arg0.ptr, arg1.ptr)
13380 def set(arg0, arg1, arg2): argument
13382 if not arg0.__class__ is id_to_id:
13383 arg0 = id_to_id(arg0)
13396 ctx = arg0.ctx
13397 …res = isl.isl_id_to_id_set(isl.isl_id_to_id_copy(arg0.ptr), isl.isl_id_copy(arg1.ptr), isl.isl_id_…
13437 def __str__(arg0): argument
13439 if not arg0.__class__ is map_list:
13440 arg0 = map_list(arg0)
13443 ptr = isl.isl_map_list_to_str(arg0.ptr)
13453 def add(arg0, arg1): argument
13455 if not arg0.__class__ is map_list:
13456 arg0 = map_list(arg0)
13464 ctx = arg0.ctx
13465 res = isl.isl_map_list_add(isl.isl_map_list_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
13468 def at(arg0, arg1): argument
13470 if not arg0.__class__ is map_list:
13471 arg0 = map_list(arg0)
13474 ctx = arg0.ctx
13475 res = isl.isl_map_list_get_at(arg0.ptr, arg1)
13478 def get_at(arg0, arg1): argument
13479 return arg0.at(arg1)
13480 def clear(arg0): argument
13482 if not arg0.__class__ is map_list:
13483 arg0 = map_list(arg0)
13486 ctx = arg0.ctx
13487 res = isl.isl_map_list_clear(isl.isl_map_list_copy(arg0.ptr))
13490 def concat(arg0, arg1): argument
13492 if not arg0.__class__ is map_list:
13493 arg0 = map_list(arg0)
13501 ctx = arg0.ctx
13502 … res = isl.isl_map_list_concat(isl.isl_map_list_copy(arg0.ptr), isl.isl_map_list_copy(arg1.ptr))
13505 def drop(arg0, arg1, arg2): argument
13507 if not arg0.__class__ is map_list:
13508 arg0 = map_list(arg0)
13511 ctx = arg0.ctx
13512 res = isl.isl_map_list_drop(isl.isl_map_list_copy(arg0.ptr), arg1, arg2)
13515 def foreach(arg0, arg1): argument
13517 if not arg0.__class__ is map_list:
13518 arg0 = map_list(arg0)
13524 cb_arg0 = map(ctx=arg0.ctx, ptr=(cb_arg0))
13532 ctx = arg0.ctx
13533 res = isl.isl_map_list_foreach(arg0.ptr, cb1, None)
13538 def foreach_scc(arg0, arg1, arg2): argument
13540 if not arg0.__class__ is map_list:
13541 arg0 = map_list(arg0)
13547 cb_arg0 = map(ctx=arg0.ctx, ptr=isl.isl_map_copy(cb_arg0))
13548 cb_arg1 = map(ctx=arg0.ctx, ptr=isl.isl_map_copy(cb_arg1))
13559 cb_arg0 = map_list(ctx=arg0.ctx, ptr=(cb_arg0))
13567 ctx = arg0.ctx
13568 res = isl.isl_map_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
13573 def insert(arg0, arg1, arg2): argument
13575 if not arg0.__class__ is map_list:
13576 arg0 = map_list(arg0)
13584 ctx = arg0.ctx
13585 … res = isl.isl_map_list_insert(isl.isl_map_list_copy(arg0.ptr), arg1, isl.isl_map_copy(arg2.ptr))
13588 def set_at(arg0, arg1, arg2): argument
13590 if not arg0.__class__ is map_list:
13591 arg0 = map_list(arg0)
13599 ctx = arg0.ctx
13600 … res = isl.isl_map_list_set_at(isl.isl_map_list_copy(arg0.ptr), arg1, isl.isl_map_copy(arg2.ptr))
13603 def size(arg0): argument
13605 if not arg0.__class__ is map_list:
13606 arg0 = map_list(arg0)
13609 ctx = arg0.ctx
13610 res = isl.isl_map_list_size(arg0.ptr)
13663 def __str__(arg0): argument
13665 if not arg0.__class__ is multi_id:
13666 arg0 = multi_id(arg0)
13669 ptr = isl.isl_multi_id_to_str(arg0.ptr)
13679 def at(arg0, arg1): argument
13681 if not arg0.__class__ is multi_id:
13682 arg0 = multi_id(arg0)
13685 ctx = arg0.ctx
13686 res = isl.isl_multi_id_get_at(arg0.ptr, arg1)
13689 def get_at(arg0, arg1): argument
13690 return arg0.at(arg1)
13691 def flat_range_product(arg0, arg1): argument
13693 if not arg0.__class__ is multi_id:
13694 arg0 = multi_id(arg0)
13702 ctx = arg0.ctx
13703 …res = isl.isl_multi_id_flat_range_product(isl.isl_multi_id_copy(arg0.ptr), isl.isl_multi_id_copy(a…
13706 def list(arg0): argument
13708 if not arg0.__class__ is multi_id:
13709 arg0 = multi_id(arg0)
13712 ctx = arg0.ctx
13713 res = isl.isl_multi_id_get_list(arg0.ptr)
13716 def get_list(arg0): argument
13717 return arg0.list()
13718 def plain_is_equal(arg0, arg1): argument
13720 if not arg0.__class__ is multi_id:
13721 arg0 = multi_id(arg0)
13729 ctx = arg0.ctx
13730 res = isl.isl_multi_id_plain_is_equal(arg0.ptr, arg1.ptr)
13734 def range_product(arg0, arg1): argument
13736 if not arg0.__class__ is multi_id:
13737 arg0 = multi_id(arg0)
13745 ctx = arg0.ctx
13746 …res = isl.isl_multi_id_range_product(isl.isl_multi_id_copy(arg0.ptr), isl.isl_multi_id_copy(arg1.p…
13749 def set_at(arg0, arg1, arg2): argument
13751 if not arg0.__class__ is multi_id:
13752 arg0 = multi_id(arg0)
13760 ctx = arg0.ctx
13761 … res = isl.isl_multi_id_set_at(isl.isl_multi_id_copy(arg0.ptr), arg1, isl.isl_id_copy(arg2.ptr))
13764 def size(arg0): argument
13766 if not arg0.__class__ is multi_id:
13767 arg0 = multi_id(arg0)
13770 ctx = arg0.ctx
13771 res = isl.isl_multi_id_size(arg0.ptr)
13775 def space(arg0): argument
13777 if not arg0.__class__ is multi_id:
13778 arg0 = multi_id(arg0)
13781 ctx = arg0.ctx
13782 res = isl.isl_multi_id_get_space(arg0.ptr)
13785 def get_space(arg0): argument
13786 return arg0.space()
13831 def __str__(arg0): argument
13833 if not arg0.__class__ is multi_val:
13834 arg0 = multi_val(arg0)
13837 ptr = isl.isl_multi_val_to_str(arg0.ptr)
13876 def at(arg0, arg1): argument
13878 if not arg0.__class__ is multi_val:
13879 arg0 = multi_val(arg0)
13882 ctx = arg0.ctx
13883 res = isl.isl_multi_val_get_at(arg0.ptr, arg1)
13886 def get_at(arg0, arg1): argument
13887 return arg0.at(arg1)
13888 def flat_range_product(arg0, arg1): argument
13890 if not arg0.__class__ is multi_val:
13891 arg0 = multi_val(arg0)
13899 ctx = arg0.ctx
13900 …res = isl.isl_multi_val_flat_range_product(isl.isl_multi_val_copy(arg0.ptr), isl.isl_multi_val_cop…
13903 def has_range_tuple_id(arg0): argument
13905 if not arg0.__class__ is multi_val:
13906 arg0 = multi_val(arg0)
13909 ctx = arg0.ctx
13910 res = isl.isl_multi_val_has_range_tuple_id(arg0.ptr)
13914 def involves_nan(arg0): argument
13916 if not arg0.__class__ is multi_val:
13917 arg0 = multi_val(arg0)
13920 ctx = arg0.ctx
13921 res = isl.isl_multi_val_involves_nan(arg0.ptr)
13925 def list(arg0): argument
13927 if not arg0.__class__ is multi_val:
13928 arg0 = multi_val(arg0)
13931 ctx = arg0.ctx
13932 res = isl.isl_multi_val_get_list(arg0.ptr)
13935 def get_list(arg0): argument
13936 return arg0.list()
13937 def max(arg0, arg1): argument
13939 if not arg0.__class__ is multi_val:
13940 arg0 = multi_val(arg0)
13948 ctx = arg0.ctx
13949 … res = isl.isl_multi_val_max(isl.isl_multi_val_copy(arg0.ptr), isl.isl_multi_val_copy(arg1.ptr))
13952 def min(arg0, arg1): argument
13954 if not arg0.__class__ is multi_val:
13955 arg0 = multi_val(arg0)
13963 ctx = arg0.ctx
13964 … res = isl.isl_multi_val_min(isl.isl_multi_val_copy(arg0.ptr), isl.isl_multi_val_copy(arg1.ptr))
13967 def neg(arg0): argument
13969 if not arg0.__class__ is multi_val:
13970 arg0 = multi_val(arg0)
13973 ctx = arg0.ctx
13974 res = isl.isl_multi_val_neg(isl.isl_multi_val_copy(arg0.ptr))
13977 def plain_is_equal(arg0, arg1): argument
13979 if not arg0.__class__ is multi_val:
13980 arg0 = multi_val(arg0)
13988 ctx = arg0.ctx
13989 res = isl.isl_multi_val_plain_is_equal(arg0.ptr, arg1.ptr)
13993 def product(arg0, arg1): argument
13995 if not arg0.__class__ is multi_val:
13996 arg0 = multi_val(arg0)
14004 ctx = arg0.ctx
14005 …res = isl.isl_multi_val_product(isl.isl_multi_val_copy(arg0.ptr), isl.isl_multi_val_copy(arg1.ptr))
14008 def range_product(arg0, arg1): argument
14010 if not arg0.__class__ is multi_val:
14011 arg0 = multi_val(arg0)
14019 ctx = arg0.ctx
14020 …res = isl.isl_multi_val_range_product(isl.isl_multi_val_copy(arg0.ptr), isl.isl_multi_val_copy(arg…
14023 def range_tuple_id(arg0): argument
14025 if not arg0.__class__ is multi_val:
14026 arg0 = multi_val(arg0)
14029 ctx = arg0.ctx
14030 res = isl.isl_multi_val_get_range_tuple_id(arg0.ptr)
14033 def get_range_tuple_id(arg0): argument
14034 return arg0.range_tuple_id()
14035 def reset_range_tuple_id(arg0): argument
14037 if not arg0.__class__ is multi_val:
14038 arg0 = multi_val(arg0)
14041 ctx = arg0.ctx
14042 res = isl.isl_multi_val_reset_range_tuple_id(isl.isl_multi_val_copy(arg0.ptr))
14103 def set_at(arg0, arg1, arg2): argument
14105 if not arg0.__class__ is multi_val:
14106 arg0 = multi_val(arg0)
14114 ctx = arg0.ctx
14115 … res = isl.isl_multi_val_set_at(isl.isl_multi_val_copy(arg0.ptr), arg1, isl.isl_val_copy(arg2.ptr))
14136 def size(arg0): argument
14138 if not arg0.__class__ is multi_val:
14139 arg0 = multi_val(arg0)
14142 ctx = arg0.ctx
14143 res = isl.isl_multi_val_size(arg0.ptr)
14147 def space(arg0): argument
14149 if not arg0.__class__ is multi_val:
14150 arg0 = multi_val(arg0)
14153 ctx = arg0.ctx
14154 res = isl.isl_multi_val_get_space(arg0.ptr)
14157 def get_space(arg0): argument
14158 return arg0.space()
14159 def sub(arg0, arg1): argument
14161 if not arg0.__class__ is multi_val:
14162 arg0 = multi_val(arg0)
14170 ctx = arg0.ctx
14171 … res = isl.isl_multi_val_sub(isl.isl_multi_val_copy(arg0.ptr), isl.isl_multi_val_copy(arg1.ptr))
14175 def zero(arg0): argument
14177 if not arg0.__class__ is space:
14178 arg0 = space(arg0)
14181 ctx = arg0.ctx
14182 res = isl.isl_multi_val_zero(isl.isl_space_copy(arg0.ptr))
14253 def __str__(arg0): argument
14255 if not arg0.__class__ is point:
14256 arg0 = point(arg0)
14259 ptr = isl.isl_point_to_str(arg0.ptr)
14269 def multi_val(arg0): argument
14271 if not arg0.__class__ is point:
14272 arg0 = point(arg0)
14275 ctx = arg0.ctx
14276 res = isl.isl_point_get_multi_val(arg0.ptr)
14279 def get_multi_val(arg0): argument
14280 return arg0.multi_val()
14281 def to_set(arg0): argument
14283 if not arg0.__class__ is point:
14284 arg0 = point(arg0)
14287 ctx = arg0.ctx
14288 res = isl.isl_point_to_set(isl.isl_point_copy(arg0.ptr))
14325 def __str__(arg0): argument
14327 if not arg0.__class__ is pw_aff_list:
14328 arg0 = pw_aff_list(arg0)
14331 ptr = isl.isl_pw_aff_list_to_str(arg0.ptr)
14341 def add(arg0, arg1): argument
14343 if not arg0.__class__ is pw_aff_list:
14344 arg0 = pw_aff_list(arg0)
14352 ctx = arg0.ctx
14353 … res = isl.isl_pw_aff_list_add(isl.isl_pw_aff_list_copy(arg0.ptr), isl.isl_pw_aff_copy(arg1.ptr))
14356 def at(arg0, arg1): argument
14358 if not arg0.__class__ is pw_aff_list:
14359 arg0 = pw_aff_list(arg0)
14362 ctx = arg0.ctx
14363 res = isl.isl_pw_aff_list_get_at(arg0.ptr, arg1)
14366 def get_at(arg0, arg1): argument
14367 return arg0.at(arg1)
14368 def clear(arg0): argument
14370 if not arg0.__class__ is pw_aff_list:
14371 arg0 = pw_aff_list(arg0)
14374 ctx = arg0.ctx
14375 res = isl.isl_pw_aff_list_clear(isl.isl_pw_aff_list_copy(arg0.ptr))
14378 def concat(arg0, arg1): argument
14380 if not arg0.__class__ is pw_aff_list:
14381 arg0 = pw_aff_list(arg0)
14389 ctx = arg0.ctx
14390 …res = isl.isl_pw_aff_list_concat(isl.isl_pw_aff_list_copy(arg0.ptr), isl.isl_pw_aff_list_copy(arg1…
14393 def drop(arg0, arg1, arg2): argument
14395 if not arg0.__class__ is pw_aff_list:
14396 arg0 = pw_aff_list(arg0)
14399 ctx = arg0.ctx
14400 res = isl.isl_pw_aff_list_drop(isl.isl_pw_aff_list_copy(arg0.ptr), arg1, arg2)
14403 def foreach(arg0, arg1): argument
14405 if not arg0.__class__ is pw_aff_list:
14406 arg0 = pw_aff_list(arg0)
14412 cb_arg0 = pw_aff(ctx=arg0.ctx, ptr=(cb_arg0))
14420 ctx = arg0.ctx
14421 res = isl.isl_pw_aff_list_foreach(arg0.ptr, cb1, None)
14426 def foreach_scc(arg0, arg1, arg2): argument
14428 if not arg0.__class__ is pw_aff_list:
14429 arg0 = pw_aff_list(arg0)
14435 cb_arg0 = pw_aff(ctx=arg0.ctx, ptr=isl.isl_pw_aff_copy(cb_arg0))
14436 cb_arg1 = pw_aff(ctx=arg0.ctx, ptr=isl.isl_pw_aff_copy(cb_arg1))
14447 cb_arg0 = pw_aff_list(ctx=arg0.ctx, ptr=(cb_arg0))
14455 ctx = arg0.ctx
14456 res = isl.isl_pw_aff_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
14461 def insert(arg0, arg1, arg2): argument
14463 if not arg0.__class__ is pw_aff_list:
14464 arg0 = pw_aff_list(arg0)
14472 ctx = arg0.ctx
14473 …res = isl.isl_pw_aff_list_insert(isl.isl_pw_aff_list_copy(arg0.ptr), arg1, isl.isl_pw_aff_copy(arg…
14476 def set_at(arg0, arg1, arg2): argument
14478 if not arg0.__class__ is pw_aff_list:
14479 arg0 = pw_aff_list(arg0)
14487 ctx = arg0.ctx
14488 …res = isl.isl_pw_aff_list_set_at(isl.isl_pw_aff_list_copy(arg0.ptr), arg1, isl.isl_pw_aff_copy(arg…
14491 def size(arg0): argument
14493 if not arg0.__class__ is pw_aff_list:
14494 arg0 = pw_aff_list(arg0)
14497 ctx = arg0.ctx
14498 res = isl.isl_pw_aff_list_size(arg0.ptr)
14555 def __str__(arg0): argument
14557 if not arg0.__class__ is pw_multi_aff_list:
14558 arg0 = pw_multi_aff_list(arg0)
14561 ptr = isl.isl_pw_multi_aff_list_to_str(arg0.ptr)
14571 def add(arg0, arg1): argument
14573 if not arg0.__class__ is pw_multi_aff_list:
14574 arg0 = pw_multi_aff_list(arg0)
14582 ctx = arg0.ctx
14583 …res = isl.isl_pw_multi_aff_list_add(isl.isl_pw_multi_aff_list_copy(arg0.ptr), isl.isl_pw_multi_aff…
14586 def at(arg0, arg1): argument
14588 if not arg0.__class__ is pw_multi_aff_list:
14589 arg0 = pw_multi_aff_list(arg0)
14592 ctx = arg0.ctx
14593 res = isl.isl_pw_multi_aff_list_get_at(arg0.ptr, arg1)
14596 def get_at(arg0, arg1): argument
14597 return arg0.at(arg1)
14598 def clear(arg0): argument
14600 if not arg0.__class__ is pw_multi_aff_list:
14601 arg0 = pw_multi_aff_list(arg0)
14604 ctx = arg0.ctx
14605 res = isl.isl_pw_multi_aff_list_clear(isl.isl_pw_multi_aff_list_copy(arg0.ptr))
14608 def concat(arg0, arg1): argument
14610 if not arg0.__class__ is pw_multi_aff_list:
14611 arg0 = pw_multi_aff_list(arg0)
14619 ctx = arg0.ctx
14620 …res = isl.isl_pw_multi_aff_list_concat(isl.isl_pw_multi_aff_list_copy(arg0.ptr), isl.isl_pw_multi_…
14623 def drop(arg0, arg1, arg2): argument
14625 if not arg0.__class__ is pw_multi_aff_list:
14626 arg0 = pw_multi_aff_list(arg0)
14629 ctx = arg0.ctx
14630 res = isl.isl_pw_multi_aff_list_drop(isl.isl_pw_multi_aff_list_copy(arg0.ptr), arg1, arg2)
14633 def foreach(arg0, arg1): argument
14635 if not arg0.__class__ is pw_multi_aff_list:
14636 arg0 = pw_multi_aff_list(arg0)
14642 cb_arg0 = pw_multi_aff(ctx=arg0.ctx, ptr=(cb_arg0))
14650 ctx = arg0.ctx
14651 res = isl.isl_pw_multi_aff_list_foreach(arg0.ptr, cb1, None)
14656 def foreach_scc(arg0, arg1, arg2): argument
14658 if not arg0.__class__ is pw_multi_aff_list:
14659 arg0 = pw_multi_aff_list(arg0)
14665 cb_arg0 = pw_multi_aff(ctx=arg0.ctx, ptr=isl.isl_pw_multi_aff_copy(cb_arg0))
14666 cb_arg1 = pw_multi_aff(ctx=arg0.ctx, ptr=isl.isl_pw_multi_aff_copy(cb_arg1))
14677 cb_arg0 = pw_multi_aff_list(ctx=arg0.ctx, ptr=(cb_arg0))
14685 ctx = arg0.ctx
14686 res = isl.isl_pw_multi_aff_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
14691 def insert(arg0, arg1, arg2): argument
14693 if not arg0.__class__ is pw_multi_aff_list:
14694 arg0 = pw_multi_aff_list(arg0)
14702 ctx = arg0.ctx
14703 …res = isl.isl_pw_multi_aff_list_insert(isl.isl_pw_multi_aff_list_copy(arg0.ptr), arg1, isl.isl_pw_…
14706 def set_at(arg0, arg1, arg2): argument
14708 if not arg0.__class__ is pw_multi_aff_list:
14709 arg0 = pw_multi_aff_list(arg0)
14717 ctx = arg0.ctx
14718 …res = isl.isl_pw_multi_aff_list_set_at(isl.isl_pw_multi_aff_list_copy(arg0.ptr), arg1, isl.isl_pw_…
14721 def size(arg0): argument
14723 if not arg0.__class__ is pw_multi_aff_list:
14724 arg0 = pw_multi_aff_list(arg0)
14727 ctx = arg0.ctx
14728 res = isl.isl_pw_multi_aff_list_size(arg0.ptr)
14777 def __str__(arg0): argument
14779 if not arg0.__class__ is schedule:
14780 arg0 = schedule(arg0)
14783 ptr = isl.isl_schedule_to_str(arg0.ptr)
14793 def domain(arg0): argument
14795 if not arg0.__class__ is schedule:
14796 arg0 = schedule(arg0)
14799 ctx = arg0.ctx
14800 res = isl.isl_schedule_get_domain(arg0.ptr)
14803 def get_domain(arg0): argument
14804 return arg0.domain()
14806 def from_domain(arg0): argument
14808 if not arg0.__class__ is union_set:
14809 arg0 = union_set(arg0)
14812 ctx = arg0.ctx
14813 res = isl.isl_schedule_from_domain(isl.isl_union_set_copy(arg0.ptr))
14816 def map(arg0): argument
14818 if not arg0.__class__ is schedule:
14819 arg0 = schedule(arg0)
14822 ctx = arg0.ctx
14823 res = isl.isl_schedule_get_map(arg0.ptr)
14826 def get_map(arg0): argument
14827 return arg0.map()
14841 def root(arg0): argument
14843 if not arg0.__class__ is schedule:
14844 arg0 = schedule(arg0)
14847 ctx = arg0.ctx
14848 res = isl.isl_schedule_get_root(arg0.ptr)
14851 def get_root(arg0): argument
14852 return arg0.root()
14887 def __str__(arg0): argument
14889 if not arg0.__class__ is schedule_constraints:
14890 arg0 = schedule_constraints(arg0)
14893 ptr = isl.isl_schedule_constraints_to_str(arg0.ptr)
14903 def coincidence(arg0): argument
14905 if not arg0.__class__ is schedule_constraints:
14906 arg0 = schedule_constraints(arg0)
14909 ctx = arg0.ctx
14910 res = isl.isl_schedule_constraints_get_coincidence(arg0.ptr)
14913 def get_coincidence(arg0): argument
14914 return arg0.coincidence()
14915 def compute_schedule(arg0): argument
14917 if not arg0.__class__ is schedule_constraints:
14918 arg0 = schedule_constraints(arg0)
14921 ctx = arg0.ctx
14922 … res = isl.isl_schedule_constraints_compute_schedule(isl.isl_schedule_constraints_copy(arg0.ptr))
14925 def conditional_validity(arg0): argument
14927 if not arg0.__class__ is schedule_constraints:
14928 arg0 = schedule_constraints(arg0)
14931 ctx = arg0.ctx
14932 res = isl.isl_schedule_constraints_get_conditional_validity(arg0.ptr)
14935 def get_conditional_validity(arg0): argument
14936 return arg0.conditional_validity()
14937 def conditional_validity_condition(arg0): argument
14939 if not arg0.__class__ is schedule_constraints:
14940 arg0 = schedule_constraints(arg0)
14943 ctx = arg0.ctx
14944 res = isl.isl_schedule_constraints_get_conditional_validity_condition(arg0.ptr)
14947 def get_conditional_validity_condition(arg0): argument
14948 return arg0.conditional_validity_condition()
14949 def context(arg0): argument
14951 if not arg0.__class__ is schedule_constraints:
14952 arg0 = schedule_constraints(arg0)
14955 ctx = arg0.ctx
14956 res = isl.isl_schedule_constraints_get_context(arg0.ptr)
14959 def get_context(arg0): argument
14960 return arg0.context()
14961 def domain(arg0): argument
14963 if not arg0.__class__ is schedule_constraints:
14964 arg0 = schedule_constraints(arg0)
14967 ctx = arg0.ctx
14968 res = isl.isl_schedule_constraints_get_domain(arg0.ptr)
14971 def get_domain(arg0): argument
14972 return arg0.domain()
14974 def on_domain(arg0): argument
14976 if not arg0.__class__ is union_set:
14977 arg0 = union_set(arg0)
14980 ctx = arg0.ctx
14981 res = isl.isl_schedule_constraints_on_domain(isl.isl_union_set_copy(arg0.ptr))
14984 def proximity(arg0): argument
14986 if not arg0.__class__ is schedule_constraints:
14987 arg0 = schedule_constraints(arg0)
14990 ctx = arg0.ctx
14991 res = isl.isl_schedule_constraints_get_proximity(arg0.ptr)
14994 def get_proximity(arg0): argument
14995 return arg0.proximity()
14996 def set_coincidence(arg0, arg1): argument
14998 if not arg0.__class__ is schedule_constraints:
14999 arg0 = schedule_constraints(arg0)
15007 ctx = arg0.ctx
15008 …res = isl.isl_schedule_constraints_set_coincidence(isl.isl_schedule_constraints_copy(arg0.ptr), is…
15011 def set_conditional_validity(arg0, arg1, arg2): argument
15013 if not arg0.__class__ is schedule_constraints:
15014 arg0 = schedule_constraints(arg0)
15027 ctx = arg0.ctx
15028 …le_constraints_set_conditional_validity(isl.isl_schedule_constraints_copy(arg0.ptr), isl.isl_union…
15031 def set_context(arg0, arg1): argument
15033 if not arg0.__class__ is schedule_constraints:
15034 arg0 = schedule_constraints(arg0)
15042 ctx = arg0.ctx
15043 …res = isl.isl_schedule_constraints_set_context(isl.isl_schedule_constraints_copy(arg0.ptr), isl.is…
15046 def set_proximity(arg0, arg1): argument
15048 if not arg0.__class__ is schedule_constraints:
15049 arg0 = schedule_constraints(arg0)
15057 ctx = arg0.ctx
15058 …res = isl.isl_schedule_constraints_set_proximity(isl.isl_schedule_constraints_copy(arg0.ptr), isl.…
15061 def set_validity(arg0, arg1): argument
15063 if not arg0.__class__ is schedule_constraints:
15064 arg0 = schedule_constraints(arg0)
15072 ctx = arg0.ctx
15073 …res = isl.isl_schedule_constraints_set_validity(isl.isl_schedule_constraints_copy(arg0.ptr), isl.i…
15076 def validity(arg0): argument
15078 if not arg0.__class__ is schedule_constraints:
15079 arg0 = schedule_constraints(arg0)
15082 ctx = arg0.ctx
15083 res = isl.isl_schedule_constraints_get_validity(arg0.ptr)
15086 def get_validity(arg0): argument
15087 return arg0.validity()
15207 def __str__(arg0): argument
15209 if not arg0.__class__ is schedule_node:
15210 arg0 = schedule_node(arg0)
15213 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
15223 def ancestor(arg0, arg1): argument
15225 if not arg0.__class__ is schedule_node:
15226 arg0 = schedule_node(arg0)
15229 ctx = arg0.ctx
15230 res = isl.isl_schedule_node_ancestor(isl.isl_schedule_node_copy(arg0.ptr), arg1)
15233 def ancestor_child_position(arg0, arg1): argument
15235 if not arg0.__class__ is schedule_node:
15236 arg0 = schedule_node(arg0)
15244 ctx = arg0.ctx
15245 res = isl.isl_schedule_node_get_ancestor_child_position(arg0.ptr, arg1.ptr)
15249 def get_ancestor_child_position(arg0, arg1): argument
15250 return arg0.ancestor_child_position(arg1)
15251 def child(arg0, arg1): argument
15253 if not arg0.__class__ is schedule_node:
15254 arg0 = schedule_node(arg0)
15257 ctx = arg0.ctx
15258 res = isl.isl_schedule_node_child(isl.isl_schedule_node_copy(arg0.ptr), arg1)
15261 def child_position(arg0): argument
15263 if not arg0.__class__ is schedule_node:
15264 arg0 = schedule_node(arg0)
15267 ctx = arg0.ctx
15268 res = isl.isl_schedule_node_get_child_position(arg0.ptr)
15272 def get_child_position(arg0): argument
15273 return arg0.child_position()
15274 def every_descendant(arg0, arg1): argument
15276 if not arg0.__class__ is schedule_node:
15277 arg0 = schedule_node(arg0)
15283 cb_arg0 = schedule_node(ctx=arg0.ctx, ptr=isl.isl_schedule_node_copy(cb_arg0))
15291 ctx = arg0.ctx
15292 res = isl.isl_schedule_node_every_descendant(arg0.ptr, cb1, None)
15298 def first_child(arg0): argument
15300 if not arg0.__class__ is schedule_node:
15301 arg0 = schedule_node(arg0)
15304 ctx = arg0.ctx
15305 res = isl.isl_schedule_node_first_child(isl.isl_schedule_node_copy(arg0.ptr))
15308 def foreach_ancestor_top_down(arg0, arg1): argument
15310 if not arg0.__class__ is schedule_node:
15311 arg0 = schedule_node(arg0)
15317 cb_arg0 = schedule_node(ctx=arg0.ctx, ptr=isl.isl_schedule_node_copy(cb_arg0))
15325 ctx = arg0.ctx
15326 res = isl.isl_schedule_node_foreach_ancestor_top_down(arg0.ptr, cb1, None)
15331 def foreach_descendant_top_down(arg0, arg1): argument
15333 if not arg0.__class__ is schedule_node:
15334 arg0 = schedule_node(arg0)
15340 cb_arg0 = schedule_node(ctx=arg0.ctx, ptr=isl.isl_schedule_node_copy(cb_arg0))
15348 ctx = arg0.ctx
15349 res = isl.isl_schedule_node_foreach_descendant_top_down(arg0.ptr, cb1, None)
15355 def from_domain(arg0): argument
15357 if not arg0.__class__ is union_set:
15358 arg0 = union_set(arg0)
15361 ctx = arg0.ctx
15362 res = isl.isl_schedule_node_from_domain(isl.isl_union_set_copy(arg0.ptr))
15366 def from_extension(arg0): argument
15368 if not arg0.__class__ is union_map:
15369 arg0 = union_map(arg0)
15372 ctx = arg0.ctx
15373 res = isl.isl_schedule_node_from_extension(isl.isl_union_map_copy(arg0.ptr))
15376 def graft_after(arg0, arg1): argument
15378 if not arg0.__class__ is schedule_node:
15379 arg0 = schedule_node(arg0)
15387 ctx = arg0.ctx
15388 …res = isl.isl_schedule_node_graft_after(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_schedule_nod…
15391 def graft_before(arg0, arg1): argument
15393 if not arg0.__class__ is schedule_node:
15394 arg0 = schedule_node(arg0)
15402 ctx = arg0.ctx
15403 …res = isl.isl_schedule_node_graft_before(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_schedule_no…
15406 def has_children(arg0): argument
15408 if not arg0.__class__ is schedule_node:
15409 arg0 = schedule_node(arg0)
15412 ctx = arg0.ctx
15413 res = isl.isl_schedule_node_has_children(arg0.ptr)
15417 def has_next_sibling(arg0): argument
15419 if not arg0.__class__ is schedule_node:
15420 arg0 = schedule_node(arg0)
15423 ctx = arg0.ctx
15424 res = isl.isl_schedule_node_has_next_sibling(arg0.ptr)
15428 def has_parent(arg0): argument
15430 if not arg0.__class__ is schedule_node:
15431 arg0 = schedule_node(arg0)
15434 ctx = arg0.ctx
15435 res = isl.isl_schedule_node_has_parent(arg0.ptr)
15439 def has_previous_sibling(arg0): argument
15441 if not arg0.__class__ is schedule_node:
15442 arg0 = schedule_node(arg0)
15445 ctx = arg0.ctx
15446 res = isl.isl_schedule_node_has_previous_sibling(arg0.ptr)
15450 def insert_context(arg0, arg1): argument
15452 if not arg0.__class__ is schedule_node:
15453 arg0 = schedule_node(arg0)
15461 ctx = arg0.ctx
15462 …res = isl.isl_schedule_node_insert_context(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_set_copy(…
15465 def insert_filter(arg0, arg1): argument
15467 if not arg0.__class__ is schedule_node:
15468 arg0 = schedule_node(arg0)
15476 ctx = arg0.ctx
15477 …res = isl.isl_schedule_node_insert_filter(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_union_set_…
15480 def insert_guard(arg0, arg1): argument
15482 if not arg0.__class__ is schedule_node:
15483 arg0 = schedule_node(arg0)
15491 ctx = arg0.ctx
15492 …res = isl.isl_schedule_node_insert_guard(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_set_copy(ar…
15495 def insert_mark(arg0, arg1): argument
15497 if not arg0.__class__ is schedule_node:
15498 arg0 = schedule_node(arg0)
15506 ctx = arg0.ctx
15507 …res = isl.isl_schedule_node_insert_mark(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_id_copy(arg1…
15510 def insert_partial_schedule(arg0, arg1): argument
15512 if not arg0.__class__ is schedule_node:
15513 arg0 = schedule_node(arg0)
15521 ctx = arg0.ctx
15522 …res = isl.isl_schedule_node_insert_partial_schedule(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_…
15525 def insert_sequence(arg0, arg1): argument
15527 if not arg0.__class__ is schedule_node:
15528 arg0 = schedule_node(arg0)
15536 ctx = arg0.ctx
15537 …res = isl.isl_schedule_node_insert_sequence(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_union_se…
15540 def insert_set(arg0, arg1): argument
15542 if not arg0.__class__ is schedule_node:
15543 arg0 = schedule_node(arg0)
15551 ctx = arg0.ctx
15552 …res = isl.isl_schedule_node_insert_set(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_union_set_lis…
15555 def is_equal(arg0, arg1): argument
15557 if not arg0.__class__ is schedule_node:
15558 arg0 = schedule_node(arg0)
15566 ctx = arg0.ctx
15567 res = isl.isl_schedule_node_is_equal(arg0.ptr, arg1.ptr)
15571 def is_subtree_anchored(arg0): argument
15573 if not arg0.__class__ is schedule_node:
15574 arg0 = schedule_node(arg0)
15577 ctx = arg0.ctx
15578 res = isl.isl_schedule_node_is_subtree_anchored(arg0.ptr)
15582 def map_descendant_bottom_up(arg0, arg1): argument
15584 if not arg0.__class__ is schedule_node:
15585 arg0 = schedule_node(arg0)
15591 cb_arg0 = schedule_node(ctx=arg0.ctx, ptr=(cb_arg0))
15599 ctx = arg0.ctx
15600 …res = isl.isl_schedule_node_map_descendant_bottom_up(isl.isl_schedule_node_copy(arg0.ptr), cb1, No…
15605 def n_children(arg0): argument
15607 if not arg0.__class__ is schedule_node:
15608 arg0 = schedule_node(arg0)
15611 ctx = arg0.ctx
15612 res = isl.isl_schedule_node_n_children(arg0.ptr)
15616 def next_sibling(arg0): argument
15618 if not arg0.__class__ is schedule_node:
15619 arg0 = schedule_node(arg0)
15622 ctx = arg0.ctx
15623 res = isl.isl_schedule_node_next_sibling(isl.isl_schedule_node_copy(arg0.ptr))
15626 def order_after(arg0, arg1): argument
15628 if not arg0.__class__ is schedule_node:
15629 arg0 = schedule_node(arg0)
15637 ctx = arg0.ctx
15638 …res = isl.isl_schedule_node_order_after(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_union_set_co…
15641 def order_before(arg0, arg1): argument
15643 if not arg0.__class__ is schedule_node:
15644 arg0 = schedule_node(arg0)
15652 ctx = arg0.ctx
15653 …res = isl.isl_schedule_node_order_before(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_union_set_c…
15656 def parent(arg0): argument
15658 if not arg0.__class__ is schedule_node:
15659 arg0 = schedule_node(arg0)
15662 ctx = arg0.ctx
15663 res = isl.isl_schedule_node_parent(isl.isl_schedule_node_copy(arg0.ptr))
15666 def prefix_schedule_multi_union_pw_aff(arg0): argument
15668 if not arg0.__class__ is schedule_node:
15669 arg0 = schedule_node(arg0)
15672 ctx = arg0.ctx
15673 res = isl.isl_schedule_node_get_prefix_schedule_multi_union_pw_aff(arg0.ptr)
15676 def get_prefix_schedule_multi_union_pw_aff(arg0): argument
15677 return arg0.prefix_schedule_multi_union_pw_aff()
15678 def prefix_schedule_union_map(arg0): argument
15680 if not arg0.__class__ is schedule_node:
15681 arg0 = schedule_node(arg0)
15684 ctx = arg0.ctx
15685 res = isl.isl_schedule_node_get_prefix_schedule_union_map(arg0.ptr)
15688 def get_prefix_schedule_union_map(arg0): argument
15689 return arg0.prefix_schedule_union_map()
15690 def prefix_schedule_union_pw_multi_aff(arg0): argument
15692 if not arg0.__class__ is schedule_node:
15693 arg0 = schedule_node(arg0)
15696 ctx = arg0.ctx
15697 res = isl.isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(arg0.ptr)
15700 def get_prefix_schedule_union_pw_multi_aff(arg0): argument
15701 return arg0.prefix_schedule_union_pw_multi_aff()
15702 def previous_sibling(arg0): argument
15704 if not arg0.__class__ is schedule_node:
15705 arg0 = schedule_node(arg0)
15708 ctx = arg0.ctx
15709 res = isl.isl_schedule_node_previous_sibling(isl.isl_schedule_node_copy(arg0.ptr))
15712 def root(arg0): argument
15714 if not arg0.__class__ is schedule_node:
15715 arg0 = schedule_node(arg0)
15718 ctx = arg0.ctx
15719 res = isl.isl_schedule_node_root(isl.isl_schedule_node_copy(arg0.ptr))
15722 def schedule(arg0): argument
15724 if not arg0.__class__ is schedule_node:
15725 arg0 = schedule_node(arg0)
15728 ctx = arg0.ctx
15729 res = isl.isl_schedule_node_get_schedule(arg0.ptr)
15732 def get_schedule(arg0): argument
15733 return arg0.schedule()
15734 def shared_ancestor(arg0, arg1): argument
15736 if not arg0.__class__ is schedule_node:
15737 arg0 = schedule_node(arg0)
15745 ctx = arg0.ctx
15746 res = isl.isl_schedule_node_get_shared_ancestor(arg0.ptr, arg1.ptr)
15749 def get_shared_ancestor(arg0, arg1): argument
15750 return arg0.shared_ancestor(arg1)
15751 def tree_depth(arg0): argument
15753 if not arg0.__class__ is schedule_node:
15754 arg0 = schedule_node(arg0)
15757 ctx = arg0.ctx
15758 res = isl.isl_schedule_node_get_tree_depth(arg0.ptr)
15762 def get_tree_depth(arg0): argument
15763 return arg0.tree_depth()
15850 def __str__(arg0): argument
15852 if not arg0.__class__ is schedule_node_band:
15853 arg0 = schedule_node_band(arg0)
15856 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
15866 def ast_build_options(arg0): argument
15868 if not arg0.__class__ is schedule_node:
15869 arg0 = schedule_node(arg0)
15872 ctx = arg0.ctx
15873 res = isl.isl_schedule_node_band_get_ast_build_options(arg0.ptr)
15876 def get_ast_build_options(arg0): argument
15877 return arg0.ast_build_options()
15878 def ast_isolate_option(arg0): argument
15880 if not arg0.__class__ is schedule_node:
15881 arg0 = schedule_node(arg0)
15884 ctx = arg0.ctx
15885 res = isl.isl_schedule_node_band_get_ast_isolate_option(arg0.ptr)
15888 def get_ast_isolate_option(arg0): argument
15889 return arg0.ast_isolate_option()
15890 def member_get_coincident(arg0, arg1): argument
15892 if not arg0.__class__ is schedule_node:
15893 arg0 = schedule_node(arg0)
15896 ctx = arg0.ctx
15897 res = isl.isl_schedule_node_band_member_get_coincident(arg0.ptr, arg1)
15901 def member_set_coincident(arg0, arg1, arg2): argument
15903 if not arg0.__class__ is schedule_node:
15904 arg0 = schedule_node(arg0)
15907 ctx = arg0.ctx
15908 …res = isl.isl_schedule_node_band_member_set_coincident(isl.isl_schedule_node_copy(arg0.ptr), arg1,…
15911 def mod(arg0, arg1): argument
15913 if not arg0.__class__ is schedule_node:
15914 arg0 = schedule_node(arg0)
15922 ctx = arg0.ctx
15923 …res = isl.isl_schedule_node_band_mod(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_multi_val_copy(…
15926 def n_member(arg0): argument
15928 if not arg0.__class__ is schedule_node:
15929 arg0 = schedule_node(arg0)
15932 ctx = arg0.ctx
15933 res = isl.isl_schedule_node_band_n_member(arg0.ptr)
15937 def partial_schedule(arg0): argument
15939 if not arg0.__class__ is schedule_node:
15940 arg0 = schedule_node(arg0)
15943 ctx = arg0.ctx
15944 res = isl.isl_schedule_node_band_get_partial_schedule(arg0.ptr)
15947 def get_partial_schedule(arg0): argument
15948 return arg0.partial_schedule()
15949 def permutable(arg0): argument
15951 if not arg0.__class__ is schedule_node:
15952 arg0 = schedule_node(arg0)
15955 ctx = arg0.ctx
15956 res = isl.isl_schedule_node_band_get_permutable(arg0.ptr)
15960 def get_permutable(arg0): argument
15961 return arg0.permutable()
15962 def scale(arg0, arg1): argument
15964 if not arg0.__class__ is schedule_node:
15965 arg0 = schedule_node(arg0)
15973 ctx = arg0.ctx
15974 …res = isl.isl_schedule_node_band_scale(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_multi_val_cop…
15977 def scale_down(arg0, arg1): argument
15979 if not arg0.__class__ is schedule_node:
15980 arg0 = schedule_node(arg0)
15988 ctx = arg0.ctx
15989 …res = isl.isl_schedule_node_band_scale_down(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_multi_va…
15992 def set_ast_build_options(arg0, arg1): argument
15994 if not arg0.__class__ is schedule_node:
15995 arg0 = schedule_node(arg0)
16003 ctx = arg0.ctx
16004 …res = isl.isl_schedule_node_band_set_ast_build_options(isl.isl_schedule_node_copy(arg0.ptr), isl.i…
16007 def set_permutable(arg0, arg1): argument
16009 if not arg0.__class__ is schedule_node:
16010 arg0 = schedule_node(arg0)
16013 ctx = arg0.ctx
16014 res = isl.isl_schedule_node_band_set_permutable(isl.isl_schedule_node_copy(arg0.ptr), arg1)
16017 def shift(arg0, arg1): argument
16019 if not arg0.__class__ is schedule_node:
16020 arg0 = schedule_node(arg0)
16028 ctx = arg0.ctx
16029 …res = isl.isl_schedule_node_band_shift(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_multi_union_p…
16032 def split(arg0, arg1): argument
16034 if not arg0.__class__ is schedule_node:
16035 arg0 = schedule_node(arg0)
16038 ctx = arg0.ctx
16039 res = isl.isl_schedule_node_band_split(isl.isl_schedule_node_copy(arg0.ptr), arg1)
16042 def tile(arg0, arg1): argument
16044 if not arg0.__class__ is schedule_node:
16045 arg0 = schedule_node(arg0)
16053 ctx = arg0.ctx
16054 …res = isl.isl_schedule_node_band_tile(isl.isl_schedule_node_copy(arg0.ptr), isl.isl_multi_val_copy…
16057 def member_set_ast_loop_default(arg0, arg1): argument
16059 if not arg0.__class__ is schedule_node:
16060 arg0 = schedule_node(arg0)
16063 ctx = arg0.ctx
16064 …res = isl.isl_schedule_node_band_member_set_ast_loop_type(isl.isl_schedule_node_copy(arg0.ptr), ar…
16067 def member_set_ast_loop_atomic(arg0, arg1): argument
16069 if not arg0.__class__ is schedule_node:
16070 arg0 = schedule_node(arg0)
16073 ctx = arg0.ctx
16074 …res = isl.isl_schedule_node_band_member_set_ast_loop_type(isl.isl_schedule_node_copy(arg0.ptr), ar…
16077 def member_set_ast_loop_unroll(arg0, arg1): argument
16079 if not arg0.__class__ is schedule_node:
16080 arg0 = schedule_node(arg0)
16083 ctx = arg0.ctx
16084 …res = isl.isl_schedule_node_band_member_set_ast_loop_type(isl.isl_schedule_node_copy(arg0.ptr), ar…
16087 def member_set_ast_loop_separate(arg0, arg1): argument
16089 if not arg0.__class__ is schedule_node:
16090 arg0 = schedule_node(arg0)
16093 ctx = arg0.ctx
16094 …res = isl.isl_schedule_node_band_member_set_ast_loop_type(isl.isl_schedule_node_copy(arg0.ptr), ar…
16146 def __str__(arg0): argument
16148 if not arg0.__class__ is schedule_node_context:
16149 arg0 = schedule_node_context(arg0)
16152 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16162 def context(arg0): argument
16164 if not arg0.__class__ is schedule_node:
16165 arg0 = schedule_node(arg0)
16168 ctx = arg0.ctx
16169 res = isl.isl_schedule_node_context_get_context(arg0.ptr)
16172 def get_context(arg0): argument
16173 return arg0.context()
16196 def __str__(arg0): argument
16198 if not arg0.__class__ is schedule_node_domain:
16199 arg0 = schedule_node_domain(arg0)
16202 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16212 def domain(arg0): argument
16214 if not arg0.__class__ is schedule_node:
16215 arg0 = schedule_node(arg0)
16218 ctx = arg0.ctx
16219 res = isl.isl_schedule_node_domain_get_domain(arg0.ptr)
16222 def get_domain(arg0): argument
16223 return arg0.domain()
16246 def __str__(arg0): argument
16248 if not arg0.__class__ is schedule_node_expansion:
16249 arg0 = schedule_node_expansion(arg0)
16252 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16262 def contraction(arg0): argument
16264 if not arg0.__class__ is schedule_node:
16265 arg0 = schedule_node(arg0)
16268 ctx = arg0.ctx
16269 res = isl.isl_schedule_node_expansion_get_contraction(arg0.ptr)
16272 def get_contraction(arg0): argument
16273 return arg0.contraction()
16274 def expansion(arg0): argument
16276 if not arg0.__class__ is schedule_node:
16277 arg0 = schedule_node(arg0)
16280 ctx = arg0.ctx
16281 res = isl.isl_schedule_node_expansion_get_expansion(arg0.ptr)
16284 def get_expansion(arg0): argument
16285 return arg0.expansion()
16310 def __str__(arg0): argument
16312 if not arg0.__class__ is schedule_node_extension:
16313 arg0 = schedule_node_extension(arg0)
16316 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16326 def extension(arg0): argument
16328 if not arg0.__class__ is schedule_node:
16329 arg0 = schedule_node(arg0)
16332 ctx = arg0.ctx
16333 res = isl.isl_schedule_node_extension_get_extension(arg0.ptr)
16336 def get_extension(arg0): argument
16337 return arg0.extension()
16360 def __str__(arg0): argument
16362 if not arg0.__class__ is schedule_node_filter:
16363 arg0 = schedule_node_filter(arg0)
16366 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16376 def filter(arg0): argument
16378 if not arg0.__class__ is schedule_node:
16379 arg0 = schedule_node(arg0)
16382 ctx = arg0.ctx
16383 res = isl.isl_schedule_node_filter_get_filter(arg0.ptr)
16386 def get_filter(arg0): argument
16387 return arg0.filter()
16410 def __str__(arg0): argument
16412 if not arg0.__class__ is schedule_node_guard:
16413 arg0 = schedule_node_guard(arg0)
16416 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16426 def guard(arg0): argument
16428 if not arg0.__class__ is schedule_node:
16429 arg0 = schedule_node(arg0)
16432 ctx = arg0.ctx
16433 res = isl.isl_schedule_node_guard_get_guard(arg0.ptr)
16436 def get_guard(arg0): argument
16437 return arg0.guard()
16460 def __str__(arg0): argument
16462 if not arg0.__class__ is schedule_node_leaf:
16463 arg0 = schedule_node_leaf(arg0)
16466 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16496 def __str__(arg0): argument
16498 if not arg0.__class__ is schedule_node_mark:
16499 arg0 = schedule_node_mark(arg0)
16502 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16532 def __str__(arg0): argument
16534 if not arg0.__class__ is schedule_node_sequence:
16535 arg0 = schedule_node_sequence(arg0)
16538 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16568 def __str__(arg0): argument
16570 if not arg0.__class__ is schedule_node_set:
16571 arg0 = schedule_node_set(arg0)
16574 ptr = isl.isl_schedule_node_to_str(arg0.ptr)
16614 def __str__(arg0): argument
16616 if not arg0.__class__ is set_list:
16617 arg0 = set_list(arg0)
16620 ptr = isl.isl_set_list_to_str(arg0.ptr)
16630 def add(arg0, arg1): argument
16632 if not arg0.__class__ is set_list:
16633 arg0 = set_list(arg0)
16641 ctx = arg0.ctx
16642 res = isl.isl_set_list_add(isl.isl_set_list_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
16645 def at(arg0, arg1): argument
16647 if not arg0.__class__ is set_list:
16648 arg0 = set_list(arg0)
16651 ctx = arg0.ctx
16652 res = isl.isl_set_list_get_at(arg0.ptr, arg1)
16655 def get_at(arg0, arg1): argument
16656 return arg0.at(arg1)
16657 def clear(arg0): argument
16659 if not arg0.__class__ is set_list:
16660 arg0 = set_list(arg0)
16663 ctx = arg0.ctx
16664 res = isl.isl_set_list_clear(isl.isl_set_list_copy(arg0.ptr))
16667 def concat(arg0, arg1): argument
16669 if not arg0.__class__ is set_list:
16670 arg0 = set_list(arg0)
16678 ctx = arg0.ctx
16679 … res = isl.isl_set_list_concat(isl.isl_set_list_copy(arg0.ptr), isl.isl_set_list_copy(arg1.ptr))
16682 def drop(arg0, arg1, arg2): argument
16684 if not arg0.__class__ is set_list:
16685 arg0 = set_list(arg0)
16688 ctx = arg0.ctx
16689 res = isl.isl_set_list_drop(isl.isl_set_list_copy(arg0.ptr), arg1, arg2)
16692 def foreach(arg0, arg1): argument
16694 if not arg0.__class__ is set_list:
16695 arg0 = set_list(arg0)
16701 cb_arg0 = set(ctx=arg0.ctx, ptr=(cb_arg0))
16709 ctx = arg0.ctx
16710 res = isl.isl_set_list_foreach(arg0.ptr, cb1, None)
16715 def foreach_scc(arg0, arg1, arg2): argument
16717 if not arg0.__class__ is set_list:
16718 arg0 = set_list(arg0)
16724 cb_arg0 = set(ctx=arg0.ctx, ptr=isl.isl_set_copy(cb_arg0))
16725 cb_arg1 = set(ctx=arg0.ctx, ptr=isl.isl_set_copy(cb_arg1))
16736 cb_arg0 = set_list(ctx=arg0.ctx, ptr=(cb_arg0))
16744 ctx = arg0.ctx
16745 res = isl.isl_set_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
16750 def insert(arg0, arg1, arg2): argument
16752 if not arg0.__class__ is set_list:
16753 arg0 = set_list(arg0)
16761 ctx = arg0.ctx
16762 … res = isl.isl_set_list_insert(isl.isl_set_list_copy(arg0.ptr), arg1, isl.isl_set_copy(arg2.ptr))
16765 def set_at(arg0, arg1, arg2): argument
16767 if not arg0.__class__ is set_list:
16768 arg0 = set_list(arg0)
16776 ctx = arg0.ctx
16777 … res = isl.isl_set_list_set_at(isl.isl_set_list_copy(arg0.ptr), arg1, isl.isl_set_copy(arg2.ptr))
16780 def size(arg0): argument
16782 if not arg0.__class__ is set_list:
16783 arg0 = set_list(arg0)
16786 ctx = arg0.ctx
16787 res = isl.isl_set_list_size(arg0.ptr)
16836 def __str__(arg0): argument
16838 if not arg0.__class__ is space:
16839 arg0 = space(arg0)
16842 ptr = isl.isl_space_to_str(arg0.ptr)
16901 def curry(arg0): argument
16903 if not arg0.__class__ is space:
16904 arg0 = space(arg0)
16907 ctx = arg0.ctx
16908 res = isl.isl_space_curry(isl.isl_space_copy(arg0.ptr))
16911 def domain(arg0): argument
16913 if not arg0.__class__ is space:
16914 arg0 = space(arg0)
16917 ctx = arg0.ctx
16918 res = isl.isl_space_domain(isl.isl_space_copy(arg0.ptr))
16921 def domain_map_multi_aff(arg0): argument
16923 if not arg0.__class__ is space:
16924 arg0 = space(arg0)
16927 ctx = arg0.ctx
16928 res = isl.isl_space_domain_map_multi_aff(isl.isl_space_copy(arg0.ptr))
16931 def domain_map_pw_multi_aff(arg0): argument
16933 if not arg0.__class__ is space:
16934 arg0 = space(arg0)
16937 ctx = arg0.ctx
16938 res = isl.isl_space_domain_map_pw_multi_aff(isl.isl_space_copy(arg0.ptr))
16941 def domain_reverse(arg0): argument
16943 if not arg0.__class__ is space:
16944 arg0 = space(arg0)
16947 ctx = arg0.ctx
16948 res = isl.isl_space_domain_reverse(isl.isl_space_copy(arg0.ptr))
16951 def domain_tuple_id(arg0): argument
16953 if not arg0.__class__ is space:
16954 arg0 = space(arg0)
16957 ctx = arg0.ctx
16958 res = isl.isl_space_get_domain_tuple_id(arg0.ptr)
16961 def get_domain_tuple_id(arg0): argument
16962 return arg0.domain_tuple_id()
16963 def drop_all_params(arg0): argument
16965 if not arg0.__class__ is space:
16966 arg0 = space(arg0)
16969 ctx = arg0.ctx
16970 res = isl.isl_space_drop_all_params(isl.isl_space_copy(arg0.ptr))
16973 def flatten_domain(arg0): argument
16975 if not arg0.__class__ is space:
16976 arg0 = space(arg0)
16979 ctx = arg0.ctx
16980 res = isl.isl_space_flatten_domain(isl.isl_space_copy(arg0.ptr))
16983 def flatten_range(arg0): argument
16985 if not arg0.__class__ is space:
16986 arg0 = space(arg0)
16989 ctx = arg0.ctx
16990 res = isl.isl_space_flatten_range(isl.isl_space_copy(arg0.ptr))
16993 def has_domain_tuple_id(arg0): argument
16995 if not arg0.__class__ is space:
16996 arg0 = space(arg0)
16999 ctx = arg0.ctx
17000 res = isl.isl_space_has_domain_tuple_id(arg0.ptr)
17004 def has_range_tuple_id(arg0): argument
17006 if not arg0.__class__ is space:
17007 arg0 = space(arg0)
17010 ctx = arg0.ctx
17011 res = isl.isl_space_has_range_tuple_id(arg0.ptr)
17015 def identity_multi_aff_on_domain(arg0): argument
17017 if not arg0.__class__ is space:
17018 arg0 = space(arg0)
17021 ctx = arg0.ctx
17022 res = isl.isl_space_identity_multi_aff_on_domain(isl.isl_space_copy(arg0.ptr))
17025 def identity_multi_pw_aff_on_domain(arg0): argument
17027 if not arg0.__class__ is space:
17028 arg0 = space(arg0)
17031 ctx = arg0.ctx
17032 res = isl.isl_space_identity_multi_pw_aff_on_domain(isl.isl_space_copy(arg0.ptr))
17035 def identity_pw_multi_aff_on_domain(arg0): argument
17037 if not arg0.__class__ is space:
17038 arg0 = space(arg0)
17041 ctx = arg0.ctx
17042 res = isl.isl_space_identity_pw_multi_aff_on_domain(isl.isl_space_copy(arg0.ptr))
17045 def is_equal(arg0, arg1): argument
17047 if not arg0.__class__ is space:
17048 arg0 = space(arg0)
17056 ctx = arg0.ctx
17057 res = isl.isl_space_is_equal(arg0.ptr, arg1.ptr)
17061 def is_wrapping(arg0): argument
17063 if not arg0.__class__ is space:
17064 arg0 = space(arg0)
17067 ctx = arg0.ctx
17068 res = isl.isl_space_is_wrapping(arg0.ptr)
17072 def map_from_set(arg0): argument
17074 if not arg0.__class__ is space:
17075 arg0 = space(arg0)
17078 ctx = arg0.ctx
17079 res = isl.isl_space_map_from_set(isl.isl_space_copy(arg0.ptr))
17082 def multi_aff(arg0, arg1): argument
17084 if not arg0.__class__ is space:
17085 arg0 = space(arg0)
17093 ctx = arg0.ctx
17094 res = isl.isl_space_multi_aff(isl.isl_space_copy(arg0.ptr), isl.isl_aff_list_copy(arg1.ptr))
17110 def multi_id(arg0, arg1): argument
17112 if not arg0.__class__ is space:
17113 arg0 = space(arg0)
17121 ctx = arg0.ctx
17122 res = isl.isl_space_multi_id(isl.isl_space_copy(arg0.ptr), isl.isl_id_list_copy(arg1.ptr))
17125 def multi_pw_aff(arg0, arg1): argument
17127 if not arg0.__class__ is space:
17128 arg0 = space(arg0)
17136 ctx = arg0.ctx
17137 … res = isl.isl_space_multi_pw_aff(isl.isl_space_copy(arg0.ptr), isl.isl_pw_aff_list_copy(arg1.ptr))
17140 def multi_union_pw_aff(arg0, arg1): argument
17142 if not arg0.__class__ is space:
17143 arg0 = space(arg0)
17151 ctx = arg0.ctx
17152 …res = isl.isl_space_multi_union_pw_aff(isl.isl_space_copy(arg0.ptr), isl.isl_union_pw_aff_list_cop…
17155 def multi_val(arg0, arg1): argument
17157 if not arg0.__class__ is space:
17158 arg0 = space(arg0)
17166 ctx = arg0.ctx
17167 res = isl.isl_space_multi_val(isl.isl_space_copy(arg0.ptr), isl.isl_val_list_copy(arg1.ptr))
17188 def params(arg0): argument
17190 if not arg0.__class__ is space:
17191 arg0 = space(arg0)
17194 ctx = arg0.ctx
17195 res = isl.isl_space_params(isl.isl_space_copy(arg0.ptr))
17198 def product(arg0, arg1): argument
17200 if not arg0.__class__ is space:
17201 arg0 = space(arg0)
17209 ctx = arg0.ctx
17210 res = isl.isl_space_product(isl.isl_space_copy(arg0.ptr), isl.isl_space_copy(arg1.ptr))
17213 def range(arg0): argument
17215 if not arg0.__class__ is space:
17216 arg0 = space(arg0)
17219 ctx = arg0.ctx
17220 res = isl.isl_space_range(isl.isl_space_copy(arg0.ptr))
17223 def range_map_multi_aff(arg0): argument
17225 if not arg0.__class__ is space:
17226 arg0 = space(arg0)
17229 ctx = arg0.ctx
17230 res = isl.isl_space_range_map_multi_aff(isl.isl_space_copy(arg0.ptr))
17233 def range_map_pw_multi_aff(arg0): argument
17235 if not arg0.__class__ is space:
17236 arg0 = space(arg0)
17239 ctx = arg0.ctx
17240 res = isl.isl_space_range_map_pw_multi_aff(isl.isl_space_copy(arg0.ptr))
17243 def range_reverse(arg0): argument
17245 if not arg0.__class__ is space:
17246 arg0 = space(arg0)
17249 ctx = arg0.ctx
17250 res = isl.isl_space_range_reverse(isl.isl_space_copy(arg0.ptr))
17253 def range_tuple_id(arg0): argument
17255 if not arg0.__class__ is space:
17256 arg0 = space(arg0)
17259 ctx = arg0.ctx
17260 res = isl.isl_space_get_range_tuple_id(arg0.ptr)
17263 def get_range_tuple_id(arg0): argument
17264 return arg0.range_tuple_id()
17265 def reverse(arg0): argument
17267 if not arg0.__class__ is space:
17268 arg0 = space(arg0)
17271 ctx = arg0.ctx
17272 res = isl.isl_space_reverse(isl.isl_space_copy(arg0.ptr))
17311 def uncurry(arg0): argument
17313 if not arg0.__class__ is space:
17314 arg0 = space(arg0)
17317 ctx = arg0.ctx
17318 res = isl.isl_space_uncurry(isl.isl_space_copy(arg0.ptr))
17327 def universe_map(arg0): argument
17329 if not arg0.__class__ is space:
17330 arg0 = space(arg0)
17333 ctx = arg0.ctx
17334 res = isl.isl_space_universe_map(isl.isl_space_copy(arg0.ptr))
17337 def universe_set(arg0): argument
17339 if not arg0.__class__ is space:
17340 arg0 = space(arg0)
17343 ctx = arg0.ctx
17344 res = isl.isl_space_universe_set(isl.isl_space_copy(arg0.ptr))
17347 def unwrap(arg0): argument
17349 if not arg0.__class__ is space:
17350 arg0 = space(arg0)
17353 ctx = arg0.ctx
17354 res = isl.isl_space_unwrap(isl.isl_space_copy(arg0.ptr))
17357 def wrap(arg0): argument
17359 if not arg0.__class__ is space:
17360 arg0 = space(arg0)
17363 ctx = arg0.ctx
17364 res = isl.isl_space_wrap(isl.isl_space_copy(arg0.ptr))
17367 def wrapped_reverse(arg0): argument
17369 if not arg0.__class__ is space:
17370 arg0 = space(arg0)
17373 ctx = arg0.ctx
17374 res = isl.isl_space_wrapped_reverse(isl.isl_space_copy(arg0.ptr))
17377 def zero_aff_on_domain(arg0): argument
17379 if not arg0.__class__ is space:
17380 arg0 = space(arg0)
17383 ctx = arg0.ctx
17384 res = isl.isl_space_zero_aff_on_domain(isl.isl_space_copy(arg0.ptr))
17387 def zero_multi_aff(arg0): argument
17389 if not arg0.__class__ is space:
17390 arg0 = space(arg0)
17393 ctx = arg0.ctx
17394 res = isl.isl_space_zero_multi_aff(isl.isl_space_copy(arg0.ptr))
17397 def zero_multi_pw_aff(arg0): argument
17399 if not arg0.__class__ is space:
17400 arg0 = space(arg0)
17403 ctx = arg0.ctx
17404 res = isl.isl_space_zero_multi_pw_aff(isl.isl_space_copy(arg0.ptr))
17407 def zero_multi_union_pw_aff(arg0): argument
17409 if not arg0.__class__ is space:
17410 arg0 = space(arg0)
17413 ctx = arg0.ctx
17414 res = isl.isl_space_zero_multi_union_pw_aff(isl.isl_space_copy(arg0.ptr))
17417 def zero_multi_val(arg0): argument
17419 if not arg0.__class__ is space:
17420 arg0 = space(arg0)
17423 ctx = arg0.ctx
17424 res = isl.isl_space_zero_multi_val(isl.isl_space_copy(arg0.ptr))
17545 def __str__(arg0): argument
17547 if not arg0.__class__ is union_access_info:
17548 arg0 = union_access_info(arg0)
17551 ptr = isl.isl_union_access_info_to_str(arg0.ptr)
17561 def compute_flow(arg0): argument
17563 if not arg0.__class__ is union_access_info:
17564 arg0 = union_access_info(arg0)
17567 ctx = arg0.ctx
17568 res = isl.isl_union_access_info_compute_flow(isl.isl_union_access_info_copy(arg0.ptr))
17571 def set_kill(arg0, arg1): argument
17573 if not arg0.__class__ is union_access_info:
17574 arg0 = union_access_info(arg0)
17582 ctx = arg0.ctx
17583 …res = isl.isl_union_access_info_set_kill(isl.isl_union_access_info_copy(arg0.ptr), isl.isl_union_m…
17586 def set_may_source(arg0, arg1): argument
17588 if not arg0.__class__ is union_access_info:
17589 arg0 = union_access_info(arg0)
17597 ctx = arg0.ctx
17598 …res = isl.isl_union_access_info_set_may_source(isl.isl_union_access_info_copy(arg0.ptr), isl.isl_u…
17601 def set_must_source(arg0, arg1): argument
17603 if not arg0.__class__ is union_access_info:
17604 arg0 = union_access_info(arg0)
17612 ctx = arg0.ctx
17613 …res = isl.isl_union_access_info_set_must_source(isl.isl_union_access_info_copy(arg0.ptr), isl.isl_…
17616 def set_schedule(arg0, arg1): argument
17618 if not arg0.__class__ is union_access_info:
17619 arg0 = union_access_info(arg0)
17627 ctx = arg0.ctx
17628 …res = isl.isl_union_access_info_set_schedule(isl.isl_union_access_info_copy(arg0.ptr), isl.isl_sch…
17631 def set_schedule_map(arg0, arg1): argument
17633 if not arg0.__class__ is union_access_info:
17634 arg0 = union_access_info(arg0)
17642 ctx = arg0.ctx
17643 …res = isl.isl_union_access_info_set_schedule_map(isl.isl_union_access_info_copy(arg0.ptr), isl.isl…
17678 def __str__(arg0): argument
17680 if not arg0.__class__ is union_flow:
17681 arg0 = union_flow(arg0)
17684 ptr = isl.isl_union_flow_to_str(arg0.ptr)
17694 def full_may_dependence(arg0): argument
17696 if not arg0.__class__ is union_flow:
17697 arg0 = union_flow(arg0)
17700 ctx = arg0.ctx
17701 res = isl.isl_union_flow_get_full_may_dependence(arg0.ptr)
17704 def get_full_may_dependence(arg0): argument
17705 return arg0.full_may_dependence()
17706 def full_must_dependence(arg0): argument
17708 if not arg0.__class__ is union_flow:
17709 arg0 = union_flow(arg0)
17712 ctx = arg0.ctx
17713 res = isl.isl_union_flow_get_full_must_dependence(arg0.ptr)
17716 def get_full_must_dependence(arg0): argument
17717 return arg0.full_must_dependence()
17718 def may_dependence(arg0): argument
17720 if not arg0.__class__ is union_flow:
17721 arg0 = union_flow(arg0)
17724 ctx = arg0.ctx
17725 res = isl.isl_union_flow_get_may_dependence(arg0.ptr)
17728 def get_may_dependence(arg0): argument
17729 return arg0.may_dependence()
17730 def may_no_source(arg0): argument
17732 if not arg0.__class__ is union_flow:
17733 arg0 = union_flow(arg0)
17736 ctx = arg0.ctx
17737 res = isl.isl_union_flow_get_may_no_source(arg0.ptr)
17740 def get_may_no_source(arg0): argument
17741 return arg0.may_no_source()
17742 def must_dependence(arg0): argument
17744 if not arg0.__class__ is union_flow:
17745 arg0 = union_flow(arg0)
17748 ctx = arg0.ctx
17749 res = isl.isl_union_flow_get_must_dependence(arg0.ptr)
17752 def get_must_dependence(arg0): argument
17753 return arg0.must_dependence()
17754 def must_no_source(arg0): argument
17756 if not arg0.__class__ is union_flow:
17757 arg0 = union_flow(arg0)
17760 ctx = arg0.ctx
17761 res = isl.isl_union_flow_get_must_no_source(arg0.ptr)
17764 def get_must_no_source(arg0): argument
17765 return arg0.must_no_source()
17808 def __str__(arg0): argument
17810 if not arg0.__class__ is union_pw_aff_list:
17811 arg0 = union_pw_aff_list(arg0)
17814 ptr = isl.isl_union_pw_aff_list_to_str(arg0.ptr)
17824 def add(arg0, arg1): argument
17826 if not arg0.__class__ is union_pw_aff_list:
17827 arg0 = union_pw_aff_list(arg0)
17835 ctx = arg0.ctx
17836 …res = isl.isl_union_pw_aff_list_add(isl.isl_union_pw_aff_list_copy(arg0.ptr), isl.isl_union_pw_aff…
17839 def at(arg0, arg1): argument
17841 if not arg0.__class__ is union_pw_aff_list:
17842 arg0 = union_pw_aff_list(arg0)
17845 ctx = arg0.ctx
17846 res = isl.isl_union_pw_aff_list_get_at(arg0.ptr, arg1)
17849 def get_at(arg0, arg1): argument
17850 return arg0.at(arg1)
17851 def clear(arg0): argument
17853 if not arg0.__class__ is union_pw_aff_list:
17854 arg0 = union_pw_aff_list(arg0)
17857 ctx = arg0.ctx
17858 res = isl.isl_union_pw_aff_list_clear(isl.isl_union_pw_aff_list_copy(arg0.ptr))
17861 def concat(arg0, arg1): argument
17863 if not arg0.__class__ is union_pw_aff_list:
17864 arg0 = union_pw_aff_list(arg0)
17872 ctx = arg0.ctx
17873 …res = isl.isl_union_pw_aff_list_concat(isl.isl_union_pw_aff_list_copy(arg0.ptr), isl.isl_union_pw_…
17876 def drop(arg0, arg1, arg2): argument
17878 if not arg0.__class__ is union_pw_aff_list:
17879 arg0 = union_pw_aff_list(arg0)
17882 ctx = arg0.ctx
17883 res = isl.isl_union_pw_aff_list_drop(isl.isl_union_pw_aff_list_copy(arg0.ptr), arg1, arg2)
17886 def foreach(arg0, arg1): argument
17888 if not arg0.__class__ is union_pw_aff_list:
17889 arg0 = union_pw_aff_list(arg0)
17895 cb_arg0 = union_pw_aff(ctx=arg0.ctx, ptr=(cb_arg0))
17903 ctx = arg0.ctx
17904 res = isl.isl_union_pw_aff_list_foreach(arg0.ptr, cb1, None)
17909 def foreach_scc(arg0, arg1, arg2): argument
17911 if not arg0.__class__ is union_pw_aff_list:
17912 arg0 = union_pw_aff_list(arg0)
17918 cb_arg0 = union_pw_aff(ctx=arg0.ctx, ptr=isl.isl_union_pw_aff_copy(cb_arg0))
17919 cb_arg1 = union_pw_aff(ctx=arg0.ctx, ptr=isl.isl_union_pw_aff_copy(cb_arg1))
17930 cb_arg0 = union_pw_aff_list(ctx=arg0.ctx, ptr=(cb_arg0))
17938 ctx = arg0.ctx
17939 res = isl.isl_union_pw_aff_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
17944 def insert(arg0, arg1, arg2): argument
17946 if not arg0.__class__ is union_pw_aff_list:
17947 arg0 = union_pw_aff_list(arg0)
17955 ctx = arg0.ctx
17956 …res = isl.isl_union_pw_aff_list_insert(isl.isl_union_pw_aff_list_copy(arg0.ptr), arg1, isl.isl_uni…
17959 def set_at(arg0, arg1, arg2): argument
17961 if not arg0.__class__ is union_pw_aff_list:
17962 arg0 = union_pw_aff_list(arg0)
17970 ctx = arg0.ctx
17971 …res = isl.isl_union_pw_aff_list_set_at(isl.isl_union_pw_aff_list_copy(arg0.ptr), arg1, isl.isl_uni…
17974 def size(arg0): argument
17976 if not arg0.__class__ is union_pw_aff_list:
17977 arg0 = union_pw_aff_list(arg0)
17980 ctx = arg0.ctx
17981 res = isl.isl_union_pw_aff_list_size(arg0.ptr)
18038 def __str__(arg0): argument
18040 if not arg0.__class__ is union_set_list:
18041 arg0 = union_set_list(arg0)
18044 ptr = isl.isl_union_set_list_to_str(arg0.ptr)
18054 def add(arg0, arg1): argument
18056 if not arg0.__class__ is union_set_list:
18057 arg0 = union_set_list(arg0)
18065 ctx = arg0.ctx
18066 …res = isl.isl_union_set_list_add(isl.isl_union_set_list_copy(arg0.ptr), isl.isl_union_set_copy(arg…
18069 def at(arg0, arg1): argument
18071 if not arg0.__class__ is union_set_list:
18072 arg0 = union_set_list(arg0)
18075 ctx = arg0.ctx
18076 res = isl.isl_union_set_list_get_at(arg0.ptr, arg1)
18079 def get_at(arg0, arg1): argument
18080 return arg0.at(arg1)
18081 def clear(arg0): argument
18083 if not arg0.__class__ is union_set_list:
18084 arg0 = union_set_list(arg0)
18087 ctx = arg0.ctx
18088 res = isl.isl_union_set_list_clear(isl.isl_union_set_list_copy(arg0.ptr))
18091 def concat(arg0, arg1): argument
18093 if not arg0.__class__ is union_set_list:
18094 arg0 = union_set_list(arg0)
18102 ctx = arg0.ctx
18103 …res = isl.isl_union_set_list_concat(isl.isl_union_set_list_copy(arg0.ptr), isl.isl_union_set_list_…
18106 def drop(arg0, arg1, arg2): argument
18108 if not arg0.__class__ is union_set_list:
18109 arg0 = union_set_list(arg0)
18112 ctx = arg0.ctx
18113 res = isl.isl_union_set_list_drop(isl.isl_union_set_list_copy(arg0.ptr), arg1, arg2)
18116 def foreach(arg0, arg1): argument
18118 if not arg0.__class__ is union_set_list:
18119 arg0 = union_set_list(arg0)
18125 cb_arg0 = union_set(ctx=arg0.ctx, ptr=(cb_arg0))
18133 ctx = arg0.ctx
18134 res = isl.isl_union_set_list_foreach(arg0.ptr, cb1, None)
18139 def foreach_scc(arg0, arg1, arg2): argument
18141 if not arg0.__class__ is union_set_list:
18142 arg0 = union_set_list(arg0)
18148 cb_arg0 = union_set(ctx=arg0.ctx, ptr=isl.isl_union_set_copy(cb_arg0))
18149 cb_arg1 = union_set(ctx=arg0.ctx, ptr=isl.isl_union_set_copy(cb_arg1))
18160 cb_arg0 = union_set_list(ctx=arg0.ctx, ptr=(cb_arg0))
18168 ctx = arg0.ctx
18169 res = isl.isl_union_set_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
18174 def insert(arg0, arg1, arg2): argument
18176 if not arg0.__class__ is union_set_list:
18177 arg0 = union_set_list(arg0)
18185 ctx = arg0.ctx
18186 …res = isl.isl_union_set_list_insert(isl.isl_union_set_list_copy(arg0.ptr), arg1, isl.isl_union_set…
18189 def set_at(arg0, arg1, arg2): argument
18191 if not arg0.__class__ is union_set_list:
18192 arg0 = union_set_list(arg0)
18200 ctx = arg0.ctx
18201 …res = isl.isl_union_set_list_set_at(isl.isl_union_set_list_copy(arg0.ptr), arg1, isl.isl_union_set…
18204 def size(arg0): argument
18206 if not arg0.__class__ is union_set_list:
18207 arg0 = union_set_list(arg0)
18210 ctx = arg0.ctx
18211 res = isl.isl_union_set_list_size(arg0.ptr)
18264 def __str__(arg0): argument
18266 if not arg0.__class__ is val:
18267 arg0 = val(arg0)
18270 ptr = isl.isl_val_to_str(arg0.ptr)
18280 def abs(arg0): argument
18282 if not arg0.__class__ is val:
18283 arg0 = val(arg0)
18286 ctx = arg0.ctx
18287 res = isl.isl_val_abs(isl.isl_val_copy(arg0.ptr))
18290 def abs_eq(arg0, arg1): argument
18292 if not arg0.__class__ is val:
18293 arg0 = val(arg0)
18301 ctx = arg0.ctx
18302 res = isl.isl_val_abs_eq(arg0.ptr, arg1.ptr)
18306 def add(arg0, arg1): argument
18308 if not arg0.__class__ is val:
18309 arg0 = val(arg0)
18317 ctx = arg0.ctx
18318 res = isl.isl_val_add(isl.isl_val_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18321 def ceil(arg0): argument
18323 if not arg0.__class__ is val:
18324 arg0 = val(arg0)
18327 ctx = arg0.ctx
18328 res = isl.isl_val_ceil(isl.isl_val_copy(arg0.ptr))
18331 def cmp_si(arg0, arg1): argument
18333 if not arg0.__class__ is val:
18334 arg0 = val(arg0)
18337 ctx = arg0.ctx
18338 res = isl.isl_val_cmp_si(arg0.ptr, arg1)
18340 def den_si(arg0): argument
18342 if not arg0.__class__ is val:
18343 arg0 = val(arg0)
18346 ctx = arg0.ctx
18347 res = isl.isl_val_get_den_si(arg0.ptr)
18349 def get_den_si(arg0): argument
18350 return arg0.den_si()
18351 def div(arg0, arg1): argument
18353 if not arg0.__class__ is val:
18354 arg0 = val(arg0)
18362 ctx = arg0.ctx
18363 res = isl.isl_val_div(isl.isl_val_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18366 def eq(arg0, arg1): argument
18368 if not arg0.__class__ is val:
18369 arg0 = val(arg0)
18377 ctx = arg0.ctx
18378 res = isl.isl_val_eq(arg0.ptr, arg1.ptr)
18382 def floor(arg0): argument
18384 if not arg0.__class__ is val:
18385 arg0 = val(arg0)
18388 ctx = arg0.ctx
18389 res = isl.isl_val_floor(isl.isl_val_copy(arg0.ptr))
18392 def gcd(arg0, arg1): argument
18394 if not arg0.__class__ is val:
18395 arg0 = val(arg0)
18403 ctx = arg0.ctx
18404 res = isl.isl_val_gcd(isl.isl_val_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18407 def ge(arg0, arg1): argument
18409 if not arg0.__class__ is val:
18410 arg0 = val(arg0)
18418 ctx = arg0.ctx
18419 res = isl.isl_val_ge(arg0.ptr, arg1.ptr)
18423 def gt(arg0, arg1): argument
18425 if not arg0.__class__ is val:
18426 arg0 = val(arg0)
18434 ctx = arg0.ctx
18435 res = isl.isl_val_gt(arg0.ptr, arg1.ptr)
18445 def inv(arg0): argument
18447 if not arg0.__class__ is val:
18448 arg0 = val(arg0)
18451 ctx = arg0.ctx
18452 res = isl.isl_val_inv(isl.isl_val_copy(arg0.ptr))
18455 def is_divisible_by(arg0, arg1): argument
18457 if not arg0.__class__ is val:
18458 arg0 = val(arg0)
18466 ctx = arg0.ctx
18467 res = isl.isl_val_is_divisible_by(arg0.ptr, arg1.ptr)
18471 def is_infty(arg0): argument
18473 if not arg0.__class__ is val:
18474 arg0 = val(arg0)
18477 ctx = arg0.ctx
18478 res = isl.isl_val_is_infty(arg0.ptr)
18482 def is_int(arg0): argument
18484 if not arg0.__class__ is val:
18485 arg0 = val(arg0)
18488 ctx = arg0.ctx
18489 res = isl.isl_val_is_int(arg0.ptr)
18493 def is_nan(arg0): argument
18495 if not arg0.__class__ is val:
18496 arg0 = val(arg0)
18499 ctx = arg0.ctx
18500 res = isl.isl_val_is_nan(arg0.ptr)
18504 def is_neg(arg0): argument
18506 if not arg0.__class__ is val:
18507 arg0 = val(arg0)
18510 ctx = arg0.ctx
18511 res = isl.isl_val_is_neg(arg0.ptr)
18515 def is_neginfty(arg0): argument
18517 if not arg0.__class__ is val:
18518 arg0 = val(arg0)
18521 ctx = arg0.ctx
18522 res = isl.isl_val_is_neginfty(arg0.ptr)
18526 def is_negone(arg0): argument
18528 if not arg0.__class__ is val:
18529 arg0 = val(arg0)
18532 ctx = arg0.ctx
18533 res = isl.isl_val_is_negone(arg0.ptr)
18537 def is_nonneg(arg0): argument
18539 if not arg0.__class__ is val:
18540 arg0 = val(arg0)
18543 ctx = arg0.ctx
18544 res = isl.isl_val_is_nonneg(arg0.ptr)
18548 def is_nonpos(arg0): argument
18550 if not arg0.__class__ is val:
18551 arg0 = val(arg0)
18554 ctx = arg0.ctx
18555 res = isl.isl_val_is_nonpos(arg0.ptr)
18559 def is_one(arg0): argument
18561 if not arg0.__class__ is val:
18562 arg0 = val(arg0)
18565 ctx = arg0.ctx
18566 res = isl.isl_val_is_one(arg0.ptr)
18570 def is_pos(arg0): argument
18572 if not arg0.__class__ is val:
18573 arg0 = val(arg0)
18576 ctx = arg0.ctx
18577 res = isl.isl_val_is_pos(arg0.ptr)
18581 def is_rat(arg0): argument
18583 if not arg0.__class__ is val:
18584 arg0 = val(arg0)
18587 ctx = arg0.ctx
18588 res = isl.isl_val_is_rat(arg0.ptr)
18592 def is_zero(arg0): argument
18594 if not arg0.__class__ is val:
18595 arg0 = val(arg0)
18598 ctx = arg0.ctx
18599 res = isl.isl_val_is_zero(arg0.ptr)
18603 def le(arg0, arg1): argument
18605 if not arg0.__class__ is val:
18606 arg0 = val(arg0)
18614 ctx = arg0.ctx
18615 res = isl.isl_val_le(arg0.ptr, arg1.ptr)
18619 def lt(arg0, arg1): argument
18621 if not arg0.__class__ is val:
18622 arg0 = val(arg0)
18630 ctx = arg0.ctx
18631 res = isl.isl_val_lt(arg0.ptr, arg1.ptr)
18635 def max(arg0, arg1): argument
18637 if not arg0.__class__ is val:
18638 arg0 = val(arg0)
18646 ctx = arg0.ctx
18647 res = isl.isl_val_max(isl.isl_val_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18650 def min(arg0, arg1): argument
18652 if not arg0.__class__ is val:
18653 arg0 = val(arg0)
18661 ctx = arg0.ctx
18662 res = isl.isl_val_min(isl.isl_val_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18665 def mod(arg0, arg1): argument
18667 if not arg0.__class__ is val:
18668 arg0 = val(arg0)
18676 ctx = arg0.ctx
18677 res = isl.isl_val_mod(isl.isl_val_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18680 def mul(arg0, arg1): argument
18682 if not arg0.__class__ is val:
18683 arg0 = val(arg0)
18691 ctx = arg0.ctx
18692 res = isl.isl_val_mul(isl.isl_val_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18701 def ne(arg0, arg1): argument
18703 if not arg0.__class__ is val:
18704 arg0 = val(arg0)
18712 ctx = arg0.ctx
18713 res = isl.isl_val_ne(arg0.ptr, arg1.ptr)
18717 def neg(arg0): argument
18719 if not arg0.__class__ is val:
18720 arg0 = val(arg0)
18723 ctx = arg0.ctx
18724 res = isl.isl_val_neg(isl.isl_val_copy(arg0.ptr))
18739 def num_si(arg0): argument
18741 if not arg0.__class__ is val:
18742 arg0 = val(arg0)
18745 ctx = arg0.ctx
18746 res = isl.isl_val_get_num_si(arg0.ptr)
18748 def get_num_si(arg0): argument
18749 return arg0.num_si()
18756 def pow2(arg0): argument
18758 if not arg0.__class__ is val:
18759 arg0 = val(arg0)
18762 ctx = arg0.ctx
18763 res = isl.isl_val_pow2(isl.isl_val_copy(arg0.ptr))
18766 def sgn(arg0): argument
18768 if not arg0.__class__ is val:
18769 arg0 = val(arg0)
18772 ctx = arg0.ctx
18773 res = isl.isl_val_sgn(arg0.ptr)
18775 def sub(arg0, arg1): argument
18777 if not arg0.__class__ is val:
18778 arg0 = val(arg0)
18786 ctx = arg0.ctx
18787 res = isl.isl_val_sub(isl.isl_val_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18790 def to_list(arg0): argument
18792 if not arg0.__class__ is val:
18793 arg0 = val(arg0)
18796 ctx = arg0.ctx
18797 res = isl.isl_val_to_list(isl.isl_val_copy(arg0.ptr))
18800 def trunc(arg0): argument
18802 if not arg0.__class__ is val:
18803 arg0 = val(arg0)
18806 ctx = arg0.ctx
18807 res = isl.isl_val_trunc(isl.isl_val_copy(arg0.ptr))
18924 def __str__(arg0): argument
18926 if not arg0.__class__ is val_list:
18927 arg0 = val_list(arg0)
18930 ptr = isl.isl_val_list_to_str(arg0.ptr)
18940 def add(arg0, arg1): argument
18942 if not arg0.__class__ is val_list:
18943 arg0 = val_list(arg0)
18951 ctx = arg0.ctx
18952 res = isl.isl_val_list_add(isl.isl_val_list_copy(arg0.ptr), isl.isl_val_copy(arg1.ptr))
18955 def at(arg0, arg1): argument
18957 if not arg0.__class__ is val_list:
18958 arg0 = val_list(arg0)
18961 ctx = arg0.ctx
18962 res = isl.isl_val_list_get_at(arg0.ptr, arg1)
18965 def get_at(arg0, arg1): argument
18966 return arg0.at(arg1)
18967 def clear(arg0): argument
18969 if not arg0.__class__ is val_list:
18970 arg0 = val_list(arg0)
18973 ctx = arg0.ctx
18974 res = isl.isl_val_list_clear(isl.isl_val_list_copy(arg0.ptr))
18977 def concat(arg0, arg1): argument
18979 if not arg0.__class__ is val_list:
18980 arg0 = val_list(arg0)
18988 ctx = arg0.ctx
18989 … res = isl.isl_val_list_concat(isl.isl_val_list_copy(arg0.ptr), isl.isl_val_list_copy(arg1.ptr))
18992 def drop(arg0, arg1, arg2): argument
18994 if not arg0.__class__ is val_list:
18995 arg0 = val_list(arg0)
18998 ctx = arg0.ctx
18999 res = isl.isl_val_list_drop(isl.isl_val_list_copy(arg0.ptr), arg1, arg2)
19002 def foreach(arg0, arg1): argument
19004 if not arg0.__class__ is val_list:
19005 arg0 = val_list(arg0)
19011 cb_arg0 = val(ctx=arg0.ctx, ptr=(cb_arg0))
19019 ctx = arg0.ctx
19020 res = isl.isl_val_list_foreach(arg0.ptr, cb1, None)
19025 def foreach_scc(arg0, arg1, arg2): argument
19027 if not arg0.__class__ is val_list:
19028 arg0 = val_list(arg0)
19034 cb_arg0 = val(ctx=arg0.ctx, ptr=isl.isl_val_copy(cb_arg0))
19035 cb_arg1 = val(ctx=arg0.ctx, ptr=isl.isl_val_copy(cb_arg1))
19046 cb_arg0 = val_list(ctx=arg0.ctx, ptr=(cb_arg0))
19054 ctx = arg0.ctx
19055 res = isl.isl_val_list_foreach_scc(arg0.ptr, cb1, None, cb2, None)
19060 def insert(arg0, arg1, arg2): argument
19062 if not arg0.__class__ is val_list:
19063 arg0 = val_list(arg0)
19071 ctx = arg0.ctx
19072 … res = isl.isl_val_list_insert(isl.isl_val_list_copy(arg0.ptr), arg1, isl.isl_val_copy(arg2.ptr))
19075 def set_at(arg0, arg1, arg2): argument
19077 if not arg0.__class__ is val_list:
19078 arg0 = val_list(arg0)
19086 ctx = arg0.ctx
19087 … res = isl.isl_val_list_set_at(isl.isl_val_list_copy(arg0.ptr), arg1, isl.isl_val_copy(arg2.ptr))
19090 def size(arg0): argument
19092 if not arg0.__class__ is val_list:
19093 arg0 = val_list(arg0)
19096 ctx = arg0.ctx
19097 res = isl.isl_val_list_size(arg0.ptr)