Polly 23.0.0git
isl::basic_set Class Reference

#include <cpp.h>

Public Member Functions

 basic_set ()
 basic_set (const basic_set &obj)
 basic_set (isl::point pnt)
 basic_set (isl::ctx ctx, const std::string &str)
basic_setoperator= (basic_set obj)
 ~basic_set ()
__isl_give isl_basic_setcopy () const &
__isl_give isl_basic_setcopy () &&=delete
__isl_keep isl_basic_setget () const
__isl_give isl_basic_setrelease ()
bool is_null () const
isl::ctx ctx () const
isl::basic_set affine_hull () const
isl::basic_set apply (isl::basic_map bmap) const
isl::set apply (const isl::map &map) const
isl::union_set apply (const isl::union_map &umap) const
isl::pw_multi_aff as_pw_multi_aff () const
isl::set as_set () const
isl::set bind (const isl::multi_id &tuple) const
isl::set coalesce () const
isl::set complement () const
isl::union_set compute_divs () const
isl::basic_set detect_equalities () const
isl::val dim_max_val (int pos) const
isl::val dim_min_val (int pos) const
isl::set drop_unused_params () const
bool every_set (const std::function< bool(isl::set)> &test) const
isl::set extract_set (const isl::space &space) const
isl::basic_set flatten () const
void foreach_basic_set (const std::function< void(isl::basic_set)> &fn) const
void foreach_point (const std::function< void(isl::point)> &fn) const
void foreach_set (const std::function< void(isl::set)> &fn) const
isl::basic_set gist (isl::basic_set context) const
isl::set gist (const isl::set &context) const
isl::union_set gist (const isl::union_set &context) const
isl::basic_set gist (const isl::point &context) const
isl::set gist_params (const isl::set &context) const
isl::map identity () const
isl::pw_aff indicator_function () const
isl::map insert_domain (const isl::space &domain) const
isl::basic_set intersect (isl::basic_set bset2) const
isl::set intersect (const isl::set &set2) const
isl::union_set intersect (const isl::union_set &uset2) const
isl::basic_set intersect (const isl::point &bset2) const
isl::basic_set intersect_params (isl::basic_set bset2) const
isl::set intersect_params (const isl::set &params) const
isl::basic_set intersect_params (const isl::point &bset2) const
bool involves_locals () const
bool is_disjoint (const isl::set &set2) const
bool is_disjoint (const isl::union_set &uset2) const
bool is_empty () const
bool is_equal (const isl::basic_set &bset2) const
bool is_equal (const isl::set &set2) const
bool is_equal (const isl::union_set &uset2) const
bool is_equal (const isl::point &bset2) const
bool is_singleton () const
bool is_strict_subset (const isl::set &set2) const
bool is_strict_subset (const isl::union_set &uset2) const
bool is_subset (const isl::basic_set &bset2) const
bool is_subset (const isl::set &set2) const
bool is_subset (const isl::union_set &uset2) const
bool is_subset (const isl::point &bset2) const
bool is_wrapping () const
bool isa_set () const
isl::fixed_box lattice_tile () 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 (const isl::multi_pw_aff &lower) const
isl::set lower_bound (const isl::multi_val &lower) 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
unsigned n_basic_set () const
isl::pw_aff param_pw_aff_on_domain (const isl::id &id) const
isl::pw_aff param_pw_aff_on_domain (const std::string &id) const
isl::basic_set params () const
isl::multi_val plain_multi_val_if_fixed () const
isl::basic_set polyhedral_hull () const
isl::set preimage (const isl::multi_aff &ma) const
isl::set preimage (const isl::multi_pw_aff &mpa) const
isl::set preimage (const isl::pw_multi_aff &pma) const
isl::union_set preimage (const isl::union_pw_multi_aff &upma) const
isl::set product (const isl::set &set2) const
isl::set project_out_all_params () const
isl::set project_out_param (const isl::id &id) const
isl::set project_out_param (const std::string &id) const
isl::set project_out_param (const isl::id_list &list) const
isl::pw_aff pw_aff_on_domain (const isl::val &v) const
isl::pw_aff pw_aff_on_domain (long v) const
isl::pw_multi_aff pw_multi_aff_on_domain (const isl::multi_val &mv) const
isl::basic_set sample () const
isl::point sample_point () const
isl::set_list set_list () const
isl::fixed_box simple_fixed_box_hull () const
isl::space space () const
isl::val stride (int pos) const
isl::set subtract (const isl::set &set2) const
isl::union_set subtract (const isl::union_set &uset2) const
isl::set_list to_list () const
isl::set to_set () const
isl::union_set to_union_set () const
isl::map translation () const
unsigned tuple_dim () const
isl::set unbind_params (const isl::multi_id &tuple) const
isl::map unbind_params_insert_domain (const isl::multi_id &domain) const
isl::set unite (isl::basic_set bset2) const
isl::set unite (const isl::set &set2) const
isl::union_set unite (const isl::union_set &uset2) const
isl::set unite (const isl::point &bset2) const
isl::basic_set unshifted_simple_hull () const
isl::map unwrap () const
isl::set upper_bound (const isl::multi_pw_aff &upper) const
isl::set upper_bound (const isl::multi_val &upper) const
isl::set wrapped_reverse () const
 basic_set ()
 basic_set (const basic_set &obj)
 basic_set (isl::point pnt)
 basic_set (isl::ctx ctx, const std::string &str)
