Polly 23.0.0git
isl::basic_map Class Reference

#include <cpp.h>

Public Member Functions

 basic_map ()
 basic_map (const basic_map &obj)
 basic_map (isl::ctx ctx, const std::string &str)
basic_mapoperator= (basic_map obj)
 ~basic_map ()
__isl_give isl_basic_mapcopy () const &
__isl_give isl_basic_mapcopy () &&=delete
__isl_keep isl_basic_mapget () const
__isl_give isl_basic_maprelease ()
bool is_null () const
isl::ctx ctx () const
isl::basic_map affine_hull () const
isl::basic_map apply_domain (isl::basic_map bmap2) const
isl::map apply_domain (const isl::map &map2) const
isl::union_map apply_domain (const isl::union_map &umap2) const
isl::basic_map apply_range (isl::basic_map bmap2) const
isl::map apply_range (const isl::map &map2) const
isl::union_map apply_range (const isl::union_map &umap2) const
isl::map as_map () const
isl::multi_union_pw_aff as_multi_union_pw_aff () const
isl::pw_multi_aff as_pw_multi_aff () const
isl::union_pw_multi_aff as_union_pw_multi_aff () const
isl::set bind_domain (const isl::multi_id &tuple) const
isl::set bind_range (const isl::multi_id &tuple) const
isl::map coalesce () const
isl::map complement () const
isl::union_map compute_divs () const
isl::map curry () const
isl::basic_set deltas () const
isl::basic_map detect_equalities () const
isl::set domain () const
isl::map domain_factor_domain () const
isl::map domain_factor_range () const
isl::union_map domain_map () const
isl::union_pw_multi_aff domain_map_union_pw_multi_aff () const
isl::map domain_product (const isl::map &map2) const
isl::union_map domain_product (const isl::union_map &umap2) const
isl::map domain_reverse () const
unsigned domain_tuple_dim () const
isl::id domain_tuple_id () const
isl::map drop_unused_params () const
isl::map eq_at (const isl::multi_pw_aff &mpa) const
isl::union_map eq_at (const isl::multi_union_pw_aff &mupa) const
bool every_map (const std::function< bool(isl::map)> &test) const
isl::map extract_map (const isl::space &space) const
isl::map factor_domain () const
isl::map factor_range () const
isl::map fixed_power (const isl::val &exp) const
isl::map fixed_power (long exp) const
isl::basic_map flatten () const
isl::basic_map flatten_domain () const
isl::basic_map flatten_range () const
void foreach_basic_map (const std::function< void(isl::basic_map)> &fn) const
void foreach_map (const std::function< void(isl::map)> &fn) const
isl::basic_map gist (isl::basic_map context) const
isl::map gist (const isl::map &context) const
isl::union_map gist (const isl::union_map &context) const
isl::map gist_domain (const isl::set &context) const
isl::union_map gist_domain (const isl::union_set &uset) const
isl::map gist_params (const isl::set &context) const
isl::union_map gist_range (const isl::union_set &uset) const
bool has_domain_tuple_id () const
bool has_range_tuple_id () const
isl::basic_map intersect (isl::basic_map bmap2) const
isl::map intersect (const isl::map &map2) const
isl::union_map intersect (const isl::union_map &umap2) const
isl::basic_map intersect_domain (isl::basic_set bset) const
isl::map intersect_domain (const isl::set &set) const
isl::union_map intersect_domain (const isl::space &space) const
isl::union_map intersect_domain (const isl::union_set &uset) const
isl::basic_map intersect_domain (const isl::point &bset) const
isl::map intersect_domain_factor_domain (const isl::map &factor) const
isl::union_map intersect_domain_factor_domain (const isl::union_map &factor) const
isl::map intersect_domain_factor_range (const isl::map &factor) const
isl::union_map intersect_domain_factor_range (const isl::union_map &factor) const
isl::map intersect_domain_wrapped_domain (const isl::set &domain) const
isl::union_map intersect_domain_wrapped_domain (const isl::union_set &domain) const
isl::basic_map intersect_params (isl::basic_set bset) const
isl::map intersect_params (const isl::set &params) const
isl::basic_map intersect_params (const isl::point &bset) const
isl::basic_map intersect_range (isl::basic_set bset) const
isl::map intersect_range (const isl::set &set) const
isl::union_map intersect_range (const isl::space &space) const
isl::union_map intersect_range (const isl::union_set &uset) const
isl::basic_map intersect_range (const isl::point &bset) const
isl::map intersect_range_factor_domain (const isl::map &factor) const
isl::union_map intersect_range_factor_domain (const isl::union_map &factor) const
isl::map intersect_range_factor_range (const isl::map &factor) const
isl::union_map intersect_range_factor_range (const isl::union_map &factor) const
isl::map intersect_range_wrapped_domain (const isl::set &domain) const
isl::union_map intersect_range_wrapped_domain (const isl::union_set &domain) const
bool is_bijective () const
bool is_disjoint (const isl::map &map2) const
bool is_disjoint (const isl::union_map &umap2) const
bool is_empty () const
bool is_equal (const isl::basic_map &bmap2) const
bool is_equal (const isl::map &map2) const
bool is_equal (const isl::union_map &umap2) const
bool is_injective () const
bool is_single_valued () const
bool is_strict_subset (const isl::map &map2) const
bool is_strict_subset (const isl::union_map &umap2) const
bool is_subset (const isl::basic_map &bmap2) const
bool is_subset (const isl::map &map2) const
bool is_subset (const isl::union_map &umap2) const
bool isa_map () const
isl::map lex_ge_at (const isl::multi_pw_aff &mpa) const
isl::map lex_gt_at (const isl::multi_pw_aff &mpa) const
isl::map lex_le_at (const isl::multi_pw_aff &mpa) const
isl::map lex_lt_at (const isl::multi_pw_aff &mpa) const
isl::map lexmax () const
isl::pw_multi_aff lexmax_pw_multi_aff () const
isl::map lexmin () const
isl::pw_multi_aff lexmin_pw_multi_aff () const
isl::map lower_bound (const isl::multi_pw_aff &lower) const
isl::map_list map_list () const
isl::multi_pw_aff max_multi_pw_aff () const
isl::multi_pw_aff min_multi_pw_aff () const
unsigned n_basic_map () const
isl::set params () const
isl::basic_map polyhedral_hull () const
isl::map preimage_domain (const isl::multi_aff &ma) const
isl::map preimage_domain (const isl::multi_pw_aff &mpa) const
isl::map preimage_domain (const isl::pw_multi_aff &pma) const
isl::union_map preimage_domain (const isl::union_pw_multi_aff &upma) const
isl::map preimage_range (const isl::multi_aff &ma) const
isl::map preimage_range (const isl::pw_multi_aff &pma) const
isl::union_map preimage_range (const isl::union_pw_multi_aff &upma) const
isl::map product (const isl::map &map2) const
isl::union_map product (const isl::union_map &umap2) const
isl::map project_out_all_params () const
isl::map project_out_param (const isl::id &id) const
isl::map project_out_param (const std::string &id) const
isl::map project_out_param (const isl::id_list &list) const
isl::set range () const
isl::map range_factor_domain () const
isl::map range_factor_range () const
isl::fixed_box range_lattice_tile () const
isl::union_map range_map () const
isl::map range_product (const isl::map &map2) const
isl::union_map range_product (const isl::union_map &umap2) const
isl::map range_reverse () const
isl::fixed_box range_simple_fixed_box_hull () const
unsigned range_tuple_dim () const
isl::id range_tuple_id () const
isl::basic_map reverse () const
isl::basic_map sample () const
isl::map set_domain_tuple (const isl::id &id) const
isl::map set_domain_tuple (const std::string &id) const
isl::map set_range_tuple (const isl::id &id) const
isl::map set_range_tuple (const std::string &id) const
isl::space space () const
isl::map subtract (const isl::map &map2) const
isl::union_map subtract (const isl::union_map &umap2) const
isl::union_map subtract_domain (const isl::union_set &dom) const
isl::union_map subtract_range (const isl::union_set &dom) const
isl::map_list to_list () const
isl::union_map to_union_map () const
isl::map uncurry () const
isl::map unite (isl::basic_map bmap2) const
isl::map unite (const isl::map &map2) const
isl::union_map unite (const isl::union_map &umap2) const
isl::basic_map unshifted_simple_hull () const
isl::map upper_bound (const isl::multi_pw_aff &upper) const
isl::set wrap () const
isl::map zip () const
 basic_map ()
 basic_map (const basic_map &obj)
 basic_map (isl::ctx ctx, const std::string &str)
basic_mapoperator= (basic_map obj)
 ~basic_map ()
__isl_give isl_basic_mapcopy () const &
__isl_give isl_basic_mapcopy () &&=delete
__isl_keep isl_basic_mapget () const
__isl_give isl_basic_maprelease ()
bool is_null () const
isl::ctx ctx () const
isl::map add_constraint (const isl::constraint &constraint) const
isl::map add_dims (isl::dim type, unsigned int n) const
isl::basic_map affine_hull () const
isl::map align_params (const isl::space &model) const
isl::basic_map apply_domain (isl::basic_map bmap2) const
isl::map apply_domain (const isl::map &map2) const
isl::union_map apply_domain (const isl::union_map &umap2) const
isl::basic_map apply_range (isl::basic_map bmap2) const
isl::map apply_range (const isl::map &map2) const
isl::union_map apply_range (const isl::union_map &umap2) const
isl::map as_map () const
isl::multi_union_pw_aff as_multi_union_pw_aff () const
isl::pw_multi_aff as_pw_multi_aff () const
isl::union_pw_multi_aff as_union_pw_multi_aff () const
isl::basic_map_list basic_map_list () const
isl::set bind_domain (const isl::multi_id &tuple) const
isl::set bind_range (const isl::multi_id &tuple) const
boolean can_curry () const
isl::map coalesce () const
isl::map complement () const
isl::union_map compute_divs () const
isl::map curry () const
isl::basic_set deltas () const
isl::basic_map detect_equalities () const
class size dim (isl::dim type) const
isl::pw_aff dim_max (int pos) const
isl::pw_aff dim_min (int pos) const
isl::basic_set domain () const
isl::map domain_factor_domain () const
isl::map domain_factor_range () const
isl::map domain_map () const
isl::union_pw_multi_aff domain_map_union_pw_multi_aff () const
isl::map domain_product (const isl::map &map2) const
isl::union_map domain_product (const isl::union_map &umap2) const
class size domain_tuple_dim () const
isl::id domain_tuple_id () const
isl::map eq_at (const isl::multi_pw_aff &mpa) const
isl::union_map eq_at (const isl::multi_union_pw_aff &mupa) const
isl::basic_map equate (isl::dim type1, int pos1, isl::dim type2, int pos2) const
boolean every_map (const std::function< boolean(isl::map)> &test) const
isl::map extract_map (const isl::space &space) const
isl::map factor_domain () const
isl::map factor_range () const
isl::basic_map fix_si (isl::dim type, unsigned int pos, int value) const
isl::basic_map fix_val (isl::dim type, unsigned int pos, isl::val v) const
isl::basic_map fix_val (isl::dim type, unsigned int pos, long v) const
isl::union_map fixed_power (const isl::val &exp) const
isl::union_map fixed_power (long exp) const
isl::map flat_range_product (const isl::map &map2) const
isl::union_map flat_range_product (const isl::union_map &umap2) const
isl::basic_map flatten () const
isl::basic_map flatten_domain () const
isl::basic_map flatten_range () const
isl::map floordiv_val (const isl::val &d) const
isl::map floordiv_val (long d) const
stat foreach_basic_map (const std::function< stat(isl::basic_map)> &fn) const
stat foreach_map (const std::function< stat(isl::map)> &fn) const
isl::basic_map gist (isl::basic_map context) const
isl::map gist (const isl::map &context) const
isl::union_map gist (const isl::union_map &context) const
isl::map gist_domain (const isl::set &context) const
isl::union_map gist_domain (const isl::union_set &uset) const
isl::map gist_params (const isl::set &context) const
isl::union_map gist_range (const isl::union_set &uset) const
boolean has_domain_tuple_id () const
boolean has_equal_space (const isl::map &map2) const
boolean has_range_tuple_id () const
boolean has_tuple_id (isl::dim type) const
boolean has_tuple_name (isl::dim type) const
isl::basic_map intersect (isl::basic_map bmap2) const
isl::map intersect (const isl::map &map2) const
isl::union_map intersect (const isl::union_map &umap2) const
isl::basic_map intersect_domain (isl::basic_set bset) const
isl::map intersect_domain (const isl::set &set) const
isl::union_map intersect_domain (const isl::space &space) const
isl::union_map intersect_domain (const isl::union_set &uset) const
isl::basic_map intersect_domain (const isl::point &bset) const
isl::map intersect_domain_factor_domain (const isl::map &factor) const
isl::union_map intersect_domain_factor_domain (const isl::union_map &factor) const
isl::map intersect_domain_factor_range (const isl::map &factor) const
isl::union_map intersect_domain_factor_range (const isl::union_map &factor) const
isl::map intersect_params (const isl::set &params) const
isl::basic_map intersect_range (isl::basic_set bset) const
isl::map intersect_range (const isl::set &set) const
isl::union_map intersect_range (const isl::space &space) const
isl::union_map intersect_range (const isl::union_set &uset) const
isl::basic_map intersect_range (const isl::point &bset) const
isl::map intersect_range_factor_domain (const isl::map &factor) const
isl::union_map intersect_range_factor_domain (const isl::union_map &factor) const
isl::map intersect_range_factor_range (const isl::map &factor) const
isl::union_map intersect_range_factor_range (const isl::union_map &factor) const
boolean involves_dims (isl::dim type, unsigned int first, unsigned int n) const
boolean is_bijective () const
boolean is_disjoint (const isl::map &map2) const
boolean is_disjoint (const isl::union_map &umap2) const
boolean is_empty () const
boolean is_equal (const isl::basic_map &bmap2) const
boolean is_equal (const isl::map &map2) const
boolean is_equal (const isl::union_map &umap2) const
boolean is_injective () const
boolean is_single_valued () const
boolean is_strict_subset (const isl::map &map2) const
boolean is_strict_subset (const isl::union_map &umap2) const
boolean is_subset (const isl::basic_map &bmap2) const
boolean is_subset (const isl::map &map2) const
boolean is_subset (const isl::union_map &umap2) const
boolean isa_map () const
isl::map lex_ge_at (const isl::multi_pw_aff &mpa) const
isl::map lex_gt_at (const isl::multi_pw_aff &mpa) const
isl::map lex_le_at (const isl::multi_pw_aff &mpa) const
isl::map lex_lt_at (const isl::multi_pw_aff &mpa) const
isl::map lexmax () const
isl::pw_multi_aff lexmax_pw_multi_aff () const
isl::map lexmin () const
isl::pw_multi_aff lexmin_pw_multi_aff () const
isl::map lower_bound (const isl::multi_pw_aff &lower) const
isl::map lower_bound_si (isl::dim type, unsigned int pos, int value) const
isl::map_list map_list () const
isl::multi_pw_aff max_multi_pw_aff () const
isl::multi_pw_aff min_multi_pw_aff () const
isl::map move_dims (isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
class size n_basic_map () const
isl::map order_lt (isl::dim type1, int pos1, isl::dim type2, int pos2) const
isl::set params () const
isl::val plain_get_val_if_fixed (isl::dim type, unsigned int pos) const
isl::basic_map polyhedral_hull () const
isl::map preimage_domain (const isl::multi_aff &ma) const
isl::map preimage_domain (const isl::multi_pw_aff &mpa) const
isl::map preimage_domain (const isl::pw_multi_aff &pma) const
isl::union_map preimage_domain (const isl::union_pw_multi_aff &upma) const
isl::map preimage_range (const isl::multi_aff &ma) const
isl::map preimage_range (const isl::pw_multi_aff &pma) const
isl::union_map preimage_range (const isl::union_pw_multi_aff &upma) const
isl::map product (const isl::map &map2) const
isl::union_map product (const isl::union_map &umap2) const
isl::map project_out (isl::dim type, unsigned int first, unsigned int n) const
isl::map project_out_all_params () const
isl::set range () const
isl::map range_factor_domain () const
isl::map range_factor_range () const
isl::fixed_box range_lattice_tile () const
isl::map range_map () const
isl::map range_product (const isl::map &map2) const
isl::union_map range_product (const isl::union_map &umap2) const
isl::map range_reverse () const
isl::fixed_box range_simple_fixed_box_hull () const
class size range_tuple_dim () const
isl::id range_tuple_id () const
isl::basic_map reverse () const
isl::basic_map sample () const
isl::map set_domain_tuple (const isl::id &id) const
isl::map set_domain_tuple (const std::string &id) const
isl::map set_range_tuple (const isl::id &id) const
isl::map set_range_tuple (const std::string &id) const
isl::map set_tuple_id (isl::dim type, const isl::id &id) const
isl::map set_tuple_id (isl::dim type, const std::string &id) const
isl::space space () const
isl::map subtract (const isl::map &map2) const
isl::union_map subtract (const isl::union_map &umap2) const
isl::union_map subtract_domain (const isl::union_set &dom) const
isl::union_map subtract_range (const isl::union_set &dom) const
isl::map sum (const isl::map &map2) const
isl::basic_map_list to_list () const
isl::union_map to_union_map () const
isl::id tuple_id (isl::dim type) const
isl::map uncurry () const
isl::map unite (isl::basic_map bmap2) const
isl::map unite (const isl::map &map2) const
isl::union_map unite (const isl::union_map &umap2) const
isl::basic_map unshifted_simple_hull () const
isl::map upper_bound (const isl::multi_pw_aff &upper) const
isl::map upper_bound_si (isl::dim type, unsigned int pos, int value) const
isl::set wrap () const
isl::map zip () const

Static Public Member Functions

static isl::basic_map equal (isl::space space, unsigned int n_equal)
static isl::basic_map from_aff (isl::aff aff)
static isl::basic_map from_domain_and_range (isl::basic_set domain, isl::basic_set range)
static isl::basic_map universe (isl::space space)

Protected Member Functions

 basic_map (__isl_take isl_basic_map *ptr)
 basic_map (__isl_take isl_basic_map *ptr)

Protected Attributes

isl_basic_mapptr = nullptr

Friends

basic_map manage (__isl_take isl_basic_map *ptr)
basic_map manage_copy (__isl_keep isl_basic_map *ptr)
basic_map manage (__isl_take isl_basic_map *ptr)
basic_map manage_copy (__isl_keep isl_basic_map *ptr)

Detailed Description

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

Constructor & Destructor Documentation

◆ basic_map() [1/8]

◆ basic_map() [2/8]

isl::basic_map::basic_map ( )
inline

◆ basic_map() [3/8]

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

References basic_map(), and obj.

◆ basic_map() [4/8]

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

References ctx(), and str.

◆ ~basic_map() [1/2]

isl::basic_map::~basic_map ( )
inline

◆ basic_map() [5/8]

isl::basic_map::basic_map ( __isl_take isl_basic_map * ptr)
inlineexplicitprotected

References __isl_take, and ptr.

◆ basic_map() [6/8]

isl::basic_map::basic_map ( )
inline

◆ basic_map() [7/8]

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

References basic_map(), and obj.

◆ basic_map() [8/8]

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

References ctx(), and str.

◆ ~basic_map() [2/2]

isl::basic_map::~basic_map ( )
inline

Member Function Documentation

◆ add_constraint()

isl::map isl::basic_map::add_constraint ( const isl::constraint & constraint) const
inline

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

Referenced by ctx().

◆ add_dims()

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

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

References n, and type.

Referenced by ctx().

◆ affine_hull() [1/2]

isl::basic_map isl::basic_map::affine_hull ( ) const
inline

References affine_hull(), and basic_map().

Referenced by affine_hull().

◆ affine_hull() [2/2]

isl::basic_map isl::basic_map::affine_hull ( ) const
inline

◆ align_params()

isl::map isl::basic_map::align_params ( const isl::space & model) const
inline

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

Referenced by affine_hull().

◆ apply_domain() [1/6]

isl::map isl::basic_map::apply_domain ( const isl::map & map2) const
inline

References apply_domain(), and map2.

◆ apply_domain() [2/6]

isl::map isl::basic_map::apply_domain ( const isl::map & map2) const
inline

References apply_domain(), and map2.

◆ apply_domain() [3/6]

isl::union_map isl::basic_map::apply_domain ( const isl::union_map & umap2) const
inline

References apply_domain().

◆ apply_domain() [4/6]

isl::union_map isl::basic_map::apply_domain ( const isl::union_map & umap2) const
inline

References apply_domain().

◆ apply_domain() [5/6]

isl::basic_map isl::basic_map::apply_domain ( isl::basic_map bmap2) const
inline

◆ apply_domain() [6/6]

isl::basic_map isl::basic_map::apply_domain ( isl::basic_map bmap2) const
inline

References apply_domain(), and basic_map().

◆ apply_range() [1/6]

isl::map isl::basic_map::apply_range ( const isl::map & map2) const
inline

References apply_range(), and map2.

◆ apply_range() [2/6]

isl::map isl::basic_map::apply_range ( const isl::map & map2) const
inline

References apply_range(), and map2.

◆ apply_range() [3/6]

isl::union_map isl::basic_map::apply_range ( const isl::union_map & umap2) const
inline

References apply_range().

◆ apply_range() [4/6]

isl::union_map isl::basic_map::apply_range ( const isl::union_map & umap2) const
inline

References apply_range().

◆ apply_range() [5/6]

isl::basic_map isl::basic_map::apply_range ( isl::basic_map bmap2) const
inline

References apply_range(), and basic_map().

Referenced by apply_range(), apply_range(), and apply_range().

◆ apply_range() [6/6]

isl::basic_map isl::basic_map::apply_range ( isl::basic_map bmap2) const
inline

References apply_range(), and basic_map().

◆ as_map() [1/2]

isl::map isl::basic_map::as_map ( ) const
inline

References as_map().

Referenced by as_map().

◆ as_map() [2/2]

isl::map isl::basic_map::as_map ( ) const
inline

References as_map().

◆ as_multi_union_pw_aff() [1/2]

isl::multi_union_pw_aff isl::basic_map::as_multi_union_pw_aff ( ) const
inline

◆ as_multi_union_pw_aff() [2/2]

isl::multi_union_pw_aff isl::basic_map::as_multi_union_pw_aff ( ) const
inline

◆ as_pw_multi_aff() [1/2]

isl::pw_multi_aff isl::basic_map::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_map::as_pw_multi_aff ( ) const
inline

References as_pw_multi_aff().

◆ as_union_pw_multi_aff() [1/2]

isl::union_pw_multi_aff isl::basic_map::as_union_pw_multi_aff ( ) const
inline

◆ as_union_pw_multi_aff() [2/2]

isl::union_pw_multi_aff isl::basic_map::as_union_pw_multi_aff ( ) const
inline

◆ basic_map_list()

isl::basic_map_list isl::basic_map::basic_map_list ( ) const
inline

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

Referenced by as_union_pw_multi_aff(), to_list(), and zip().

◆ bind_domain() [1/2]

isl::set isl::basic_map::bind_domain ( const isl::multi_id & tuple) const
inline

References bind_domain(), and tuple.

Referenced by bind_domain().

◆ bind_domain() [2/2]

isl::set isl::basic_map::bind_domain ( const isl::multi_id & tuple) const
inline

References bind_domain(), and tuple.

◆ bind_range() [1/2]

isl::set isl::basic_map::bind_range ( const isl::multi_id & tuple) const
inline

References bind_range(), and tuple.

Referenced by bind_range().

◆ bind_range() [2/2]

isl::set isl::basic_map::bind_range ( const isl::multi_id & tuple) const
inline

References bind_range(), can_curry(), and tuple.

◆ can_curry()

boolean isl::basic_map::can_curry ( ) const
inline

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

Referenced by bind_range().

◆ coalesce() [1/2]

isl::map isl::basic_map::coalesce ( ) const
inline

References coalesce().

Referenced by coalesce().

◆ coalesce() [2/2]

isl::map isl::basic_map::coalesce ( ) const
inline

References coalesce().

◆ complement() [1/2]

isl::map isl::basic_map::complement ( ) const
inline

References complement().

Referenced by complement().

◆ complement() [2/2]

isl::map isl::basic_map::complement ( ) const
inline

References complement().

◆ compute_divs() [1/2]

isl::union_map isl::basic_map::compute_divs ( ) const
inline

References compute_divs().

Referenced by compute_divs().

◆ compute_divs() [2/2]

isl::union_map isl::basic_map::compute_divs ( ) const
inline

References compute_divs().

◆ copy() [1/4]

__isl_give isl_basic_map * isl::basic_map::copy ( ) &&
inlinedelete

References __isl_give, and copy().

◆ copy() [2/4]

__isl_give isl_basic_map * isl::basic_map::copy ( ) &&
inlinedelete

References __isl_give, and copy().

◆ copy() [3/4]

__isl_give isl_basic_map * isl::basic_map::copy ( ) const &
inline

References __isl_give.

Referenced by copy().

◆ copy() [4/4]

__isl_give isl_basic_map * isl::basic_map::copy ( ) const &
inline

References __isl_give.

◆ ctx() [1/2]

isl::ctx isl::basic_map::ctx ( ) const
inline

References ctx().

Referenced by basic_map(), and ctx().

◆ ctx() [2/2]

isl::ctx isl::basic_map::ctx ( ) const
inline

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

◆ curry() [1/2]

isl::map isl::basic_map::curry ( ) const
inline

References curry().

Referenced by curry().

◆ curry() [2/2]

isl::map isl::basic_map::curry ( ) const
inline

References curry().

◆ deltas() [1/2]

isl::basic_set isl::basic_map::deltas ( ) const
inline

References deltas().

Referenced by deltas().

◆ deltas() [2/2]

isl::basic_set isl::basic_map::deltas ( ) const
inline

References deltas().

◆ detect_equalities() [1/2]

isl::basic_map isl::basic_map::detect_equalities ( ) const
inline

References basic_map(), and detect_equalities().

Referenced by detect_equalities().

◆ detect_equalities() [2/2]

isl::basic_map isl::basic_map::detect_equalities ( ) const
inline

◆ dim()

◆ dim_max()

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

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

References pos().

Referenced by detect_equalities().

◆ dim_min()

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

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

References pos().

Referenced by detect_equalities().

◆ domain() [1/2]

◆ domain() [2/2]

isl::basic_set isl::basic_map::domain ( ) const
inline

References domain().

◆ domain_factor_domain() [1/2]

isl::map isl::basic_map::domain_factor_domain ( ) const
inline

References domain_factor_domain().

Referenced by domain_factor_domain().

◆ domain_factor_domain() [2/2]

isl::map isl::basic_map::domain_factor_domain ( ) const
inline

◆ domain_factor_range() [1/2]

isl::map isl::basic_map::domain_factor_range ( ) const
inline

References domain_factor_range().

Referenced by domain_factor_range().

◆ domain_factor_range() [2/2]

isl::map isl::basic_map::domain_factor_range ( ) const
inline

References domain_factor_range().

◆ domain_map() [1/2]

isl::union_map isl::basic_map::domain_map ( ) const
inline

References domain_map().

Referenced by domain_map().

◆ domain_map() [2/2]

isl::map isl::basic_map::domain_map ( ) const
inline

References domain_map().

◆ domain_map_union_pw_multi_aff() [1/2]

isl::union_pw_multi_aff isl::basic_map::domain_map_union_pw_multi_aff ( ) const
inline

◆ domain_map_union_pw_multi_aff() [2/2]

isl::union_pw_multi_aff isl::basic_map::domain_map_union_pw_multi_aff ( ) const
inline

◆ domain_product() [1/4]

isl::map isl::basic_map::domain_product ( const isl::map & map2) const
inline

References domain_product(), and map2.

Referenced by domain_product(), and domain_product().

◆ domain_product() [2/4]

isl::map isl::basic_map::domain_product ( const isl::map & map2) const
inline

References domain_product(), and map2.

◆ domain_product() [3/4]

isl::union_map isl::basic_map::domain_product ( const isl::union_map & umap2) const
inline

References domain_product().

◆ domain_product() [4/4]

isl::union_map isl::basic_map::domain_product ( const isl::union_map & umap2) const
inline

References domain_product().

◆ domain_reverse()

isl::map isl::basic_map::domain_reverse ( ) const
inline

References domain_reverse().

Referenced by domain_reverse().

◆ domain_tuple_dim() [1/2]

unsigned isl::basic_map::domain_tuple_dim ( ) const
inline

References domain_tuple_dim().

Referenced by domain_tuple_dim().

◆ domain_tuple_dim() [2/2]

class size isl::basic_map::domain_tuple_dim ( ) const
inline

References domain_tuple_dim().

◆ domain_tuple_id() [1/2]

isl::id isl::basic_map::domain_tuple_id ( ) const
inline

References domain_tuple_id().

Referenced by domain_tuple_id().

◆ domain_tuple_id() [2/2]

isl::id isl::basic_map::domain_tuple_id ( ) const
inline

References domain_tuple_id().

◆ drop_unused_params()

isl::map isl::basic_map::drop_unused_params ( ) const
inline

References drop_unused_params().

Referenced by drop_unused_params().

◆ eq_at() [1/4]

isl::map isl::basic_map::eq_at ( const isl::multi_pw_aff & mpa) const
inline

References eq_at().

Referenced by eq_at(), and eq_at().

◆ eq_at() [2/4]

isl::map isl::basic_map::eq_at ( const isl::multi_pw_aff & mpa) const
inline

References eq_at().

◆ eq_at() [3/4]

isl::union_map isl::basic_map::eq_at ( const isl::multi_union_pw_aff & mupa) const
inline

References eq_at(), every_map(), mupa, and test.

◆ eq_at() [4/4]

isl::union_map isl::basic_map::eq_at ( const isl::multi_union_pw_aff & mupa) const
inline

◆ equal()

isl::basic_map isl::basic_map::equal ( isl::space space,
unsigned int n_equal )
inlinestatic

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

References isl_basic_map_equal(), isl::checked::basic_map::manage, res, and space().

Referenced by eq_at().

◆ equate()

isl::basic_map isl::basic_map::equate ( isl::dim type1,
int pos1,
isl::dim type2,
int pos2 ) const
inline

◆ every_map() [1/2]

bool isl::basic_map::every_map ( const std::function< bool(isl::map)> & test) const
inline

◆ every_map() [2/2]

boolean isl::basic_map::every_map ( const std::function< boolean(isl::map)> & test) const
inline

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

References isl::checked::map::every_map(), and test.

◆ extract_map() [1/2]

isl::map isl::basic_map::extract_map ( const isl::space & space) const
inline

References extract_map(), and space().

Referenced by extract_map().

◆ extract_map() [2/2]

isl::map isl::basic_map::extract_map ( const isl::space & space) const
inline

References extract_map(), and space().

◆ factor_domain() [1/2]

isl::map isl::basic_map::factor_domain ( ) const
inline

References factor_domain().

Referenced by factor_domain().

◆ factor_domain() [2/2]

isl::map isl::basic_map::factor_domain ( ) const
inline

References factor_domain().

◆ factor_range() [1/2]

isl::map isl::basic_map::factor_range ( ) const
inline

References factor_range().

Referenced by factor_range().

◆ factor_range() [2/2]

isl::map isl::basic_map::factor_range ( ) const
inline

◆ fix_si()

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

◆ fix_val() [1/2]

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

◆ fix_val() [2/2]

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

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

References isl::checked::basic_map::ctx(), fix_val(), pos(), and type.

◆ fixed_power() [1/4]

isl::map isl::basic_map::fixed_power ( const isl::val & exp) const
inline

References fixed_power().

Referenced by fixed_power(), and fixed_power().

◆ fixed_power() [2/4]

isl::union_map isl::basic_map::fixed_power ( const isl::val & exp) const
inline

References fixed_power().

◆ fixed_power() [3/4]

isl::map isl::basic_map::fixed_power ( long exp) const
inline

References fixed_power().

◆ fixed_power() [4/4]

isl::union_map isl::basic_map::fixed_power ( long exp) const
inline

◆ flat_range_product() [1/2]

isl::map isl::basic_map::flat_range_product ( const isl::map & map2) const
inline

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

References map2.

Referenced by fixed_power().

◆ flat_range_product() [2/2]

isl::union_map isl::basic_map::flat_range_product ( const isl::union_map & umap2) const
inline

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

◆ flatten() [1/2]

isl::basic_map isl::basic_map::flatten ( ) const
inline

References basic_map(), and flatten().

Referenced by flatten().

◆ flatten() [2/2]

isl::basic_map isl::basic_map::flatten ( ) const
inline

References basic_map(), and flatten().

◆ flatten_domain() [1/2]

isl::basic_map isl::basic_map::flatten_domain ( ) const
inline

References basic_map(), and flatten_domain().

Referenced by flatten_domain().

◆ flatten_domain() [2/2]

isl::basic_map isl::basic_map::flatten_domain ( ) const
inline

References basic_map(), and flatten_domain().

◆ flatten_range() [1/2]

isl::basic_map isl::basic_map::flatten_range ( ) const
inline

◆ flatten_range() [2/2]

◆ floordiv_val() [1/2]

isl::map isl::basic_map::floordiv_val ( const isl::val & d) const
inline

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

Referenced by flatten_range(), and floordiv_val().

◆ floordiv_val() [2/2]

isl::map isl::basic_map::floordiv_val ( long d) const
inline

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

References isl::checked::basic_map::ctx(), and floordiv_val().

◆ foreach_basic_map() [1/2]

stat isl::basic_map::foreach_basic_map ( const std::function< stat(isl::basic_map)> & fn) const
inline

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

References fn, and isl::checked::map::foreach_basic_map().

◆ foreach_basic_map() [2/2]

void isl::basic_map::foreach_basic_map ( const std::function< void(isl::basic_map)> & fn) const
inline

◆ foreach_map() [1/2]

stat isl::basic_map::foreach_map ( const std::function< stat(isl::map)> & fn) const
inline

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

References fn, and isl::checked::map::foreach_map().

◆ foreach_map() [2/2]

void isl::basic_map::foreach_map ( const std::function< void(isl::map)> & fn) const
inline

◆ from_aff()

isl::basic_map isl::basic_map::from_aff ( isl::aff aff)
inlinestatic

◆ from_domain_and_range()

isl::basic_map isl::basic_map::from_domain_and_range ( isl::basic_set domain,
isl::basic_set range )
inlinestatic

◆ get() [1/2]

__isl_keep isl_basic_map * isl::basic_map::get ( ) const
inline

References __isl_keep, and get().

Referenced by get().

◆ get() [2/2]

__isl_keep isl_basic_map * isl::basic_map::get ( ) const
inline

References __isl_keep, and get().

◆ gist() [1/6]

isl::map isl::basic_map::gist ( const isl::map & context) const
inline

References context, and gist().

◆ gist() [2/6]

isl::map isl::basic_map::gist ( const isl::map & context) const
inline

References context, and gist().

◆ gist() [3/6]

isl::union_map isl::basic_map::gist ( const isl::union_map & context) const
inline

References context, and gist().

◆ gist() [4/6]

isl::union_map isl::basic_map::gist ( const isl::union_map & context) const
inline

References context, and gist().

◆ gist() [5/6]

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

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

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

◆ gist() [6/6]

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

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

◆ gist_domain() [1/4]

isl::map isl::basic_map::gist_domain ( const isl::set & context) const
inline

References context, and gist_domain().

Referenced by gist_domain(), and gist_domain().

◆ gist_domain() [2/4]

isl::map isl::basic_map::gist_domain ( const isl::set & context) const
inline

References context, and gist_domain().

◆ gist_domain() [3/4]

isl::union_map isl::basic_map::gist_domain ( const isl::union_set & uset) const
inline

References gist_domain().

◆ gist_domain() [4/4]

isl::union_map isl::basic_map::gist_domain ( const isl::union_set & uset) const
inline

References gist_domain().

◆ gist_params() [1/2]

isl::map isl::basic_map::gist_params ( const isl::set & context) const
inline

References context, and gist_params().

Referenced by gist_params().

◆ gist_params() [2/2]

isl::map isl::basic_map::gist_params ( const isl::set & context) const
inline

References context, and gist_params().

◆ gist_range() [1/2]

isl::union_map isl::basic_map::gist_range ( const isl::union_set & uset) const
inline

References gist_range().

Referenced by gist_range().

◆ gist_range() [2/2]

isl::union_map isl::basic_map::gist_range ( const isl::union_set & uset) const
inline

References gist_range().

◆ has_domain_tuple_id() [1/2]

bool isl::basic_map::has_domain_tuple_id ( ) const
inline

References has_domain_tuple_id().

Referenced by has_domain_tuple_id().

◆ has_domain_tuple_id() [2/2]

boolean isl::basic_map::has_domain_tuple_id ( ) const
inline

◆ has_equal_space()

boolean isl::basic_map::has_equal_space ( const isl::map & map2) const
inline

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

References map2.

Referenced by has_domain_tuple_id().

◆ has_range_tuple_id() [1/2]

bool isl::basic_map::has_range_tuple_id ( ) const
inline

References has_range_tuple_id().

Referenced by has_range_tuple_id().

◆ has_range_tuple_id() [2/2]

boolean isl::basic_map::has_range_tuple_id ( ) const
inline

◆ has_tuple_id()

boolean isl::basic_map::has_tuple_id ( isl::dim type) const
inline

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

References type.

Referenced by has_range_tuple_id().

◆ has_tuple_name()

boolean isl::basic_map::has_tuple_name ( isl::dim type) const
inline

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

References type.

Referenced by has_range_tuple_id().

◆ intersect() [1/6]

isl::map isl::basic_map::intersect ( const isl::map & map2) const
inline

References intersect(), and map2.

◆ intersect() [2/6]

isl::map isl::basic_map::intersect ( const isl::map & map2) const
inline

References intersect(), and map2.

◆ intersect() [3/6]

isl::union_map isl::basic_map::intersect ( const isl::union_map & umap2) const
inline

References intersect().

◆ intersect() [4/6]

isl::union_map isl::basic_map::intersect ( const isl::union_map & umap2) const
inline

References intersect().

◆ intersect() [5/6]

isl::basic_map isl::basic_map::intersect ( isl::basic_map bmap2) const
inline

References basic_map(), and intersect().

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

◆ intersect() [6/6]

isl::basic_map isl::basic_map::intersect ( isl::basic_map bmap2) const
inline

References basic_map(), and intersect().

◆ intersect_domain() [1/10]

isl::basic_map isl::basic_map::intersect_domain ( const isl::point & bset) const
inline

References basic_map(), and intersect_domain().

◆ intersect_domain() [2/10]

isl::basic_map isl::basic_map::intersect_domain ( const isl::point & bset) const
inline

References basic_map(), and intersect_domain().

◆ intersect_domain() [3/10]

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

References intersect_domain().

◆ intersect_domain() [4/10]

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

References intersect_domain().

◆ intersect_domain() [5/10]

isl::union_map isl::basic_map::intersect_domain ( const isl::space & space) const
inline

References intersect_domain(), and space().

◆ intersect_domain() [6/10]

isl::union_map isl::basic_map::intersect_domain ( const isl::space & space) const
inline

References intersect_domain(), and space().

◆ intersect_domain() [7/10]

isl::union_map isl::basic_map::intersect_domain ( const isl::union_set & uset) const
inline

References intersect_domain().

◆ intersect_domain() [8/10]

isl::union_map isl::basic_map::intersect_domain ( const isl::union_set & uset) const
inline

References intersect_domain().

◆ intersect_domain() [9/10]

isl::basic_map isl::basic_map::intersect_domain ( isl::basic_set bset) const
inline

◆ intersect_domain() [10/10]

isl::basic_map isl::basic_map::intersect_domain ( isl::basic_set bset) const
inline

References basic_map(), and intersect_domain().

◆ intersect_domain_factor_domain() [1/4]

isl::map isl::basic_map::intersect_domain_factor_domain ( const isl::map & factor) const
inline

◆ intersect_domain_factor_domain() [2/4]

isl::map isl::basic_map::intersect_domain_factor_domain ( const isl::map & factor) const
inline

◆ intersect_domain_factor_domain() [3/4]

isl::union_map isl::basic_map::intersect_domain_factor_domain ( const isl::union_map & factor) const
inline

◆ intersect_domain_factor_domain() [4/4]

isl::union_map isl::basic_map::intersect_domain_factor_domain ( const isl::union_map & factor) const
inline

◆ intersect_domain_factor_range() [1/4]

isl::map isl::basic_map::intersect_domain_factor_range ( const isl::map & factor) const
inline

◆ intersect_domain_factor_range() [2/4]

isl::map isl::basic_map::intersect_domain_factor_range ( const isl::map & factor) const
inline

◆ intersect_domain_factor_range() [3/4]

isl::union_map isl::basic_map::intersect_domain_factor_range ( const isl::union_map & factor) const
inline

◆ intersect_domain_factor_range() [4/4]

isl::union_map isl::basic_map::intersect_domain_factor_range ( const isl::union_map & factor) const
inline

◆ intersect_domain_wrapped_domain() [1/2]

isl::map isl::basic_map::intersect_domain_wrapped_domain ( const isl::set & domain) const
inline

◆ intersect_domain_wrapped_domain() [2/2]

isl::union_map isl::basic_map::intersect_domain_wrapped_domain ( const isl::union_set & domain) const
inline

◆ intersect_params() [1/4]

isl::basic_map isl::basic_map::intersect_params ( const isl::point & bset) const
inline

References basic_map(), and intersect_params().

◆ intersect_params() [2/4]

isl::map isl::basic_map::intersect_params ( const isl::set & params) const
inline

References intersect_params(), and params().

◆ intersect_params() [3/4]

isl::map isl::basic_map::intersect_params ( const isl::set & params) const
inline

References intersect_params(), and params().

◆ intersect_params() [4/4]

isl::basic_map isl::basic_map::intersect_params ( isl::basic_set bset) const
inline

◆ intersect_range() [1/10]

isl::basic_map isl::basic_map::intersect_range ( const isl::point & bset) const
inline

References basic_map(), and intersect_range().

◆ intersect_range() [2/10]

isl::basic_map isl::basic_map::intersect_range ( const isl::point & bset) const
inline

References basic_map(), and intersect_range().

◆ intersect_range() [3/10]

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

References intersect_range().

◆ intersect_range() [4/10]

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

References intersect_range().

◆ intersect_range() [5/10]

isl::union_map isl::basic_map::intersect_range ( const isl::space & space) const
inline

References intersect_range(), and space().

◆ intersect_range() [6/10]

isl::union_map isl::basic_map::intersect_range ( const isl::space & space) const
inline

References intersect_range(), and space().

◆ intersect_range() [7/10]

isl::union_map isl::basic_map::intersect_range ( const isl::union_set & uset) const
inline

References intersect_range().

◆ intersect_range() [8/10]

isl::union_map isl::basic_map::intersect_range ( const isl::union_set & uset) const
inline

References intersect_range().

◆ intersect_range() [9/10]

isl::basic_map isl::basic_map::intersect_range ( isl::basic_set bset) const
inline

◆ intersect_range() [10/10]

isl::basic_map isl::basic_map::intersect_range ( isl::basic_set bset) const
inline

References basic_map(), and intersect_range().

◆ intersect_range_factor_domain() [1/4]

isl::map isl::basic_map::intersect_range_factor_domain ( const isl::map & factor) const
inline

◆ intersect_range_factor_domain() [2/4]

isl::map isl::basic_map::intersect_range_factor_domain ( const isl::map & factor) const
inline

◆ intersect_range_factor_domain() [3/4]

isl::union_map isl::basic_map::intersect_range_factor_domain ( const isl::union_map & factor) const
inline

◆ intersect_range_factor_domain() [4/4]

isl::union_map isl::basic_map::intersect_range_factor_domain ( const isl::union_map & factor) const
inline

◆ intersect_range_factor_range() [1/4]

isl::map isl::basic_map::intersect_range_factor_range ( const isl::map & factor) const
inline

◆ intersect_range_factor_range() [2/4]

isl::map isl::basic_map::intersect_range_factor_range ( const isl::map & factor) const
inline

◆ intersect_range_factor_range() [3/4]

isl::union_map isl::basic_map::intersect_range_factor_range ( const isl::union_map & factor) const
inline

◆ intersect_range_factor_range() [4/4]

isl::union_map isl::basic_map::intersect_range_factor_range ( const isl::union_map & factor) const
inline

◆ intersect_range_wrapped_domain() [1/2]

isl::map isl::basic_map::intersect_range_wrapped_domain ( const isl::set & domain) const
inline

◆ intersect_range_wrapped_domain() [2/2]

isl::union_map isl::basic_map::intersect_range_wrapped_domain ( const isl::union_set & domain) const
inline

◆ involves_dims()

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

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

References n, and type.

Referenced by intersect_range_factor_range().

◆ is_bijective() [1/2]

bool isl::basic_map::is_bijective ( ) const
inline

References is_bijective().

Referenced by is_bijective().

◆ is_bijective() [2/2]

boolean isl::basic_map::is_bijective ( ) const
inline

References is_bijective().

◆ is_disjoint() [1/4]

bool isl::basic_map::is_disjoint ( const isl::map & map2) const
inline

References is_disjoint(), and map2.

Referenced by is_disjoint(), and is_disjoint().

◆ is_disjoint() [2/4]

boolean isl::basic_map::is_disjoint ( const isl::map & map2) const
inline

References is_disjoint(), and map2.

◆ is_disjoint() [3/4]

bool isl::basic_map::is_disjoint ( const isl::union_map & umap2) const
inline

References is_disjoint().

◆ is_disjoint() [4/4]

boolean isl::basic_map::is_disjoint ( const isl::union_map & umap2) const
inline

References is_disjoint().

◆ is_empty() [1/2]

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

References is_empty().

Referenced by is_empty().

◆ is_empty() [2/2]

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

References is_empty().

◆ is_equal() [1/6]

bool isl::basic_map::is_equal ( const isl::basic_map & bmap2) const
inline

References basic_map(), and is_equal().

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

◆ is_equal() [2/6]

boolean isl::basic_map::is_equal ( const isl::basic_map & bmap2) const
inline

References basic_map(), and is_equal().

◆ is_equal() [3/6]

bool isl::basic_map::is_equal ( const isl::map & map2) const
inline

References is_equal(), and map2.

◆ is_equal() [4/6]

boolean isl::basic_map::is_equal ( const isl::map & map2) const
inline

References is_equal(), and map2.

◆ is_equal() [5/6]

bool isl::basic_map::is_equal ( const isl::union_map & umap2) const
inline

References is_equal().

◆ is_equal() [6/6]

boolean isl::basic_map::is_equal ( const isl::union_map & umap2) const
inline

References is_equal().

◆ is_injective() [1/2]

bool isl::basic_map::is_injective ( ) const
inline

References is_injective().

Referenced by is_injective().

◆ is_injective() [2/2]

boolean isl::basic_map::is_injective ( ) const
inline

References is_injective().

◆ is_null() [1/2]

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

References is_null().

Referenced by is_null().

◆ is_null() [2/2]

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

References is_null().

◆ is_single_valued() [1/2]

bool isl::basic_map::is_single_valued ( ) const
inline

References is_single_valued().

Referenced by is_single_valued().

◆ is_single_valued() [2/2]

boolean isl::basic_map::is_single_valued ( ) const
inline

References is_single_valued().

◆ is_strict_subset() [1/4]

bool isl::basic_map::is_strict_subset ( const isl::map & map2) const
inline

References is_strict_subset(), and map2.

Referenced by is_strict_subset(), and is_strict_subset().

◆ is_strict_subset() [2/4]

boolean isl::basic_map::is_strict_subset ( const isl::map & map2) const
inline

References is_strict_subset(), and map2.

◆ is_strict_subset() [3/4]

bool isl::basic_map::is_strict_subset ( const isl::union_map & umap2) const
inline

References is_strict_subset().

◆ is_strict_subset() [4/4]

boolean isl::basic_map::is_strict_subset ( const isl::union_map & umap2) const
inline

References is_strict_subset().

◆ is_subset() [1/6]

bool isl::basic_map::is_subset ( const isl::basic_map & bmap2) const
inline

References basic_map(), and is_subset().

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

◆ is_subset() [2/6]

boolean isl::basic_map::is_subset ( const isl::basic_map & bmap2) const
inline

References basic_map(), and is_subset().

◆ is_subset() [3/6]

bool isl::basic_map::is_subset ( const isl::map & map2) const
inline

References is_subset(), and map2.

◆ is_subset() [4/6]

boolean isl::basic_map::is_subset ( const isl::map & map2) const
inline

References is_subset(), and map2.

◆ is_subset() [5/6]

bool isl::basic_map::is_subset ( const isl::union_map & umap2) const
inline

References is_subset().

◆ is_subset() [6/6]

boolean isl::basic_map::is_subset ( const isl::union_map & umap2) const
inline

References is_subset().

◆ isa_map() [1/2]

bool isl::basic_map::isa_map ( ) const
inline

References isa_map().

Referenced by isa_map().

◆ isa_map() [2/2]

boolean isl::basic_map::isa_map ( ) const
inline

References isa_map().

◆ lex_ge_at() [1/2]

isl::map isl::basic_map::lex_ge_at ( const isl::multi_pw_aff & mpa) const
inline

References lex_ge_at().

Referenced by lex_ge_at().

◆ lex_ge_at() [2/2]

isl::map isl::basic_map::lex_ge_at ( const isl::multi_pw_aff & mpa) const
inline

References lex_ge_at().

◆ lex_gt_at() [1/2]

isl::map isl::basic_map::lex_gt_at ( const isl::multi_pw_aff & mpa) const
inline

References lex_gt_at().

Referenced by lex_gt_at().

◆ lex_gt_at() [2/2]

isl::map isl::basic_map::lex_gt_at ( const isl::multi_pw_aff & mpa) const
inline

References lex_gt_at().

◆ lex_le_at() [1/2]

isl::map isl::basic_map::lex_le_at ( const isl::multi_pw_aff & mpa) const
inline

References lex_le_at().

Referenced by lex_le_at().

◆ lex_le_at() [2/2]

isl::map isl::basic_map::lex_le_at ( const isl::multi_pw_aff & mpa) const
inline

References lex_le_at().

◆ lex_lt_at() [1/2]

isl::map isl::basic_map::lex_lt_at ( const isl::multi_pw_aff & mpa) const
inline

References lex_lt_at().

Referenced by lex_lt_at().

◆ lex_lt_at() [2/2]

isl::map isl::basic_map::lex_lt_at ( const isl::multi_pw_aff & mpa) const
inline

References lex_lt_at().

◆ lexmax() [1/2]

isl::map isl::basic_map::lexmax ( ) const
inline

References lexmax().

Referenced by lexmax().

◆ lexmax() [2/2]

isl::map isl::basic_map::lexmax ( ) const
inline

References lexmax().

◆ lexmax_pw_multi_aff() [1/2]

isl::pw_multi_aff isl::basic_map::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_map::lexmax_pw_multi_aff ( ) const
inline

References lexmax_pw_multi_aff().

◆ lexmin() [1/2]

isl::map isl::basic_map::lexmin ( ) const
inline

References lexmin().

Referenced by lexmin().

◆ lexmin() [2/2]

isl::map isl::basic_map::lexmin ( ) const
inline

References lexmin().

◆ lexmin_pw_multi_aff() [1/2]

isl::pw_multi_aff isl::basic_map::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_map::lexmin_pw_multi_aff ( ) const
inline

References lexmin_pw_multi_aff().

◆ lower_bound() [1/2]

isl::map isl::basic_map::lower_bound ( const isl::multi_pw_aff & lower) const
inline

References lower_bound().

Referenced by lower_bound().

◆ lower_bound() [2/2]

isl::map isl::basic_map::lower_bound ( const isl::multi_pw_aff & lower) const
inline

◆ lower_bound_si()

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

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

References pos(), and type.

Referenced by lower_bound().

◆ map_list() [1/2]

isl::map_list isl::basic_map::map_list ( ) const
inline

References map_list().

Referenced by map_list(), and to_list().

◆ map_list() [2/2]

isl::map_list isl::basic_map::map_list ( ) const
inline

References map_list().

◆ max_multi_pw_aff() [1/2]

isl::multi_pw_aff isl::basic_map::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_map::max_multi_pw_aff ( ) const
inline

References max_multi_pw_aff().

◆ min_multi_pw_aff() [1/2]

isl::multi_pw_aff isl::basic_map::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_map::min_multi_pw_aff ( ) const
inline

References dim(), min_multi_pw_aff(), move_dims(), and n.

◆ move_dims()

isl::map isl::basic_map::move_dims ( isl::dim dst_type,
unsigned int dst_pos,
isl::dim src_type,
unsigned int src_pos,
unsigned int n ) const
inline

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

References n.

Referenced by min_multi_pw_aff().

◆ n_basic_map() [1/2]

unsigned isl::basic_map::n_basic_map ( ) const
inline

References n_basic_map().

Referenced by n_basic_map().

◆ n_basic_map() [2/2]

class size isl::basic_map::n_basic_map ( ) const
inline

References dim(), n_basic_map(), and order_lt().

◆ operator=() [1/2]

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

References basic_map(), and obj.

◆ operator=() [2/2]

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

References basic_map(), and obj.

◆ order_lt()

isl::map isl::basic_map::order_lt ( isl::dim type1,
int pos1,
isl::dim type2,
int pos2 ) const
inline

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

Referenced by n_basic_map().

◆ params() [1/2]

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

References params().

Referenced by intersect_params(), and params().

◆ params() [2/2]

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

◆ plain_get_val_if_fixed()

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

◆ polyhedral_hull() [1/2]

isl::basic_map isl::basic_map::polyhedral_hull ( ) const
inline

References basic_map(), and polyhedral_hull().

Referenced by polyhedral_hull().

◆ polyhedral_hull() [2/2]

isl::basic_map isl::basic_map::polyhedral_hull ( ) const
inline

References basic_map(), and polyhedral_hull().

◆ preimage_domain() [1/8]

isl::map isl::basic_map::preimage_domain ( const isl::multi_aff & ma) const
inline

◆ preimage_domain() [2/8]

isl::map isl::basic_map::preimage_domain ( const isl::multi_aff & ma) const
inline

References ma, and preimage_domain().

◆ preimage_domain() [3/8]

isl::map isl::basic_map::preimage_domain ( const isl::multi_pw_aff & mpa) const
inline

References preimage_domain().

◆ preimage_domain() [4/8]

isl::map isl::basic_map::preimage_domain ( const isl::multi_pw_aff & mpa) const
inline

References preimage_domain().

◆ preimage_domain() [5/8]

isl::map isl::basic_map::preimage_domain ( const isl::pw_multi_aff & pma) const
inline

References pma, and preimage_domain().

◆ preimage_domain() [6/8]

isl::map isl::basic_map::preimage_domain ( const isl::pw_multi_aff & pma) const
inline

References pma, and preimage_domain().

◆ preimage_domain() [7/8]

isl::union_map isl::basic_map::preimage_domain ( const isl::union_pw_multi_aff & upma) const
inline

References preimage_domain().

◆ preimage_domain() [8/8]

isl::union_map isl::basic_map::preimage_domain ( const isl::union_pw_multi_aff & upma) const
inline

References preimage_domain().

◆ preimage_range() [1/6]

isl::map isl::basic_map::preimage_range ( const isl::multi_aff & ma) const
inline

References ma, and preimage_range().

Referenced by preimage_range(), preimage_range(), and preimage_range().

◆ preimage_range() [2/6]

isl::map isl::basic_map::preimage_range ( const isl::multi_aff & ma) const
inline

References ma, and preimage_range().

◆ preimage_range() [3/6]

isl::map isl::basic_map::preimage_range ( const isl::pw_multi_aff & pma) const
inline

References pma, and preimage_range().

◆ preimage_range() [4/6]

isl::map isl::basic_map::preimage_range ( const isl::pw_multi_aff & pma) const
inline

References pma, and preimage_range().

◆ preimage_range() [5/6]

isl::union_map isl::basic_map::preimage_range ( const isl::union_pw_multi_aff & upma) const
inline

References preimage_range().

◆ preimage_range() [6/6]

isl::union_map isl::basic_map::preimage_range ( const isl::union_pw_multi_aff & upma) const
inline

References preimage_range().

◆ product() [1/4]

isl::map isl::basic_map::product ( const isl::map & map2) const
inline

References map2, and product().

Referenced by product(), and product().

◆ product() [2/4]

isl::map isl::basic_map::product ( const isl::map & map2) const
inline

References map2, and product().

◆ product() [3/4]

isl::union_map isl::basic_map::product ( const isl::union_map & umap2) const
inline

References product().

◆ product() [4/4]

isl::union_map isl::basic_map::product ( const isl::union_map & umap2) const
inline

References dim(), n, product(), project_out(), and type.

◆ project_out()

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

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

References n, and type.

Referenced by product().

◆ project_out_all_params() [1/2]

isl::map isl::basic_map::project_out_all_params ( ) const
inline

◆ project_out_all_params() [2/2]

isl::map isl::basic_map::project_out_all_params ( ) const
inline

◆ project_out_param() [1/3]

isl::map isl::basic_map::project_out_param ( const isl::id & id) const
inline

◆ project_out_param() [2/3]

isl::map isl::basic_map::project_out_param ( const isl::id_list & list) const
inline

References project_out_param().

◆ project_out_param() [3/3]

isl::map isl::basic_map::project_out_param ( const std::string & id) const
inline

References project_out_param().

◆ range() [1/2]

isl::set isl::basic_map::range ( ) const
inline

References range().

Referenced by flatten_range(), from_domain_and_range(), and range().

◆ range() [2/2]

isl::set isl::basic_map::range ( ) const
inline

References range().

◆ range_factor_domain() [1/2]

isl::map isl::basic_map::range_factor_domain ( ) const
inline

References range_factor_domain().

Referenced by range_factor_domain().

◆ range_factor_domain() [2/2]

isl::map isl::basic_map::range_factor_domain ( ) const
inline

References range_factor_domain().

◆ range_factor_range() [1/2]

isl::map isl::basic_map::range_factor_range ( ) const
inline

References range_factor_range().

Referenced by range_factor_range().

◆ range_factor_range() [2/2]

isl::map isl::basic_map::range_factor_range ( ) const
inline

References range_factor_range().

◆ range_lattice_tile() [1/2]

isl::fixed_box isl::basic_map::range_lattice_tile ( ) const
inline

References range_lattice_tile().

Referenced by range_lattice_tile().

◆ range_lattice_tile() [2/2]

isl::fixed_box isl::basic_map::range_lattice_tile ( ) const
inline

References range_lattice_tile().

◆ range_map() [1/2]

isl::union_map isl::basic_map::range_map ( ) const
inline

References range_map().

Referenced by range_map().

◆ range_map() [2/2]

isl::map isl::basic_map::range_map ( ) const
inline

References range_map().

◆ range_product() [1/4]

isl::map isl::basic_map::range_product ( const isl::map & map2) const
inline

References map2, and range_product().

Referenced by range_product(), and range_product().

◆ range_product() [2/4]

isl::map isl::basic_map::range_product ( const isl::map & map2) const
inline

References map2, and range_product().

◆ range_product() [3/4]

isl::union_map isl::basic_map::range_product ( const isl::union_map & umap2) const
inline

References range_product().

◆ range_product() [4/4]

isl::union_map isl::basic_map::range_product ( const isl::union_map & umap2) const
inline

References range_product().

◆ range_reverse() [1/2]

isl::map isl::basic_map::range_reverse ( ) const
inline

References range_reverse().

Referenced by range_reverse().

◆ range_reverse() [2/2]

isl::map isl::basic_map::range_reverse ( ) const
inline

References range_reverse().

◆ range_simple_fixed_box_hull() [1/2]

isl::fixed_box isl::basic_map::range_simple_fixed_box_hull ( ) const
inline

◆ range_simple_fixed_box_hull() [2/2]

isl::fixed_box isl::basic_map::range_simple_fixed_box_hull ( ) const
inline

◆ range_tuple_dim() [1/2]

unsigned isl::basic_map::range_tuple_dim ( ) const
inline

References range_tuple_dim().

Referenced by range_tuple_dim().

◆ range_tuple_dim() [2/2]

class size isl::basic_map::range_tuple_dim ( ) const
inline

References range_tuple_dim().

◆ range_tuple_id() [1/2]

isl::id isl::basic_map::range_tuple_id ( ) const
inline

References range_tuple_id().

Referenced by range_tuple_id().

◆ range_tuple_id() [2/2]

isl::id isl::basic_map::range_tuple_id ( ) const
inline

References range_tuple_id().

◆ release() [1/2]

__isl_give isl_basic_map * isl::basic_map::release ( )
inline

References __isl_give, and release().

Referenced by release().

◆ release() [2/2]

__isl_give isl_basic_map * isl::basic_map::release ( )
inline

References __isl_give, and release().

◆ reverse() [1/2]

isl::basic_map isl::basic_map::reverse ( ) const
inline

References basic_map(), and reverse().

Referenced by reverse().

◆ reverse() [2/2]

isl::basic_map isl::basic_map::reverse ( ) const
inline

References basic_map(), and reverse().

◆ sample() [1/2]

isl::basic_map isl::basic_map::sample ( ) const
inline

References basic_map(), and sample().

Referenced by sample().

◆ sample() [2/2]

isl::basic_map isl::basic_map::sample ( ) const
inline

References basic_map(), and sample().

◆ set_domain_tuple() [1/4]

isl::map isl::basic_map::set_domain_tuple ( const isl::id & id) const
inline

References set_domain_tuple().

Referenced by set_domain_tuple(), and set_domain_tuple().

◆ set_domain_tuple() [2/4]

isl::map isl::basic_map::set_domain_tuple ( const isl::id & id) const
inline

References set_domain_tuple().

◆ set_domain_tuple() [3/4]

isl::map isl::basic_map::set_domain_tuple ( const std::string & id) const
inline

References set_domain_tuple().

◆ set_domain_tuple() [4/4]

isl::map isl::basic_map::set_domain_tuple ( const std::string & id) const
inline

References set_domain_tuple().

◆ set_range_tuple() [1/4]

isl::map isl::basic_map::set_range_tuple ( const isl::id & id) const
inline

References set_range_tuple().

Referenced by set_range_tuple(), and set_range_tuple().

◆ set_range_tuple() [2/4]

isl::map isl::basic_map::set_range_tuple ( const isl::id & id) const
inline

References set_range_tuple().

◆ set_range_tuple() [3/4]

isl::map isl::basic_map::set_range_tuple ( const std::string & id) const
inline

References set_range_tuple().

◆ set_range_tuple() [4/4]

isl::map isl::basic_map::set_range_tuple ( const std::string & id) const
inline

◆ set_tuple_id() [1/2]

isl::map isl::basic_map::set_tuple_id ( isl::dim type,
const isl::id & id ) const
inline

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

References type.

Referenced by set_range_tuple(), and set_tuple_id().

◆ set_tuple_id() [2/2]

isl::map isl::basic_map::set_tuple_id ( isl::dim type,
const std::string & id ) const
inline

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

References isl::checked::basic_map::ctx(), set_tuple_id(), and type.

◆ space() [1/2]

isl::space isl::basic_map::space ( ) const
inline

◆ space() [2/2]

isl::space isl::basic_map::space ( ) const
inline

References space().

◆ subtract() [1/4]

isl::map isl::basic_map::subtract ( const isl::map & map2) const
inline

References map2, and subtract().

Referenced by subtract(), and subtract().

◆ subtract() [2/4]

isl::map isl::basic_map::subtract ( const isl::map & map2) const
inline

References map2, and subtract().

◆ subtract() [3/4]

isl::union_map isl::basic_map::subtract ( const isl::union_map & umap2) const
inline

References subtract().

◆ subtract() [4/4]

isl::union_map isl::basic_map::subtract ( const isl::union_map & umap2) const
inline

References subtract().

◆ subtract_domain() [1/2]

isl::union_map isl::basic_map::subtract_domain ( const isl::union_set & dom) const
inline

References subtract_domain().

Referenced by subtract_domain().

◆ subtract_domain() [2/2]

isl::union_map isl::basic_map::subtract_domain ( const isl::union_set & dom) const
inline

References subtract_domain().

◆ subtract_range() [1/2]

isl::union_map isl::basic_map::subtract_range ( const isl::union_set & dom) const
inline

References subtract_range().

Referenced by subtract_range().

◆ subtract_range() [2/2]

isl::union_map isl::basic_map::subtract_range ( const isl::union_set & dom) const
inline

References map2, subtract_range(), and sum().

◆ sum()

isl::map isl::basic_map::sum ( const isl::map & map2) const
inline

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

References map2.

Referenced by subtract_range().

◆ to_list() [1/2]

isl::map_list isl::basic_map::to_list ( ) const
inline

References map_list(), and to_list().

Referenced by to_list().

◆ to_list() [2/2]

isl::basic_map_list isl::basic_map::to_list ( ) const
inline

References basic_map_list(), and to_list().

◆ to_union_map() [1/2]

isl::union_map isl::basic_map::to_union_map ( ) const
inline

References to_union_map().

Referenced by to_union_map().

◆ to_union_map() [2/2]

isl::union_map isl::basic_map::to_union_map ( ) const
inline

References dim(), to_union_map(), tuple_id(), and type.

◆ tuple_id()

isl::id isl::basic_map::tuple_id ( isl::dim type) const
inline

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

References type.

Referenced by to_union_map().

◆ uncurry() [1/2]

isl::map isl::basic_map::uncurry ( ) const
inline

References uncurry().

Referenced by uncurry().

◆ uncurry() [2/2]

isl::map isl::basic_map::uncurry ( ) const
inline

References uncurry().

◆ unite() [1/6]

isl::map isl::basic_map::unite ( const isl::map & map2) const
inline

References map2, and unite().

◆ unite() [2/6]

isl::map isl::basic_map::unite ( const isl::map & map2) const
inline

References map2, and unite().

◆ unite() [3/6]

isl::union_map isl::basic_map::unite ( const isl::union_map & umap2) const
inline

References unite().

◆ unite() [4/6]

isl::union_map isl::basic_map::unite ( const isl::union_map & umap2) const
inline

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

◆ unite() [5/6]

isl::map isl::basic_map::unite ( isl::basic_map bmap2) const
inline

References basic_map(), and unite().

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

◆ unite() [6/6]

isl::map isl::basic_map::unite ( isl::basic_map bmap2) const
inline

References basic_map(), and unite().

◆ universe()

isl::basic_map isl::basic_map::universe ( isl::space space)
inlinestatic

◆ unshifted_simple_hull() [1/2]

isl::basic_map isl::basic_map::unshifted_simple_hull ( ) const
inline

◆ unshifted_simple_hull() [2/2]

isl::basic_map isl::basic_map::unshifted_simple_hull ( ) const
inline

◆ upper_bound() [1/2]

isl::map isl::basic_map::upper_bound ( const isl::multi_pw_aff & upper) const
inline

References upper_bound().

Referenced by upper_bound().

◆ upper_bound() [2/2]

isl::map isl::basic_map::upper_bound ( const isl::multi_pw_aff & upper) const
inline

◆ upper_bound_si()

isl::map isl::basic_map::upper_bound_si ( isl::dim type,
unsigned int pos,
int value ) const
inline

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

References pos(), and type.

Referenced by upper_bound().

◆ wrap() [1/2]

isl::set isl::basic_map::wrap ( ) const
inline

References wrap().

Referenced by wrap().

◆ wrap() [2/2]

isl::set isl::basic_map::wrap ( ) const
inline

References wrap().

◆ zip() [1/2]

isl::map isl::basic_map::zip ( ) const
inline

References __isl_keep, __isl_take, isl_basic_set, manage, manage_copy, ptr, and zip().

Referenced by zip().

◆ zip() [2/2]

isl::map isl::basic_map::zip ( ) const
inline

◆ manage [1/2]

basic_map manage ( __isl_take isl_basic_map * ptr)
friend

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

Referenced by zip().

◆ manage [2/2]

basic_map manage ( __isl_take isl_basic_map * ptr)
friend

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

◆ manage_copy [1/2]

basic_map manage_copy ( __isl_keep isl_basic_map * ptr)
friend

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

Referenced by zip().

◆ manage_copy [2/2]

basic_map manage_copy ( __isl_keep isl_basic_map * ptr)
friend

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

Member Data Documentation

◆ ptr

isl_basic_map* isl::basic_map::ptr = nullptr
protected

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

Referenced by basic_map(), every_map(), foreach_basic_map(), foreach_map(), and zip().


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