Polly 23.0.0git
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Friends | List of all members
isl::checked::union_set Class Reference

#include <cpp-checked.h>

Inheritance diagram for isl::checked::union_set:
[legend]

Public Member Functions

 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 isl::checked::union_set empty (isl::checked::ctx ctx)

Protected Member Functions

 union_set (__isl_take isl_union_set *ptr)

Protected Attributes

isl_union_set * ptr = nullptr

Friends

union_set manage (__isl_take isl_union_set *ptr)
union_set manage_copy (__isl_keep isl_union_set *ptr)

Detailed Description

Definition at line 4264 of file cpp-checked.h.

Constructor & Destructor Documentation

◆ union_set() [1/7]

isl::union_set::union_set ( __isl_take isl_union_set * ptr)
inlineexplicitprotected

Definition at line 20040 of file cpp-checked.h.

References __isl_take, isl_union_set, and ptr.

Referenced by copy(), manage, manage_copy, operator=(), and union_set().

◆ union_set() [2/7]

isl::union_set::union_set ( )
inline

Definition at line 20043 of file cpp-checked.h.

References ptr.

◆ union_set() [3/7]

isl::union_set::union_set ( const union_set & obj)
inline

Definition at line 20046 of file cpp-checked.h.

References obj, ptr, and union_set().

◆ union_set() [4/7]

isl::union_set::union_set ( isl::checked::basic_set bset)
inline

Definition at line 20052 of file cpp-checked.h.

References isl_union_set_from_basic_set(), ptr, isl::checked::basic_set::release(), and res.

◆ union_set() [5/7]

isl::union_set::union_set ( isl::checked::point pnt)
inline

Definition at line 20058 of file cpp-checked.h.

References isl_union_set_from_point(), ptr, isl::checked::point::release(), and res.

◆ union_set() [6/7]

isl::union_set::union_set ( isl::checked::set set)
inline

Definition at line 20064 of file cpp-checked.h.

References isl_union_set_from_set(), ptr, isl::checked::set::release(), and res.

◆ union_set() [7/7]

isl::union_set::union_set ( isl::checked::ctx ctx,
const std::string & str )
inlineexplicit

Definition at line 20070 of file cpp-checked.h.

References ctx(), isl_union_set_read_from_str(), ptr, res, and str.

◆ ~union_set()

isl::union_set::~union_set ( )
inline

Definition at line 20081 of file cpp-checked.h.

References isl_union_set_free(), and ptr.

Member Function Documentation

◆ affine_hull()

isl::union_set isl::union_set::affine_hull ( ) const
inline

Definition at line 20108 of file cpp-checked.h.

References copy(), isl_union_set_affine_hull(), manage, and res.

Referenced by copy().

◆ apply()

isl::union_set isl::union_set::apply ( isl::checked::union_map umap) const
inline

Definition at line 20114 of file cpp-checked.h.

References copy(), isl_union_set_apply(), manage, isl::checked::union_map::release(), and res.

Referenced by isl::checked::set::apply(), and copy().

◆ as_set()

isl::set isl::union_set::as_set ( ) const
inline

Definition at line 20120 of file cpp-checked.h.

References copy(), isl_union_set_as_set(), manage, and res.

Referenced by isl::checked::set::as_set(), and copy().

◆ coalesce()

isl::union_set isl::union_set::coalesce ( ) const
inline

Definition at line 20126 of file cpp-checked.h.

References copy(), isl_union_set_coalesce(), manage, and res.

Referenced by copy(), polly::Scop::restrictDomains(), and polly::simplify().

◆ compute_divs()

isl::union_set isl::union_set::compute_divs ( ) const
inline

Definition at line 20132 of file cpp-checked.h.

References copy(), isl_union_set_compute_divs(), manage, and res.

Referenced by isl::checked::set::compute_divs(), and copy().

◆ copy() [1/2]

__isl_give isl_union_set * isl::checked::union_set::copy ( ) &&
inlinedelete

