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

#include <cpp-checked.h>

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

Public Member Functions

 set ()
 set (const set &obj)
 set (isl::checked::basic_set bset)
 set (isl::checked::point pnt)
 set (isl::checked::ctx ctx, const std::string &str)
set & operator= (set obj)
 ~set ()
__isl_give isl_set * copy () const &
__isl_give isl_set * copy () &&=delete
__isl_keep isl_set * get () const
__isl_give isl_set * release ()
bool is_null () const
isl::checked::ctx ctx () const
isl::checked::basic_set affine_hull () const
isl::checked::set apply (isl::checked::map map) const
isl::checked::union_set apply (const isl::checked::union_map &umap) const
isl::checked::set apply (const isl::checked::basic_map &map) const
isl::checked::pw_multi_aff as_pw_multi_aff () const
isl::checked::set as_set () const
isl::checked::set bind (isl::checked::multi_id tuple) const
isl::checked::set coalesce () const
isl::checked::set complement () const
isl::checked::union_set compute_divs () const
isl::checked::set detect_equalities () const
isl::checked::val dim_max_val (int pos) const
isl::checked::val dim_min_val (int pos) const
isl::checked::set drop_unused_params () const
boolean every_set (const std::function< boolean(isl::checked::set)> &test) const
isl::checked::set extract_set (const isl::checked::space &space) const
isl::checked::set flatten () const
stat foreach_basic_set (const std::function< stat(isl::checked::basic_set)> &fn) 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::set gist (isl::checked::set context) const
isl::checked::union_set gist (const isl::checked::union_set &context) const
isl::checked::set gist (const isl::checked::basic_set &context) const
isl::checked::set gist (const isl::checked::point &context) const
isl::checked::set gist_params (isl::checked::set context) const
isl::checked::map identity () const
isl::checked::pw_aff indicator_function () const
isl::checked::map insert_domain (isl::checked::space domain) const
isl::checked::set intersect (isl::checked::set set2) const
isl::checked::union_set intersect (const isl::checked::union_set &uset2) const
isl::checked::set intersect (const isl::checked::basic_set &set2) const
isl::checked::set intersect (const isl::checked::point &set2) const
isl::checked::set intersect_params (isl::checked::set params) const
boolean involves_locals () const
boolean is_disjoint (const isl::checked::set &set2) const
boolean is_disjoint (const isl::checked::union_set &uset2) const
boolean is_disjoint (const isl::checked::basic_set &set2) const
boolean is_disjoint (const isl::checked::point &set2) const
boolean is_empty () const
boolean is_equal (const isl::checked::set &set2) const
boolean is_equal (const isl::checked::union_set &uset2) const
boolean is_equal (const isl::checked::basic_set &set2) const
boolean is_equal (const isl::checked::point &set2) const
boolean is_singleton () const
boolean is_strict_subset (const isl::checked::set &set2) const
boolean is_strict_subset (const isl::checked::union_set &uset2) const
boolean is_strict_subset (const isl::checked::basic_set &set2) const
boolean is_strict_subset (const isl::checked::point &set2) const
boolean is_subset (const isl::checked::set &set2) const
boolean is_subset (const isl::checked::union_set &uset2) const
boolean is_subset (const isl::checked::basic_set &set2) const
boolean is_subset (const isl::checked::point &set2) const
boolean is_wrapping () const
boolean isa_set () const
isl::checked::fixed_box lattice_tile () const
isl::checked::fixed_box get_lattice_tile () const
isl::checked::set lexmax () const
isl::checked::pw_multi_aff lexmax_pw_multi_aff () const
isl::checked::set lexmin () const
isl::checked::pw_multi_aff lexmin_pw_multi_aff () const
isl::checked::set lower_bound (isl::checked::multi_pw_aff lower) const
isl::checked::set lower_bound (isl::checked::multi_val lower) const
isl::checked::multi_pw_aff max_multi_pw_aff () const
isl::checked::val max_val (const isl::checked::aff &obj) const
isl::checked::multi_pw_aff min_multi_pw_aff () const
isl::checked::val min_val (const isl::checked::aff &obj) const
class size n_basic_set () const
isl::checked::pw_aff param_pw_aff_on_domain (isl::checked::id id) const
isl::checked::pw_aff param_pw_aff_on_domain (const std::string &id) const
isl::checked::set params () const
isl::checked::multi_val plain_multi_val_if_fixed () const
isl::checked::multi_val get_plain_multi_val_if_fixed () const
isl::checked::basic_set polyhedral_hull () const
isl::checked::set preimage (isl::checked::multi_aff ma) const
isl::checked::set preimage (isl::checked::multi_pw_aff mpa) const
isl::checked::set preimage (isl::checked::pw_multi_aff pma) const
isl::checked::union_set preimage (const isl::checked::union_pw_multi_aff &upma) const
isl::checked::set product (isl::checked::set set2) const
isl::checked::set project_out_all_params () const
isl::checked::set project_out_param (isl::checked::id id) const
isl::checked::set project_out_param (const std::string &id) const
isl::checked::set project_out_param (isl::checked::id_list list) const
isl::checked::pw_aff pw_aff_on_domain (isl::checked::val v) const
isl::checked::pw_aff pw_aff_on_domain (long v) const
isl::checked::pw_multi_aff pw_multi_aff_on_domain (isl::checked::multi_val mv) const
isl::checked::basic_set sample () const
isl::checked::point sample_point () const
isl::checked::set_list set_list () const
isl::checked::fixed_box simple_fixed_box_hull () const
isl::checked::fixed_box get_simple_fixed_box_hull () const
isl::checked::space space () const
isl::checked::space get_space () const
isl::checked::val stride (int pos) const
isl::checked::val get_stride (int pos) const
isl::checked::set subtract (isl::checked::set set2) const
isl::checked::union_set subtract (const isl::checked::union_set &uset2) const
isl::checked::set subtract (const isl::checked::basic_set &set2) const
isl::checked::set subtract (const isl::checked::point &set2) const
isl::checked::set_list to_list () const
isl::checked::union_set to_union_set () const
isl::checked::map translation () const
class size tuple_dim () const
isl::checked::set unbind_params (isl::checked::multi_id tuple) const
isl::checked::map unbind_params_insert_domain (isl::checked::multi_id domain) const
isl::checked::set unite (isl::checked::set set2) const
isl::checked::union_set unite (const isl::checked::union_set &uset2) const
isl::checked::set unite (const isl::checked::basic_set &set2) const
isl::checked::set unite (const isl::checked::point &set2) const
isl::checked::basic_set unshifted_simple_hull () const
isl::checked::map unwrap () const
isl::checked::set upper_bound (isl::checked::multi_pw_aff upper) const
isl::checked::set upper_bound (isl::checked::multi_val upper) const
isl::checked::set wrapped_reverse () const

