Searched refs:isl_map_is_subset (Results 1 – 11 of 11) sorted by relevance
| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_transitive_closure.c | 29 closed = isl_map_is_subset(map2, map); in isl_map_is_transitively_closed() 131 exact = isl_map_is_subset(app_1, map); in check_power_exactness() 144 exact = isl_map_is_subset(app_2, app_1); in check_power_exactness() 195 exact = isl_map_is_subset(app, test); in check_exactness() 1832 subset = isl_map_is_subset(map21, map12); in basic_map_follows() 2362 is_exact = isl_map_is_subset(app, test); in check_exactness_omega()
|
| H A D | isl_map_subtract.c | 877 isl_bool isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2) in isl_map_is_subset() function 885 return isl_map_is_subset(set_to_map(set1), set_to_map(set2)); in isl_set_is_subset()
|
| H A D | isl_union_map.c | 2666 data->is_subset = isl_map_is_subset(map, entry2->data); in is_subset_entry() 2971 is_subset = isl_map_is_subset(map, id); in is_subset_of_identity()
|
| H A D | isl_map.c | 9186 is_subset = isl_map_is_subset(map1, map2); in isl_basic_map_is_subset() 9310 is_subset = isl_map_is_subset(map1, map2); in map_is_equal() 9313 is_subset = isl_map_is_subset(map2, map1); in map_is_equal() 9353 is_subset = isl_map_is_subset(map1, map2); in isl_map_is_strict_subset() 9356 is_subset = isl_map_is_subset(map2, map1); in isl_map_is_strict_subset() 12063 sv = isl_map_is_subset(test, id); in isl_map_is_single_valued() 12130 is_identity = isl_map_is_subset(map, id); in isl_map_is_identity()
|
| H A D | isl_scheduler.c | 3287 local = isl_map_is_subset(map, test); in is_condition_false()
|
| H A D | isl_map_simplify.c | 3703 subset = isl_map_is_subset(context, map); in isl_map_gist()
|
| /netbsd-src/external/mit/isl/dist/include/isl/ |
| H A D | map.h | 608 isl_bool isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
|
| H A D | cpp-checked.h | 10241 auto res = isl_map_is_subset(get(), map2.get()); in is_subset()
|
| H A D | cpp.h | 12826 auto res = isl_map_is_subset(get(), map2.get()); in is_subset()
|
| /netbsd-src/external/mit/isl/dist/interface/ |
| H A D | isl.py | 9723 res = isl.isl_map_is_subset(arg0.ptr, arg1.ptr) 10374 isl.isl_map_is_subset.argtypes = [c_void_p, c_void_p]
|
| /netbsd-src/external/mit/isl/dist/doc/ |
| H A D | user.pod | 5335 isl_bool isl_map_is_subset(
|