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

#include <isl-noexceptions.h>

Public Member Functions

 set ()
 
 set (const set &obj)
 
 set (isl::basic_set bset)
 
 set (isl::point pnt)
 
 set (isl::union_set uset)
 
 set (isl::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::ctx ctx () const
 
isl::set add_constraint (isl::constraint constraint) const
 
isl::set add_dims (isl::dim type, unsigned int n) const
 
isl::basic_set affine_hull () const
 
isl::set align_params (isl::space model) const
 
isl::set apply (isl::map map) const
 
isl::union_set apply (const isl::union_map &umap) const
 
isl::set apply (const isl::basic_map &map) const
 
isl::pw_multi_aff as_pw_multi_aff () const
 
isl::set as_set () const
 
isl::basic_set_list basic_set_list () const
 
isl::basic_set_list get_basic_set_list () const
 
isl::set bind (isl::multi_id tuple) const
 
isl::set coalesce () const
 
isl::set complement () const
 
isl::union_set compute_divs () const
 
boolean contains (const isl::space &space) const
 
isl::basic_set convex_hull () const
 
isl::set detect_equalities () const
 
class size dim (isl::dim type) const
 
boolean dim_has_any_lower_bound (isl::dim type, unsigned int pos) const
 
isl::id dim_id (isl::dim type, unsigned int pos) const
 
isl::id get_dim_id (isl::dim type, unsigned int pos) const
 
isl::pw_aff dim_max (int pos) const
 
isl::val dim_max_val (int pos) const
 
isl::pw_aff dim_min (int pos) const
 
isl::val dim_min_val (int pos) const
 
std::string dim_name (isl::dim type, unsigned int pos) const
 
std::string get_dim_name (isl::dim type, unsigned int pos) const
 
isl::set drop_constraints_involving_dims (isl::dim type, unsigned int first, unsigned int n) const
 
isl::set eliminate (isl::dim type, unsigned int first, unsigned int n) const
 
boolean every_set (const std::function< boolean(isl::set)> &test) const
 
isl::set extract_set (const isl::space &space) const
 
int find_dim_by_id (isl::dim type, const isl::id &id) const
 
int find_dim_by_id (isl::dim type, const std::string &id) const
 
isl::set fix_si (isl::dim type, unsigned int pos, int value) const
 
isl::set flatten () const
 
stat foreach_basic_set (const std::function< stat(isl::basic_set)> &fn) const
 
stat foreach_point (const std::function< stat(isl::point)> &fn) const
 
stat foreach_set (const std::function< stat(isl::set)> &fn) const
 
isl::set gist (isl::set context) const
 
isl::union_set gist (const isl::union_set &context) const
 
isl::set gist (const isl::basic_set &context) const
 
isl::set gist (const isl::point &context) const
 
isl::set gist_params (isl::set context) const
 
boolean has_equal_space (const isl::set &set2) const
 
isl::map identity () const
 
isl::union_pw_multi_aff identity_union_pw_multi_aff () const
 
isl::pw_aff indicator_function () const
 
isl::set insert_dims (isl::dim type, unsigned int pos, unsigned int n) const
 
isl::map insert_domain (isl::space domain) const
 
isl::set intersect (isl::set set2) const
 
isl::union_set intersect (const isl::union_set &uset2) const
 
isl::set intersect (const isl::basic_set &set2) const
 
isl::set intersect (const isl::point &set2) const
 
isl::set intersect_params (isl::set params) const
 
boolean involves_dims (isl::dim type, unsigned int first, unsigned int n) const
 
boolean involves_locals () const
 
boolean is_bounded () const
 
boolean is_disjoint (const isl::set &set2) const
 
boolean is_disjoint (const isl::union_set &uset2) const
 
boolean is_disjoint (const isl::basic_set &set2) const
 
boolean is_disjoint (const isl::point &set2) const
 
boolean is_empty () const
 
boolean is_equal (const isl::set &set2) const
 
boolean is_equal (const isl::union_set &uset2) const
 
boolean is_equal (const isl::basic_set &set2) const
 
boolean is_equal (const isl::point &set2) const
 
boolean is_params () const
 
boolean is_singleton () const
 
boolean is_strict_subset (const isl::set &set2) const
 
boolean is_strict_subset (const isl::union_set &uset2) const
 
boolean is_strict_subset (const isl::basic_set &set2) const
 
boolean is_strict_subset (const isl::point &set2) const
 
boolean is_subset (const isl::set &set2) const
 
boolean is_subset (const isl::union_set &uset2) const
 
boolean is_subset (const isl::basic_set &set2) const
 
boolean is_subset (const isl::point &set2) const
 
boolean is_wrapping () const
 
boolean isa_set () const
 
isl::set lexmax () const
 
isl::pw_multi_aff lexmax_pw_multi_aff () const
 
isl::set lexmin () const
 
isl::pw_multi_aff lexmin_pw_multi_aff () const
 
isl::set lower_bound (isl::multi_pw_aff lower) const
 
isl::set lower_bound (isl::multi_val lower) const
 
isl::set lower_bound_si (isl::dim type, unsigned int pos, int value) const
 
isl::set lower_bound_val (isl::dim type, unsigned int pos, isl::val value) const
 
isl::set lower_bound_val (isl::dim type, unsigned int pos, long value) const
 
isl::multi_pw_aff max_multi_pw_aff () const
 
isl::val max_val (const isl::aff &obj) const
 
isl::multi_pw_aff min_multi_pw_aff () const
 
isl::val min_val (const isl::aff &obj) const
 
class size n_basic_set () const
 
isl::set params () const
 
isl::val plain_get_val_if_fixed (isl::dim type, unsigned int pos) const
 
isl::multi_val plain_multi_val_if_fixed () const
 
isl::multi_val get_plain_multi_val_if_fixed () const
 
isl::basic_set polyhedral_hull () const
 
isl::set preimage (isl::multi_aff ma) const
 
isl::set preimage (isl::multi_pw_aff mpa) const
 
isl::set preimage (isl::pw_multi_aff pma) const
 
isl::union_set preimage (const isl::union_pw_multi_aff &upma) const
 
isl::set product (isl::set set2) const
 
isl::set project_out (isl::dim type, unsigned int first, unsigned int n) const
 
isl::set project_out_all_params () const
 
isl::set project_out_param (isl::id id) const
 
isl::set project_out_param (const std::string &id) const
 
isl::set project_out_param (isl::id_list list) const
 
isl::pw_multi_aff pw_multi_aff_on_domain (isl::multi_val mv) const
 
isl::set remove_dims (isl::dim type, unsigned int first, unsigned int n) const
 
isl::set remove_divs () const
 
isl::set remove_redundancies () const
 
isl::set reset_tuple_id () const
 
isl::basic_set sample () const
 
isl::point sample_point () const
 
isl::set set_dim_id (isl::dim type, unsigned int pos, isl::id id) const
 
isl::set set_dim_id (isl::dim type, unsigned int pos, const std::string &id) const
 
isl::set_list set_list () const
 
isl::set set_tuple_id (isl::id id) const
 
isl::set set_tuple_id (const std::string &id) const
 
isl::fixed_box simple_fixed_box_hull () const
 
isl::fixed_box get_simple_fixed_box_hull () const
 
isl::basic_set simple_hull () const
 
isl::space space () const
 
isl::space get_space () const
 
isl::val stride (int pos) const
 
isl::val get_stride (int pos) const
 
isl::set subtract (isl::set set2) const
 
isl::union_set subtract (const isl::union_set &uset2) const
 
isl::set subtract (const isl::basic_set &set2) const
 
isl::set subtract (const isl::point &set2) const
 
isl::set_list to_list () const
 
isl::union_set to_union_set () const
 
isl::map translation () const
 
class size tuple_dim () const
 
isl::id tuple_id () const
 
isl::id get_tuple_id () const
 
std::string tuple_name () const
 
std::string get_tuple_name () const
 
isl::set unbind_params (isl::multi_id tuple) const
 
isl::map unbind_params_insert_domain (isl::multi_id domain) const
 
isl::set unite (isl::set set2) const
 
isl::union_set unite (const isl::union_set &uset2) const
 
isl::set unite (const isl::basic_set &set2) const
 
isl::set unite (const isl::point &set2) const
 
isl::basic_set unshifted_simple_hull () const
 
isl::map unwrap () const
 
isl::set upper_bound (isl::multi_pw_aff upper) const
 
isl::set upper_bound (isl::multi_val upper) const
 
isl::set upper_bound_val (isl::dim type, unsigned int pos, isl::val value) const
 
isl::set upper_bound_val (isl::dim type, unsigned int pos, long value) const
 

Static Public Member Functions

static isl::set empty (isl::space space)
 
static isl::set universe (isl::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 3878 of file isl-noexceptions.h.

Constructor & Destructor Documentation

◆ set() [1/7]

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

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

◆ set() [2/7]

isl::set::set ( )
inline

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

◆ set() [3/7]

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

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

References obj, and ptr.

◆ set() [4/7]

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

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

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

◆ set() [5/7]

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

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

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

◆ set() [6/7]

isl::set::set ( isl::union_set  uset)
inlineexplicit

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

References isl_set_from_union_set(), ptr, isl::union_set::release(), and res.

◆ set() [7/7]

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

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

References isl_set_read_from_str(), ptr, isl::ctx::release(), res, and str.

◆ ~set()

isl::set::~set ( )
inline

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

References isl_set_free(), and ptr.

Member Function Documentation

◆ add_constraint()

isl::set isl::set::add_constraint ( isl::constraint  constraint) const
inline

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

References copy(), isl_set_add_constraint(), manage, isl::constraint::release(), and res.

Referenced by isl::basic_set::add_constraint(), and partitionSetParts().

◆ add_dims()

isl::set isl::set::add_dims ( isl::dim  type,
unsigned int  n 
) const
inline

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

References copy(), isl_set_add_dims(), manage, n, res, and type.

Referenced by isl::basic_set::add_dims(), and polly::ScopBuilder::adjustDomainDimensions().

◆ affine_hull()

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

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

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

Referenced by polly::ScopBuilder::foldSizeConstantsToRight().

◆ align_params()

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

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

References copy(), isl_set_align_params(), manage, isl::space::release(), and res.

Referenced by isl::basic_set::align_params(), polly::MemoryAccess::realignParams(), polly::ScopStmt::realignParams(), polly::Scop::realignParams(), polly::Scop::setContext(), and polly::Scop::simplifyContexts().

◆ apply() [1/3]

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

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

References apply().

◆ apply() [2/3]

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

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

References isl::union_set::apply().

◆ apply() [3/3]

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

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

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

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

◆ as_pw_multi_aff()

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

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

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

Referenced by isl::basic_set::as_pw_multi_aff().

◆ as_set()

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

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

References isl::union_set::as_set().

Referenced by isl::basic_set::as_set().

◆ basic_set_list()

isl::basic_set_list isl::set::basic_set_list ( ) const
inline

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

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

Referenced by isl::basic_set::basic_set_list(), and get_basic_set_list().

◆ bind()

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

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

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

Referenced by isl::basic_set::bind().

◆ coalesce()

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

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

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

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

◆ complement()

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

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

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

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

◆ compute_divs()

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

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

References isl::union_set::compute_divs().

Referenced by isl::basic_set::compute_divs().

◆ contains()

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

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

References isl::union_set::contains().

Referenced by isl::basic_set::contains().

◆ convex_hull()

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

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

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

Referenced by isl::basic_set::convex_hull(), and flatCompare().

◆ copy() [1/2]

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

◆ copy() [2/2]

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

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

References isl_set_copy(), and ptr.

Referenced by add_constraint(), add_dims(), affine_hull(), align_params(), apply(), as_pw_multi_aff(), bind(), checkCandidatePairAccesses(), coalesce(), complement(), convex_hull(), detect_equalities(), dim_max(), dim_max_val(), dim_min(), dim_min_val(), drop_constraints_involving_dims(), eliminate(), fix_si(), flatten(), gist(), gist_params(), identity(), indicator_function(), insert_dims(), insert_domain(), intersect(), intersect_params(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), lower_bound_si(), lower_bound_val(), max_multi_pw_aff(), min_multi_pw_aff(), params(), polyhedral_hull(), preimage(), polly::IslNodeBuilder::preloadInvariantEquivClass(), product(), project_out(), project_out_all_params(), project_out_param(), pw_multi_aff_on_domain(), remove_dims(), remove_divs(), remove_redundancies(), reset_tuple_id(), sample(), sample_point(), set_dim_id(), set_tuple_id(), 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(), and upper_bound_val().

◆ ctx()

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

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

References isl_set_get_ctx(), and ptr.

Referenced by find_dim_by_id(), polly::getIsolateOptions(), lower_bound_val(), project_out_param(), set_dim_id(), set_tuple_id(), and upper_bound_val().

◆ detect_equalities()

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

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

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

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

◆ dim()

class size isl::set::dim ( isl::dim  type) const
inline

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

References isl_set_dim(), isl::size::manage, res, and type.

Referenced by polly::ScopBuilder::addUserContext(), and importContext().

◆ dim_has_any_lower_bound()

boolean isl::set::dim_has_any_lower_bound ( isl::dim  type,
unsigned int  pos 
) const
inline

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

References get(), isl_set_dim_has_any_lower_bound(), manage, pos(), res, and type.

Referenced by isl::basic_set::dim_has_any_lower_bound().

◆ dim_id()

isl::id isl::set::dim_id ( isl::dim  type,
unsigned int  pos 
) const
inline

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

References get(), isl_set_get_dim_id(), manage, pos(), res, and type.

Referenced by isl::basic_set::dim_id(), and get_dim_id().

◆ dim_max()

isl::pw_aff isl::set::dim_max ( int  pos) const
inline

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

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

Referenced by isl::basic_set::dim_max().

◆ dim_max_val()

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

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

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

◆ dim_min()

isl::pw_aff isl::set::dim_min ( int  pos) const
inline

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

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

Referenced by isl::basic_set::dim_min(), and flatCompare().

◆ dim_min_val()

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

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

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

Referenced by isl::basic_set::dim_min_val().

◆ dim_name()

std::string isl::set::dim_name ( isl::dim  type,
unsigned int  pos 
) const
inline

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

References get(), isl_set_get_dim_name(), pos(), res, and type.

Referenced by isl::basic_set::dim_name(), and get_dim_name().

◆ drop_constraints_involving_dims()

isl::set isl::set::drop_constraints_involving_dims ( isl::dim  type,
unsigned int  first,
unsigned int  n 
) const
inline

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

References copy(), isl_set_drop_constraints_involving_dims(), manage, n, res, and type.

Referenced by isl::basic_set::drop_constraints_involving_dims(), and polly::getPartialTilePrefixes().

◆ eliminate()

isl::set isl::set::eliminate ( isl::dim  type,
unsigned int  first,
unsigned int  n 
) const
inline

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

References copy(), isl_set_eliminate(), manage, n, res, and type.

Referenced by polly::ScopBuilder::addInvariantLoads(), and isl::basic_set::eliminate().

◆ empty()

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

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

References isl_set_empty(), manage, isl::space::release(), and res.

Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::assumeNoOutOfBound(), polly::MemoryAccess::buildAccessRelation(), polly::Scop::buildContext(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), collectBoundedParts(), expand(), polly::ScopBuilder::getPredecessorDomainConstraints(), polly::SCEVAffinator::getPWACtxFromPWA(), polly::Scop::invalidate(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::ScopBuilder::propagateInvalidStmtDomains(), polly::Scop::restrictDomains(), and polly::singleton().

◆ every_set()

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

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

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

Referenced by isl::basic_set::every_set().

◆ extract_set()

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

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

References isl::union_set::extract_set().

Referenced by isl::basic_set::extract_set().

◆ find_dim_by_id() [1/2]

int isl::set::find_dim_by_id ( isl::dim  type,
const isl::id &  id 
) const
inline

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

References get(), isl_set_find_dim_by_id(), res, and type.

Referenced by polly::ScopBuilder::addInvariantLoads(), isl::basic_set::find_dim_by_id(), and find_dim_by_id().

◆ find_dim_by_id() [2/2]

int isl::set::find_dim_by_id ( isl::dim  type,
const std::string &  id 
) const
inline

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

References ctx(), and find_dim_by_id().

◆ fix_si()

isl::set isl::set::fix_si ( isl::dim  type,
unsigned int  pos,
int  value 
) const
inline

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

References copy(), isl_set_fix_si(), manage, pos(), res, and type.

Referenced by fixSetToZero(), polly::MemoryAccess::isStrideX(), and polly::Dependences::isValidSchedule().

◆ flatten()

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

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

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

◆ foreach_basic_set()

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

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

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

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

◆ foreach_point()

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

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

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

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

◆ foreach_set()

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

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

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

Referenced by isl::basic_set::foreach_set().

◆ get()

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

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

References ptr.

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

◆ get_basic_set_list()

isl::basic_set_list isl::set::get_basic_set_list ( ) const
inline

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

References basic_set_list().

Referenced by expand(), isAccessRangeTooComplex(), and printSortedPolyhedra().

◆ get_dim_id()

isl::id isl::set::get_dim_id ( isl::dim  type,
unsigned int  pos 
) const
inline

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

References dim_id(), pos(), and type.

Referenced by importContext().

◆ get_dim_name()

std::string isl::set::get_dim_name ( isl::dim  type,
unsigned int  pos 
) const
inline

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

References dim_name(), pos(), and type.

Referenced by polly::ScopBuilder::addUserContext().

◆ get_plain_multi_val_if_fixed()

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

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

References plain_multi_val_if_fixed().

◆ get_simple_fixed_box_hull()

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

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

References simple_fixed_box_hull().

◆ get_space()

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

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

References space().

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::buildAccessRelation(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), computeScalarReachingDefinition(), expand(), polly::ScopStmt::getDomainSpace(), polly::Scop::getParamSpace(), polly::MemoryAccess::isStrideX(), polly::Dependences::isValidSchedule(), polly::makeIdentityMap(), partitionSetParts(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::Scop::setContext(), 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 19253 of file isl-noexceptions.h.

References pos(), and stride().

◆ get_tuple_id()

isl::id isl::set::get_tuple_id ( ) const
inline

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

References tuple_id().

Referenced by addReferencesFromStmtSet(), polly::ScopStmt::getDomainId(), and polly::ZoneAlgorithm::getScalarReachingDefinition().

◆ get_tuple_name()

std::string isl::set::get_tuple_name ( ) const
inline

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

References tuple_name().

◆ gist() [1/4]

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

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

References context, and gist.

◆ gist() [2/4]

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

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

References context, and gist.

◆ gist() [3/4]

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

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

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

◆ gist() [4/4]

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

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

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

Referenced by isl::basic_set::gist().

◆ gist_params()

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

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

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

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

◆ has_equal_space()

boolean isl::set::has_equal_space ( const isl::set &  set2) const
inline

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

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

Referenced by isl::basic_set::has_equal_space(), and hasIntersectingAccesses().

◆ identity()

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

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

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

Referenced by isl::basic_set::identity().

◆ identity_union_pw_multi_aff()

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

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

References isl::union_set::identity_union_pw_multi_aff().

Referenced by isl::basic_set::identity_union_pw_multi_aff().

◆ indicator_function()

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

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

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

Referenced by isl::basic_set::indicator_function().

◆ insert_dims()

isl::set isl::set::insert_dims ( isl::dim  type,
unsigned int  pos,
unsigned int  n 
) const
inline

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

References copy(), isl_set_insert_dims(), manage, n, pos(), res, and type.

Referenced by isl::basic_set::insert_dims(), and partitionSetParts().

◆ insert_domain()

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

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

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

Referenced by isl::basic_set::insert_domain().

◆ intersect() [1/4]

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

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

References intersect(), and set2.

◆ intersect() [2/4]

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

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

References intersect(), and set2.

◆ intersect() [3/4]

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

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

References isl::union_set::intersect().

◆ intersect() [4/4]

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

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

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

Referenced by polly::Scop::addAssumption(), polly::MemoryAccess::assumeNoOutOfBound(), polly::MemoryAccess::getPwAff(), intersect(), isl::basic_set::intersect(), polly::Scop::intersectDefinedBehavior(), polly::IslNodeBuilder::preloadInvariantEquivClass(), and polly::ScopBuilder::propagateInvalidStmtDomains().

◆ intersect_params()

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

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

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

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

◆ involves_dims()

boolean isl::set::involves_dims ( isl::dim  type,
unsigned int  first,
unsigned int  n 
) const
inline

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

References get(), isl_set_involves_dims(), manage, n, res, and type.

Referenced by buildMinMaxAccess(), and isl::basic_set::involves_dims().

◆ involves_locals()

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

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

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

Referenced by isl::basic_set::involves_locals().

◆ is_bounded()

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

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

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

◆ is_disjoint() [1/4]

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

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

References is_disjoint(), and set2.

◆ is_disjoint() [2/4]

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

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

References is_disjoint(), and set2.

◆ is_disjoint() [3/4]

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

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

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

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

◆ is_disjoint() [4/4]

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

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

References isl::union_set::is_disjoint().

◆ is_empty()

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

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

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

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

◆ is_equal() [1/4]

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

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

References is_equal(), and set2.

◆ is_equal() [2/4]

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

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

References is_equal(), and set2.

◆ is_equal() [3/4]

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

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

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

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

◆ is_equal() [4/4]

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

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

References isl::union_set::is_equal().

◆ is_null()

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

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

References ptr.

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), polly::ZoneAlgorithm::computePerPHI(), polly::Scop::getAssumedContext(), polly::Scop::getAssumedContextStr(), polly::Scop::getBestKnownDefinedBehaviorContext(), polly::ScopBuilder::hasNonHoistableBasePtrInScop(), polly::ScopBuilder::hoistInvariantLoads(), importContext(), polly::Scop::intersectDefinedBehavior(), polly::ScopStmt::print(), polly::Scop::printContext(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::singleton(), and test_pointer().

◆ is_params()

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

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

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

Referenced by importContext(), and isl::basic_set::is_params().

◆ is_singleton()

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

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

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

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

◆ is_strict_subset() [1/4]

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

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

References is_strict_subset(), and set2.

◆ is_strict_subset() [2/4]

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

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

References is_strict_subset(), and set2.

◆ is_strict_subset() [3/4]

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

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

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

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

◆ is_strict_subset() [4/4]

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

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

References isl::union_set::is_strict_subset().

◆ is_subset() [1/4]

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

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

References is_subset(), and set2.

◆ is_subset() [2/4]

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

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

References is_subset(), and set2.

◆ is_subset() [3/4]

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

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

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

Referenced by polly::ScopBuilder::foldSizeConstantsToRight(), polly::BlockGenerator::generateConditionalExecution(), polly::Scop::hasFeasibleRuntimeContext(), is_subset(), isl::basic_set::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::union_set &  uset2) const
inline

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

References isl::union_set::is_subset().

◆ is_wrapping()

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

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

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

◆ isa_set()

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

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

References isl::union_set::isa_set().

Referenced by isl::basic_set::isa_set().

◆ lexmax()

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

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

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

◆ lexmax_pw_multi_aff()

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

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

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

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

◆ lexmin()

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

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

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

◆ lexmin_pw_multi_aff()

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

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

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

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

◆ lower_bound() [1/2]

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

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

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

Referenced by isl::basic_set::lower_bound().

◆ lower_bound() [2/2]

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

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

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

◆ lower_bound_si()

isl::set isl::set::lower_bound_si ( isl::dim  type,
unsigned int  pos,
int  value 
) const
inline

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

References copy(), isl_set_lower_bound_si(), manage, pos(), res, and type.

Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::ScopBuilder::foldSizeConstantsToRight(), and isl::basic_set::lower_bound_si().

◆ lower_bound_val() [1/2]

isl::set isl::set::lower_bound_val ( isl::dim  type,
unsigned int  pos,
isl::val  value 
) const
inline

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

References copy(), isl_set_lower_bound_val(), manage, pos(), isl::val::release(), res, and type.

Referenced by isl::basic_set::lower_bound_val(), and lower_bound_val().

◆ lower_bound_val() [2/2]

isl::set isl::set::lower_bound_val ( isl::dim  type,
unsigned int  pos,
long  value 
) const
inline

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

References ctx(), lower_bound_val(), and pos().

◆ max_multi_pw_aff()

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

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

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

Referenced by isl::basic_set::max_multi_pw_aff().

◆ max_val()

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

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

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

Referenced by isl::basic_set::max_val().

◆ min_multi_pw_aff()

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

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

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

Referenced by isl::basic_set::min_multi_pw_aff().

◆ min_val()

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

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

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

Referenced by isl::basic_set::min_val().

◆ n_basic_set()

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

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

References isl_set_n_basic_set(), isl::size::manage, and res.

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

◆ operator=()

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

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

References obj.

◆ params()

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

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

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

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

◆ plain_get_val_if_fixed()

isl::val isl::set::plain_get_val_if_fixed ( isl::dim  type,
unsigned int  pos 
) const
inline

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

References get(), isl_set_plain_get_val_if_fixed(), manage, pos(), res, and type.

Referenced by isl::basic_set::plain_get_val_if_fixed().

◆ plain_multi_val_if_fixed()

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

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

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

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

◆ polyhedral_hull()

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

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

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

Referenced by isl::basic_set::polyhedral_hull().

◆ preimage() [1/4]

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

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

References isl::union_set::preimage().

◆ preimage() [2/4]

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

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

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

Referenced by isl::basic_set::preimage(), and test_preimage().

◆ preimage() [3/4]

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

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

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

◆ preimage() [4/4]

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

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

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

◆ product()

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

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

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

Referenced by isl::basic_set::product().

◆ project_out()

isl::set isl::set::project_out ( isl::dim  type,
unsigned int  first,
unsigned int  n 
) const
inline

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

References copy(), isl_set_project_out(), manage, n, res, and type.

Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::ScopBuilder::adjustDomainDimensions(), polly::ScopBuilder::foldSizeConstantsToRight(), polly::getPartialTilePrefixes(), and partitionSetParts().

◆ project_out_all_params()

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

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

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

Referenced by hasIntersectingAccesses(), and isl::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 19139 of file isl-noexceptions.h.

References ctx(), and project_out_param().

◆ project_out_param() [2/3]

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

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

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

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

◆ project_out_param() [3/3]

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

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

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

◆ pw_multi_aff_on_domain()

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

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

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

Referenced by isl::basic_set::pw_multi_aff_on_domain().

◆ release()

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

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

References ptr.

Referenced by isl::set_list::add(), polly::ScopBuilder::buildConditionSets(), polly::IslNodeBuilder::createNewAccesses(), isl::ast_build::expr_from(), isl::ast_build::from_context(), isl::map::from_domain(), isl::basic_map::from_domain_and_range(), isl::map::from_domain_and_range(), isl::map::from_range(), polly::Scop::getDomains(), isl::multi_pw_aff::gist(), isl::pw_multi_aff::gist(), isl::union_map::gist_params(), isl::union_set::gist_params(), isl::set_list::insert(), isl::multi_aff::insert_domain(), isl::multi_pw_aff::insert_domain(), isl::pw_aff::insert_domain(), isl::pw_multi_aff::insert_domain(), isl::multi_pw_aff::intersect_domain(), isl::map::intersect_domain(), isl::pw_aff::intersect_domain(), isl::pw_multi_aff::intersect_domain(), isl::map::intersect_params(), intersect_params(), isl::multi_pw_aff::intersect_params(), isl::pw_aff::intersect_params(), isl::pw_multi_aff::intersect_params(), isl::union_map::intersect_params(), isl::union_pw_aff::intersect_params(), isl::union_pw_multi_aff::intersect_params(), isl::union_set::intersect_params(), isl::map::intersect_range(), isl::pw_multi_aff::multi_val_on_domain(), isl::pw_aff::param_on_domain(), project_out_param(), isl::pw_aff::pw_aff(), isl::ast_build::restrict(), isl::schedule_constraints::set_context(), set_dim_id(), isl::set_list::set_list(), set_tuple_id(), isl::pw_aff::subtract_domain(), isl::pw_multi_aff::subtract_domain(), test_pointer(), isl::aff::unbind_params_insert_domain(), isl::multi_aff::unbind_params_insert_domain(), isl::multi_pw_aff::unbind_params_insert_domain(), and isl::union_set::union_set().

◆ remove_dims()

isl::set isl::set::remove_dims ( isl::dim  type,
unsigned int  first,
unsigned int  n 
) const
inline

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

References copy(), isl_set_remove_dims(), manage, n, res, and type.

Referenced by partitionSetParts(), and isl::basic_set::remove_dims().

◆ remove_divs()

isl::set isl::set::remove_divs ( ) const
inline

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

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

Referenced by polly::MemoryAccess::assumeNoOutOfBound(), buildMinMaxAccess(), polly::ScopBuilder::getNonHoistableCtx(), and isl::basic_set::remove_divs().

◆ remove_redundancies()

isl::set isl::set::remove_redundancies ( ) const
inline

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

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

Referenced by polly::ZoneAlgorithm::getDomainFor(), and isl::basic_set::remove_redundancies().

◆ reset_tuple_id()

isl::set isl::set::reset_tuple_id ( ) const
inline

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

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

Referenced by polly::MemoryAccess::getPwAff(), and isl::basic_set::reset_tuple_id().

◆ sample()

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

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

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

◆ sample_point()

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

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

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

◆ set_dim_id() [1/2]

isl::set isl::set::set_dim_id ( isl::dim  type,
unsigned int  pos,
const std::string &  id 
) const
inline

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

References ctx(), pos(), and set_dim_id().

◆ set_dim_id() [2/2]

isl::set isl::set::set_dim_id ( isl::dim  type,
unsigned int  pos,
isl::id  id 
) const
inline

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

References copy(), isl_set_set_dim_id(), manage, pos(), release(), res, and type.

Referenced by polly::ScopBuilder::addUserContext(), importContext(), isl::basic_set::set_dim_id(), and set_dim_id().

◆ set_list()

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

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

References isl::union_set::set_list().

Referenced by isl::basic_set::set_list().

◆ set_tuple_id() [1/2]

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

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

References ctx(), and set_tuple_id().

◆ set_tuple_id() [2/2]

isl::set isl::set::set_tuple_id ( isl::id  id) const
inline

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

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

Referenced by polly::ScopBuilder::buildDomain(), polly::getIsolateOptions(), polly::ScopStmt::ScopStmt(), isl::basic_set::set_tuple_id(), and set_tuple_id().

◆ simple_fixed_box_hull()

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

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

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

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

◆ simple_hull()

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

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

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

Referenced by buildMinMaxAccess(), and isl::basic_set::simple_hull().

◆ space()

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

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

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

Referenced by get_space().

◆ stride()

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

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

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

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

◆ subtract() [1/4]

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

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

References set2, and subtract().

◆ subtract() [2/4]

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

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

References set2, and subtract().

◆ subtract() [3/4]

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

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

References isl::union_set::subtract().

◆ subtract() [4/4]

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

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

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

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::Scop::getBestKnownDefinedBehaviorContext(), polly::getPartialTilePrefixes(), polly::Scop::intersectDefinedBehavior(), subtract(), isl::basic_set::subtract(), and polly::subtractParams().

◆ to_list()

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

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

References copy(), manage, and res.

◆ to_union_set()

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

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

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

Referenced by isl::basic_set::to_union_set().

◆ translation()

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

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

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

Referenced by isl::basic_set::translation().

◆ tuple_dim()

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

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

References isl_set_tuple_dim(), isl::size::manage, and res.

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

◆ tuple_id()

isl::id isl::set::tuple_id ( ) const
inline

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

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

Referenced by get_tuple_id(), and isl::basic_set::tuple_id().

◆ tuple_name()

std::string isl::set::tuple_name ( ) const
inline

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

References get(), isl_set_get_tuple_name(), and res.

Referenced by get_tuple_name(), and isl::basic_set::tuple_name().

◆ unbind_params()

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

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

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

Referenced by isl::basic_set::unbind_params().

◆ unbind_params_insert_domain()

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

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

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

Referenced by isl::basic_set::unbind_params_insert_domain().

◆ unite() [1/4]

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

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

References set2, and unite().

◆ unite() [2/4]

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

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

References set2, and unite().

◆ unite() [3/4]

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

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

References isl::union_set::unite().

◆ unite() [4/4]

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

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

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

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

◆ universe()

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

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

References isl_set_universe(), manage, isl::space::release(), and res.

Referenced by polly::ScopBuilder::addInvariantLoads(), polly::applyPartialUnroll(), polly::Scop::buildContext(), polly::ZoneAlgorithm::collectIncompatibleElts(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::getDimOptions(), polly::ScopBuilder::getNonHoistableCtx(), polly::ScopBuilder::getPredecessorDomainConstraints(), polly::MemoryAccess::isStrideX(), polly::Dependences::isValidSchedule(), polly::ZoneAlgorithm::makeValueSet(), polly::subtractParams(), test_space(), polly::Scop::trackAssumption(), and polly::MemoryAccess::updateDimensionality().

◆ unshifted_simple_hull()

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

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

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

Referenced by isl::basic_set::unshifted_simple_hull().

◆ unwrap()

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

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

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

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

◆ upper_bound() [1/2]

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

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

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

Referenced by isl::basic_set::upper_bound().

◆ upper_bound() [2/2]

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

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

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

◆ upper_bound_val() [1/2]

isl::set isl::set::upper_bound_val ( isl::dim  type,
unsigned int  pos,
isl::val  value 
) const
inline

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

References copy(), isl_set_upper_bound_val(), manage, pos(), isl::val::release(), res, and type.

Referenced by isl::basic_set::upper_bound_val(), and upper_bound_val().

◆ upper_bound_val() [2/2]

isl::set isl::set::upper_bound_val ( isl::dim  type,
unsigned int  pos,
long  value 
) const
inline

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

References ctx(), pos(), and upper_bound_val().

Friends And Related Function Documentation

◆ manage

set manage ( __isl_take isl_set *  ptr)
friend

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

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

◆ manage_copy

set manage_copy ( __isl_keep isl_set *  ptr)
friend

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

Member Data Documentation

◆ ptr

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

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

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

The documentation for this class was generated from the following file:
Generated on Fri Apr 26 2024 19:31:05 for Polly by doxygen 1.9.6