Static Public Member Functions

static isl::checked::set empty (isl::checked::space space)
static isl::checked::set universe (isl::checked::space space)

Protected Member Functions

 set (__isl_take isl_set *ptr)

Protected Attributes

isl_set * ptr = nullptr

Friends

set manage (__isl_take isl_set *ptr)
set manage_copy (__isl_keep isl_set *ptr)

Detailed Description

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

Constructor & Destructor Documentation

◆ set() [1/6]

isl::set::set ( __isl_take isl_set * ptr)
inlineexplicitprotected

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

References __isl_take, isl_set, and ptr.

Referenced by copy(), manage, manage_copy, n_basic_set(), operator=(), set(), and tuple_dim().

◆ set() [2/6]

isl::set::set ( )
inline

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

References ptr.

◆ set() [3/6]

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

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

References obj, ptr, and set().

◆ set() [4/6]

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

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

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

◆ set() [5/6]

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

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

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

◆ set() [6/6]

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

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

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

◆ ~set()

isl::set::~set ( )
inline

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

References isl_set_free(), and ptr.

Member Function Documentation

◆ affine_hull()

isl::basic_set isl::set::affine_hull ( ) const
inline

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

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

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

◆ apply() [1/3]

isl::set isl::set::apply ( const isl::checked::basic_map & map) const
inline

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

References apply().

◆ apply() [2/3]

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

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

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

◆ apply() [3/3]

isl::set isl::set::apply ( isl::checked::map map) const
inline

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

References copy(), isl_set_apply(), manage, isl::checked::map::release(), and res.

Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), isl::checked::basic_set::apply(), isl::checked::basic_set::apply(), apply(), polly::MemoryAccess::assumeNoOutOfBound(), polly::BlockGenerator::buildContainsCondition(), copy(), polly::distributeDomain(), and polly::shiftDim().

◆ as_pw_multi_aff()

isl::pw_multi_aff isl::set::as_pw_multi_aff ( ) const
inline

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

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

Referenced by isl::checked::basic_set::as_pw_multi_aff(), and copy().

◆ as_set()

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

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

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

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

◆ bind()

isl::set isl::set::bind ( isl::checked::multi_id tuple) const
inline

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

References copy(), isl_set_bind(), manage, res, and tuple.

Referenced by isl::checked::basic_set::bind(), and copy().

◆ coalesce()

isl::set isl::set::coalesce ( ) const
inline

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

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

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), polly::SCEVAffinator::checkForWrapping(), isl::checked::basic_set::coalesce(), copy(), polly::ScopBuilder::propagateInvalidStmtDomains(), and polly::simplify().

◆ complement()

isl::set isl::set::complement ( ) const
inline

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

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

Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::assumeNoOutOfBound(), isl::checked::basic_set::complement(), and copy().

◆ compute_divs()

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

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

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

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

◆ copy() [1/2]

__isl_give isl_set * isl::checked::set::copy ( ) &&
inlinedelete

References __isl_give, __isl_keep, __isl_take, affine_hull(), apply(), as_pw_multi_aff(), as_set(), bind(), coalesce(), complement(), compute_divs(), context, copy(), ctx(), detect_equalities(), dim_max_val(), dim_min_val(), domain, drop_unused_params(), empty(), every_set(), extract_set(), flatten(), fn, foreach_basic_set(), foreach_point(), foreach_set(), get(), get_lattice_tile(), get_plain_multi_val_if_fixed(), get_simple_fixed_box_hull(), get_space(), get_stride(), gist(), gist_params(), identity(), indicator_function(), insert_domain(), intersect(), intersect_params(), involves_locals(), is_disjoint(), is_empty(), is_equal(), is_null(), is_singleton(), is_strict_subset(), is_subset(), is_wrapping(), isa_set(), isl_set, isl_set_list, lattice_tile(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), ma, manage, manage_copy, max_multi_pw_aff(), max_val(), min_multi_pw_aff(), min_val(), n_basic_set(), obj, param_pw_aff_on_domain(), params(), plain_multi_val_if_fixed(), pma, polyhedral_hull(), pos(), preimage(), product(), project_out_all_params(), project_out_param(), ptr, pw_aff_on_domain(), pw_multi_aff_on_domain(), release(), sample(), sample_point(), set(), set2, set_list(), simple_fixed_box_hull(), space(), stride(), subtract(), test, to_list(), to_union_set(), translation(), tuple, tuple_dim(), unbind_params(), unbind_params_insert_domain(), unite(), universe(), unshifted_simple_hull(), unwrap(), upper_bound(), and wrapped_reverse().

◆ copy() [2/2]

__isl_give isl_set * isl::set::copy ( ) const &
inline

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

References __isl_give, isl_set, isl_set_copy(), and ptr.

Referenced by isl::set::add_constraint(), isl::set::add_dims(), affine_hull(), isl::set::align_params(), apply(), as_pw_multi_aff(), bind(), checkCandidatePairAccesses(), coalesce(), complement(), isl::set::convex_hull(), copy(), detect_equalities(), isl::set::dim_max(), dim_max_val(), isl::set::dim_min(), dim_min_val(), isl::set::drop_constraints_involving_dims(), drop_unused_params(), isl::set::eliminate(), isl::set::fix_si(), flatten(), gist(), gist_params(), identity(), indicator_function(), isl::set::insert_dims(), insert_domain(), intersect(), intersect_params(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), lower_bound(), isl::set::lower_bound_si(), isl::set::lower_bound_val(), max_multi_pw_aff(), min_multi_pw_aff(), param_pw_aff_on_domain(), params(), polyhedral_hull(), preimage(), preimage(), preimage(), polly::IslNodeBuilder::preloadInvariantEquivClass(), product(), isl::set::project_out(), project_out_all_params(), project_out_param(), project_out_param(), pw_aff_on_domain(), pw_multi_aff_on_domain(), isl::set::remove_dims(), isl::set::remove_divs(), isl::set::remove_redundancies(), isl::set::reset_tuple_id(), sample(), sample_point(), isl::set::set_dim_id(), isl::set::set_tuple_id(), isl::set::simple_hull(), polly::simplify(), subtract(), test_pointer(), to_list(), to_union_set(), translation(), unbind_params(), unbind_params_insert_domain(), unite(), unshifted_simple_hull(), unwrap(), upper_bound(), upper_bound(), isl::set::upper_bound_val(), and wrapped_reverse().

◆ ctx()

isl::ctx isl::set::ctx ( ) const
inline

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

References isl_set_get_ctx(), and ptr.

Referenced by copy(), isl::set::find_dim_by_id(), polly::getIsolateOptions(), isl::set::lower_bound_val(), param_pw_aff_on_domain(), project_out_param(), pw_aff_on_domain(), set(), isl::typed::set< Domain >::set(), isl::typed::set< pair< Domain, Range > >::set(), isl::typed::set<>::set(), isl::set::set_dim_id(), isl::set::set_tuple_id(), and isl::set::upper_bound_val().

◆ detect_equalities()

isl::set isl::set::detect_equalities ( ) const
inline

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

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

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

◆ dim_max_val()

isl::val isl::set::dim_max_val ( int pos) const
inline

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

References copy(), isl_set_dim_max_val(), manage, pos(), and res.

Referenced by copy().

◆ dim_min_val()

isl::val isl::set::dim_min_val ( int pos) const
inline

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

References copy(), isl_set_dim_min_val(), manage, pos(), and res.

Referenced by copy(), and isl::checked::basic_set::dim_min_val().

◆ drop_unused_params()

isl::set isl::set::drop_unused_params ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::drop_unused_params().

◆ empty()

isl::set isl::set::empty ( isl::checked::space space)
inlinestatic

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

References isl_set_empty(), manage, res, and space().

Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), copy(), and polly::ScopBuilder::propagateDomainConstraintsToRegionExit().

◆ every_set()

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

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

References isl::checked::union_set::every_set(), and test.

Referenced by copy(), and isl::checked::basic_set::every_set().

◆ extract_set()

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

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

References isl::checked::union_set::extract_set(), and space().

Referenced by copy(), and isl::checked::basic_set::extract_set().

◆ flatten()

isl::set isl::set::flatten ( ) const
inline

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

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

Referenced by copy().

◆ foreach_basic_set()

stat isl::checked::set::foreach_basic_set ( const std::function< stat(isl::checked::basic_set)> & fn) const
inline

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

References fn, get(), isl_basic_set, isl_set_foreach_basic_set(), manage, and res.

