Polly 24.0.0git
isl::typed::union_set<> Struct Reference

#include <typed_cpp.h>

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

Public Member Functions

 union_set ()=default
 union_set (const typed::basic_set<> &bset)
 union_set (const typed::point<> &pnt)
 union_set (const typed::set<> &set)
 union_set (const isl::ctx &ctx, const std::string &str)
typed::union_set apply (const typed::union_map<> &umap) const =delete
typed::union_set apply (const typed::basic_map<> &umap) const =delete
typed::union_set apply (const typed::map<> &umap) const =delete
typed::set as_set () const =delete
typed::union_set coalesce () const
typed::union_set detect_equalities () const
typed::union_set drop_unused_params () const
bool every_set (const std::function< bool(typed::set<>)> &test) const
typed::set extract_set (const typed::space<> &space) const
void foreach_point (const std::function< void(typed::point<>)> &fn) const
void foreach_set (const std::function< void(typed::set<>)> &fn) const
typed::union_set gist (const typed::union_set<> &context) const
typed::union_set gist (const typed::basic_set<> &context) const
typed::union_set gist (const typed::point<> &context) const
typed::union_set gist (const typed::set<> &context) const
typed::union_set gist_params (const typed::set<> &set) const =delete
typed::union_set gist_params (const typed::basic_set<> &set) const =delete
typed::union_set gist_params (const typed::point<> &set) const =delete
typed::union_map identity () const =delete
typed::union_set intersect (const typed::union_set<> &uset2) const
typed::union_set intersect (const typed::basic_set<> &uset2) const
typed::union_set intersect (const typed::point<> &uset2) const
typed::union_set intersect (const typed::set<> &uset2) const
typed::union_set intersect_params (const typed::set<> &set) const =delete
typed::union_set intersect_params (const typed::basic_set<> &set) const =delete
typed::union_set intersect_params (const typed::point<> &set) const =delete
typed::union_set lexmax () const =delete
typed::union_set lexmin () const =delete
typed::set params () const =delete
typed::union_set preimage (const typed::multi_aff<> &ma) const =delete
typed::union_set preimage (const typed::pw_multi_aff<> &pma) const =delete
typed::union_set preimage (const typed::union_pw_multi_aff<> &upma) const =delete
typed::union_set project_out_all_params () const
typed::set_list set_list () const
typed::set_list get_set_list () const =delete
typed::space space () const
typed::space get_space () const =delete
typed::union_set subtract (const typed::union_set<> &uset2) const
typed::union_set subtract (const typed::basic_set<> &uset2) const
typed::union_set subtract (const typed::point<> &uset2) const
typed::union_set subtract (const typed::set<> &uset2) const
typed::union_set unite (const typed::union_set<> &uset2) const
typed::union_set unite (const typed::basic_set<> &uset2) const
typed::union_set unite (const typed::point<> &uset2) const
typed::union_set unite (const typed::set<> &uset2) const
typed::union_set universe () const
typed::union_map 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_setoperator= (union_set obj)
 ~union_set ()
__isl_give isl_union_setcopy () const &
__isl_give isl_union_setcopy () &&=delete
__isl_keep isl_union_setget () const
__isl_give isl_union_setrelease ()
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 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_setptr = nullptr

Detailed Description

Definition at line 13762 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ union_set() [1/6]

isl::typed::union_set<>::union_set ( )
default

◆ union_set() [2/6]

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

Definition at line 13829 of file typed_cpp.h.

References obj, and union_set.

◆ union_set() [3/6]

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

◆ union_set() [4/6]

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

◆ union_set() [5/6]

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

References set.

◆ union_set() [6/6]

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

Member Function Documentation

◆ apply() [1/3]

typed::union_set isl::typed::union_set<>::apply ( const typed::basic_map<> & umap) const
inlinedelete

◆ apply() [2/3]

typed::union_set isl::typed::union_set<>::apply ( const typed::map<> & umap) const
inlinedelete

◆ apply() [3/3]

typed::union_set isl::typed::union_set<>::apply ( const typed::union_map<> & umap) const
inlinedelete

◆ as_set()

typed::set isl::typed::union_set<>::as_set ( ) const
inlinedelete

◆ coalesce()

typed::union_set isl::typed::union_set<>::coalesce ( ) const
inline

◆ detect_equalities()

typed::union_set isl::typed::union_set<>::detect_equalities ( ) const
inline

◆ drop_unused_params()

typed::union_set isl::typed::union_set<>::drop_unused_params ( ) const
inline

◆ empty()

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

◆ every_set()

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

References test.

◆ extract_set()

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

References space.

◆ foreach_point()

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

References fn.

◆ foreach_set()

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

References fn.

◆ from()

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

Definition at line 13831 of file typed_cpp.h.

References obj, and union_set.

◆ get_set_list()

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

◆ get_space()

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

◆ gist() [1/4]

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

References context.

◆ gist() [2/4]

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

References context.

◆ gist() [3/4]

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

References context.

◆ gist() [4/4]

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

References context.

◆ gist_params() [1/3]

