HomeSort by: relevance | last modified time | path
    Searched refs:uset1 (Results 1 - 3 of 3) sorted by relevancy

  /src/external/mit/isl/dist/include/isl/
union_set.h 69 __isl_give isl_union_set *isl_union_set_union(__isl_take isl_union_set *uset1,
73 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
76 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
80 __isl_give isl_union_set *isl_union_set_product(__isl_take isl_union_set *uset1,
120 isl_bool isl_union_set_is_subset(__isl_keep isl_union_set *uset1,
123 isl_bool isl_union_set_is_equal(__isl_keep isl_union_set *uset1,
126 isl_bool isl_union_set_is_disjoint(__isl_keep isl_union_set *uset1,
129 isl_bool isl_union_set_is_strict_subset(__isl_keep isl_union_set *uset1,
171 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
173 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
    [all...]
  /src/external/mit/isl/dist/
isl_union_map.c 396 __isl_give isl_union_set *isl_union_set_union(__isl_take isl_union_set *uset1,
399 return isl_union_map_union(uset1, uset2);
1109 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
1111 return isl_union_map_subtract(uset1, uset2);
1290 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
1294 p1 = isl_union_set_is_params(uset1);
1299 return union_map_intersect_params(uset1, uset2);
1301 return union_map_intersect_params(uset2, uset1);
1302 return isl_union_map_intersect(uset1, uset2);
1304 isl_union_set_free(uset1);
    [all...]
isl_test.c 3968 isl_union_set *uset1, *uset2; local
3973 uset1 = isl_union_set_read_from_str(ctx, str);
3977 umap2 = isl_union_set_lex_gt_union_set(isl_union_set_copy(uset1), uset1);
3992 uset1 = isl_union_set_read_from_str(ctx, str);
3996 equal = isl_union_set_is_equal(uset1, uset2);
3998 isl_union_set_free(uset1);
7808 isl_union_set *uset1, *uset2; local
7822 uset1 = isl_union_set_read_from_str(ctx, str);
7823 uset1 = isl_union_set_product(uset1, isl_union_set_copy(uset1))
    [all...]

Completed in 34 milliseconds