/netbsd-current/external/mit/isl/dist/ |
H A D | isl_pw_union_opt.c | 185 isl_bool is_subset, is_empty; local 191 is_subset = isl_set_is_subset(set_j, set_i); 192 if (is_subset < 0) 194 if (!is_subset) 203 is_subset = isl_set_is_subset(set_i, better); 204 if (is_subset >= 0 && is_subset) 207 if (is_empty < 0 || is_subset < 0)
|
H A D | isl_test_python.py | 199 assert(list[0].is_subset(s)) 200 assert(list[1].is_subset(s)) 201 assert(list[2].is_subset(s)) 263 return s.is_subset(isl.set("{ A[x] }")) 267 return not s.is_subset(isl.set("{ A[x] }"))
|
H A D | isl_test_cpp-checked.cc | 149 assert(isl::set(basic_sets[0]).is_subset(s).is_true()); 150 assert(isl::set(basic_sets[1]).is_subset(s).is_true()); 151 assert(isl::set(basic_sets[2]).is_subset(s).is_true());
|
H A D | isl_test_cpp.cc | 100 assert(isl::set(basic_sets[0]).is_subset(s)); 101 assert(isl::set(basic_sets[1]).is_subset(s)); 102 assert(isl::set(basic_sets[2]).is_subset(s));
|
H A D | isl_map_subtract.c | 803 isl_bool is_subset = isl_bool_false; local 818 is_subset = isl_basic_map_contains_point(map2->p[i], point); 819 if (is_subset) 824 return is_subset; 830 isl_bool is_subset = isl_bool_false; local 867 is_subset = map_is_singleton_subset(map1, map2); 869 return is_subset; 871 is_subset = map_diff_is_empty(map1, map2); 874 return is_subset;
|
H A D | isl_union_map.c | 2642 isl_bool is_subset; member in struct:isl_union_map_is_subset_data 2662 data->is_subset = isl_bool_false; 2666 data->is_subset = isl_map_is_subset(map, entry2->data); 2667 if (data->is_subset < 0 || !data->is_subset) 2684 data.is_subset) 2687 return data.is_subset; 2699 isl_bool is_subset; local 2703 is_subset = isl_union_map_is_subset(umap1, umap2); 2704 if (is_subset ! 2719 isl_bool is_subset; local 2957 isl_bool is_subset; local [all...] |
H A D | isl_test_cpp-generic.cc | 213 return s.is_subset(isl::set(s.ctx(), "{ A[x] }")); 218 return !s.is_subset(isl::set(s.ctx(), "{ A[x] }"));
|
H A D | isl_schedule_node.c | 2898 isl_bool is_subset; local 2904 is_subset = isl_union_set_is_subset(test, data->domain); 2907 return is_subset; 3079 isl_bool is_subset; local 3082 is_subset = isl_union_set_is_subset(data->domain, domain); 3084 if (is_subset < 0) 3086 if (!is_subset) 3120 int is_subset; local 3124 is_subset = isl_union_set_is_subset(data->domain, domain); 3126 if (is_subset < 3736 int is_subset; local [all...] |
H A D | isl_fold.c | 1549 isl_bool is_subset; local 1561 is_subset = isl_set_is_subset(dom2, dom1); 1565 if (is_subset < 0 || !is_subset) 1566 return is_subset;
|
H A D | isl_map.c | 9176 isl_bool is_subset; local 9186 is_subset = isl_map_is_subset(map1, map2); 9191 return is_subset; 9203 isl_bool is_subset; local 9207 is_subset = isl_basic_map_is_subset(bmap1, bmap2); 9208 if (is_subset != isl_bool_true) 9209 return is_subset; 9210 is_subset = isl_basic_map_is_subset(bmap2, bmap1); 9211 return is_subset; 9306 isl_bool is_subset; local 9335 isl_bool is_subset; local 9349 isl_bool is_subset; local [all...] |
H A D | isl_test.c | 4175 isl_bool is_subset; local 4188 is_subset = isl_set_is_subset(set1, set2); 4193 if (is_subset < 0) 4195 if (!is_subset)
|
/netbsd-current/external/mit/isl/dist/include/isl/ |
H A D | cpp-checked.h | 1514 inline boolean is_subset(const isl::checked::basic_map &bmap2) const; 1515 inline boolean is_subset(const isl::checked::map &map2) const; 1516 inline boolean is_subset(const isl::checked::union_map &umap2) const; 1653 inline boolean is_subset(const isl::checked::basic_set &bset2) const; 1654 inline boolean is_subset(const isl::checked::set &set2) const; 1655 inline boolean is_subset(const isl::checked::union_set &uset2) const; 1656 inline boolean is_subset(const isl::checked::point &bset2) const; 2033 inline boolean is_subset(const isl::checked::map &map2) const; 2034 inline boolean is_subset(const isl::checked::union_map &umap2) const; 2035 inline boolean is_subset(cons 7992 boolean basic_map::is_subset(const isl::checked::basic_map &bmap2) const function in class:isl::checked::basic_map 7998 boolean basic_map::is_subset(const isl::checked::map &map2) const function in class:isl::checked::basic_map 8003 boolean basic_map::is_subset(const isl::checked::union_map &umap2) const function in class:isl::checked::basic_map 8635 boolean basic_set::is_subset(const isl::checked::basic_set &bset2) const function in class:isl::checked::basic_set 8641 boolean basic_set::is_subset(const isl::checked::set &set2) const function in class:isl::checked::basic_set 8646 boolean basic_set::is_subset(const isl::checked::union_set &uset2) const function in class:isl::checked::basic_set 8651 boolean basic_set::is_subset(const isl::checked::point &bset2) const function in class:isl::checked::basic_set 10239 boolean map::is_subset(const isl::checked::map &map2) const function in class:isl::checked::map 10245 boolean map::is_subset(const isl::checked::union_map &umap2) const function in class:isl::checked::map 10250 boolean map::is_subset(const isl::checked::basic_map &map2) const function in class:isl::checked::map 13257 boolean point::is_subset(const isl::checked::basic_set &bset2) const function in class:isl::checked::point 13262 boolean point::is_subset(const isl::checked::set &set2) const function in class:isl::checked::point 13267 boolean point::is_subset(const isl::checked::union_set &uset2) const function in class:isl::checked::point 17236 boolean set::is_subset(const isl::checked::set &set2) const function in class:isl::checked::set 17242 boolean set::is_subset(const isl::checked::union_set &uset2) const function in class:isl::checked::set 17247 boolean set::is_subset(const isl::checked::basic_set &set2) const function in class:isl::checked::set 17252 boolean set::is_subset(const isl::checked::point &set2) const function in class:isl::checked::set 18862 boolean union_map::is_subset(const isl::checked::union_map &umap2) const function in class:isl::checked::union_map 20245 boolean union_set::is_subset(const isl::checked::union_set &uset2) const function in class:isl::checked::union_set [all...] |
H A D | cpp.h | 1580 inline bool is_subset(const isl::basic_map &bmap2) const; 1581 inline bool is_subset(const isl::map &map2) const; 1582 inline bool is_subset(const isl::union_map &umap2) const; 1719 inline bool is_subset(const isl::basic_set &bset2) const; 1720 inline bool is_subset(const isl::set &set2) const; 1721 inline bool is_subset(const isl::union_set &uset2) const; 1722 inline bool is_subset(const isl::point &bset2) const; 2099 inline bool is_subset(const isl::map &map2) const; 2100 inline bool is_subset(const isl::union_map &umap2) const; 2101 inline bool is_subset(cons 9380 bool basic_map::is_subset(const isl::basic_map &bmap2) const function in class:isl::basic_map 9392 bool basic_map::is_subset(const isl::map &map2) const function in class:isl::basic_map 9399 bool basic_map::is_subset(const isl::union_map &umap2) const function in class:isl::basic_map 10333 bool basic_set::is_subset(const isl::basic_set &bset2) const function in class:isl::basic_set 10345 bool basic_set::is_subset(const isl::set &set2) const function in class:isl::basic_set 10352 bool basic_set::is_subset(const isl::union_set &uset2) const function in class:isl::basic_set 10359 bool basic_set::is_subset(const isl::point &bset2) const function in class:isl::basic_set 12820 bool map::is_subset(const isl::map &map2) const function in class:isl::map 12832 bool map::is_subset(const isl::union_map &umap2) const function in class:isl::map 12839 bool map::is_subset(const isl::basic_map &map2) const function in class:isl::map 17786 bool point::is_subset(const isl::basic_set &bset2) const function in class:isl::point 17793 bool point::is_subset(const isl::set &set2) const function in class:isl::point 17800 bool point::is_subset(const isl::union_set &uset2) const function in class:isl::point 24025 bool set::is_subset(const isl::set &set2) const function in class:isl::set 24037 bool set::is_subset(const isl::union_set &uset2) const function in class:isl::set 24044 bool set::is_subset(const isl::basic_set &set2) const function in class:isl::set 24051 bool set::is_subset(const isl::point &set2) const function in class:isl::set 26887 bool union_map::is_subset(const isl::union_map &umap2) const function in class:isl::union_map 29254 bool union_set::is_subset(const isl::union_set &uset2) const function in class:isl::union_set [all...] |
/netbsd-current/external/mit/isl/dist/interface/ |
H A D | isl.py | 8451 def is_subset(arg0, arg1): member in class:union_map 9711 def is_subset(arg0, arg1): member in class:map 9721 return union_map(arg0).is_subset(arg1) 10681 def is_subset(arg0, arg1): member in class:basic_map 10691 return map(arg0).is_subset(arg1) 11138 def is_subset(arg0, arg1): member in class:union_set 11820 def is_subset(arg0, arg1): member in class:set 11830 return union_set(arg0).is_subset(arg1) 12685 def is_subset(arg0, arg1): member in class:basic_set 12695 return set(arg0).is_subset(arg [all...] |