References __isl_give, __isl_keep, __isl_take, affine_hull(), apply(), as_set(), coalesce(), compute_divs(), context, copy(), ctx(), detect_equalities(), drop_unused_params(), empty(), every_set(), extract_set(), fn, foreach_point(), foreach_set(), get(), get_set_list(), get_space(), gist(), gist_params(), identity(), intersect(), intersect_params(), is_disjoint(), is_empty(), is_equal(), is_null(), is_strict_subset(), is_subset(), isa_set(), isl_union_set, isl_union_set_list, lexmax(), lexmin(), ma, manage, manage_copy, params(), pma, polyhedral_hull(), preimage(), project_out_all_params(), ptr, release(), sample_point(), set_list(), space(), subtract(), test, to_list(), union_set(), unite(), universe(), and unwrap().

◆ copy() [2/2]

__isl_give isl_union_set * isl::union_set::copy ( ) const &
inline

Definition at line 20086 of file cpp-checked.h.

References __isl_give, isl_union_set, isl_union_set_copy(), and ptr.

Referenced by affine_hull(), apply(), as_set(), coalesce(), compute_divs(), copy(), detect_equalities(), drop_unused_params(), gist(), gist_params(), identity(), isl::union_set::identity_union_pw_multi_aff(), intersect(), intersect_params(), lexmax(), lexmin(), params(), polyhedral_hull(), preimage(), preimage(), preimage(), project_out_all_params(), sample_point(), polly::simplify(), subtract(), to_list(), unite(), universe(), and unwrap().

◆ ctx()

isl::ctx isl::union_set::ctx ( ) const
inline

Definition at line 20104 of file cpp-checked.h.

References isl_union_set_get_ctx(), and ptr.

Referenced by copy(), empty(), isl::typed::union_set< Domain >::empty(), isl::typed::union_set< pair< Domain, Range > >::empty(), isl::typed::union_set<>::empty(), expand(), polly::makeIdentityMap(), polly::shiftDim(), union_set(), isl::typed::union_set< Domain >::union_set(), isl::typed::union_set< pair< Domain, Range > >::union_set(), and isl::typed::union_set<>::union_set().

◆ detect_equalities()

isl::union_set isl::union_set::detect_equalities ( ) const
inline

Definition at line 20138 of file cpp-checked.h.

References copy(), isl_union_set_detect_equalities(), manage, and res.

Referenced by copy(), and polly::simplify().

◆ drop_unused_params()

isl::union_set isl::union_set::drop_unused_params ( ) const
inline

Definition at line 20144 of file cpp-checked.h.

References copy(), isl_union_set_drop_unused_params(), manage, and res.

Referenced by copy().

◆ empty()

isl::union_set isl::union_set::empty ( isl::checked::ctx ctx)
inlinestatic

Definition at line 20150 of file cpp-checked.h.

References ctx(), isl_union_set_empty_ctx(), manage, and res.

Referenced by copy().

◆ every_set()

boolean isl::checked::union_set::every_set ( const std::function< boolean(isl::checked::set)> & test) const
inline

Definition at line 20156 of file cpp-checked.h.

References get(), isl_set, isl_union_set_every_set(), manage, manage_copy, res, and test.

Referenced by copy(), isl::checked::set::every_set(), isl::set::every_set(), isl::set::every_set(), test_every(), test_every(), and test_every_generic().

◆ extract_set()

isl::set isl::union_set::extract_set ( isl::checked::space space) const
inline

Definition at line 20170 of file cpp-checked.h.

References get(), isl_union_set_extract_set(), manage, res, and space().

Referenced by copy(), isl::checked::set::extract_set(), polly::ScopBuilder::foldSizeConstantsToRight(), and polly::ScopArrayInfo::isReadOnly().

◆ foreach_point()

stat isl::checked::union_set::foreach_point ( const std::function< stat(isl::checked::point)> & fn) const
inline

Definition at line 20176 of file cpp-checked.h.

References fn, get(), isl_union_set_foreach_point(), manage, and res.

Referenced by polly::applyFullUnroll(), and copy().

◆ foreach_set()

stat isl::checked::union_set::foreach_set ( const std::function< stat(isl::checked::set)> & fn) const
inline

Definition at line 20190 of file cpp-checked.h.

References fn, get(), isl_set, isl_union_set_foreach_set(), manage, and res.

Referenced by copy(), isl::checked::set::foreach_set(), isl::set::foreach_set(), and isl::set::foreach_set().

◆ get()