typed::union_set isl::typed::union_set<>::gist_params ( const typed::basic_set<> & set) const
inlinedelete

References set.

◆ gist_params() [2/3]

typed::union_set isl::typed::union_set<>::gist_params ( const typed::point<> & set) const
inlinedelete

References set.

◆ gist_params() [3/3]

typed::union_set isl::typed::union_set<>::gist_params ( const typed::set<> & set) const
inlinedelete

References set.

◆ identity()

typed::union_map isl::typed::union_set<>::identity ( ) const
inlinedelete

◆ intersect() [1/4]

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

◆ intersect() [2/4]

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

◆ intersect() [3/4]

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

◆ intersect() [4/4]

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

◆ intersect_params() [1/3]

typed::union_set isl::typed::union_set<>::intersect_params ( const typed::basic_set<> & set) const
inlinedelete

References set.

◆ intersect_params() [2/3]

typed::union_set isl::typed::union_set<>::intersect_params ( const typed::point<> & set) const
inlinedelete

References set.

◆ intersect_params() [3/3]

typed::union_set isl::typed::union_set<>::intersect_params ( const typed::set<> & set) const
inlinedelete

References set.

◆ lexmax()

typed::union_set isl::typed::union_set<>::lexmax ( ) const
inlinedelete

◆ lexmin()

typed::union_set isl::typed::union_set<>::lexmin ( ) const
inlinedelete

◆ params()

typed::set isl::typed::union_set<>::params ( ) const
inlinedelete

◆ preimage() [1/3]

typed::union_set isl::typed::union_set<>::preimage ( const typed::multi_aff<> & ma) const
inlinedelete

References ma.

◆ preimage() [2/3]

typed::union_set isl::typed::union_set<>::preimage ( const typed::pw_multi_aff<> & pma) const
inlinedelete

References pma.

◆ preimage() [3/3]

typed::union_set isl::typed::union_set<>::preimage ( const typed::union_pw_multi_aff<> & upma) const
inlinedelete

◆ project_out_all_params()

typed::union_set isl::typed::union_set<>::project_out_all_params ( ) const
inline

◆ set_list()

typed::set_list isl::typed::union_set<>::set_list ( ) const
inline

◆ space()

typed::space isl::typed::union_set<>::space ( ) const
inline

◆ subtract() [1/4]

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

◆ subtract() [2/4]

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

◆ subtract() [3/4]

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

◆ subtract() [4/4]

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

◆ unite() [1/4]

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

◆ unite() [2/4]

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

◆ unite() [3/4]

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

◆ unite() [4/4]

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

◆ universe()

typed::union_set isl::typed::union_set<>::universe ( ) const
inline

◆ unwrap()

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

◆ aff

template<typename...>
friend struct aff
friend

Definition at line 13764 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename...>
friend struct aff_list
friend

Definition at line 13766 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename...>
friend struct basic_map
friend

Definition at line 13768 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename...>
friend struct basic_set
friend

Definition at line 13770 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename...>
friend struct fixed_box
friend

Definition at line 13772 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename...>
friend struct id
friend

Definition at line 13774 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename...>
friend struct id_list
friend

Definition at line 13776 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename...>
friend struct map
friend

Definition at line 13778 of file typed_cpp.h.

References map.

Referenced by map.

◆ map_list

template<typename...>
friend struct map_list
friend

Definition at line 13780 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename...>
friend struct multi_aff
friend

Definition at line 13782 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename...>
friend struct multi_id
friend

Definition at line 13784 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename...>
friend struct multi_pw_aff
friend

Definition at line 13786 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename...>
friend struct multi_union_pw_aff
friend

Definition at line 13788 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename...>
friend struct multi_val
friend

Definition at line 13790 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename...>
friend struct point
friend

Definition at line 13792 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename...>
friend struct pw_aff
friend

Definition at line 13794 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename...>
friend struct pw_aff_list
friend

Definition at line 13796 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename...>
friend struct pw_multi_aff
friend

Definition at line 13798 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename...>
friend struct pw_multi_aff_list
friend

Definition at line 13800 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename...>
friend struct set
friend

◆ set_list

template<typename...>
friend struct set_list
friend

Definition at line 13804 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename...>
friend struct space
friend

Definition at line 13806 of file typed_cpp.h.

References space.

Referenced by extract_set(), and space.

◆ union_map

template<typename...>
friend struct union_map
friend

Definition at line 13808 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename...>
friend struct union_pw_aff
friend

Definition at line 13810 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename...>
friend struct union_pw_aff_list
friend

Definition at line 13812 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename...>
friend struct union_pw_multi_aff
friend

Definition at line 13814 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename...>
friend struct union_set
friend

Definition at line 13816 of file typed_cpp.h.

References union_set.

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

◆ union_set_list

template<typename...>
friend struct union_set_list
friend

Definition at line 13818 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename...>
friend struct val
friend

Definition at line 13820 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename...>
friend struct val_list
friend

Definition at line 13822 of file typed_cpp.h.

References val_list.

Referenced by val_list.


The documentation for this struct was generated from the following file: