Home
last modified time | relevance | path

Searched refs:is_subset (Results 1 – 14 of 14) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_pw_union_opt.c185 isl_bool is_subset, is_empty; in FN() local
191 is_subset = isl_set_is_subset(set_j, set_i); in FN()
192 if (is_subset < 0) in FN()
194 if (!is_subset) in FN()
203 is_subset = isl_set_is_subset(set_i, better); in FN()
204 if (is_subset >= 0 && is_subset) in FN()
207 if (is_empty < 0 || is_subset < 0) in FN()
H A Disl_map_subtract.c803 isl_bool is_subset = isl_bool_false; in map_is_singleton_subset() local
818 is_subset = isl_basic_map_contains_point(map2->p[i], point); in map_is_singleton_subset()
819 if (is_subset) in map_is_singleton_subset()
824 return is_subset; in map_is_singleton_subset()
830 isl_bool is_subset = isl_bool_false; in map_is_subset() local
867 is_subset = map_is_singleton_subset(map1, map2); in map_is_subset()
869 return is_subset; in map_is_subset()
871 is_subset = map_diff_is_empty(map1, map2); in map_is_subset()
874 return is_subset; in map_is_subset()
H A Disl_test_python.py199 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 Disl_test_cpp-checked.cc149 assert(isl::set(basic_sets[0]).is_subset(s).is_true()); in test_foreach()
150 assert(isl::set(basic_sets[1]).is_subset(s).is_true()); in test_foreach()
151 assert(isl::set(basic_sets[2]).is_subset(s).is_true()); in test_foreach()
H A Disl_test_cpp.cc100 assert(isl::set(basic_sets[0]).is_subset(s)); in test_foreach()
101 assert(isl::set(basic_sets[1]).is_subset(s)); in test_foreach()
102 assert(isl::set(basic_sets[2]).is_subset(s)); in test_foreach()
H A Disl_union_map.c2642 isl_bool is_subset; member
2662 data->is_subset = isl_bool_false; in is_subset_entry()
2666 data->is_subset = isl_map_is_subset(map, entry2->data); in is_subset_entry()
2667 if (data->is_subset < 0 || !data->is_subset) in is_subset_entry()
2684 data.is_subset) in isl_union_map_is_subset()
2687 return data.is_subset; in isl_union_map_is_subset()
2699 isl_bool is_subset; in isl_union_map_is_equal() local
2703 is_subset = isl_union_map_is_subset(umap1, umap2); in isl_union_map_is_equal()
2704 if (is_subset != isl_bool_true) in isl_union_map_is_equal()
2705 return is_subset; in isl_union_map_is_equal()
[all …]
H A Disl_schedule_node.c2898 isl_bool is_subset; in locally_covered_by_domain() local
2904 is_subset = isl_union_set_is_subset(test, data->domain); in locally_covered_by_domain()
2907 return is_subset; in locally_covered_by_domain()
3079 isl_bool is_subset; in group_domain() local
3082 is_subset = isl_union_set_is_subset(data->domain, domain); in group_domain()
3084 if (is_subset < 0) in group_domain()
3086 if (!is_subset) in group_domain()
3120 int is_subset; in group_expansion() local
3124 is_subset = isl_union_set_is_subset(data->domain, domain); in group_expansion()
3126 if (is_subset < 0) in group_expansion()
[all …]
H A Disl_test_cpp-generic.cc213 return s.is_subset(isl::set(s.ctx(), "{ A[x] }")); in test_every_generic()
218 return !s.is_subset(isl::set(s.ctx(), "{ A[x] }")); in test_every_generic()
H A Disl_fold.c1549 isl_bool is_subset; in isl_pw_qpolynomial_fold_covers() local
1561 is_subset = isl_set_is_subset(dom2, dom1); in isl_pw_qpolynomial_fold_covers()
1565 if (is_subset < 0 || !is_subset) in isl_pw_qpolynomial_fold_covers()
1566 return is_subset; in isl_pw_qpolynomial_fold_covers()
H A Disl_map.c9176 isl_bool is_subset; in isl_basic_map_is_subset() local
9186 is_subset = isl_map_is_subset(map1, map2); in isl_basic_map_is_subset()
9191 return is_subset; in isl_basic_map_is_subset()
9203 isl_bool is_subset; in isl_basic_map_is_equal() local
9207 is_subset = isl_basic_map_is_subset(bmap1, bmap2); in isl_basic_map_is_equal()
9208 if (is_subset != isl_bool_true) in isl_basic_map_is_equal()
9209 return is_subset; in isl_basic_map_is_equal()
9210 is_subset = isl_basic_map_is_subset(bmap2, bmap1); in isl_basic_map_is_equal()
9211 return is_subset; in isl_basic_map_is_equal()
9306 isl_bool is_subset; in map_is_equal() local
[all …]
H A Disl_test.c4175 isl_bool is_subset; in test_subset_duplicate_integer_divisions() local
4188 is_subset = isl_set_is_subset(set1, set2); in test_subset_duplicate_integer_divisions()
4193 if (is_subset < 0) in test_subset_duplicate_integer_divisions()
4195 if (!is_subset) in test_subset_duplicate_integer_divisions()
/netbsd-src/external/mit/isl/dist/include/isl/
H A Dcpp-checked.h1514 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(const isl::checked::basic_map &map2) const;
[all …]
H A Dcpp.h1580 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(const isl::basic_map &map2) const;
[all …]
/netbsd-src/external/mit/isl/dist/interface/
H A Disl.py8451 def is_subset(arg0, arg1): member in union_map
9711 def is_subset(arg0, arg1): member in map
9721 return union_map(arg0).is_subset(arg1)
10681 def is_subset(arg0, arg1): member in basic_map
10691 return map(arg0).is_subset(arg1)
11138 def is_subset(arg0, arg1): member in union_set
11820 def is_subset(arg0, arg1): member in set
11830 return union_set(arg0).is_subset(arg1)
12685 def is_subset(arg0, arg1): member in basic_set
12695 return set(arg0).is_subset(arg1)