__isl_keep isl_union_set * isl::union_set::get ( ) const
inline

Definition at line 20090 of file cpp-checked.h.

References __isl_keep, isl_union_set, and ptr.

Referenced by polly::ZoneAlgorithm::collectCompatibleElts(), isl::union_set::contains(), copy(), every_set(), isl::union_set::every_set(), extract_set(), foreach_point(), isl::union_set::foreach_point(), foreach_set(), isl::union_set::foreach_set(), is_disjoint(), is_empty(), is_equal(), is_strict_subset(), is_subset(), isa_set(), set_list(), polly::singleton(), and space().

◆ get_set_list()

isl::set_list isl::union_set::get_set_list ( ) const
inline

Definition at line 20330 of file cpp-checked.h.

References set_list().

Referenced by addReferencesFromStmtUnionSet(), polly::ScopBuilder::calculateMinMaxAccess(), copy(), expand(), polly::makeIdentityMap(), mapToDimension(), printSortedPolyhedra(), and polly::shiftDim().

◆ get_space()

isl::space isl::union_set::get_space ( ) const
inline

Definition at line 20341 of file cpp-checked.h.

References space().

Referenced by copy(), polly::ScopBuilder::foldSizeConstantsToRight(), and mapToDimension().

◆ gist()

isl::union_set isl::union_set::gist ( isl::checked::union_set context) const
inline

Definition at line 20204 of file cpp-checked.h.

References context, copy(), isl_union_set_gist(), manage, and res.

Referenced by copy(), and isl::checked::set::gist().

◆ gist_params()

isl::union_set isl::union_set::gist_params ( isl::checked::set set) const
inline

Definition at line 20210 of file cpp-checked.h.

References copy(), isl_union_set_gist_params(), manage, isl::checked::set::release(), and res.

Referenced by copy().

◆ identity()

isl::union_map isl::union_set::identity ( ) const
inline

Definition at line 20216 of file cpp-checked.h.

References copy(), isl_union_set_identity(), manage, and res.

Referenced by copy().

◆ intersect()

isl::union_set isl::union_set::intersect ( isl::checked::union_set uset2) const
inline

Definition at line 20222 of file cpp-checked.h.

References copy(), isl_union_set_intersect(), manage, release(), and res.

Referenced by polly::convertZoneToTimepoints(), copy(), isl::checked::set::intersect(), and polly::Scop::restrictDomains().

◆ intersect_params()

isl::union_set isl::union_set::intersect_params ( isl::checked::set set) const
inline

Definition at line 20228 of file cpp-checked.h.

References copy(), isl_union_set_intersect_params(), manage, isl::checked::set::release(), and res.

Referenced by copy().

◆ is_disjoint()

boolean isl::union_set::is_disjoint ( const isl::checked::union_set & uset2) const
inline

Definition at line 20234 of file cpp-checked.h.

References get(), isl_union_set_is_disjoint(), manage, and res.

Referenced by copy(), and isl::checked::set::is_disjoint().

◆ is_empty()

boolean isl::union_set::is_empty ( ) const
inline

Definition at line 20240 of file cpp-checked.h.

References get(), isl_union_set_is_empty(), manage, and res.

Referenced by copy(), polly::ScopArrayInfo::isReadOnly(), mapToDimension(), and polly::Scop::restrictDomains().

◆ is_equal()

boolean isl::union_set::is_equal ( const isl::checked::union_set & uset2) const
inline

Definition at line 20246 of file cpp-checked.h.

References get(), isl_union_set_is_equal(), manage, and res.

Referenced by copy(), isl::checked::set::is_equal(), and test_constructors().

◆ is_null()

bool isl::union_set::is_null ( ) const
inline

Definition at line 20100 of file cpp-checked.h.

References ptr.

Referenced by copy(), mapToDimension(), printSortedPolyhedra(), and polly::singleton().

◆ is_strict_subset()

boolean isl::union_set::is_strict_subset ( const isl::checked::union_set & uset2) const
inline

Definition at line 20252 of file cpp-checked.h.

References get(), isl_union_set_is_strict_subset(), manage, and res.

Referenced by copy(), and isl::checked::set::is_strict_subset().

◆ is_subset()

boolean isl::union_set::is_subset ( const isl::checked::union_set & uset2) const
inline

Definition at line 20258 of file cpp-checked.h.

References get(), isl_union_set_is_subset(), manage, and res.

Referenced by copy(), isl::checked::set::is_subset(), and polly::Scop::restrictDomains().

◆ isa_set()

boolean isl::union_set::isa_set ( ) const
inline

Definition at line 20264 of file cpp-checked.h.

References get(), isl_union_set_isa_set(), manage, and res.

Referenced by copy(), and isl::checked::set::isa_set().

◆ lexmax()

isl::union_set isl::union_set::lexmax ( ) const
inline

Definition at line 20270 of file cpp-checked.h.

References copy(), isl_union_set_lexmax(), manage, and res.

Referenced by copy().

◆ lexmin()

isl::union_set isl::union_set::lexmin ( ) const
inline

Definition at line 20276 of file cpp-checked.h.

References copy(), isl_union_set_lexmin(), manage, and res.

Referenced by copy().

◆ operator=()

union_set & isl::union_set::operator= ( union_set obj)
inline

Definition at line 20076 of file cpp-checked.h.

References obj, and union_set().

◆ params()

isl::set isl::union_set::params ( ) const
inline

Definition at line 20282 of file cpp-checked.h.

References copy(), isl_union_set_params(), manage, and res.

Referenced by copy().

◆ polyhedral_hull()

isl::union_set isl::union_set::polyhedral_hull ( ) const
inline

Definition at line 20288 of file cpp-checked.h.

References copy(), isl_union_set_polyhedral_hull(), manage, and res.

Referenced by copy().

◆ preimage() [1/3]

isl::union_set isl::union_set::preimage ( isl::checked::multi_aff ma) const
inline

Definition at line 20294 of file cpp-checked.h.

References copy(), isl_union_set_preimage_multi_aff(), ma, manage, and res.

Referenced by copy(), and isl::checked::set::preimage().

◆ preimage() [2/3]

isl::union_set isl::union_set::preimage ( isl::checked::pw_multi_aff pma) const
inline

Definition at line 20300 of file cpp-checked.h.

References copy(), isl_union_set_preimage_pw_multi_aff(), manage, pma, and res.

◆ preimage() [3/3]

isl::union_set isl::union_set::preimage ( isl::checked::union_pw_multi_aff upma) const
inline

Definition at line 20306 of file cpp-checked.h.

References copy(), isl_union_set_preimage_union_pw_multi_aff(), manage, isl::checked::union_pw_multi_aff::release(), and res.

◆ project_out_all_params()

isl::union_set isl::union_set::project_out_all_params ( ) const
inline

Definition at line 20312 of file cpp-checked.h.

References copy(), isl_union_set_project_out_all_params(), manage, and res.

Referenced by copy().

◆ release()

__isl_give isl_union_set * isl::union_set::release ( )
inline

Definition at line 20094 of file cpp-checked.h.

References __isl_give, isl_union_set, and ptr.

Referenced by isl::checked::union_set_list::add(), polly::Dependences::addPrivatizationDependences(), copy(), polly::IslNodeBuilder::createNewAccesses(), isl::checked::union_map::from_domain(), isl::checked::union_map::from_range(), isl::checked::union_map::gist_domain(), isl::checked::union_map::gist_range(), isl::checked::union_set_list::insert(), isl::checked::schedule_node::insert_filter(), intersect(), isl::checked::multi_union_pw_aff::intersect_domain(), isl::checked::union_map::intersect_domain(), isl::checked::union_pw_aff::intersect_domain(), isl::checked::union_pw_multi_aff::intersect_domain(), isl::checked::union_pw_aff::intersect_domain_wrapped_domain(), isl::checked::union_pw_multi_aff::intersect_domain_wrapped_domain(), isl::checked::union_pw_aff::intersect_domain_wrapped_range(), isl::checked::union_pw_multi_aff::intersect_domain_wrapped_range(), isl::checked::union_map::intersect_range(), isl::checked::schedule_node::order_after(), isl::checked::schedule_node::order_before(), isl::set::set(), isl::checked::union_set_list::set_at(), subtract(), isl::checked::union_map::subtract_domain(), isl::checked::union_pw_aff::subtract_domain(), isl::checked::union_pw_multi_aff::subtract_domain(), isl::checked::union_map::subtract_range(), isl::union_pw_multi_aff::union_pw_multi_aff(), isl::checked::union_set_list::union_set_list(), and unite().

