|
| | union_set ()=default |
| template<typename Arg1, typename Arg2, typename std::enable_if< std::is_base_of< Domain, Arg1 >{} &&std::is_base_of< Range, Arg2 >{}, bool >::type = true> |
| | union_set (const union_set< pair< Arg1, Arg2 > > &obj) |
| | union_set (const typed::basic_set< pair< Domain, Range > > &bset) |
| | union_set (const typed::point< pair< Domain, Range > > &pnt) |
| | union_set (const typed::set< pair< Domain, Range > > &set) |
| | union_set (const isl::ctx &ctx, const std::string &str) |
| template<typename Arg2> |
| typed::union_set< Arg2 > | apply (const typed::union_map< pair< Domain, Range >, Arg2 > &umap) const |
| template<typename Arg2> |
| typed::union_set< Arg2 > | apply (const typed::basic_map< pair< Domain, Range >, Arg2 > &umap) const |
| template<typename Arg2> |
| typed::union_set< Arg2 > | apply (const typed::map< pair< Domain, Range >, Arg2 > &umap) const |
| typed::set< pair< Domain, Range > > | as_set () const |
| typed::union_set< pair< Domain, Range > > | coalesce () const |
| typed::union_set< pair< Domain, Range > > | detect_equalities () const |
| typed::union_set< pair< Domain, Range > > | drop_unused_params () const |
| bool | every_set (const std::function< bool(typed::set< pair< Domain, Range > >)> &test) const |
| typed::set< pair< Domain, Range > > | extract_set (const typed::space< pair< Domain, Range > > &space) const |
| void | foreach_point (const std::function< void(typed::point< pair< Domain, Range > >)> &fn) const |
| void | foreach_set (const std::function< void(typed::set< pair< Domain, Range > >)> &fn) const |
| typed::union_set< pair< Domain, Range > > | gist (const typed::union_set< pair< Domain, Range > > &context) const |
| typed::union_set< pair< Domain, Range > > | gist (const typed::basic_set< pair< Domain, Range > > &context) const |
| typed::union_set< pair< Domain, Range > > | gist (const typed::point< pair< Domain, Range > > &context) const |
| typed::union_set< pair< Domain, Range > > | gist (const typed::set< pair< Domain, Range > > &context) const |
| typed::union_set< pair< Domain, Range > > | gist_params (const typed::set<> &set) const |
| typed::union_set< pair< Domain, Range > > | gist_params (const typed::basic_set<> &set) const |
| typed::union_set< pair< Domain, Range > > | gist_params (const typed::point<> &set) const |
| typed::union_map< pair< Domain, Range >, pair< Domain, Range > > | identity () const |
| typed::union_set< pair< Domain, Range > > | intersect (const typed::union_set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | intersect (const typed::basic_set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | intersect (const typed::point< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | intersect (const typed::set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | intersect_params (const typed::set<> &set) const |
| typed::union_set< pair< Domain, Range > > | intersect_params (const typed::basic_set<> &set) const |
| typed::union_set< pair< Domain, Range > > | intersect_params (const typed::point<> &set) const |
| typed::union_set< pair< Domain, Range > > | lexmax () const |
| typed::union_set< pair< Domain, Range > > | lexmin () const |
| typed::set | params () const |
| template<typename Domain2> |
| typed::union_set< Domain2 > | preimage (const typed::multi_aff< Domain2, pair< Domain, Range > > &ma) const |
| template<typename Domain2> |
| typed::union_set< Domain2 > | preimage (const typed::pw_multi_aff< Domain2, pair< Domain, Range > > &pma) const |
| template<typename Domain2> |
| typed::union_set< Domain2 > | preimage (const typed::union_pw_multi_aff< Domain2, pair< Domain, Range > > &upma) const |
| typed::union_set< pair< Domain, Range > > | project_out_all_params () const |
| typed::set_list< pair< Domain, Range > > | set_list () const |
| typed::set_list< pair< Domain, Range > > | get_set_list () const =delete |
| typed::space | space () const |
| typed::space< pair< Domain, Range > > | get_space () const =delete |
| typed::union_set< pair< Domain, Range > > | subtract (const typed::union_set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | subtract (const typed::basic_set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | subtract (const typed::point< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | subtract (const typed::set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | unite (const typed::union_set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | unite (const typed::basic_set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | unite (const typed::point< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | unite (const typed::set< pair< Domain, Range > > &uset2) const |
| typed::union_set< pair< Domain, Range > > | universe () const |
| typed::union_map< Domain, Range > | unwrap () const |
| | union_set () |
| | union_set (const union_set &obj) |
| | union_set (isl::checked::basic_set bset) |
| | union_set (isl::checked::point pnt) |
| | union_set (isl::checked::set set) |
| | union_set (isl::checked::ctx ctx, const std::string &str) |
| union_set & | operator= (union_set obj) |
| | ~union_set () |
| __isl_give isl_union_set * | copy () const & |
| __isl_give isl_union_set * | copy () &&=delete |
| __isl_keep isl_union_set * | get () const |
| __isl_give isl_union_set * | release () |
| bool | is_null () const |
| isl::checked::ctx | ctx () const |
| isl::checked::union_set | affine_hull () const |
| isl::checked::union_set | apply (isl::checked::union_map umap) const |
| isl::checked::set | as_set () const |
| isl::checked::union_set | coalesce () const |
| isl::checked::union_set | compute_divs () const |
| isl::checked::union_set | detect_equalities () const |
| isl::checked::union_set | drop_unused_params () const |
| boolean | every_set (const std::function< boolean(isl::checked::set)> &test) const |
| isl::checked::set | extract_set (isl::checked::space space) const |
| stat | foreach_point (const std::function< stat(isl::checked::point)> &fn) const |
| stat | foreach_set (const std::function< stat(isl::checked::set)> &fn) const |
| isl::checked::union_set | gist (isl::checked::union_set context) const |
| isl::checked::union_set | gist_params (isl::checked::set set) const |
| isl::checked::union_map | identity () const |
| isl::checked::union_set | intersect (isl::checked::union_set uset2) const |
| isl::checked::union_set | intersect_params (isl::checked::set set) const |
| boolean | is_disjoint (const isl::checked::union_set &uset2) const |
| boolean | is_empty () const |
| boolean | is_equal (const isl::checked::union_set &uset2) const |
| boolean | is_strict_subset (const isl::checked::union_set &uset2) const |
| boolean | is_subset (const isl::checked::union_set &uset2) const |
| boolean | isa_set () const |
| isl::checked::union_set | lexmax () const |
| isl::checked::union_set | lexmin () const |
| isl::checked::set | params () const |
| isl::checked::union_set | polyhedral_hull () const |
| isl::checked::union_set | preimage (isl::checked::multi_aff ma) const |
| isl::checked::union_set | preimage (isl::checked::pw_multi_aff pma) const |
| isl::checked::union_set | preimage (isl::checked::union_pw_multi_aff upma) const |
| isl::checked::union_set | project_out_all_params () const |
| isl::checked::point | sample_point () const |
| isl::checked::set_list | set_list () const |
| isl::checked::set_list | get_set_list () const |
| isl::checked::space | space () const |
| isl::checked::space | get_space () const |
| isl::checked::union_set | subtract (isl::checked::union_set uset2) const |
| isl::checked::union_set_list | to_list () const |
| isl::checked::union_set | unite (isl::checked::union_set uset2) const |
| isl::checked::union_set | universe () const |
| isl::checked::union_map | unwrap () const |
template<typename
Domain, typename
Range>
struct isl::typed::union_set< pair< Domain, Range > >
Definition at line 14027 of file typed_cpp.h.