Polly 24.0.0git
Public Member Functions | Static Public Member Functions | Private Member Functions | Friends | List of all members
isl::typed::union_set< Domain > Struct Template Reference

#include <typed_cpp.h>

Inheritance diagram for isl::typed::union_set< Domain >:
[legend]

Public Member Functions

 union_set ()=default
template<typename Arg1, typename std::enable_if< std::is_base_of< Domain, Arg1 >{}, bool >::type = true>
 union_set (const union_set< Arg1 > &obj)
 union_set (const typed::basic_set< Domain > &bset)
 union_set (const typed::point< Domain > &pnt)
 union_set (const typed::set< Domain > &set)
 union_set (const isl::ctx &ctx, const std::string &str)
template<typename Range>
typed::union_set< Range > apply (const typed::union_map< Domain, Range > &umap) const
template<typename Range>
typed::union_set< Range > apply (const typed::basic_map< Domain, Range > &umap) const
template<typename Range>
typed::union_set< Range > apply (const typed::map< Domain, Range > &umap) const
typed::set< Domain > as_set () const
typed::union_set< Domain > coalesce () const
typed::union_set< Domain > detect_equalities () const
typed::union_set< Domain > drop_unused_params () const
bool every_set (const std::function< bool(typed::set< Domain >)> &test) const
typed::set< Domain > extract_set (const typed::space< Domain > &space) const
void foreach_point (const std::function< void(typed::point< Domain >)> &fn) const
void foreach_set (const std::function< void(typed::set< Domain >)> &fn) const
typed::union_set< Domain > gist (const typed::union_set< Domain > &context) const
typed::union_set< Domain > gist (const typed::basic_set< Domain > &context) const
typed::union_set< Domain > gist (const typed::point< Domain > &context) const
typed::union_set< Domain > gist (const typed::set< Domain > &context) const
typed::union_set< Domain > gist_params (const typed::set<> &set) const
typed::union_set< Domain > gist_params (const typed::basic_set<> &set) const
typed::union_set< Domain > gist_params (const typed::point<> &set) const
typed::union_map< Domain, Domain > identity () const
typed::union_set< Domain > intersect (const typed::union_set< Domain > &uset2) const
typed::union_set< Domain > intersect (const typed::basic_set< Domain > &uset2) const
typed::union_set< Domain > intersect (const typed::point< Domain > &uset2) const
typed::union_set< Domain > intersect (const typed::set< Domain > &uset2) const
typed::union_set< Domain > intersect_params (const typed::set<> &set) const
typed::union_set< Domain > intersect_params (const typed::basic_set<> &set) const
typed::union_set< Domain > intersect_params (const typed::point<> &set) const
typed::union_set< Domain > lexmax () const
typed::union_set< Domain > lexmin () const
typed::set params () const
template<typename Domain2>
typed::union_set< Domain2 > preimage (const typed::multi_aff< Domain2, Domain > &ma) const
template<typename Domain2>
typed::union_set< Domain2 > preimage (const typed::pw_multi_aff< Domain2, Domain > &pma) const
template<typename Domain2>
typed::union_set< Domain2 > preimage (const typed::union_pw_multi_aff< Domain2, Domain > &upma) const
typed::union_set< Domain > project_out_all_params () const
typed::set_list< Domain > set_list () const
typed::set_list< Domain > get_set_list () const =delete
typed::space space () const
typed::space< Domain > get_space () const =delete
typed::union_set< Domain > subtract (const typed::union_set< Domain > &uset2) const
typed::union_set< Domain > subtract (const typed::basic_set< Domain > &uset2) const
typed::union_set< Domain > subtract (const typed::point< Domain > &uset2) const
typed::union_set< Domain > subtract (const typed::set< Domain > &uset2) const
typed::union_set< Domain > unite (const typed::union_set< Domain > &uset2) const
typed::union_set< Domain > unite (const typed::basic_set< Domain > &uset2) const
typed::union_set< Domain > unite (const typed::point< Domain > &uset2) const
typed::union_set< Domain > unite (const typed::set< Domain > &uset2) const
typed::union_set< Domain > universe () const
typed::union_map< Domain > unwrap () const =delete
Public Member Functions inherited from isl::checked::union_set
 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

Static Public Member Functions

static union_set from (const isl::union_set &obj)
static typed::union_set< Domain > empty (const isl::ctx &ctx)
Static Public Member Functions inherited from isl::checked::union_set
static isl::checked::union_set empty (isl::checked::ctx ctx)

Private Member Functions

template<typename base, typename std::enable_if< std::is_same< base, isl::union_set >{}, bool >::type = true>
 union_set (const base &obj)

Friends

template<typename...>
struct aff
template<typename...>
struct aff_list
template<typename...>
struct basic_map
template<typename...>
struct basic_set
template<typename...>
struct fixed_box
template<typename...>
struct id
template<typename...>
struct id_list
template<typename...>
struct map
template<typename...>
struct map_list
template<typename...>
struct multi_aff
template<typename...>
struct multi_id
template<typename...>
struct multi_pw_aff
template<typename...>
struct multi_union_pw_aff
template<typename...>
struct multi_val
template<typename...>
struct point
template<typename...>
struct pw_aff
template<typename...>
struct pw_aff_list
template<typename...>
struct pw_multi_aff
template<typename...>
struct pw_multi_aff_list
template<typename...>
struct set
template<typename...>
struct set_list
template<typename...>
struct space
template<typename...>
struct union_map
template<typename...>
struct union_pw_aff
template<typename...>
struct union_pw_aff_list
template<typename...>
struct union_pw_multi_aff
template<typename...>
struct union_set
template<typename...>
struct union_set_list
template<typename...>
struct val
template<typename...>
struct val_list

Additional Inherited Members

Protected Member Functions inherited from isl::checked::union_set
 union_set (__isl_take isl_union_set *ptr)
Protected Attributes inherited from isl::checked::union_set
isl_union_set * ptr = nullptr

Detailed Description

template<typename Domain>
struct isl::typed::union_set< Domain >

Definition at line 13889 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ union_set() [1/7]

template<typename Domain>
isl::typed::union_set< Domain >::union_set ( )
default

◆ union_set() [2/7]

template<typename Domain>
template<typename Arg1, typename std::enable_if< std::is_base_of< Domain, Arg1 >{}, bool >::type = true>
isl::typed::union_set< Domain >::union_set ( const union_set< Arg1 > & obj)
inline

Definition at line 13956 of file typed_cpp.h.

References obj, and union_set.

◆ union_set() [3/7]

template<typename Domain>
template<typename base, typename std::enable_if< std::is_same< base, isl::union_set >{}, bool >::type = true>
isl::typed::union_set< Domain >::union_set ( const base & obj)
inlineprivate

Definition at line 13961 of file typed_cpp.h.

References obj, and union_set.

◆ union_set() [4/7]

template<typename Domain>
isl::typed::union_set< Domain >::union_set ( const typed::basic_set< Domain > & bset)
inline

◆ union_set() [5/7]

template<typename Domain>
isl::typed::union_set< Domain >::union_set ( const typed::point< Domain > & pnt)
inline

◆ union_set() [6/7]

template<typename Domain>
isl::typed::union_set< Domain >::union_set ( const typed::set< Domain > & set)
inline

References set.

◆ union_set() [7/7]

template<typename Domain>
isl::typed::union_set< Domain >::union_set ( const isl::ctx & ctx,
const std::string & str )
inlineexplicit

References isl::checked::union_set::ctx(), and str.

Member Function Documentation

◆ apply() [1/3]

template<typename Domain>
template<typename Range>
typed::union_set< Range > isl::typed::union_set< Domain >::apply ( const typed::basic_map< Domain, Range > & umap) const
inline

◆ apply() [2/3]

template<typename Domain>
template<typename Range>
typed::union_set< Range > isl::typed::union_set< Domain >::apply ( const typed::map< Domain, Range > & umap) const
inline

◆ apply() [3/3]

template<typename Domain>
template<typename Range>
typed::union_set< Range > isl::typed::union_set< Domain >::apply ( const typed::union_map< Domain, Range > & umap) const
inline

◆ as_set()

template<typename Domain>
typed::set< Domain > isl::typed::union_set< Domain >::as_set ( ) const
inline

◆ coalesce()

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::coalesce ( ) const
inline

◆ detect_equalities()

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::detect_equalities ( ) const
inline

◆ drop_unused_params()

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::drop_unused_params ( ) const
inline

◆ empty()

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::empty ( const isl::ctx & ctx)
inlinestatic

