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

/netbsd-current/external/mit/isl/dist/
H A Disl_pw_union_opt.c185 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 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());
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 Disl_test_cpp.cc100 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 Disl_map_subtract.c803 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 Disl_union_map.c2642 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 Disl_test_cpp-generic.cc213 return s.is_subset(isl::set(s.ctx(), "{ A[x] }"));
218 return !s.is_subset(isl::set(s.ctx(), "{ A[x] }"));
H A Disl_schedule_node.c2898 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 Disl_fold.c1549 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 Disl_map.c9176 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 Disl_test.c4175 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 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(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 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(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 Disl.py8451 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...]

Completed in 686 milliseconds