basic_setoperator= (basic_set obj)
 ~basic_set ()
__isl_give isl_basic_setcopy () const &
__isl_give isl_basic_setcopy () &&=delete
__isl_keep isl_basic_setget () const
__isl_give isl_basic_setrelease ()
bool is_null () const
isl::ctx ctx () const
isl::set add_constraint (const 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 (const isl::space &model) const
isl::basic_set apply (isl::basic_map bmap) const
isl::set apply (const isl::map &map) const
isl::union_set apply (const isl::union_map &umap) const
isl::pw_multi_aff as_pw_multi_aff () const
isl::set as_set () const
isl::basic_set_list basic_set_list () const
isl::set bind (const 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::basic_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::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
isl::aff div (int pos) const
isl::aff get_div (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::basic_set fix_si (isl::dim type, unsigned int pos, int value) const
isl::basic_set fix_val (isl::dim type, unsigned int pos, isl::val v) const
isl::basic_set fix_val (isl::dim type, unsigned int pos, long v) const
isl::basic_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::basic_set gist (isl::basic_set context) const
isl::set gist (const isl::set &context) const
isl::union_set gist (const isl::union_set &context) const
isl::basic_set gist (const isl::point &context) const
isl::set gist_params (const 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 (const isl::space &domain) const
isl::basic_set intersect (isl::basic_set bset2) const
isl::set intersect (const isl::set &set2) const
isl::union_set intersect (const isl::union_set &uset2) const
isl::basic_set intersect (const isl::point &bset2) const
isl::basic_set intersect_params (isl::basic_set bset2) const
isl::set intersect_params (const isl::set &params) const
isl::basic_set intersect_params (const isl::point &bset2) 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_empty () const
boolean is_equal (const isl::basic_set &bset2) const
boolean is_equal (const isl::set &set2) const
boolean is_equal (const isl::union_set &uset2) const
boolean is_equal (const isl::point &bset2) 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_subset (const isl::basic_set &bset2) const
boolean is_subset (const isl::set &set2) const
boolean is_subset (const isl::union_set &uset2) const
boolean is_subset (const isl::point &bset2) 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 (const isl::multi_pw_aff &lower) const
isl::set lower_bound (const 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, const 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::basic_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::basic_set polyhedral_hull () const
isl::set preimage (const isl::multi_aff &ma) const
isl::set preimage (const isl::multi_pw_aff &mpa) const
isl::set preimage (const isl::pw_multi_aff &pma) const
isl::union_set preimage (const isl::union_pw_multi_aff &upma) const
isl::set product (const isl::set &set2) const
isl::basic_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 (const isl::id &id) const
isl::set project_out_param (const std::string &id) const
isl::set project_out_param (const isl::id_list &list) const
isl::pw_multi_aff pw_multi_aff_on_domain (const 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, const 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 (const isl::id &id) const
isl::set set_tuple_id (const std::string &id) const
isl::fixed_box 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::set subtract (const isl::set &set2) const
isl::union_set subtract (const isl::union_set &uset2) const
isl::basic_set_list to_list () const
isl::set to_set () const
isl::union_set to_union_set () const
isl::map translation () const
class size tuple_dim () const
isl::id tuple_id () const
std::string tuple_name () const
isl::set unbind_params (const isl::multi_id &tuple) const
isl::map unbind_params_insert_domain (const isl::multi_id &domain) const
isl::set unite (isl::basic_set bset2) const
isl::set unite (const isl::set &set2) const
isl::union_set unite (const isl::union_set &uset2) const
isl::set unite (const isl::point &bset2) const
isl::basic_set unshifted_simple_hull () const
isl::map unwrap () const
isl::set upper_bound (const isl::multi_pw_aff &upper) const
isl::set upper_bound (const isl::multi_val &upper) const
isl::set upper_bound_val (isl::dim type, unsigned int pos, const isl::val &value) const
isl::set upper_bound_val (isl::dim type, unsigned int pos, long value) const

Static Public Member Functions

static isl::basic_set universe (isl::space space)

Protected Member Functions

 basic_set (__isl_take isl_basic_set *ptr)
 basic_set (__isl_take isl_basic_set *ptr)

Protected Attributes

isl_basic_setptr = nullptr

Friends

basic_set manage (__isl_take isl_basic_set *ptr)
basic_set manage_copy (__isl_keep isl_basic_set *ptr)
basic_set manage (__isl_take isl_basic_set *ptr)
basic_set manage_copy (__isl_keep isl_basic_set *ptr)

Detailed Description

Definition at line 1652 of file include/isl/cpp.h.

Constructor & Destructor Documentation

◆ basic_set() [1/10]

◆ basic_set() [2/10]

isl::basic_set::basic_set ( )
inline

◆ basic_set() [3/10]

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

References basic_set(), and obj.

◆ basic_set() [4/10]

isl::basic_set::basic_set ( isl::point pnt)
inline

◆ basic_set() [5/10]

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

References ctx(), and str.

◆ ~basic_set() [1/2]

isl::basic_set::~basic_set ( )
inline

◆ basic_set() [6/10]

isl::basic_set::basic_set ( __isl_take isl_basic_set * ptr)
inlineexplicitprotected

References __isl_take, isl_basic_set, and ptr.

◆ basic_set() [7/10]

isl::basic_set::basic_set ( )
inline

◆ basic_set() [8/10]

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

References basic_set(), and obj.

◆ basic_set() [9/10]

isl::basic_set::basic_set ( isl::point pnt)
inline

◆ basic_set() [10/10]

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

References ctx(), and str.

◆ ~basic_set() [2/2]

isl::basic_set::~basic_set ( )
inline

Member Function Documentation

◆ add_constraint()

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

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

References add_constraint(), and isl::set.

Referenced by add_constraint(), and ctx().

◆ add_dims()

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

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

References add_dims(), n, isl::set, and type.

Referenced by add_dims(), and ctx().

◆ affine_hull() [1/2]

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

References affine_hull(), and basic_set().

Referenced by affine_hull().

◆ affine_hull() [2/2]

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

◆ align_params()

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

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

References align_params(), and isl::set.

Referenced by affine_hull(), and align_params().

◆ apply() [1/6]

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

References apply().

◆ apply() [2/6]

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

References apply().

◆ apply() [3/6]

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

References apply().

◆ apply() [4/6]

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

References apply().

◆ apply() [5/6]

isl::basic_set isl::basic_set::apply ( isl::basic_map bmap) const
inline

References apply(), and basic_set().

Referenced by apply(), apply(), and apply().

◆ apply() [6/6]

isl::basic_set isl::basic_set::apply ( isl::basic_map bmap) const
inline

References apply(), and basic_set().

◆ as_pw_multi_aff() [1/2]

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

References as_pw_multi_aff().

Referenced by as_pw_multi_aff().

◆ as_pw_multi_aff() [2/2]

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

References as_pw_multi_aff().

◆ as_set() [1/2]

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

References as_set().

Referenced by as_set().

◆ as_set() [2/2]

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

References as_set(), and basic_set_list().

◆ basic_set_list()

isl::basic_set_list isl::basic_set::basic_set_list ( ) const
inline

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

References basic_set_list(), and isl::set.

Referenced by as_set(), basic_set_list(), to_list(), and upper_bound().

◆ bind() [1/2]

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

References bind(), and tuple.

Referenced by bind().

◆ bind() [2/2]

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

References bind(), and tuple.

◆ coalesce() [1/2]

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

References coalesce().

Referenced by coalesce().

◆ coalesce() [2/2]

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

References coalesce().

◆ complement() [1/2]

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

References complement().

Referenced by complement().

◆ complement() [2/2]

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

References complement().

◆ compute_divs() [1/2]

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

References compute_divs().

Referenced by compute_divs().

◆ compute_divs() [2/2]

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

◆ contains()

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

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

References contains(), isl::set, and space().

Referenced by compute_divs(), and contains().

◆ convex_hull()

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

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

References convex_hull(), and isl::set.

Referenced by compute_divs(), and convex_hull().

◆ copy() [1/4]

__isl_give isl_basic_set * isl::basic_set::copy ( ) &&
inlinedelete

References __isl_give, copy(), and isl_basic_set.

◆ copy() [2/4]

__isl_give isl_basic_set * isl::basic_set::copy ( ) &&
inlinedelete

References __isl_give, copy(), and isl_basic_set.

◆ copy() [3/4]

__isl_give isl_basic_set * isl::basic_set::copy ( ) const &
inline

References __isl_give, and isl_basic_set.

Referenced by copy(), fix_si(), fix_val(), and project_out().

◆ copy() [4/4]

__isl_give isl_basic_set * isl::basic_set::copy ( ) const &
inline

References __isl_give, and isl_basic_set.

◆ ctx() [1/2]

isl::ctx isl::basic_set::ctx ( ) const
inline

◆ ctx() [2/2]

isl::ctx isl::basic_set::ctx ( ) const
inline

References add_constraint(), add_dims(), ctx(), dim(), n, and type.

◆ detect_equalities() [1/2]

isl::basic_set isl::basic_set::detect_equalities ( ) const
inline

References basic_set(), and detect_equalities().

Referenced by detect_equalities().

◆ detect_equalities() [2/2]

isl::basic_set isl::basic_set::detect_equalities ( ) const
inline

◆ dim()

◆ dim_has_any_lower_bound()

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

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

References dim_has_any_lower_bound(), pos(), isl::set, and type.

Referenced by detect_equalities(), and dim_has_any_lower_bound().

◆ dim_id()

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

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

References dim_id(), pos(), isl::set, and type.

Referenced by detect_equalities(), and dim_id().

◆ dim_max()

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

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

References dim_max(), pos(), and isl::set.

Referenced by detect_equalities(), and dim_max().

◆ dim_max_val() [1/2]

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

References dim_max_val(), and pos().

Referenced by dim_max_val().

◆ dim_max_val() [2/2]

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

References dim_max_val(), dim_min(), and pos().

◆ dim_min()

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

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

References dim_min(), pos(), and isl::set.

Referenced by dim_max_val(), and dim_min().

◆ dim_min_val() [1/2]

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

References dim_min_val(), and pos().

Referenced by dim_min_val().

◆ dim_min_val() [2/2]

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

◆ dim_name()

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

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

References dim_name(), pos(), isl::set, and type.

Referenced by dim_min_val(), and dim_name().

◆ div()

isl::aff isl::basic_set::div ( int pos) const
inline

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

References div(), get(), isl_basic_set_get_div(), manage, pos(), and res.

Referenced by dim_min_val(), div(), and get_div().

◆ drop_constraints_involving_dims()

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

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

References drop_constraints_involving_dims(), n, isl::set, and type.

Referenced by dim_min_val(), and drop_constraints_involving_dims().

◆ drop_unused_params()

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

References drop_unused_params(), every_set(), and test.

Referenced by drop_unused_params().

◆ eliminate()

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

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

References eliminate(), n, isl::set, and type.

Referenced by dim_min_val(), and eliminate().

◆ every_set() [1/2]

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

◆ every_set() [2/2]

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

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

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

◆ extract_set() [1/2]

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

References extract_set(), and space().

Referenced by extract_set().

◆ extract_set() [2/2]

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

◆ find_dim_by_id() [1/2]

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

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

References find_dim_by_id(), isl::set, and type.

Referenced by extract_set(), find_dim_by_id(), and find_dim_by_id().

◆ find_dim_by_id() [2/2]

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

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

References ctx(), find_dim_by_id(), and type.

◆ fix_si()

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

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

References copy(), fix_si(), isl_basic_set_fix_si(), manage, pos(), res, and type.

Referenced by extract_set(), and fix_si().

◆ fix_val() [1/2]

isl::basic_set isl::basic_set::fix_val ( isl::dim type,
unsigned int pos,
isl::val v ) const
inline

◆ fix_val() [2/2]

isl::basic_set isl::basic_set::fix_val ( isl::dim type,
unsigned int pos,
long v ) const
inline

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

References ctx(), fix_val(), pos(), and type.

◆ flatten() [1/2]

isl::basic_set isl::basic_set::flatten ( ) const
inline

◆ flatten() [2/2]

isl::basic_set isl::basic_set::flatten ( ) const
inline

◆ foreach_basic_set() [1/2]

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

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

References fn, foreach_basic_set(), and isl::set.

◆ foreach_basic_set() [2/2]

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

◆ foreach_point() [1/2]

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

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

References fn, foreach_point(), and isl::set.

◆ foreach_point() [2/2]

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

Definition at line 10133 of file include/isl/cpp.h.

References fn, foreach_point(), ptr, isl::set, and isl::exception::throw_invalid().

Referenced by flatten(), foreach_point(), and foreach_point().

◆ foreach_set() [1/2]

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

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

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

◆ foreach_set() [2/2]

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

Definition at line 10140 of file include/isl/cpp.h.

References fn, foreach_set(), ptr, isl::set, and isl::exception::throw_invalid().

Referenced by flatten(), foreach_set(), and foreach_set().

◆ get() [1/2]

__isl_keep isl_basic_set * isl::basic_set::get ( ) const
inline

References __isl_keep, get(), and isl_basic_set.

Referenced by dim(), div(), get(), and is_bounded().

◆ get() [2/2]

__isl_keep isl_basic_set * isl::basic_set::get ( ) const
inline

References __isl_keep, get(), and isl_basic_set.

◆ get_div()

isl::aff isl::basic_set::get_div ( int pos) const
inline

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

References div(), get_div(), and pos().

Referenced by dim_min_val(), and get_div().

◆ get_space()

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

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

References get_space(), and space().

Referenced by get_space(), and space().

◆ gist() [1/8]

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

References basic_set(), context, and gist().

◆ gist() [2/8]

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

References basic_set(), context, and gist().

◆ gist() [3/8]

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

References context, and gist().

◆ gist() [4/8]

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

References context, and gist().

◆ gist() [5/8]

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

References context, and gist().

◆ gist() [6/8]

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

References context, and gist().

◆ gist() [7/8]

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

References basic_set(), context, and gist().

Referenced by gist(), gist(), gist(), and gist().

◆ gist() [8/8]

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

References basic_set(), context, and gist().

◆ gist_params() [1/2]

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

References context, and gist_params().

Referenced by gist_params().

◆ gist_params() [2/2]

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

◆ has_equal_space()

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

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

References has_equal_space(), isl::set, and set2.

Referenced by gist_params(), and has_equal_space().

◆ identity() [1/2]

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

References identity().

Referenced by identity().

◆ identity() [2/2]

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

◆ identity_union_pw_multi_aff()

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

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

References identity_union_pw_multi_aff(), and isl::set.

Referenced by identity(), and identity_union_pw_multi_aff().

◆ indicator_function() [1/2]

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

References indicator_function().

Referenced by indicator_function().

◆ indicator_function() [2/2]

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

◆ insert_dims()

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

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

References insert_dims(), n, pos(), isl::set, and type.

Referenced by indicator_function(), and insert_dims().

◆ insert_domain() [1/2]

isl::map isl::basic_set::insert_domain ( const isl::space & domain) const
inline

References domain, insert_domain(), and space().

Referenced by insert_domain().

◆ insert_domain() [2/2]

isl::map isl::basic_set::insert_domain ( const isl::space & domain) const
inline

References domain, insert_domain(), and space().

◆ intersect() [1/8]

isl::basic_set isl::basic_set::intersect ( const isl::point & bset2) const
inline

References basic_set(), and intersect().

◆ intersect() [2/8]

isl::basic_set isl::basic_set::intersect ( const isl::point & bset2) const
inline

References basic_set(), and intersect().

◆ intersect() [3/8]

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

References intersect(), and set2.

◆ intersect() [4/8]

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

References intersect(), and set2.

◆ intersect() [5/8]

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

References intersect().

◆ intersect() [6/8]

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

References intersect().

◆ intersect() [7/8]

isl::basic_set isl::basic_set::intersect ( isl::basic_set bset2) const
inline

References basic_set(), and intersect().

Referenced by intersect(), intersect(), intersect(), and intersect().

◆ intersect() [8/8]

isl::basic_set isl::basic_set::intersect ( isl::basic_set bset2) const
inline

References basic_set(), and intersect().

◆ intersect_params() [1/6]

isl::basic_set isl::basic_set::intersect_params ( const isl::point & bset2) const
inline

References basic_set(), and intersect_params().

◆ intersect_params() [2/6]

isl::basic_set isl::basic_set::intersect_params ( const isl::point & bset2) const
inline

◆ intersect_params() [3/6]

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

References intersect_params(), and params().

◆ intersect_params() [4/6]

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

References intersect_params(), and params().

◆ intersect_params() [5/6]

isl::basic_set isl::basic_set::intersect_params ( isl::basic_set bset2) const
inline

◆ intersect_params() [6/6]

isl::basic_set isl::basic_set::intersect_params ( isl::basic_set bset2) const
inline

References basic_set(), and intersect_params().

◆ involves_dims()

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

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

References involves_dims(), n, isl::set, and type.

Referenced by intersect_params(), and involves_dims().

◆ involves_locals() [1/2]

bool isl::basic_set::involves_locals ( ) const
inline

References involves_locals().

Referenced by involves_locals().

◆ involves_locals() [2/2]

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

References involves_locals(), and is_bounded().

◆ is_bounded()

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

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

References get(), is_bounded(), isl_basic_set_is_bounded(), manage, and res.

Referenced by involves_locals(), and is_bounded().

◆ is_disjoint() [1/4]

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

References is_disjoint(), and set2.

Referenced by is_disjoint(), and is_disjoint().

◆ is_disjoint() [2/4]

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

References is_disjoint(), and set2.

◆ is_disjoint() [3/4]

bool isl::basic_set::is_disjoint ( const isl::union_set & uset2) const
inline

References is_disjoint().

◆ is_disjoint() [4/4]

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

References is_disjoint().

◆ is_empty() [1/2]

bool isl::basic_set::is_empty ( ) const
inline

References is_empty().

Referenced by is_empty().

◆ is_empty() [2/2]

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

References is_empty().

◆ is_equal() [1/8]

bool isl::basic_set::is_equal ( const isl::basic_set & bset2) const
inline

References basic_set(), and is_equal().

Referenced by is_equal(), is_equal(), is_equal(), and is_equal().

◆ is_equal() [2/8]

boolean isl::basic_set::is_equal ( const isl::basic_set & bset2) const
inline

References basic_set(), and is_equal().

◆ is_equal() [3/8]

bool isl::basic_set::is_equal ( const isl::point & bset2) const
inline

References is_equal().

◆ is_equal() [4/8]

boolean isl::basic_set::is_equal ( const isl::point & bset2) const
inline

References is_equal(), and is_params().

◆ is_equal() [5/8]

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

References is_equal(), and set2.

◆ is_equal() [6/8]

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

References is_equal(), and set2.

◆ is_equal() [7/8]

bool isl::basic_set::is_equal ( const isl::union_set & uset2) const
inline

References is_equal().

◆ is_equal() [8/8]

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

References is_equal().

◆ is_null() [1/2]

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

References is_null().

Referenced by is_null().

◆ is_null() [2/2]

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

References is_null().

◆ is_params()

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

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

References is_params(), and isl::set.

Referenced by is_equal(), and is_params().

◆ is_singleton() [1/2]

bool isl::basic_set::is_singleton ( ) const
inline

References is_singleton().

Referenced by is_singleton().

◆ is_singleton() [2/2]

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

References is_singleton().

◆ is_strict_subset() [1/4]

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

References is_strict_subset(), and set2.

Referenced by is_strict_subset(), and is_strict_subset().

◆ is_strict_subset() [2/4]

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

References is_strict_subset(), and set2.

◆ is_strict_subset() [3/4]

bool isl::basic_set::is_strict_subset ( const isl::union_set & uset2) const
inline

References is_strict_subset().

◆ is_strict_subset() [4/4]

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

References is_strict_subset().

◆ is_subset() [1/8]

bool isl::basic_set::is_subset ( const isl::basic_set & bset2) const
inline

References basic_set(), and is_subset().

Referenced by is_subset(), is_subset(), is_subset(), and is_subset().

◆ is_subset() [2/8]

boolean isl::basic_set::is_subset ( const isl::basic_set & bset2) const
inline

References basic_set(), and is_subset().

◆ is_subset() [3/8]

bool isl::basic_set::is_subset ( const isl::point & bset2) const
inline

References is_subset().

◆ is_subset() [4/8]

boolean isl::basic_set::is_subset ( const isl::point & bset2) const
inline

References is_subset().

◆ is_subset() [5/8]

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

References is_subset(), and set2.

◆ is_subset() [6/8]

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

References is_subset(), and set2.

◆ is_subset() [7/8]

bool isl::basic_set::is_subset ( const isl::union_set & uset2) const
inline

References is_subset().

◆ is_subset() [8/8]

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

References is_subset().

◆ is_wrapping() [1/2]

bool isl::basic_set::is_wrapping ( ) const
inline

References is_wrapping().

Referenced by is_wrapping().

◆ is_wrapping() [2/2]

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

References is_wrapping().

◆ isa_set() [1/2]

bool isl::basic_set::isa_set ( ) const
inline

References isa_set().

Referenced by isa_set().

◆ isa_set() [2/2]

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

References isa_set().

◆ lattice_tile()

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

References lattice_tile().

Referenced by lattice_tile().

◆ lexmax() [1/2]

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

References lexmax().

Referenced by lexmax().

◆ lexmax() [2/2]

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

References lexmax().

◆ lexmax_pw_multi_aff() [1/2]

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

References lexmax_pw_multi_aff().

Referenced by lexmax_pw_multi_aff().

◆ lexmax_pw_multi_aff() [2/2]

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

References lexmax_pw_multi_aff().

◆ lexmin() [1/2]

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

References lexmin().

Referenced by lexmin().

◆ lexmin() [2/2]

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

References lexmin().

◆ lexmin_pw_multi_aff() [1/2]

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

References lexmin_pw_multi_aff().

Referenced by lexmin_pw_multi_aff().

◆ lexmin_pw_multi_aff() [2/2]

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

References lexmin_pw_multi_aff().

◆ lower_bound() [1/4]

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

References lower_bound().

Referenced by lower_bound(), and lower_bound().

◆ lower_bound() [2/4]

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

References lower_bound().

◆ lower_bound() [3/4]

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

References lower_bound().

◆ lower_bound() [4/4]

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

◆ lower_bound_si()

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

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

References lower_bound_si(), pos(), isl::set, and type.

Referenced by lower_bound(), and lower_bound_si().

◆ lower_bound_val() [1/2]

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

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

References lower_bound_val(), pos(), isl::set, and type.

Referenced by lower_bound(), lower_bound_val(), and lower_bound_val().

◆ lower_bound_val() [2/2]

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

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

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

◆ max_multi_pw_aff() [1/2]

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

References max_multi_pw_aff().

Referenced by max_multi_pw_aff().

◆ max_multi_pw_aff() [2/2]

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

References max_multi_pw_aff().

◆ max_val() [1/2]

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

References max_val(), and obj.

Referenced by max_val().

◆ max_val() [2/2]

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

References max_val(), and obj.

◆ min_multi_pw_aff() [1/2]

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

References min_multi_pw_aff().

Referenced by min_multi_pw_aff().

◆ min_multi_pw_aff() [2/2]

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

References min_multi_pw_aff().

◆ min_val() [1/2]

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

References min_val(), and obj.

Referenced by min_val().

◆ min_val() [2/2]

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

References min_val(), and obj.

◆ n_basic_set() [1/2]

unsigned isl::basic_set::n_basic_set ( ) const
inline

References n_basic_set().

Referenced by n_basic_set().

◆ n_basic_set() [2/2]

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

References n_basic_set().

◆ operator=() [1/2]

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

References basic_set(), and obj.

◆ operator=() [2/2]

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

References basic_set(), and obj.

◆ param_pw_aff_on_domain() [1/2]

isl::pw_aff isl::basic_set::param_pw_aff_on_domain ( const isl::id & id) const
inline

◆ param_pw_aff_on_domain() [2/2]

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

◆ params() [1/2]

isl::basic_set isl::basic_set::params ( ) const
inline

References basic_set(), and params().

Referenced by intersect_params(), and params().

◆ params() [2/2]

isl::basic_set isl::basic_set::params ( ) const
inline

◆ plain_get_val_if_fixed()

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

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

References plain_get_val_if_fixed(), pos(), isl::set, and type.

Referenced by params(), and plain_get_val_if_fixed().

◆ plain_multi_val_if_fixed() [1/2]

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

◆ plain_multi_val_if_fixed() [2/2]

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

◆ polyhedral_hull() [1/2]

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

References basic_set(), and polyhedral_hull().

Referenced by polyhedral_hull().

◆ polyhedral_hull() [2/2]

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

References basic_set(), and polyhedral_hull().

◆ preimage() [1/8]

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

References ma, and preimage().

Referenced by preimage(), preimage(), preimage(), and preimage().

◆ preimage() [2/8]

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

References ma, and preimage().

◆ preimage() [3/8]

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

References preimage().

◆ preimage() [4/8]

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

References preimage().

◆ preimage() [5/8]

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

References pma, and preimage().

◆ preimage() [6/8]

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

References pma, and preimage().

◆ preimage() [7/8]

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

References preimage().

◆ preimage() [8/8]

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

References preimage().

◆ product() [1/2]

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

References product(), and set2.

Referenced by product().

◆ product() [2/2]

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

◆ project_out()

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

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

References copy(), isl_basic_set_project_out(), manage, n, project_out(), res, and type.

Referenced by product(), and project_out().

◆ project_out_all_params() [1/2]

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

◆ project_out_all_params() [2/2]

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

◆ project_out_param() [1/6]

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

◆ project_out_param() [2/6]

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

References project_out_param().

◆ project_out_param() [3/6]

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

References project_out_param().

◆ project_out_param() [4/6]

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

References project_out_param().

◆ project_out_param() [5/6]

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

References project_out_param().

◆ project_out_param() [6/6]

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

References project_out_param().

◆ pw_aff_on_domain() [1/2]

isl::pw_aff isl::basic_set::pw_aff_on_domain ( const isl::val & v) const
inline

References pw_aff_on_domain().

Referenced by pw_aff_on_domain(), and pw_aff_on_domain().

◆ pw_aff_on_domain() [2/2]

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

References pw_aff_on_domain().

◆ pw_multi_aff_on_domain() [1/2]

isl::pw_multi_aff isl::basic_set::pw_multi_aff_on_domain ( const isl::multi_val & mv) const
inline

◆ pw_multi_aff_on_domain() [2/2]

isl::pw_multi_aff isl::basic_set::pw_multi_aff_on_domain ( const isl::multi_val & mv) const
inline

◆ release() [1/2]

__isl_give isl_basic_set * isl::basic_set::release ( )
inline

References __isl_give, isl_basic_set, and release().

Referenced by release().

◆ release() [2/2]

__isl_give isl_basic_set * isl::basic_set::release ( )
inline

References __isl_give, isl_basic_set, and release().

◆ remove_dims()

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

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

References n, remove_dims(), isl::set, and type.

Referenced by pw_multi_aff_on_domain(), and remove_dims().

◆ remove_divs()

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

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

References remove_divs(), and isl::set.

Referenced by pw_multi_aff_on_domain(), and remove_divs().

◆ remove_redundancies()

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

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

References remove_redundancies(), and isl::set.

Referenced by pw_multi_aff_on_domain(), and remove_redundancies().

◆ reset_tuple_id()

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

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

References reset_tuple_id(), and isl::set.

Referenced by pw_multi_aff_on_domain(), and reset_tuple_id().

◆ sample() [1/2]

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

References basic_set(), and sample().

Referenced by sample().

◆ sample() [2/2]

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

References basic_set(), and sample().

◆ sample_point() [1/2]

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

References sample_point().

Referenced by sample_point().

◆ sample_point() [2/2]

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

◆ set_dim_id() [1/2]

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

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

References pos(), isl::set, set_dim_id(), and type.

Referenced by sample_point(), set_dim_id(), and set_dim_id().

◆ set_dim_id() [2/2]

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

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

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

◆ set_list() [1/2]

isl::set_list isl::basic_set::set_list ( ) const
inline

References set_list().

Referenced by set_list(), and to_list().

◆ set_list() [2/2]

isl::set_list isl::basic_set::set_list ( ) const
inline

References set_list(), and set_tuple_id().

◆ set_tuple_id() [1/2]

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

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

References isl::set, and set_tuple_id().

Referenced by set_list(), set_tuple_id(), and set_tuple_id().

◆ set_tuple_id() [2/2]

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

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

References ctx(), and set_tuple_id().

◆ simple_fixed_box_hull() [1/2]

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

◆ simple_fixed_box_hull() [2/2]

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

◆ simple_hull()

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

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

References isl::set, and simple_hull().

Referenced by simple_fixed_box_hull(), and simple_hull().

◆ space() [1/2]

isl::space isl::basic_set::space ( ) const
inline

◆ space() [2/2]

isl::space isl::basic_set::space ( ) const
inline

References get_space(), and space().

◆ stride() [1/2]

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

References pos(), and stride().

Referenced by stride().

◆ stride() [2/2]

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

References pos(), and stride().

◆ subtract() [1/4]

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

References set2, and subtract().

Referenced by subtract(), and subtract().

◆ subtract() [2/4]

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

References set2, and subtract().

◆ subtract() [3/4]

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

References subtract().

◆ subtract() [4/4]

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

References subtract().

◆ to_list() [1/2]

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

References set_list(), and to_list().

Referenced by to_list().

◆ to_list() [2/2]

isl::basic_set_list isl::basic_set::to_list ( ) const
inline

References basic_set_list(), and to_list().

◆ to_set() [1/2]

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

References to_set().

Referenced by to_set().

◆ to_set() [2/2]

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

References to_set().

◆ to_union_set() [1/2]

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

References to_union_set().

Referenced by to_union_set().

◆ to_union_set() [2/2]

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

References to_union_set().

◆ translation() [1/2]

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

References translation().

Referenced by translation().

◆ translation() [2/2]

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

References translation().

◆ tuple_dim() [1/2]

unsigned isl::basic_set::tuple_dim ( ) const
inline

References tuple_dim().

Referenced by tuple_dim().

◆ tuple_dim() [2/2]

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

References tuple_dim(), tuple_id(), and tuple_name().

◆ tuple_id()

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

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

References isl::set, and tuple_id().

Referenced by tuple_dim(), and tuple_id().

◆ tuple_name()

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

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

References isl::set, and tuple_name().

Referenced by tuple_dim(), and tuple_name().

◆ unbind_params() [1/2]

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

References tuple, and unbind_params().

Referenced by unbind_params().

◆ unbind_params() [2/2]

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

References tuple, and unbind_params().

◆ unbind_params_insert_domain() [1/2]

isl::map isl::basic_set::unbind_params_insert_domain ( const isl::multi_id & domain) const
inline

◆ unbind_params_insert_domain() [2/2]

isl::map isl::basic_set::unbind_params_insert_domain ( const isl::multi_id & domain) const
inline

◆ unite() [1/8]

isl::set isl::basic_set::unite ( const isl::point & bset2) const
inline

References unite().

◆ unite() [2/8]

isl::set isl::basic_set::unite ( const isl::point & bset2) const
inline

References basic_set(), space(), unite(), and universe().

◆ unite() [3/8]

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

References set2, and unite().

◆ unite() [4/8]

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

References set2, and unite().

◆ unite() [5/8]

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

References unite().

◆ unite() [6/8]

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

References unite().

◆ unite() [7/8]

isl::set isl::basic_set::unite ( isl::basic_set bset2) const
inline

References basic_set(), and unite().

Referenced by unite(), unite(), unite(), and unite().

◆ unite() [8/8]

isl::set isl::basic_set::unite ( isl::basic_set bset2) const
inline

References basic_set(), and unite().

◆ universe()

isl::basic_set isl::basic_set::universe ( isl::space space)
inlinestatic

◆ unshifted_simple_hull() [1/2]

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

◆ unshifted_simple_hull() [2/2]

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

◆ unwrap() [1/2]

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

References unwrap().

Referenced by unwrap().

◆ unwrap() [2/2]

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

References unwrap().

◆ upper_bound() [1/4]

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

References upper_bound().

Referenced by upper_bound(), and upper_bound().

◆ upper_bound() [2/4]

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

References upper_bound().

◆ upper_bound() [3/4]

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

References upper_bound().

◆ upper_bound() [4/4]

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

◆ upper_bound_val() [1/2]

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

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

References pos(), isl::set, type, and upper_bound_val().

Referenced by upper_bound(), upper_bound_val(), and upper_bound_val().

◆ upper_bound_val() [2/2]

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

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

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

◆ wrapped_reverse()

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

◆ manage [1/2]

◆ manage [2/2]

basic_set manage ( __isl_take isl_basic_set * ptr)
friend

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

◆ manage_copy [1/2]

basic_set manage_copy ( __isl_keep isl_basic_set * ptr)
friend

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

Referenced by upper_bound(), and wrapped_reverse().

◆ manage_copy [2/2]

basic_set manage_copy ( __isl_keep isl_basic_set * ptr)
friend

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

Member Data Documentation

◆ ptr

isl_basic_set* isl::basic_set::ptr = nullptr
protected

The documentation for this class was generated from the following files: