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

#include <isl-noexceptions.h>

Public Member Functions

 union_set ()
 union_set (const union_set &obj)
 union_set (isl::basic_set bset)
 union_set (isl::point pnt)
 union_set (isl::set set)
 union_set (isl::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::ctx ctx () const
isl::union_set affine_hull () const
isl::union_set apply (isl::union_map umap) const
isl::set as_set () const
isl::union_set coalesce () const
isl::union_set compute_divs () const
boolean contains (const isl::space &space) const
isl::union_set detect_equalities () const
boolean every_set (const std::function< boolean(isl::set)> &test) const
isl::set extract_set (isl::space space) const
stat foreach_point (const std::function< stat(isl::point)> &fn) const
stat foreach_set (const std::function< stat(isl::set)> &fn) const
isl::union_set gist (isl::union_set context) const
isl::union_set gist_params (isl::set set) const
isl::union_map identity () const
isl::union_pw_multi_aff identity_union_pw_multi_aff () const
isl::union_set intersect (isl::union_set uset2) const
isl::union_set intersect_params (isl::set set) const
boolean is_disjoint (const isl::union_set &uset2) const
boolean is_empty () const
boolean is_equal (const isl::union_set &uset2) const
boolean is_strict_subset (const isl::union_set &uset2) const
boolean is_subset (const isl::union_set &uset2) const
boolean isa_set () const
isl::union_set lexmax () const
isl::union_set lexmin () const
isl::set params () const
isl::union_set polyhedral_hull () const
isl::union_set preimage (isl::multi_aff ma) const
isl::union_set preimage (isl::pw_multi_aff pma) const
isl::union_set preimage (isl::union_pw_multi_aff upma) const
isl::point sample_point () const
isl::set_list set_list () const
isl::set_list get_set_list () const
isl::space space () const
isl::space get_space () const
isl::union_set subtract (isl::union_set uset2) const
isl::union_set_list to_list () const
isl::union_set unite (isl::union_set uset2) const
isl::union_set universe () const
isl::union_map unwrap () const

Static Public Member Functions

static isl::union_set empty (isl::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 4607 of file isl-noexceptions.h.

Constructor & Destructor Documentation

◆ union_set() [1/7]

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

Definition at line 21886 of file isl-noexceptions.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 21877 of file isl-noexceptions.h.

References ptr.

◆ union_set() [3/7]

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

Definition at line 21880 of file isl-noexceptions.h.

References obj, ptr, and union_set().

◆ union_set() [4/7]

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

Definition at line 21889 of file isl-noexceptions.h.

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

◆ union_set() [5/7]

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

Definition at line 21895 of file isl-noexceptions.h.

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

◆ union_set() [6/7]

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

Definition at line 21901 of file isl-noexceptions.h.

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

◆ union_set() [7/7]

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

Definition at line 21907 of file isl-noexceptions.h.

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

◆ ~union_set()

isl::union_set::~union_set ( )
inline

Definition at line 21918 of file isl-noexceptions.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 21945 of file isl-noexceptions.h.

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

Referenced by copy().

◆ apply()

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

Definition at line 21951 of file isl-noexceptions.h.

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

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

◆ as_set()

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

Definition at line 21957 of file isl-noexceptions.h.

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

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

◆ coalesce()

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

Definition at line 21963 of file isl-noexceptions.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 21969 of file isl-noexceptions.h.

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

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

◆ contains()

boolean isl::union_set::contains ( const isl::space & space) const
inline

Definition at line 21975 of file isl-noexceptions.h.

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

Referenced by isl::set::contains(), copy(), and polly::ScopBuilder::foldSizeConstantsToRight().

◆ copy() [1/2]

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

References __isl_give, __isl_keep, __isl_take, affine_hull(), apply(), as_set(), coalesce(), compute_divs(), contains(), context, copy(), ctx(), detect_equalities(), empty(), every_set(), extract_set(), fn, foreach_point(), foreach_set(), function, get(), get_set_list(), get_space(), gist(), gist_params(), identity(), identity_union_pw_multi_aff(), 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(), 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 21923 of file isl-noexceptions.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(), gist(), gist_params(), identity(), identity_union_pw_multi_aff(), intersect(), intersect_params(), lexmax(), lexmin(), params(), polyhedral_hull(), preimage(), preimage(), preimage(), sample_point(), polly::simplify(), subtract(), to_list(), unite(), universe(), and unwrap().

◆ ctx()

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

Definition at line 21941 of file isl-noexceptions.h.

References isl_union_set_get_ctx(), and ptr.

Referenced by copy(), empty(), expand(), polly::makeIdentityMap(), polly::shiftDim(), and union_set().

◆ detect_equalities()

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

Definition at line 21981 of file isl-noexceptions.h.

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

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

◆ empty()

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

Definition at line 21987 of file isl-noexceptions.h.

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

Referenced by copy(), expand(), polly::ZoneAlgorithm::makeEmptyUnionSet(), polly::shiftDim(), and test_constructors().

◆ every_set()

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

Definition at line 21993 of file isl-noexceptions.h.

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

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

◆ extract_set()

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

Definition at line 22007 of file isl-noexceptions.h.

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

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

◆ foreach_point()

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

Definition at line 22013 of file isl-noexceptions.h.

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

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

◆ foreach_set()

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

Definition at line 22027 of file isl-noexceptions.h.

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

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

◆ get()

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

Definition at line 21927 of file isl-noexceptions.h.

References __isl_keep, isl_union_set, and ptr.

Referenced by polly::ZoneAlgorithm::collectCompatibleElts(), contains(), copy(), every_set(), extract_set(), foreach_point(), 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 22167 of file isl-noexceptions.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 22178 of file isl-noexceptions.h.

References space().

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

◆ gist()

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

Definition at line 22041 of file isl-noexceptions.h.

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

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

◆ gist_params()

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

Definition at line 22047 of file isl-noexceptions.h.

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

Referenced by copy().

◆ identity()

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

Definition at line 22053 of file isl-noexceptions.h.

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

Referenced by copy().

◆ identity_union_pw_multi_aff()

isl::union_pw_multi_aff isl::union_set::identity_union_pw_multi_aff ( ) const
inline

Definition at line 22059 of file isl-noexceptions.h.

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

Referenced by copy(), and isl::set::identity_union_pw_multi_aff().

◆ intersect()

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

Definition at line 22065 of file isl-noexceptions.h.

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

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

◆ intersect_params()

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

Definition at line 22071 of file isl-noexceptions.h.

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

Referenced by copy().

◆ is_disjoint()

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

Definition at line 22077 of file isl-noexceptions.h.

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

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

◆ is_empty()

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

Definition at line 22083 of file isl-noexceptions.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::union_set & uset2) const
inline

Definition at line 22089 of file isl-noexceptions.h.

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

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

◆ is_null()

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

Definition at line 21937 of file isl-noexceptions.h.

References ptr.

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

◆ is_strict_subset()

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

Definition at line 22095 of file isl-noexceptions.h.

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

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

◆ is_subset()

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

Definition at line 22101 of file isl-noexceptions.h.

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

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

◆ isa_set()

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

Definition at line 22107 of file isl-noexceptions.h.

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

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

◆ lexmax()

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

Definition at line 22113 of file isl-noexceptions.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 22119 of file isl-noexceptions.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 21913 of file isl-noexceptions.h.

References obj, and union_set().

◆ params()

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

Definition at line 22125 of file isl-noexceptions.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 22131 of file isl-noexceptions.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::multi_aff ma) const
inline

Definition at line 22137 of file isl-noexceptions.h.

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

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

◆ preimage() [2/3]

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

Definition at line 22143 of file isl-noexceptions.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::union_pw_multi_aff upma) const
inline

Definition at line 22149 of file isl-noexceptions.h.

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

◆ release()

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

Definition at line 21931 of file isl-noexceptions.h.

References __isl_give, isl_union_set, and ptr.

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

◆ sample_point()

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

Definition at line 22155 of file isl-noexceptions.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 22161 of file isl-noexceptions.h.

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

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

◆ space()

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

Definition at line 22172 of file isl-noexceptions.h.

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

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

◆ subtract()

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

Definition at line 22183 of file isl-noexceptions.h.

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

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

◆ to_list()

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

Definition at line 22189 of file isl-noexceptions.h.

References copy(), manage, and res.

Referenced by copy().

◆ unite()

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

Definition at line 22195 of file isl-noexceptions.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::set::unite().

◆ universe()

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

Definition at line 22201 of file isl-noexceptions.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 22207 of file isl-noexceptions.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 21869 of file isl-noexceptions.h.

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

Referenced by affine_hull(), apply(), as_set(), coalesce(), compute_divs(), contains(), copy(), detect_equalities(), empty(), every_set(), extract_set(), foreach_point(), foreach_set(), gist(), gist_params(), identity(), 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(), 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 21872 of file isl-noexceptions.h.

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

Referenced by copy(), and every_set().

Member Data Documentation

◆ ptr

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

Definition at line 4612 of file isl-noexceptions.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 file:
Generated on for Polly by doxygen 1.14.0