Lines Matching defs:isl
3 isl = cdll.LoadLibrary("libisl.so")
13 ptr = isl.isl_ctx_alloc()
17 isl.isl_ctx_free(self)
28 isl.isl_ctx_alloc.restype = c_void_p
29 isl.isl_ctx_free.argtypes = [Context]
39 self.ptr = isl.isl_union_map_from_basic_map(isl.isl_basic_map_copy(args[0].ptr))
43 self.ptr = isl.isl_union_map_from_map(isl.isl_map_copy(args[0].ptr))
47 self.ptr = isl.isl_union_map_read_from_str(self.ctx, args[0])
52 isl.isl_union_map_free(self.ptr)
54 ptr = isl.isl_union_map_to_str(self.ptr)
59 return 'isl.union_map("%s")' % str(self)
66 res = isl.isl_union_map_polyhedral_hull(isl.isl_union_map_copy(arg0.ptr))
74 res = isl.isl_union_map_coalesce(isl.isl_union_map_copy(arg0.ptr))
82 res = isl.isl_union_map_lexmin(isl.isl_union_map_copy(arg0.ptr))
90 res = isl.isl_union_map_lexmax(isl.isl_union_map_copy(arg0.ptr))
103 res = isl.isl_union_map_union(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
116 res = isl.isl_union_map_subtract(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
129 res = isl.isl_union_map_intersect(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
137 res = isl.isl_union_map_affine_hull(isl.isl_union_map_copy(arg0.ptr))
150 res = isl.isl_union_map_intersect_params(isl.isl_union_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
163 res = isl.isl_union_map_gist(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
176 res = isl.isl_union_map_gist_params(isl.isl_union_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
189 res = isl.isl_union_map_gist_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
202 res = isl.isl_union_map_gist_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
215 res = isl.isl_union_map_intersect_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
228 res = isl.isl_union_map_intersect_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
241 res = isl.isl_union_map_subtract_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
254 res = isl.isl_union_map_subtract_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
267 res = isl.isl_union_map_apply_domain(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
280 res = isl.isl_union_map_apply_range(isl.isl_union_map_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
288 res = isl.isl_union_map_reverse(isl.isl_union_map_copy(arg0.ptr))
296 res = isl.isl_union_map_detect_equalities(isl.isl_union_map_copy(arg0.ptr))
304 res = isl.isl_union_map_deltas(isl.isl_union_map_copy(arg0.ptr))
312 res = isl.isl_union_map_is_empty(arg0.ptr)
320 res = isl.isl_union_map_is_single_valued(arg0.ptr)
328 res = isl.isl_union_map_is_injective(arg0.ptr)
336 res = isl.isl_union_map_is_bijective(arg0.ptr)
349 res = isl.isl_union_map_is_subset(arg0.ptr, arg1.ptr)
362 res = isl.isl_union_map_is_equal(arg0.ptr, arg1.ptr)
375 res = isl.isl_union_map_is_strict_subset(arg0.ptr, arg1.ptr)
395 res = isl.isl_union_map_foreach_map(arg0.ptr, cb, None)
400 isl.isl_union_map_from_basic_map.restype = c_void_p
401 isl.isl_union_map_from_basic_map.argtypes = [c_void_p]
402 isl.isl_union_map_from_map.restype = c_void_p
403 isl.isl_union_map_from_map.argtypes = [c_void_p]
404 isl.isl_union_map_read_from_str.restype = c_void_p
405 isl.isl_union_map_read_from_str.argtypes = [Context, c_char_p]
406 isl.isl_union_map_polyhedral_hull.restype = c_void_p
407 isl.isl_union_map_coalesce.restype = c_void_p
408 isl.isl_union_map_lexmin.restype = c_void_p
409 isl.isl_union_map_lexmax.restype = c_void_p
410 isl.isl_union_map_union.restype = c_void_p
411 isl.isl_union_map_subtract.restype = c_void_p
412 isl.isl_union_map_intersect.restype = c_void_p
413 isl.isl_union_map_affine_hull.restype = c_void_p
414 isl.isl_union_map_intersect_params.restype = c_void_p
415 isl.isl_union_map_gist.restype = c_void_p
416 isl.isl_union_map_gist_params.restype = c_void_p
417 isl.isl_union_map_gist_domain.restype = c_void_p
418 isl.isl_union_map_gist_range.restype = c_void_p
419 isl.isl_union_map_intersect_domain.restype = c_void_p
420 isl.isl_union_map_intersect_range.restype = c_void_p
421 isl.isl_union_map_subtract_domain.restype = c_void_p
422 isl.isl_union_map_subtract_range.restype = c_void_p
423 isl.isl_union_map_apply_domain.restype = c_void_p
424 isl.isl_union_map_apply_range.restype = c_void_p
425 isl.isl_union_map_reverse.restype = c_void_p
426 isl.isl_union_map_detect_equalities.restype = c_void_p
427 isl.isl_union_map_deltas.restype = c_void_p
428 isl.isl_union_map_free.argtypes = [c_void_p]
429 isl.isl_union_map_to_str.argtypes = [c_void_p]
430 isl.isl_union_map_to_str.restype = POINTER(c_char)
440 self.ptr = isl.isl_map_read_from_str(self.ctx, args[0])
444 self.ptr = isl.isl_map_from_basic_map(isl.isl_basic_map_copy(args[0].ptr))
449 isl.isl_map_free(self.ptr)
451 ptr = isl.isl_map_to_str(self.ptr)
456 return 'isl.map("%s")' % str(self)
463 res = isl.isl_map_lexmin(isl.isl_map_copy(arg0.ptr))
471 res = isl.isl_map_lexmax(isl.isl_map_copy(arg0.ptr))
479 res = isl.isl_map_reverse(isl.isl_map_copy(arg0.ptr))
492 res = isl.isl_map_union(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
505 res = isl.isl_map_intersect_domain(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
518 res = isl.isl_map_intersect_range(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
531 res = isl.isl_map_apply_domain(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
544 res = isl.isl_map_apply_range(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
557 res = isl.isl_map_intersect(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
570 res = isl.isl_map_intersect_params(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
583 res = isl.isl_map_subtract(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
591 res = isl.isl_map_complement(isl.isl_map_copy(arg0.ptr))
599 res = isl.isl_map_deltas(isl.isl_map_copy(arg0.ptr))
607 res = isl.isl_map_detect_equalities(isl.isl_map_copy(arg0.ptr))
615 res = isl.isl_map_affine_hull(isl.isl_map_copy(arg0.ptr))
623 res = isl.isl_map_polyhedral_hull(isl.isl_map_copy(arg0.ptr))
631 res = isl.isl_map_flatten(isl.isl_map_copy(arg0.ptr))
639 res = isl.isl_map_flatten_domain(isl.isl_map_copy(arg0.ptr))
647 res = isl.isl_map_flatten_range(isl.isl_map_copy(arg0.ptr))
655 res = isl.isl_map_sample(isl.isl_map_copy(arg0.ptr))
663 res = isl.isl_map_is_empty(arg0.ptr)
676 res = isl.isl_map_is_subset(arg0.ptr, arg1.ptr)
689 res = isl.isl_map_is_strict_subset(arg0.ptr, arg1.ptr)
702 res = isl.isl_map_is_equal(arg0.ptr, arg1.ptr)
715 res = isl.isl_map_is_disjoint(arg0.ptr, arg1.ptr)
723 res = isl.isl_map_is_single_valued(arg0.ptr)
731 res = isl.isl_map_is_injective(arg0.ptr)
739 res = isl.isl_map_is_bijective(arg0.ptr)
752 res = isl.isl_map_gist(isl.isl_map_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
765 res = isl.isl_map_gist_domain(isl.isl_map_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
773 res = isl.isl_map_coalesce(isl.isl_map_copy(arg0.ptr))
793 res = isl.isl_map_foreach_basic_map(arg0.ptr, cb, None)
798 isl.isl_map_read_from_str.restype = c_void_p
799 isl.isl_map_read_from_str.argtypes = [Context, c_char_p]
800 isl.isl_map_from_basic_map.restype = c_void_p
801 isl.isl_map_from_basic_map.argtypes = [c_void_p]
802 isl.isl_map_lexmin.restype = c_void_p
803 isl.isl_map_lexmax.restype = c_void_p
804 isl.isl_map_reverse.restype = c_void_p
805 isl.isl_map_union.restype = c_void_p
806 isl.isl_map_intersect_domain.restype = c_void_p
807 isl.isl_map_intersect_range.restype = c_void_p
808 isl.isl_map_apply_domain.restype = c_void_p
809 isl.isl_map_apply_range.restype = c_void_p
810 isl.isl_map_intersect.restype = c_void_p
811 isl.isl_map_intersect_params.restype = c_void_p
812 isl.isl_map_subtract.restype = c_void_p
813 isl.isl_map_complement.restype = c_void_p
814 isl.isl_map_deltas.restype = c_void_p
815 isl.isl_map_detect_equalities.restype = c_void_p
816 isl.isl_map_affine_hull.restype = c_void_p
817 isl.isl_map_polyhedral_hull.restype = c_void_p
818 isl.isl_map_flatten.restype = c_void_p
819 isl.isl_map_flatten_domain.restype = c_void_p
820 isl.isl_map_flatten_range.restype = c_void_p
821 isl.isl_map_sample.restype = c_void_p
822 isl.isl_map_gist.restype = c_void_p
823 isl.isl_map_gist_domain.restype = c_void_p
824 isl.isl_map_coalesce.restype = c_void_p
825 isl.isl_map_free.argtypes = [c_void_p]
826 isl.isl_map_to_str.argtypes = [c_void_p]
827 isl.isl_map_to_str.restype = POINTER(c_char)
837 self.ptr = isl.isl_basic_map_read_from_str(self.ctx, args[0])
842 isl.isl_basic_map_free(self.ptr)
844 ptr = isl.isl_basic_map_to_str(self.ptr)
849 return 'isl.basic_map("%s")' % str(self)
861 res = isl.isl_basic_map_intersect_domain(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.ptr))
874 res = isl.isl_basic_map_intersect_range(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.ptr))
887 res = isl.isl_basic_map_intersect(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
900 res = isl.isl_basic_map_union(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
913 res = isl.isl_basic_map_apply_domain(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
926 res = isl.isl_basic_map_apply_range(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
934 res = isl.isl_basic_map_affine_hull(isl.isl_basic_map_copy(arg0.ptr))
942 res = isl.isl_basic_map_reverse(isl.isl_basic_map_copy(arg0.ptr))
950 res = isl.isl_basic_map_sample(isl.isl_basic_map_copy(arg0.ptr))
958 res = isl.isl_basic_map_detect_equalities(isl.isl_basic_map_copy(arg0.ptr))
971 res = isl.isl_basic_map_is_equal(arg0.ptr, arg1.ptr)
979 res = isl.isl_basic_map_lexmin(isl.isl_basic_map_copy(arg0.ptr))
987 res = isl.isl_basic_map_lexmax(isl.isl_basic_map_copy(arg0.ptr))
995 res = isl.isl_basic_map_is_empty(arg0.ptr)
1008 res = isl.isl_basic_map_is_subset(arg0.ptr, arg1.ptr)
1016 res = isl.isl_basic_map_deltas(isl.isl_basic_map_copy(arg0.ptr))
1024 res = isl.isl_basic_map_flatten(isl.isl_basic_map_copy(arg0.ptr))
1032 res = isl.isl_basic_map_flatten_domain(isl.isl_basic_map_copy(arg0.ptr))
1040 res = isl.isl_basic_map_flatten_range(isl.isl_basic_map_copy(arg0.ptr))
1053 res = isl.isl_basic_map_gist(isl.isl_basic_map_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
1056 isl.isl_basic_map_read_from_str.restype = c_void_p
1057 isl.isl_basic_map_read_from_str.argtypes = [Context, c_char_p]
1058 isl.isl_basic_map_intersect_domain.restype = c_void_p
1059 isl.isl_basic_map_intersect_range.restype = c_void_p
1060 isl.isl_basic_map_intersect.restype = c_void_p
1061 isl.isl_basic_map_union.restype = c_void_p
1062 isl.isl_basic_map_apply_domain.restype = c_void_p
1063 isl.isl_basic_map_apply_range.restype = c_void_p
1064 isl.isl_basic_map_affine_hull.restype = c_void_p
1065 isl.isl_basic_map_reverse.restype = c_void_p
1066 isl.isl_basic_map_sample.restype = c_void_p
1067 isl.isl_basic_map_detect_equalities.restype = c_void_p
1068 isl.isl_basic_map_lexmin.restype = c_void_p
1069 isl.isl_basic_map_lexmax.restype = c_void_p
1070 isl.isl_basic_map_deltas.restype = c_void_p
1071 isl.isl_basic_map_flatten.restype = c_void_p
1072 isl.isl_basic_map_flatten_domain.restype = c_void_p
1073 isl.isl_basic_map_flatten_range.restype = c_void_p
1074 isl.isl_basic_map_gist.restype = c_void_p
1075 isl.isl_basic_map_free.argtypes = [c_void_p]
1076 isl.isl_basic_map_to_str.argtypes = [c_void_p]
1077 isl.isl_basic_map_to_str.restype = POINTER(c_char)
1087 self.ptr = isl.isl_union_set_read_from_str(self.ctx, args[0])
1091 self.ptr = isl.isl_union_set_from_basic_set(isl.isl_basic_set_copy(args[0].ptr))
1095 self.ptr = isl.isl_union_set_from_set(isl.isl_set_copy(args[0].ptr))
1100 isl.isl_union_set_free(self.ptr)
1102 ptr = isl.isl_union_set_to_str(self.ptr)
1107 return 'isl.union_set("%s")' % str(self)
1114 res = isl.isl_union_set_identity(isl.isl_union_set_copy(arg0.ptr))
1122 res = isl.isl_union_set_detect_equalities(isl.isl_union_set_copy(arg0.ptr))
1130 res = isl.isl_union_set_affine_hull(isl.isl_union_set_copy(arg0.ptr))
1138 res = isl.isl_union_set_polyhedral_hull(isl.isl_union_set_copy(arg0.ptr))
1146 res = isl.isl_union_set_coalesce(isl.isl_union_set_copy(arg0.ptr))
1154 res = isl.isl_union_set_lexmin(isl.isl_union_set_copy(arg0.ptr))
1162 res = isl.isl_union_set_lexmax(isl.isl_union_set_copy(arg0.ptr))
1175 res = isl.isl_union_set_subtract(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
1188 res = isl.isl_union_set_intersect(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
1201 res = isl.isl_union_set_intersect_params(isl.isl_union_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
1214 res = isl.isl_union_set_gist(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_set_copy(arg1.ptr))
1227 res = isl.isl_union_set_gist_params(isl.isl_union_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
1240 res = isl.isl_union_set_apply(isl.isl_union_set_copy(arg0.ptr), isl.isl_union_map_copy(arg1.ptr))
1248 res = isl.isl_union_set_is_empty(arg0.ptr)
1261 res = isl.isl_union_set_is_subset(arg0.ptr, arg1.ptr)
1274 res = isl.isl_union_set_is_equal(arg0.ptr, arg1.ptr)
1287 res = isl.isl_union_set_is_strict_subset(arg0.ptr, arg1.ptr)
1307 res = isl.isl_union_set_foreach_set(arg0.ptr, cb, None)
1312 isl.isl_union_set_read_from_str.restype = c_void_p
1313 isl.isl_union_set_read_from_str.argtypes = [Context, c_char_p]
1314 isl.isl_union_set_from_basic_set.restype = c_void_p
1315 isl.isl_union_set_from_basic_set.argtypes = [c_void_p]
1316 isl.isl_union_set_from_set.restype = c_void_p
1317 isl.isl_union_set_from_set.argtypes = [c_void_p]
1318 isl.isl_union_set_identity.restype = c_void_p
1319 isl.isl_union_set_detect_equalities.restype = c_void_p
1320 isl.isl_union_set_affine_hull.restype = c_void_p
1321 isl.isl_union_set_polyhedral_hull.restype = c_void_p
1322 isl.isl_union_set_coalesce.restype = c_void_p
1323 isl.isl_union_set_lexmin.restype = c_void_p
1324 isl.isl_union_set_lexmax.restype = c_void_p
1325 isl.isl_union_set_subtract.restype = c_void_p
1326 isl.isl_union_set_intersect.restype = c_void_p
1327 isl.isl_union_set_intersect_params.restype = c_void_p
1328 isl.isl_union_set_gist.restype = c_void_p
1329 isl.isl_union_set_gist_params.restype = c_void_p
1330 isl.isl_union_set_apply.restype = c_void_p
1331 isl.isl_union_set_free.argtypes = [c_void_p]
1332 isl.isl_union_set_to_str.argtypes = [c_void_p]
1333 isl.isl_union_set_to_str.restype = POINTER(c_char)
1343 self.ptr = isl.isl_set_read_from_str(self.ctx, args[0])
1347 self.ptr = isl.isl_set_from_basic_set(isl.isl_basic_set_copy(args[0].ptr))
1352 isl.isl_set_free(self.ptr)
1354 ptr = isl.isl_set_to_str(self.ptr)
1359 return 'isl.set("%s")' % str(self)
1366 res = isl.isl_set_lexmin(isl.isl_set_copy(arg0.ptr))
1374 res = isl.isl_set_lexmax(isl.isl_set_copy(arg0.ptr))
1382 res = isl.isl_set_sample(isl.isl_set_copy(arg0.ptr))
1390 res = isl.isl_set_detect_equalities(isl.isl_set_copy(arg0.ptr))
1398 res = isl.isl_set_affine_hull(isl.isl_set_copy(arg0.ptr))
1406 res = isl.isl_set_polyhedral_hull(isl.isl_set_copy(arg0.ptr))
1419 res = isl.isl_set_union(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
1432 res = isl.isl_set_intersect(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
1445 res = isl.isl_set_intersect_params(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
1458 res = isl.isl_set_subtract(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
1466 res = isl.isl_set_complement(isl.isl_set_copy(arg0.ptr))
1479 res = isl.isl_set_apply(isl.isl_set_copy(arg0.ptr), isl.isl_map_copy(arg1.ptr))
1487 res = isl.isl_set_is_empty(arg0.ptr)
1500 res = isl.isl_set_is_subset(arg0.ptr, arg1.ptr)
1513 res = isl.isl_set_is_strict_subset(arg0.ptr, arg1.ptr)
1526 res = isl.isl_set_is_equal(arg0.ptr, arg1.ptr)
1539 res = isl.isl_set_is_disjoint(arg0.ptr, arg1.ptr)
1552 res = isl.isl_set_gist(isl.isl_set_copy(arg0.ptr), isl.isl_set_copy(arg1.ptr))
1560 res = isl.isl_set_coalesce(isl.isl_set_copy(arg0.ptr))
1580 res = isl.isl_set_foreach_basic_set(arg0.ptr, cb, None)
1590 res = isl.isl_set_identity(isl.isl_set_copy(arg0.ptr))
1598 res = isl.isl_set_is_wrapping(arg0.ptr)
1606 res = isl.isl_set_flatten(isl.isl_set_copy(arg0.ptr))
1609 isl.isl_set_read_from_str.restype = c_void_p
1610 isl.isl_set_read_from_str.argtypes = [Context, c_char_p]
1611 isl.isl_set_from_basic_set.restype = c_void_p
1612 isl.isl_set_from_basic_set.argtypes = [c_void_p]
1613 isl.isl_set_lexmin.restype = c_void_p
1614 isl.isl_set_lexmax.restype = c_void_p
1615 isl.isl_set_sample.restype = c_void_p
1616 isl.isl_set_detect_equalities.restype = c_void_p
1617 isl.isl_set_affine_hull.restype = c_void_p
1618 isl.isl_set_polyhedral_hull.restype = c_void_p
1619 isl.isl_set_union.restype = c_void_p
1620 isl.isl_set_intersect.restype = c_void_p
1621 isl.isl_set_intersect_params.restype = c_void_p
1622 isl.isl_set_subtract.restype = c_void_p
1623 isl.isl_set_complement.restype = c_void_p
1624 isl.isl_set_apply.restype = c_void_p
1625 isl.isl_set_gist.restype = c_void_p
1626 isl.isl_set_coalesce.restype = c_void_p
1627 isl.isl_set_identity.restype = c_void_p
1628 isl.isl_set_flatten.restype = c_void_p
1629 isl.isl_set_free.argtypes = [c_void_p]
1630 isl.isl_set_to_str.argtypes = [c_void_p]
1631 isl.isl_set_to_str.restype = POINTER(c_char)
1641 self.ptr = isl.isl_basic_set_read_from_str(self.ctx, args[0])
1646 isl.isl_basic_set_free(self.ptr)
1648 ptr = isl.isl_basic_set_to_str(self.ptr)
1653 return 'isl.basic_set("%s")' % str(self)
1665 res = isl.isl_basic_set_intersect(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.ptr))
1678 res = isl.isl_basic_set_intersect_params(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.ptr))
1691 res = isl.isl_basic_set_apply(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_map_copy(arg1.ptr))
1699 res = isl.isl_basic_set_affine_hull(isl.isl_basic_set_copy(arg0.ptr))
1707 res = isl.isl_basic_set_sample(isl.isl_basic_set_copy(arg0.ptr))
1715 res = isl.isl_basic_set_detect_equalities(isl.isl_basic_set_copy(arg0.ptr))
1718 res = isl.isl_basic_set_is_equal(arg0.ptr, arg1.ptr)
1726 res = isl.isl_basic_set_lexmin(isl.isl_basic_set_copy(arg0.ptr))
1734 res = isl.isl_basic_set_lexmax(isl.isl_basic_set_copy(arg0.ptr))
1747 res = isl.isl_basic_set_union(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.ptr))
1755 res = isl.isl_basic_set_is_empty(arg0.ptr)
1768 res = isl.isl_basic_set_is_subset(arg0.ptr, arg1.ptr)
1781 res = isl.isl_basic_set_gist(isl.isl_basic_set_copy(arg0.ptr), isl.isl_basic_set_copy(arg1.ptr))
1789 res = isl.isl_basic_set_is_wrapping(arg0.ptr)
1797 res = isl.isl_basic_set_flatten(isl.isl_basic_set_copy(arg0.ptr))
1800 isl.isl_basic_set_read_from_str.restype = c_void_p
1801 isl.isl_basic_set_read_from_str.argtypes = [Context, c_char_p]
1802 isl.isl_basic_set_intersect.restype = c_void_p
1803 isl.isl_basic_set_intersect_params.restype = c_void_p
1804 isl.isl_basic_set_apply.restype = c_void_p
1805 isl.isl_basic_set_affine_hull.restype = c_void_p
1806 isl.isl_basic_set_sample.restype = c_void_p
1807 isl.isl_basic_set_detect_equalities.restype = c_void_p
1808 isl.isl_basic_set_lexmin.restype = c_void_p
1809 isl.isl_basic_set_lexmax.restype = c_void_p
1810 isl.isl_basic_set_union.restype = c_void_p
1811 isl.isl_basic_set_gist.restype = c_void_p
1812 isl.isl_basic_set_flatten.restype = c_void_p
1813 isl.isl_basic_set_free.argtypes = [c_void_p]
1814 isl.isl_basic_set_to_str.argtypes = [c_void_p]
1815 isl.isl_basic_set_to_str.restype = POINTER(c_char)
1826 isl.isl_pw_qpolynomial_free(self.ptr)
1828 ptr = isl.isl_pw_qpolynomial_to_str(self.ptr)
1833 return 'isl.pw_qpolynomial("%s")' % str(self)
1835 isl.isl_pw_qpolynomial_free.argtypes = [c_void_p]
1836 isl.isl_pw_qpolynomial_to_str.argtypes = [c_void_p]
1837 isl.isl_pw_qpolynomial_to_str.restype = POINTER(c_char)
1848 isl.isl_union_pw_qpolynomial_free(self.ptr)
1850 ptr = isl.isl_union_pw_qpolynomial_to_str(self.ptr)
1855 return 'isl.union_pw_qpolynomial("%s")' % str(self)
1857 isl.isl_union_pw_qpolynomial_free.argtypes = [c_void_p]
1858 isl.isl_union_pw_qpolynomial_to_str.argtypes = [c_void_p]
1859 isl.isl_union_pw_qpolynomial_to_str.restype = POINTER(c_char)