Lines Matching refs:isl
8 import isl
24 zero1 = isl.val("0")
27 zero2 = isl.val(0)
30 zero3 = isl.val.zero()
33 bs = isl.basic_set("{ [1] }")
34 result = isl.set("{ [1] }")
35 s = isl.set(bs)
38 us = isl.union_set("{ A[1]; B[2, 3] }")
39 empty = isl.union_set.empty()
45 val_int = isl.val(i)
46 val_str = isl.val(str(i))
67 a = isl.set("{ [0] }")
68 b = isl.set("{ [1] }")
69 c = isl.set("{ [2] }")
70 expected = isl.set("{ [i] : 0 <= i <= 2 }")
79 a2 = isl.basic_set("{ [0] }")
82 two = isl.val(2)
83 half = isl.val("1/2")
101 one = isl.val("1")
102 two = isl.val("2")
103 three = isl.val("3")
112 one = isl.val("1")
113 neg_one = isl.val("-1")
114 zero = isl.val("0")
125 empty = isl.set("{ : false }")
126 univ = isl.set("{ : }")
138 context = isl.set("[n] -> { : }")
139 build = isl.ast_build.from_context(context)
140 pw_aff = isl.pw_aff("[n] -> { [n] }")
141 set = isl.set("[n] -> { : n >= 0 }")
170 s = isl.set("{ [0]; [1]; [2] }")
201 us = isl.union_set("{ A[i]; B[j] }")
212 return s.is_subset(isl.set("{ A[x] }"))
216 return not s.is_subset(isl.set("{ A[x] }"))
232 unit = isl.space.unit()
236 set = isl.set.universe(set_space)
237 map = isl.map.universe(map_space)
238 assert(set.is_equal(isl.set("{ A[*,*,*] }")))
239 assert(map.is_equal(isl.map("{ A[*,*,*] -> B[*,*] }")))
246 A = isl.union_set("{ A[i] : 0 <= i < 10 }")
247 B = isl.union_set("{ B[i] : 0 <= i < 20 }")
249 node = isl.schedule_node.from_domain(A.union(B))
252 filters = isl.union_set_list(A).add(B)
255 f_A = isl.multi_union_pw_aff("[ { A[i] -> [i] } ]")
262 f_B = isl.multi_union_pw_aff("[ { B[i] -> [i] } ]")
282 assert(type(root) == isl.schedule_node_domain)
316 return type(node) != isl.schedule_node_domain
330 filters = [isl.union_set("{}")]
332 if type(node) == isl.schedule_node_filter:
347 if type(node) == isl.schedule_node_band:
358 build = isl.ast_build()
378 build = isl.ast_build()
397 build = isl.ast_build()
421 pa = isl.pw_aff("[n] -> { [n + 1] }")
422 build = isl.ast_build.from_context(pa.domain())
425 assert(type(op) == isl.ast_expr_op_add)