◆ sample_point()

isl::point isl::union_set::sample_point ( ) const
inline

Definition at line 20318 of file cpp-checked.h.

References copy(), isl_union_set_sample_point(), manage, and res.

Referenced by copy().

◆ set_list()

isl::set_list isl::union_set::set_list ( ) const
inline

Definition at line 20324 of file cpp-checked.h.

References get(), isl_union_set_get_set_list(), manage, and res.

Referenced by copy(), get_set_list(), and isl::checked::set::set_list().

◆ space()

isl::space isl::union_set::space ( ) const
inline

Definition at line 20335 of file cpp-checked.h.

References get(), isl_union_set_get_space(), manage, and res.

Referenced by copy(), extract_set(), and get_space().

◆ subtract()

isl::union_set isl::union_set::subtract ( isl::checked::union_set uset2) const
inline

Definition at line 20346 of file cpp-checked.h.

References copy(), isl_union_set_subtract(), manage, release(), and res.

Referenced by polly::ZoneAlgorithm::collectCompatibleElts(), polly::ZoneAlgorithm::computeKnownFromLoad(), copy(), and isl::checked::set::subtract().

◆ to_list()

isl::union_set_list isl::union_set::to_list ( ) const
inline

Definition at line 20352 of file cpp-checked.h.

References copy(), manage, and res.

Referenced by copy().

◆ unite()

isl::union_set isl::union_set::unite ( isl::checked::union_set uset2) const
inline

Definition at line 20358 of file cpp-checked.h.

References copy(), isl_union_set_union(), manage, release(), and res.

Referenced by polly::ZoneAlgorithm::collectIncompatibleElts(), polly::convertZoneToTimepoints(), copy(), expand(), fixSetToZero(), polly::shiftDim(), test_constructors(), and isl::checked::set::unite().

◆ universe()

isl::union_set isl::union_set::universe ( ) const
inline

Definition at line 20364 of file cpp-checked.h.

References copy(), isl_union_set_universe(), manage, and res.

Referenced by copy().

◆ unwrap()

isl::union_map isl::union_set::unwrap ( ) const
inline

Definition at line 20370 of file cpp-checked.h.

References copy(), isl_union_set_unwrap(), manage, and res.

Referenced by polly::applyDomainRange(), and copy().

◆ manage

union_set manage ( __isl_take isl_union_set * ptr)
friend

Definition at line 20032 of file cpp-checked.h.

References __isl_take, isl_union_set, ptr, and union_set().

Referenced by affine_hull(), apply(), as_set(), coalesce(), compute_divs(), isl::union_set::contains(), copy(), detect_equalities(), drop_unused_params(), empty(), every_set(), isl::union_set::every_set(), extract_set(), foreach_point(), isl::union_set::foreach_point(), foreach_set(), isl::union_set::foreach_set(), gist(), gist_params(), identity(), isl::union_set::identity_union_pw_multi_aff(), intersect(), intersect_params(), is_disjoint(), is_empty(), is_equal(), is_strict_subset(), is_subset(), isa_set(), lexmax(), lexmin(), params(), polyhedral_hull(), preimage(), preimage(), preimage(), project_out_all_params(), sample_point(), set_list(), space(), subtract(), to_list(), unite(), universe(), and unwrap().

◆ manage_copy

union_set manage_copy ( __isl_keep isl_union_set * ptr)
friend

Definition at line 20035 of file cpp-checked.h.

References __isl_keep, isl_union_set, isl_union_set_copy(), ptr, and union_set().

Referenced by copy(), every_set(), and isl::union_set::every_set().

Member Data Documentation

◆ ptr

isl_union_set * isl::union_set::ptr = nullptr
protected

Definition at line 4269 of file cpp-checked.h.

Referenced by copy(), copy(), ctx(), get(), is_null(), manage, manage_copy, release(), union_set(), union_set(), union_set(), union_set(), union_set(), union_set(), union_set(), and ~union_set().

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