References isl::checked::union_set::ctx().

◆ every_set()

template<typename Domain>
bool isl::typed::union_set< Domain >::every_set ( const std::function< bool(typed::set< Domain >)> & test) const
inline

References test.

◆ extract_set()

template<typename Domain>
typed::set< Domain > isl::typed::union_set< Domain >::extract_set ( const typed::space< Domain > & space) const
inline

References space.

◆ foreach_point()

template<typename Domain>
void isl::typed::union_set< Domain >::foreach_point ( const std::function< void(typed::point< Domain >)> & fn) const
inline

References fn.

◆ foreach_set()

template<typename Domain>
void isl::typed::union_set< Domain >::foreach_set ( const std::function< void(typed::set< Domain >)> & fn) const
inline

References fn.

◆ from()

template<typename Domain>
union_set isl::typed::union_set< Domain >::from ( const isl::union_set< Domain > & obj)
inlinestatic

Definition at line 13963 of file typed_cpp.h.

References obj, and union_set.

◆ get_set_list()

template<typename Domain>
typed::set_list< Domain > isl::typed::union_set< Domain >::get_set_list ( ) const
inlinedelete

◆ get_space()

template<typename Domain>
typed::space< Domain > isl::typed::union_set< Domain >::get_space ( ) const
inlinedelete

◆ gist() [1/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::gist ( const typed::basic_set< Domain > & context) const
inline

References context.

◆ gist() [2/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::gist ( const typed::point< Domain > & context) const
inline

References context.

◆ gist() [3/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::gist ( const typed::set< Domain > & context) const
inline

References context.

◆ gist() [4/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::gist ( const typed::union_set< Domain > & context) const
inline

References context.

◆ gist_params() [1/3]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::gist_params ( const typed::basic_set<> & set) const
inline

References set.

◆ gist_params() [2/3]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::gist_params ( const typed::point<> & set) const
inline

References set.

◆ gist_params() [3/3]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::gist_params ( const typed::set<> & set) const
inline

References set.

◆ identity()

template<typename Domain>
typed::union_map< Domain, Domain > isl::typed::union_set< Domain >::identity ( ) const
inline

◆ intersect() [1/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::intersect ( const typed::basic_set< Domain > & uset2) const
inline

◆ intersect() [2/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::intersect ( const typed::point< Domain > & uset2) const
inline

◆ intersect() [3/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::intersect ( const typed::set< Domain > & uset2) const
inline

◆ intersect() [4/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::intersect ( const typed::union_set< Domain > & uset2) const
inline

◆ intersect_params() [1/3]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::intersect_params ( const typed::basic_set<> & set) const
inline

References set.

◆ intersect_params() [2/3]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::intersect_params ( const typed::point<> & set) const
inline

References set.

◆ intersect_params() [3/3]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::intersect_params ( const typed::set<> & set) const
inline

References set.

◆ lexmax()

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::lexmax ( ) const
inline

◆ lexmin()

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::lexmin ( ) const
inline

◆ params()

template<typename Domain>
typed::set isl::typed::union_set< Domain >::params ( ) const
inline

◆ preimage() [1/3]

template<typename Domain>
template<typename Domain2>
typed::union_set< Domain2 > isl::typed::union_set< Domain >::preimage ( const typed::multi_aff< Domain2, Domain > & ma) const
inline

References ma.

◆ preimage() [2/3]

template<typename Domain>
template<typename Domain2>
typed::union_set< Domain2 > isl::typed::union_set< Domain >::preimage ( const typed::pw_multi_aff< Domain2, Domain > & pma) const
inline

References pma.

◆ preimage() [3/3]

template<typename Domain>
template<typename Domain2>
typed::union_set< Domain2 > isl::typed::union_set< Domain >::preimage ( const typed::union_pw_multi_aff< Domain2, Domain > & upma) const
inline

◆ project_out_all_params()

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::project_out_all_params ( ) const
inline

◆ set_list()

template<typename Domain>
typed::set_list< Domain > isl::typed::union_set< Domain >::set_list ( ) const
inline

◆ space()

template<typename Domain>
typed::space isl::typed::union_set< Domain >::space ( ) const
inline

◆ subtract() [1/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::subtract ( const typed::basic_set< Domain > & uset2) const
inline

◆ subtract() [2/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::subtract ( const typed::point< Domain > & uset2) const
inline

◆ subtract() [3/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::subtract ( const typed::set< Domain > & uset2) const
inline

◆ subtract() [4/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::subtract ( const typed::union_set< Domain > & uset2) const
inline

◆ unite() [1/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::unite ( const typed::basic_set< Domain > & uset2) const
inline

◆ unite() [2/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::unite ( const typed::point< Domain > & uset2) const
inline

◆ unite() [3/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::unite ( const typed::set< Domain > & uset2) const
inline

◆ unite() [4/4]

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::unite ( const typed::union_set< Domain > & uset2) const
inline

◆ universe()

template<typename Domain>
typed::union_set< Domain > isl::typed::union_set< Domain >::universe ( ) const
inline

◆ unwrap()

template<typename Domain>
typed::union_map< Domain > isl::typed::union_set< Domain >::unwrap ( ) const
inlinedelete

◆ aff

template<typename Domain>
template<typename...>
friend struct aff
friend

Definition at line 13891 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename Domain>
template<typename...>
friend struct aff_list
friend

Definition at line 13893 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename Domain>
template<typename...>
friend struct basic_map
friend

Definition at line 13895 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename Domain>
template<typename...>
friend struct basic_set
friend

Definition at line 13897 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename Domain>
template<typename...>
friend struct fixed_box
friend

Definition at line 13899 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename Domain>
template<typename...>
friend struct id
friend

Definition at line 13901 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename Domain>
template<typename...>
friend struct id_list
friend

Definition at line 13903 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename Domain>
template<typename...>
friend struct map
friend

Definition at line 13905 of file typed_cpp.h.

References map.

Referenced by map.

◆ map_list

template<typename Domain>
template<typename...>
friend struct map_list
friend

Definition at line 13907 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename Domain>
template<typename...>
friend struct multi_aff
friend

Definition at line 13909 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename Domain>
template<typename...>
friend struct multi_id
friend

Definition at line 13911 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename Domain>
template<typename...>
friend struct multi_pw_aff
friend

Definition at line 13913 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename Domain>
template<typename...>
friend struct multi_union_pw_aff
friend

Definition at line 13915 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename Domain>
template<typename...>
friend struct multi_val
friend

Definition at line 13917 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename Domain>
template<typename...>
friend struct point
friend

Definition at line 13919 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename Domain>
template<typename...>
friend struct pw_aff
friend

Definition at line 13921 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename Domain>
template<typename...>
friend struct pw_aff_list
friend

Definition at line 13923 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename Domain>
template<typename...>
friend struct pw_multi_aff
friend

Definition at line 13925 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename Domain>
template<typename...>
friend struct pw_multi_aff_list
friend

Definition at line 13927 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename Domain>
template<typename...>
friend struct set
friend

Definition at line 13929 of file typed_cpp.h.

References set.

Referenced by gist_params(), gist_params(), gist_params(), intersect_params(), intersect_params(), intersect_params(), set, and union_set().

◆ set_list

template<typename Domain>
template<typename...>
friend struct set_list
friend

Definition at line 13931 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename Domain>
template<typename...>
friend struct space
friend

Definition at line 13933 of file typed_cpp.h.

References space.

Referenced by extract_set(), and space.

◆ union_map

template<typename Domain>
template<typename...>
friend struct union_map
friend

Definition at line 13935 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename Domain>
template<typename...>
friend struct union_pw_aff
friend

Definition at line 13937 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename Domain>
template<typename...>
friend struct union_pw_aff_list
friend

Definition at line 13939 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename Domain>
template<typename...>
friend struct union_pw_multi_aff
friend

Definition at line 13941 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename Domain>
template<typename...>
friend struct union_set
friend

Definition at line 13943 of file typed_cpp.h.

References union_set.

Referenced by from(), union_set, union_set(), and union_set().

◆ union_set_list

template<typename Domain>
template<typename...>
friend struct union_set_list
friend

Definition at line 13945 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename Domain>
template<typename...>
friend struct val
friend

Definition at line 13947 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename Domain>
template<typename...>
friend struct val_list
friend

Definition at line 13949 of file typed_cpp.h.

References val_list.

Referenced by val_list.

The documentation for this struct was generated from the following file:
Generated on for Polly by doxygen 1.14.0