Lines Matching refs:union_set
170 obj = union_set(ctx=ctx, ptr=res)
227 if not arg1.__class__ is union_set:
228 arg1 = union_set(arg1)
247 if len(args) == 2 and args[1].__class__ is union_set:
266 if not arg1.__class__ is union_set:
267 arg1 = union_set(arg1)
281 if not arg1.__class__ is union_set:
282 arg1 = union_set(arg1)
465 if len(args) == 2 and args[1].__class__ is union_set:
650 obj = union_set(ctx=ctx, ptr=res)
670 obj = union_set(ctx=ctx, ptr=res)
694 if not arg1.__class__ is union_set:
695 arg1 = union_set(arg1)
735 if not arg1.__class__ is union_set:
736 arg1 = union_set(arg1)
1152 obj = union_set(ctx=ctx, ptr=res)
1173 obj = union_set(ctx=ctx, ptr=res)
1192 if not arg1.__class__ is union_set:
1193 arg1 = union_set(arg1)
1212 if len(args) == 2 and args[1].__class__ is union_set:
1231 if not arg1.__class__ is union_set:
1232 arg1 = union_set(arg1)
1246 if not arg1.__class__ is union_set:
1247 arg1 = union_set(arg1)
1337 if len(args) == 2 and args[1].__class__ is union_set:
7826 obj = union_set(ctx=ctx, ptr=res)
7866 obj = union_set(ctx=ctx, ptr=res)
7886 obj = union_set(ctx=ctx, ptr=res)
8100 if not arg0.__class__ is union_set:
8101 arg0 = union_set(arg0)
8111 if not arg0.__class__ is union_set:
8112 arg0 = union_set(arg0)
8116 if not arg1.__class__ is union_set:
8117 arg1 = union_set(arg1)
8127 if not arg0.__class__ is union_set:
8128 arg0 = union_set(arg0)
8157 if not arg1.__class__ is union_set:
8158 arg1 = union_set(arg1)
8187 if not arg1.__class__ is union_set:
8188 arg1 = union_set(arg1)
8222 if len(args) == 2 and args[1].__class__ is union_set:
8265 if len(args) == 2 and args[1].__class__ is union_set:
8304 if len(args) == 2 and args[1].__class__ is union_set:
8347 if len(args) == 2 and args[1].__class__ is union_set:
8673 obj = union_set(ctx=ctx, ptr=res)
8774 if not arg1.__class__ is union_set:
8775 arg1 = union_set(arg1)
8789 if not arg1.__class__ is union_set:
8790 arg1 = union_set(arg1)
8840 obj = union_set(ctx=ctx, ptr=res)
10799 class union_set(object):
10827 if not arg0.__class__ is union_set:
10828 arg0 = union_set(arg0)
10838 return 'isl.union_set("""%s""")' % s
10840 return 'isl.union_set("%s")' % s
10843 if not arg0.__class__ is union_set:
10844 arg0 = union_set(arg0)
10849 obj = union_set(ctx=ctx, ptr=res)
10853 if not arg0.__class__ is union_set:
10854 arg0 = union_set(arg0)
10864 obj = union_set(ctx=ctx, ptr=res)
10868 if not arg0.__class__ is union_set:
10869 arg0 = union_set(arg0)
10878 if not arg0.__class__ is union_set:
10879 arg0 = union_set(arg0)
10884 obj = union_set(ctx=ctx, ptr=res)
10888 if not arg0.__class__ is union_set:
10889 arg0 = union_set(arg0)
10894 obj = union_set(ctx=ctx, ptr=res)
10898 if not arg0.__class__ is union_set:
10899 arg0 = union_set(arg0)
10904 obj = union_set(ctx=ctx, ptr=res)
10908 if not arg0.__class__ is union_set:
10909 arg0 = union_set(arg0)
10914 obj = union_set(ctx=ctx, ptr=res)
10921 obj = union_set(ctx=ctx, ptr=res)
10926 if not arg0.__class__ is union_set:
10927 arg0 = union_set(arg0)
10950 if not arg0.__class__ is union_set:
10951 arg0 = union_set(arg0)
10965 if not arg0.__class__ is union_set:
10966 arg0 = union_set(arg0)
10988 if not arg0.__class__ is union_set:
10989 arg0 = union_set(arg0)
11011 if not arg0.__class__ is union_set:
11012 arg0 = union_set(arg0)
11016 if not arg1.__class__ is union_set:
11017 arg1 = union_set(arg1)
11022 obj = union_set(ctx=ctx, ptr=res)
11026 if not arg0.__class__ is union_set:
11027 arg0 = union_set(arg0)
11037 obj = union_set(ctx=ctx, ptr=res)
11041 if not arg0.__class__ is union_set:
11042 arg0 = union_set(arg0)
11051 if not arg0.__class__ is union_set:
11052 arg0 = union_set(arg0)
11056 if not arg1.__class__ is union_set:
11057 arg1 = union_set(arg1)
11062 obj = union_set(ctx=ctx, ptr=res)
11066 if not arg0.__class__ is union_set:
11067 arg0 = union_set(arg0)
11077 obj = union_set(ctx=ctx, ptr=res)
11081 if not arg0.__class__ is union_set:
11082 arg0 = union_set(arg0)
11086 if not arg1.__class__ is union_set:
11087 arg1 = union_set(arg1)
11097 if not arg0.__class__ is union_set:
11098 arg0 = union_set(arg0)
11108 if not arg0.__class__ is union_set:
11109 arg0 = union_set(arg0)
11113 if not arg1.__class__ is union_set:
11114 arg1 = union_set(arg1)
11124 if not arg0.__class__ is union_set:
11125 arg0 = union_set(arg0)
11129 if not arg1.__class__ is union_set:
11130 arg1 = union_set(arg1)
11140 if not arg0.__class__ is union_set:
11141 arg0 = union_set(arg0)
11145 if not arg1.__class__ is union_set:
11146 arg1 = union_set(arg1)
11156 if not arg0.__class__ is union_set:
11157 arg0 = union_set(arg0)
11167 if not arg0.__class__ is union_set:
11168 arg0 = union_set(arg0)
11173 obj = union_set(ctx=ctx, ptr=res)
11177 if not arg0.__class__ is union_set:
11178 arg0 = union_set(arg0)
11183 obj = union_set(ctx=ctx, ptr=res)
11187 if not arg0.__class__ is union_set:
11188 arg0 = union_set(arg0)
11197 if not arg0.__class__ is union_set:
11198 arg0 = union_set(arg0)
11203 obj = union_set(ctx=ctx, ptr=res)
11209 if not args[0].__class__ is union_set:
11210 args[0] = union_set(args[0])
11215 obj = union_set(ctx=ctx, ptr=res)
11220 if not args[0].__class__ is union_set:
11221 args[0] = union_set(args[0])
11226 obj = union_set(ctx=ctx, ptr=res)
11231 if not args[0].__class__ is union_set:
11232 args[0] = union_set(args[0])
11237 obj = union_set(ctx=ctx, ptr=res)
11242 if not arg0.__class__ is union_set:
11243 arg0 = union_set(arg0)
11248 obj = union_set(ctx=ctx, ptr=res)
11252 if not arg0.__class__ is union_set:
11253 arg0 = union_set(arg0)
11262 if not arg0.__class__ is union_set:
11263 arg0 = union_set(arg0)
11274 if not arg0.__class__ is union_set:
11275 arg0 = union_set(arg0)
11286 if not arg0.__class__ is union_set:
11287 arg0 = union_set(arg0)
11291 if not arg1.__class__ is union_set:
11292 arg1 = union_set(arg1)
11297 obj = union_set(ctx=ctx, ptr=res)
11301 if not arg0.__class__ is union_set:
11302 arg0 = union_set(arg0)
11311 if not arg0.__class__ is union_set:
11312 arg0 = union_set(arg0)
11316 if not arg1.__class__ is union_set:
11317 arg1 = union_set(arg1)
11322 obj = union_set(ctx=ctx, ptr=res)
11326 if not arg0.__class__ is union_set:
11327 arg0 = union_set(arg0)
11332 obj = union_set(ctx=ctx, ptr=res)
11336 if not arg0.__class__ is union_set:
11337 arg0 = union_set(arg0)
11429 class set(union_set):
11487 return union_set(arg0).apply(arg1)
11512 return union_set(arg0).bind(arg1)
11654 return union_set(arg0).gist(arg1)
11669 return union_set(arg0).gist_params(arg1)
11704 return union_set(arg0).insert_domain(arg1)
11719 return union_set(arg0).intersect(arg1)
11734 return union_set(arg0).intersect_params(arg1)
11760 return union_set(arg0).is_disjoint(arg1)
11787 return union_set(arg0).is_equal(arg1)
11814 return union_set(arg0).is_strict_subset(arg1)
11830 return union_set(arg0).is_subset(arg1)
11943 return union_set(arg0).max_val(arg1)
11968 return union_set(arg0).min_val(arg1)
12079 return union_set(arg0).product(arg1)
12220 return union_set(arg0).subtract(arg1)
12243 obj = union_set(ctx=ctx, ptr=res)
12276 return union_set(arg0).unbind_params(arg1)
12291 return union_set(arg0).unbind_params_insert_domain(arg1)
12306 return union_set(arg0).union(arg1)
14801 obj = union_set(ctx=ctx, ptr=res)
14808 if not arg0.__class__ is union_set:
14809 arg0 = union_set(arg0)
14969 obj = union_set(ctx=ctx, ptr=res)
14976 if not arg0.__class__ is union_set:
14977 arg0 = union_set(arg0)
15357 if not arg0.__class__ is union_set:
15358 arg0 = union_set(arg0)
15472 if not arg1.__class__ is union_set:
15473 arg1 = union_set(arg1)
15633 if not arg1.__class__ is union_set:
15634 arg1 = union_set(arg1)
15648 if not arg1.__class__ is union_set:
15649 arg1 = union_set(arg1)
15874 obj = union_set(ctx=ctx, ptr=res)
15999 if not arg1.__class__ is union_set:
16000 arg1 = union_set(arg1)
16220 obj = union_set(ctx=ctx, ptr=res)
16384 obj = union_set(ctx=ctx, ptr=res)
18026 if len(args) == 1 and args[0].__class__ is union_set:
18061 if not arg1.__class__ is union_set:
18062 arg1 = union_set(arg1)
18077 obj = union_set(ctx=ctx, ptr=res)
18125 cb_arg0 = union_set(ctx=arg0.ctx, ptr=(cb_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))
18181 if not arg2.__class__ is union_set:
18182 arg2 = union_set(arg2)
18196 if not arg2.__class__ is union_set:
18197 arg2 = union_set(arg2)