Referenced by copy(), isl::checked::basic_set::foreach_basic_set(), test_foreach(), and test_foreach().

◆ foreach_point()

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

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

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

Referenced by copy(), isl::checked::basic_set::foreach_point(), and foreachPoint().

◆ foreach_set()

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

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

References fn, and isl::checked::union_set::foreach_set().

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

◆ get()

__isl_keep isl_set * isl::set::get ( ) const
inline

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

References __isl_keep, isl_set, and ptr.

Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), isl::set::basic_set_list(), buildMinMaxAccess(), copy(), isl::set::dim_has_any_lower_bound(), isl::set::dim_id(), isl::set::dim_name(), isl::set::find_dim_by_id(), foreach_basic_set(), isl::set::foreach_basic_set(), foreach_point(), isl::set::foreach_point(), isl::set::has_equal_space(), isl::set::involves_dims(), involves_locals(), isl::set::is_bounded(), is_disjoint(), is_empty(), is_equal(), isl::set::is_params(), is_singleton(), is_strict_subset(), is_subset(), is_wrapping(), lattice_tile(), max_val(), min_val(), n_basic_set(), isl::set::plain_get_val_if_fixed(), plain_multi_val_if_fixed(), simple_fixed_box_hull(), space(), stride(), test_pointer(), tuple_dim(), isl::set::tuple_id(), and isl::set::tuple_name().

◆ get_lattice_tile()

isl::fixed_box isl::set::get_lattice_tile ( ) const
inline

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

References lattice_tile().

Referenced by copy().

◆ get_plain_multi_val_if_fixed()

isl::multi_val isl::set::get_plain_multi_val_if_fixed ( ) const
inline

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

References plain_multi_val_if_fixed().

Referenced by copy().

◆ get_simple_fixed_box_hull()

isl::fixed_box isl::set::get_simple_fixed_box_hull ( ) const
inline

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

References simple_fixed_box_hull().

Referenced by copy().

◆ get_space()

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

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

References space().

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::buildAccessRelation(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), computeScalarReachingDefinition(), copy(), expand(), polly::Scop::getParamSpace(), polly::MemoryAccess::isStrideX(), polly::Dependences::isValidSchedule(), polly::makeIdentityMap(), partitionSetParts(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::shiftDim(), polly::singleton(), polly::subtractParams(), and polly::Scop::trackAssumption().

◆ get_stride()

isl::val isl::set::get_stride ( int pos) const
inline

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

References pos(), and stride().

Referenced by copy().

◆ gist() [1/4]

isl::set isl::set::gist ( const isl::checked::basic_set & context) const
inline

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

References context, and gist.

◆ gist() [2/4]

isl::set isl::set::gist ( const isl::checked::point & context) const
inline

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

References context, and gist.

◆ gist() [3/4]

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

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

References context, and isl::checked::union_set::gist().

◆ gist() [4/4]

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

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

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

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

◆ gist_params()

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

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

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

Referenced by polly::Scop::addAssumption(), polly::ScopBuilder::addInvariantLoads(), polly::MemoryAccess::assumeNoOutOfBound(), copy(), isl::checked::basic_set::gist_params(), and simplifyAssumptionContext().

◆ identity()

isl::map isl::set::identity ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::identity().

◆ indicator_function()

isl::pw_aff isl::set::indicator_function ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::indicator_function().

◆ insert_domain()

isl::map isl::set::insert_domain ( isl::checked::space domain) const
inline

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

References copy(), domain, isl_set_insert_domain(), manage, and res.

Referenced by copy(), and isl::checked::basic_set::insert_domain().

◆ intersect() [1/4]

isl::set isl::set::intersect ( const isl::checked::basic_set & set2) const
inline

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

References intersect(), and set2.

◆ intersect() [2/4]

isl::set isl::set::intersect ( const isl::checked::point & set2) const
inline

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

References intersect(), and set2.

◆ intersect() [3/4]

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

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

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

◆ intersect() [4/4]

isl::set isl::set::intersect ( isl::checked::set set2) const
inline

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

References copy(), isl_set_intersect(), manage, res, and set2.

Referenced by polly::MemoryAccess::assumeNoOutOfBound(), copy(), polly::MemoryAccess::getPwAff(), isl::checked::basic_set::intersect(), isl::checked::basic_set::intersect(), intersect(), intersect(), polly::IslNodeBuilder::preloadInvariantEquivClass(), and polly::ScopBuilder::propagateInvalidStmtDomains().

◆ intersect_params()

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

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

References copy(), isl_set_intersect_params(), manage, params(), and res.

Referenced by copy(), polly::IslNodeBuilder::createNewAccesses(), polly::BlockGenerator::generateConditionalExecution(), polly::BlockGenerator::generateScalarLoads(), polly::Scop::getStatistics(), polly::Scop::hasFeasibleRuntimeContext(), isl::checked::basic_set::intersect_params(), polly::MemoryAccess::setNewAccessRelation(), and polly::subtractParams().

◆ involves_locals()

boolean isl::set::involves_locals ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::involves_locals().

◆ is_disjoint() [1/4]

boolean isl::set::is_disjoint ( const isl::checked::basic_set & set2) const
inline

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

References is_disjoint(), and set2.

◆ is_disjoint() [2/4]

boolean isl::set::is_disjoint ( const isl::checked::point & set2) const
inline

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

References is_disjoint(), and set2.

◆ is_disjoint() [3/4]

boolean isl::set::is_disjoint ( const isl::checked::set & set2) const
inline

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

References get(), isl_set_is_disjoint(), manage, res, and set2.

Referenced by copy(), isl::checked::basic_set::is_disjoint(), isl::checked::basic_set::is_disjoint(), is_disjoint(), is_disjoint(), polly::Scop::isEffectiveAssumption(), and polly::ScopBuilder::splitAliasGroupsByDomain().

◆ is_disjoint() [4/4]

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

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

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

◆ is_empty()

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

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

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

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildAliasGroupsForAccesses(), buildCondition(), checkCandidatePairAccesses(), polly::SCEVAffinator::checkForWrapping(), copy(), polly::IslNodeBuilder::createNewAccesses(), polly::ScopBuilder::getNonHoistableCtx(), polly::Scop::hasFeasibleRuntimeContext(), polly::ScopBuilder::propagateInvalidStmtDomains(), test_pointer(), test_return_bool(), test_return_bool(), and polly::Scop::trackAssumption().

◆ is_equal() [1/4]

boolean isl::set::is_equal ( const isl::checked::basic_set & set2) const
inline

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

References is_equal(), and set2.

◆ is_equal() [2/4]

boolean isl::set::is_equal ( const isl::checked::point & set2) const
inline

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

References is_equal(), and set2.

◆ is_equal() [3/4]

boolean isl::set::is_equal ( const isl::checked::set & set2) const
inline

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

References get(), isl_set_is_equal(), manage, res, and set2.

Referenced by polly::ScopBuilder::addInvariantLoads(), copy(), isl::checked::basic_set::is_equal(), isl::checked::basic_set::is_equal(), is_equal(), is_equal(), test_constructors(), test_parameters_obj(), and polly::Scop::trackAssumption().

◆ is_equal() [4/4]

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

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

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

◆ is_null()

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

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

References ptr.

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), buildMinMaxAccess(), polly::ZoneAlgorithm::computePerPHI(), copy(), polly::getIsolateOptions(), polly::ScopBuilder::hasNonHoistableBasePtrInScop(), polly::ScopBuilder::hoistInvariantLoads(), importContext(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::singleton(), and test_pointer().

◆ is_singleton()

boolean isl::set::is_singleton ( ) const
inline

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

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

Referenced by copy(), polly::Scop::getStatistics(), and isl::checked::basic_set::is_singleton().

◆ is_strict_subset() [1/4]

boolean isl::set::is_strict_subset ( const isl::checked::basic_set & set2) const
inline

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

References is_strict_subset(), and set2.

◆ is_strict_subset() [2/4]

boolean isl::set::is_strict_subset ( const isl::checked::point & set2) const
inline

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

References is_strict_subset(), and set2.

◆ is_strict_subset() [3/4]

boolean isl::set::is_strict_subset ( const isl::checked::set & set2) const
inline

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

References get(), isl_set_is_strict_subset(), manage, res, and set2.

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

◆ is_strict_subset() [4/4]

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

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

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

◆ is_subset() [1/4]

boolean isl::set::is_subset ( const isl::checked::basic_set & set2) const
inline

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

References is_subset(), and set2.

◆ is_subset() [2/4]

boolean isl::set::is_subset ( const isl::checked::point & set2) const
inline

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

References is_subset(), and set2.

◆ is_subset() [3/4]

boolean isl::set::is_subset ( const isl::checked::set & set2) const
inline

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

References get(), isl_set_is_subset(), manage, res, and set2.

Referenced by copy(), polly::ScopBuilder::foldSizeConstantsToRight(), polly::BlockGenerator::generateConditionalExecution(), polly::Scop::hasFeasibleRuntimeContext(), isl::checked::basic_set::is_subset(), isl::checked::basic_set::is_subset(), is_subset(), is_subset(), polly::Scop::isEffectiveAssumption(), polly::MemoryAccess::isLatestPartialAccess(), polly::MemoryAccess::isStrideX(), polly::ScopStmt::restrictDomain(), and polly::MemoryAccess::setNewAccessRelation().

◆ is_subset() [4/4]

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

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

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

◆ is_wrapping()

boolean isl::set::is_wrapping ( ) const
inline

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

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

Referenced by copy().

◆ isa_set()

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

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

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

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

◆ lattice_tile()

isl::fixed_box isl::set::lattice_tile ( ) const
inline

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

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

Referenced by copy(), get_lattice_tile(), and isl::checked::basic_set::lattice_tile().

◆ lexmax()

isl::set isl::set::lexmax ( ) const
inline

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

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

Referenced by copy().

◆ lexmax_pw_multi_aff()

isl::pw_multi_aff isl::set::lexmax_pw_multi_aff ( ) const
inline

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

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

Referenced by buildMinMaxAccess(), copy(), and isl::checked::basic_set::lexmax_pw_multi_aff().

◆ lexmin()

isl::set isl::set::lexmin ( ) const
inline

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

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

Referenced by copy().

◆ lexmin_pw_multi_aff()

isl::pw_multi_aff isl::set::lexmin_pw_multi_aff ( ) const
inline

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

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

Referenced by buildMinMaxAccess(), copy(), and isl::checked::basic_set::lexmin_pw_multi_aff().

◆ lower_bound() [1/2]

isl::set isl::set::lower_bound ( isl::checked::multi_pw_aff lower) const
inline

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

References copy(), isl_set_lower_bound_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.

Referenced by copy(), isl::checked::basic_set::lower_bound(), and isl::checked::basic_set::lower_bound().

◆ lower_bound() [2/2]

isl::set isl::set::lower_bound ( isl::checked::multi_val lower) const
inline

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

References copy(), isl_set_lower_bound_multi_val(), manage, isl::checked::multi_val::release(), and res.

◆ max_multi_pw_aff()

isl::multi_pw_aff isl::set::max_multi_pw_aff ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::max_multi_pw_aff().

◆ max_val()

isl::val isl::set::max_val ( const isl::checked::aff & obj) const
inline

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

References get(), isl_set_max_val(), manage, obj, and res.

Referenced by copy(), and isl::checked::basic_set::max_val().

◆ min_multi_pw_aff()

isl::multi_pw_aff isl::set::min_multi_pw_aff ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::min_multi_pw_aff().

◆ min_val()

isl::val isl::set::min_val ( const isl::checked::aff & obj) const
inline

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

References get(), isl_set_min_val(), manage, obj, and res.

Referenced by copy(), and isl::checked::basic_set::min_val().

◆ n_basic_set()

class size isl::set::n_basic_set ( ) const
inline

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

References get(), isl_set_n_basic_set(), isl::checked::size::manage, n_basic_set(), res, and set().

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), buildMinMaxAccess(), copy(), polly::ScopBuilder::getNonHoistableCtx(), isl::checked::basic_set::n_basic_set(), n_basic_set(), and polly::ScopBuilder::propagateInvalidStmtDomains().

◆ operator=()

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

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

References obj, and set().

◆ param_pw_aff_on_domain() [1/2]

isl::pw_aff isl::set::param_pw_aff_on_domain ( const std::string & id) const
inline

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

References ctx(), and param_pw_aff_on_domain().

◆ param_pw_aff_on_domain() [2/2]

isl::pw_aff isl::set::param_pw_aff_on_domain ( isl::checked::id id) const
inline

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

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

Referenced by copy(), isl::checked::basic_set::param_pw_aff_on_domain(), and param_pw_aff_on_domain().

◆ params()

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

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

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

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::assumeNoOutOfBound(), polly::SCEVAffinator::checkForWrapping(), copy(), polly::MemoryAccess::getInvalidContext(), polly::ScopStmt::getInvalidContext(), and intersect_params().

◆ plain_multi_val_if_fixed()

isl::multi_val isl::set::plain_multi_val_if_fixed ( ) const
inline

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

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

Referenced by copy(), get_plain_multi_val_if_fixed(), and isl::checked::basic_set::plain_multi_val_if_fixed().

◆ polyhedral_hull()

isl::basic_set isl::set::polyhedral_hull ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::polyhedral_hull().

◆ preimage() [1/4]

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

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

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

◆ preimage() [2/4]

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

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

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

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

◆ preimage() [3/4]

isl::set isl::set::preimage ( isl::checked::multi_pw_aff mpa) const
inline

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

References copy(), isl_set_preimage_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.

◆ preimage() [4/4]

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

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

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

◆ product()

isl::set isl::set::product ( isl::checked::set set2) const
inline

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

References copy(), isl_set_product(), manage, res, and set2.

Referenced by copy(), and isl::checked::basic_set::product().

◆ project_out_all_params()

isl::set isl::set::project_out_all_params ( ) const
inline

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

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

Referenced by copy(), hasIntersectingAccesses(), and isl::checked::basic_set::project_out_all_params().

◆ project_out_param() [1/3]

isl::set isl::set::project_out_param ( const std::string & id) const
inline

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

References ctx(), and project_out_param().

◆ project_out_param() [2/3]

isl::set isl::set::project_out_param ( isl::checked::id id) const
inline

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

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

Referenced by copy(), isl::checked::basic_set::project_out_param(), isl::checked::basic_set::project_out_param(), and project_out_param().

◆ project_out_param() [3/3]

isl::set isl::set::project_out_param ( isl::checked::id_list list) const
inline

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

References copy(), isl_set_project_out_param_id_list(), manage, isl::checked::id_list::release(), and res.

◆ pw_aff_on_domain() [1/2]

isl::pw_aff isl::set::pw_aff_on_domain ( isl::checked::val v) const
inline

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

References copy(), isl_set_pw_aff_on_domain_val(), manage, isl::checked::val::release(), and res.

Referenced by copy(), isl::checked::basic_set::pw_aff_on_domain(), and pw_aff_on_domain().

◆ pw_aff_on_domain() [2/2]

isl::pw_aff isl::set::pw_aff_on_domain ( long v) const
inline

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

References ctx(), and pw_aff_on_domain().

◆ pw_multi_aff_on_domain()

isl::pw_multi_aff isl::set::pw_multi_aff_on_domain ( isl::checked::multi_val mv) const
inline

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

References copy(), isl_set_pw_multi_aff_on_domain_multi_val(), manage, isl::checked::multi_val::release(), and res.

Referenced by copy(), and isl::checked::basic_set::pw_multi_aff_on_domain().

◆ release()

__isl_give isl_set * isl::set::release ( )
inline

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

References __isl_give, isl_set, and ptr.

Referenced by isl::checked::set_list::add(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildConditionSets(), copy(), polly::IslNodeBuilder::createNewAccesses(), isl::checked::ast_build::expr_from(), isl::checked::ast_build::from_context(), isl::map::from_domain(), isl::map::from_range(), polly::Scop::getDomains(), isl::checked::multi_pw_aff::gist(), isl::checked::pw_multi_aff::gist(), isl::checked::multi_pw_aff::gist_params(), isl::checked::pw_multi_aff::gist_params(), isl::checked::union_map::gist_params(), isl::checked::union_set::gist_params(), isl::checked::set_list::insert(), isl::checked::map::intersect_domain(), isl::checked::pw_aff::intersect_domain(), isl::checked::pw_multi_aff::intersect_domain(), isl::checked::multi_pw_aff::intersect_params(), isl::checked::pw_aff::intersect_params(), isl::checked::pw_multi_aff::intersect_params(), isl::checked::union_map::intersect_params(), isl::checked::union_pw_aff::intersect_params(), isl::checked::union_pw_multi_aff::intersect_params(), isl::checked::union_set::intersect_params(), isl::checked::map::intersect_range(), param_pw_aff_on_domain(), project_out_param(), isl::ast_build::restrict(), isl::checked::set_list::set_at(), isl::set::set_dim_id(), isl::checked::set_list::set_list(), isl::set::set_tuple_id(), isl::checked::pw_aff::subtract_domain(), isl::checked::pw_multi_aff::subtract_domain(), test_pointer(), and isl::checked::union_set::union_set().

◆ sample()

isl::basic_set isl::set::sample ( ) const
inline

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

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

Referenced by copy().

◆ sample_point()

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

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

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

Referenced by copy().

◆ set_list()

isl::set_list isl::set::set_list ( ) const
inline

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

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

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

◆ simple_fixed_box_hull()

isl::fixed_box isl::set::simple_fixed_box_hull ( ) const
inline

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

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

Referenced by copy(), get_simple_fixed_box_hull(), and isl::checked::basic_set::simple_fixed_box_hull().

◆ space()

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

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

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

Referenced by copy(), empty(), extract_set(), get_space(), isl::checked::basic_set::space(), and universe().

◆ stride()

isl::val isl::set::stride ( int pos) const
inline

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

References get(), isl_set_get_stride(), manage, pos(), and res.

Referenced by copy(), get_stride(), and isl::checked::basic_set::stride().

◆ subtract() [1/4]

isl::set isl::set::subtract ( const isl::checked::basic_set & set2) const
inline

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

References set2, and subtract().

◆ subtract() [2/4]

isl::set isl::set::subtract ( const isl::checked::point & set2) const
inline

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

References set2, and subtract().

◆ subtract() [3/4]

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

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

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

◆ subtract() [4/4]

isl::set isl::set::subtract ( isl::checked::set set2) const
inline

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

References copy(), isl_set_subtract(), manage, res, and set2.

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), copy(), polly::getPartialTilePrefixes(), isl::checked::basic_set::subtract(), isl::checked::basic_set::subtract(), subtract(), subtract(), and polly::subtractParams().

◆ to_list()

isl::set_list isl::set::to_list ( ) const
inline

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

References copy(), manage, and res.

Referenced by copy(), and isl::checked::basic_set::to_list().

◆ to_union_set()

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

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

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

Referenced by copy(), and isl::checked::basic_set::to_union_set().

◆ translation()

isl::map isl::set::translation ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::translation().

◆ tuple_dim()

class size isl::set::tuple_dim ( ) const
inline

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

References get(), isl_set_tuple_dim(), isl::checked::size::manage, res, set(), and tuple_dim().

Referenced by polly::ScopBuilder::adjustDomainDimensions(), copy(), fixSetToZero(), polly::ScopBuilder::foldSizeConstantsToRight(), polly::ZoneAlgorithm::getDefToTarget(), polly::getIsolateOptions(), polly::getPartialTilePrefixes(), polly::MemoryAccess::isStrideX(), polly::Dependences::isValidSchedule(), polly::shiftDim(), isl::checked::basic_set::tuple_dim(), and tuple_dim().

◆ unbind_params()

isl::set isl::set::unbind_params ( isl::checked::multi_id tuple) const
inline

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

References copy(), isl_set_unbind_params(), manage, res, and tuple.

Referenced by copy(), and isl::checked::basic_set::unbind_params().

◆ unbind_params_insert_domain()

isl::map isl::set::unbind_params_insert_domain ( isl::checked::multi_id domain) const
inline

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

References copy(), domain, isl_set_unbind_params_insert_domain(), manage, and res.

Referenced by copy(), and isl::checked::basic_set::unbind_params_insert_domain().

◆ unite() [1/4]

isl::set isl::set::unite ( const isl::checked::basic_set & set2) const
inline

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

References set2, and unite().

◆ unite() [2/4]

isl::set isl::set::unite ( const isl::checked::point & set2) const
inline

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

References set2, and unite().

◆ unite() [3/4]

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

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

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

◆ unite() [4/4]

isl::set isl::set::unite ( isl::checked::set set2) const
inline

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

References copy(), isl_set_union(), manage, res, and set2.

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), addRangeBoundsToSet(), polly::MemoryAccess::assumeNoOutOfBound(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), polly::SCEVAffinator::checkForWrapping(), collectBoundedParts(), copy(), polly::ScopBuilder::getPredecessorDomainConstraints(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::ScopBuilder::propagateInvalidStmtDomains(), recursiveExpand(), polly::ScopBuilder::splitAliasGroupsByDomain(), test_constructors(), test_parameters_obj(), isl::checked::basic_set::unite(), isl::checked::basic_set::unite(), unite(), and unite().

◆ universe()

isl::set isl::set::universe ( isl::checked::space space)
inlinestatic

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

References isl_set_universe(), manage, res, and space().

Referenced by copy().

◆ unshifted_simple_hull()

isl::basic_set isl::set::unshifted_simple_hull ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::unshifted_simple_hull().

◆ unwrap()

isl::map isl::set::unwrap ( ) const
inline

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

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

Referenced by copy(), polly::distributeDomain(), and isl::checked::basic_set::unwrap().

◆ upper_bound() [1/2]

isl::set isl::set::upper_bound ( isl::checked::multi_pw_aff upper) const
inline

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

References copy(), isl_set_upper_bound_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.

Referenced by copy(), isl::checked::basic_set::upper_bound(), and isl::checked::basic_set::upper_bound().

◆ upper_bound() [2/2]

isl::set isl::set::upper_bound ( isl::checked::multi_val upper) const
inline

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

References copy(), isl_set_upper_bound_multi_val(), manage, isl::checked::multi_val::release(), and res.

◆ wrapped_reverse()

isl::set isl::set::wrapped_reverse ( ) const
inline

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

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

Referenced by copy(), and isl::checked::basic_set::wrapped_reverse().

◆ manage

set manage ( __isl_take isl_set * ptr)
friend

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

References __isl_take, isl_set, ptr, set(), and isl::set.

Referenced by isl::set::add_constraint(), isl::set::add_dims(), affine_hull(), isl::set::align_params(), apply(), as_pw_multi_aff(), isl::set::basic_set_list(), bind(), coalesce(), complement(), isl::set::convex_hull(), copy(), detect_equalities(), isl::set::dim_has_any_lower_bound(), isl::set::dim_id(), isl::set::dim_max(), dim_max_val(), isl::set::dim_min(), dim_min_val(), isl::set::drop_constraints_involving_dims(), drop_unused_params(), isl::set::eliminate(), empty(), isl::set::fix_si(), flatten(), foreach_basic_set(), isl::set::foreach_basic_set(), foreach_point(), isl::set::foreach_point(), gist(), gist_params(), isl::set::has_equal_space(), identity(), indicator_function(), isl::set::insert_dims(), insert_domain(), intersect(), intersect_params(), isl::set::involves_dims(), involves_locals(), isl::set::is_bounded(), is_disjoint(), is_empty(), is_equal(), isl::set::is_params(), is_singleton(), is_strict_subset(), is_subset(), is_wrapping(), lattice_tile(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), lower_bound(), isl::set::lower_bound_si(), isl::set::lower_bound_val(), max_multi_pw_aff(), max_val(), min_multi_pw_aff(), min_val(), param_pw_aff_on_domain(), params(), isl::set::plain_get_val_if_fixed(), plain_multi_val_if_fixed(), polyhedral_hull(), preimage(), preimage(), preimage(), product(), isl::set::project_out(), project_out_all_params(), project_out_param(), project_out_param(), pw_aff_on_domain(), pw_multi_aff_on_domain(), isl::set::remove_dims(), isl::set::remove_divs(), isl::set::remove_redundancies(), isl::set::reset_tuple_id(), sample(), sample_point(), isl::set::set_dim_id(), isl::set::set_tuple_id(), simple_fixed_box_hull(), isl::set::simple_hull(), space(), stride(), subtract(), to_list(), to_union_set(), translation(), isl::set::tuple_id(), unbind_params(), unbind_params_insert_domain(), unite(), universe(), unshifted_simple_hull(), unwrap(), upper_bound(), upper_bound(), isl::set::upper_bound_val(), and wrapped_reverse().

◆ manage_copy

set manage_copy ( __isl_keep isl_set * ptr)
friend

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

References __isl_keep, isl_set, isl_set_copy(), ptr, set(), and isl::set.

Referenced by copy().

Member Data Documentation

◆ ptr

isl_set * isl::set::ptr = nullptr
protected

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

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

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