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

#include <cpp-checked.h>

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

Public Member Functions

 basic_map ()
 basic_map (const basic_map &obj)
 basic_map (isl::checked::ctx ctx, const std::string &str)
basic_map & operator= (basic_map obj)
 ~basic_map ()
__isl_give isl_basic_map * copy () const &
__isl_give isl_basic_map * copy () &&=delete
__isl_keep isl_basic_map * get () const
__isl_give isl_basic_map * release ()
bool is_null () const
isl::checked::ctx ctx () const
isl::checked::basic_map affine_hull () const
isl::checked::basic_map apply_domain (isl::checked::basic_map bmap2) const
isl::checked::map apply_domain (const isl::checked::map &map2) const
isl::checked::union_map apply_domain (const isl::checked::union_map &umap2) const
isl::checked::basic_map apply_range (isl::checked::basic_map bmap2) const
isl::checked::map apply_range (const isl::checked::map &map2) const
isl::checked::union_map apply_range (const isl::checked::union_map &umap2) const
isl::checked::map as_map () const
isl::checked::multi_union_pw_aff as_multi_union_pw_aff () const
isl::checked::pw_multi_aff as_pw_multi_aff () const
isl::checked::union_pw_multi_aff as_union_pw_multi_aff () const
isl::checked::set bind_domain (const isl::checked::multi_id &tuple) const
isl::checked::set bind_range (const isl::checked::multi_id &tuple) const
isl::checked::map coalesce () const
isl::checked::map complement () const
isl::checked::union_map compute_divs () const
isl::checked::map curry () const
isl::checked::basic_set deltas () const
isl::checked::basic_map detect_equalities () const
isl::checked::set domain () const
isl::checked::map domain_factor_domain () const
isl::checked::map domain_factor_range () const
isl::checked::union_map domain_map () const
isl::checked::union_pw_multi_aff domain_map_union_pw_multi_aff () const
isl::checked::map domain_product (const isl::checked::map &map2) const
isl::checked::union_map domain_product (const isl::checked::union_map &umap2) const
isl::checked::map domain_reverse () const
class size domain_tuple_dim () const
isl::checked::id domain_tuple_id () const
isl::checked::map drop_unused_params () const
isl::checked::map eq_at (const isl::checked::multi_pw_aff &mpa) const
isl::checked::union_map eq_at (const isl::checked::multi_union_pw_aff &mupa) const
boolean every_map (const std::function< boolean(isl::checked::map)> &test) const
isl::checked::map extract_map (const isl::checked::space &space) const
isl::checked::map factor_domain () const
isl::checked::map factor_range () const
isl::checked::map fixed_power (const isl::checked::val &exp) const
isl::checked::map fixed_power (long exp) const
isl::checked::basic_map flatten () const
isl::checked::basic_map flatten_domain () const
isl::checked::basic_map flatten_range () const
stat foreach_basic_map (const std::function< stat(isl::checked::basic_map)> &fn) const
stat foreach_map (const std::function< stat(isl::checked::map)> &fn) const
isl::checked::basic_map gist (isl::checked::basic_map context) const
isl::checked::map gist (const isl::checked::map &context) const
isl::checked::union_map gist (const isl::checked::union_map &context) const
isl::checked::map gist_domain (const isl::checked::set &context) const
isl::checked::union_map gist_domain (const isl::checked::union_set &uset) const
isl::checked::map gist_params (const isl::checked::set &context) const
isl::checked::union_map gist_range (const isl::checked::union_set &uset) const
boolean has_domain_tuple_id () const
boolean has_range_tuple_id () const
isl::checked::basic_map intersect (isl::checked::basic_map bmap2) const
isl::checked::map intersect (const isl::checked::map &map2) const
isl::checked::union_map intersect (const isl::checked::union_map &umap2) const
isl::checked::basic_map intersect_domain (isl::checked::basic_set bset) const
isl::checked::map intersect_domain (const isl::checked::set &set) const
isl::checked::union_map intersect_domain (const isl::checked::space &space) const
isl::checked::union_map intersect_domain (const isl::checked::union_set &uset) const
isl::checked::basic_map intersect_domain (const isl::checked::point &bset) const
isl::checked::map intersect_domain_factor_domain (const isl::checked::map &factor) const
isl::checked::union_map intersect_domain_factor_domain (const isl::checked::union_map &factor) const
isl::checked::map intersect_domain_factor_range (const isl::checked::map &factor) const
isl::checked::union_map intersect_domain_factor_range (const isl::checked::union_map &factor) const
isl::checked::map intersect_domain_wrapped_domain (const isl::checked::set &domain) const
isl::checked::union_map intersect_domain_wrapped_domain (const isl::checked::union_set &domain) const
isl::checked::basic_map intersect_params (isl::checked::basic_set bset) const
isl::checked::map intersect_params (const isl::checked::set &params) const
isl::checked::basic_map intersect_params (const isl::checked::point &bset) const
isl::checked::basic_map intersect_range (isl::checked::basic_set bset) const
isl::checked::map intersect_range (const isl::checked::set &set) const
isl::checked::union_map intersect_range (const isl::checked::space &space) const
isl::checked::union_map intersect_range (const isl::checked::union_set &uset) const
isl::checked::basic_map intersect_range (const isl::checked::point &bset) const
isl::checked::map intersect_range_factor_domain (const isl::checked::map &factor) const
isl::checked::union_map intersect_range_factor_domain (const isl::checked::union_map &factor) const
isl::checked::map intersect_range_factor_range (const isl::checked::map &factor) const
isl::checked::union_map intersect_range_factor_range (const isl::checked::union_map &factor) const
isl::checked::map intersect_range_wrapped_domain (const isl::checked::set &domain) const
isl::checked::union_map intersect_range_wrapped_domain (const isl::checked::union_set &domain) const
boolean is_bijective () const
boolean is_disjoint (const isl::checked::map &map2) const
boolean is_disjoint (const isl::checked::union_map &umap2) const
boolean is_empty () const
boolean is_equal (const isl::checked::basic_map &bmap2) const
boolean is_equal (const isl::checked::map &map2) const
boolean is_equal (const isl::checked::union_map &umap2) const
boolean is_injective () const
boolean is_single_valued () const
boolean is_strict_subset (const isl::checked::map &map2) const
boolean is_strict_subset (const isl::checked::union_map &umap2) const
boolean is_subset (const isl::checked::basic_map &bmap2) const
boolean is_subset (const isl::checked::map &map2) const
boolean is_subset (const isl::checked::union_map &umap2) const
boolean isa_map () const
isl::checked::map lex_ge_at (const isl::checked::multi_pw_aff &mpa) const
isl::checked::map lex_gt_at (const isl::checked::multi_pw_aff &mpa) const
isl::checked::map lex_le_at (const isl::checked::multi_pw_aff &mpa) const
isl::checked::map lex_lt_at (const isl::checked::multi_pw_aff &mpa) const
isl::checked::map lexmax () const
isl::checked::pw_multi_aff lexmax_pw_multi_aff () const
isl::checked::map lexmin () const
isl::checked::pw_multi_aff lexmin_pw_multi_aff () const
isl::checked::map lower_bound (const isl::checked::multi_pw_aff &lower) const
isl::checked::map_list map_list () const
isl::checked::multi_pw_aff max_multi_pw_aff () const
isl::checked::multi_pw_aff min_multi_pw_aff () const
class size n_basic_map () const
isl::checked::set params () const
isl::checked::basic_map polyhedral_hull () const
isl::checked::map preimage_domain (const isl::checked::multi_aff &ma) const
isl::checked::map preimage_domain (const isl::checked::multi_pw_aff &mpa) const
isl::checked::map preimage_domain (const isl::checked::pw_multi_aff &pma) const
isl::checked::union_map preimage_domain (const isl::checked::union_pw_multi_aff &upma) const
isl::checked::map preimage_range (const isl::checked::multi_aff &ma) const
isl::checked::map preimage_range (const isl::checked::pw_multi_aff &pma) const
isl::checked::union_map preimage_range (const isl::checked::union_pw_multi_aff &upma) const
isl::checked::map product (const isl::checked::map &map2) const
isl::checked::union_map product (const isl::checked::union_map &umap2) const
isl::checked::map project_out_all_params () const
isl::checked::map project_out_param (const isl::checked::id &id) const
isl::checked::map project_out_param (const std::string &id) const
isl::checked::map project_out_param (const isl::checked::id_list &list) const
isl::checked::set range () const
isl::checked::map range_factor_domain () const
isl::checked::map range_factor_range () const
isl::checked::fixed_box range_lattice_tile () const
isl::checked::union_map range_map () const
isl::checked::map range_product (const isl::checked::map &map2) const
isl::checked::union_map range_product (const isl::checked::union_map &umap2) const
isl::checked::map range_reverse () const
isl::checked::fixed_box range_simple_fixed_box_hull () const
class size range_tuple_dim () const
isl::checked::id range_tuple_id () const
isl::checked::basic_map reverse () const
isl::checked::basic_map sample () const
isl::checked::map set_domain_tuple (const isl::checked::id &id) const
isl::checked::map set_domain_tuple (const std::string &id) const
isl::checked::map set_range_tuple (const isl::checked::id &id) const
isl::checked::map set_range_tuple (const std::string &id) const
isl::checked::space space () const
isl::checked::map subtract (const isl::checked::map &map2) const
isl::checked::union_map subtract (const isl::checked::union_map &umap2) const
isl::checked::union_map subtract_domain (const isl::checked::union_set &dom) const
isl::checked::union_map subtract_range (const isl::checked::union_set &dom) const
isl::checked::map_list to_list () const
isl::checked::union_map to_union_map () const
isl::checked::map uncurry () const
isl::checked::map unite (isl::checked::basic_map bmap2) const
isl::checked::map unite (const isl::checked::map &map2) const
isl::checked::union_map unite (const isl::checked::union_map &umap2) const
isl::checked::basic_map unshifted_simple_hull () const
isl::checked::map upper_bound (const isl::checked::multi_pw_aff &upper) const
isl::checked::set wrap () const
isl::checked::map zip () const

Protected Member Functions

 basic_map (__isl_take isl_basic_map *ptr)

Protected Attributes

isl_basic_map * ptr = nullptr

Friends

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

Detailed Description

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

Constructor & Destructor Documentation

◆ basic_map() [1/4]

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

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

References __isl_take, and ptr.

Referenced by basic_map(), copy(), domain_tuple_dim(), manage, manage_copy, n_basic_map(), operator=(), and range_tuple_dim().

◆ basic_map() [2/4]

isl::basic_map::basic_map ( )
inline

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

References ptr.

◆ basic_map() [3/4]

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

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

References basic_map(), obj, and ptr.

◆ basic_map() [4/4]

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

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

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

◆ ~basic_map()

isl::basic_map::~basic_map ( )
inline

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

References isl_basic_map_free(), and ptr.

Member Function Documentation

◆ affine_hull()

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

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

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

Referenced by copy().

◆ apply_domain() [1/3]

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

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

References isl::checked::map::apply_domain(), and map2.

◆ apply_domain() [2/3]

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

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

References isl::checked::map::apply_domain().

◆ apply_domain() [3/3]

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

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

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

Referenced by copy().

◆ apply_range() [1/3]

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

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

References isl::checked::map::apply_range(), and map2.

◆ apply_range() [2/3]

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

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

References isl::checked::map::apply_range().

◆ apply_range() [3/3]

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

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

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

Referenced by copy().

◆ as_map()

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

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

References isl::checked::map::as_map().

Referenced by copy().

◆ as_multi_union_pw_aff()

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

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

References isl::checked::map::as_multi_union_pw_aff().

Referenced by copy().

◆ as_pw_multi_aff()

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

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

References isl::checked::map::as_pw_multi_aff().

Referenced by copy().

◆ as_union_pw_multi_aff()

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

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

References isl::checked::map::as_union_pw_multi_aff().

Referenced by copy().

◆ bind_domain()

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

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

References isl::checked::map::bind_domain(), and tuple.

Referenced by copy().

◆ bind_range()

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

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

References isl::checked::map::bind_range(), and tuple.

Referenced by copy().

◆ coalesce()

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

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

References isl::checked::map::coalesce().

Referenced by copy().

◆ complement()

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

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

References isl::checked::map::complement().

Referenced by copy().

◆ compute_divs()

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

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

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

Referenced by copy().

◆ copy() [1/2]

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

References __isl_give, __isl_keep, __isl_take, affine_hull(), apply_domain(), apply_range(), as_map(), as_multi_union_pw_aff(), as_pw_multi_aff(), as_union_pw_multi_aff(), basic_map(), bind_domain(), bind_range(), coalesce(), complement(), compute_divs(), context, copy(), ctx(), curry(), deltas(), detect_equalities(), domain(), domain_factor_domain(), domain_factor_range(), domain_map(), domain_map_union_pw_multi_aff(), domain_product(), domain_reverse(), domain_tuple_dim(), domain_tuple_id(), drop_unused_params(), eq_at(), every_map(), extract_map(), factor_domain(), factor_range(), fixed_power(), flatten(), flatten_domain(), flatten_range(), fn, foreach_basic_map(), foreach_map(), get(), gist(), gist_domain(), gist_params(), gist_range(), has_domain_tuple_id(), has_range_tuple_id(), intersect(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_domain_wrapped_domain(), intersect_params(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), intersect_range_wrapped_domain(), is_bijective(), is_disjoint(), is_empty(), is_equal(), is_injective(), is_null(), is_single_valued(), is_strict_subset(), is_subset(), isa_map(), isl_basic_set, lex_ge_at(), lex_gt_at(), lex_le_at(), lex_lt_at(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), ma, manage, manage_copy, map2, map_list(), max_multi_pw_aff(), min_multi_pw_aff(), mupa, n_basic_map(), params(), pma, polyhedral_hull(), preimage_domain(), preimage_range(), product(), project_out_all_params(), project_out_param(), ptr, range(), range_factor_domain(), range_factor_range(), range_lattice_tile(), range_map(), range_product(), range_reverse(), range_simple_fixed_box_hull(), range_tuple_dim(), range_tuple_id(), release(), reverse(), sample(), set_domain_tuple(), set_range_tuple(), space(), subtract(), subtract_domain(), subtract_range(), test, to_list(), to_union_map(), tuple, uncurry(), unite(), unshifted_simple_hull(), upper_bound(), wrap(), and zip().

◆ copy() [2/2]

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

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

References __isl_give, isl_basic_map_copy(), and ptr.

Referenced by affine_hull(), apply_domain(), apply_range(), copy(), deltas(), detect_equalities(), isl::basic_map::equate(), isl::basic_map::fix_si(), isl::basic_map::fix_val(), flatten(), flatten_domain(), flatten_range(), gist(), intersect(), intersect_domain(), intersect_params(), intersect_range(), lexmax(), lexmin(), reverse(), sample(), and unite().

◆ ctx()

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

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

References isl_basic_map_get_ctx(), and ptr.

Referenced by basic_map(), isl::typed::basic_map< Domain, Domain >::basic_map(), isl::typed::basic_map< Domain, pair< Range, Range2 > >::basic_map(), isl::typed::basic_map< Domain, Range >::basic_map(), isl::typed::basic_map< pair< Domain, Range >, Range2 >::basic_map(), isl::typed::basic_map< pair< T1, T2 >, pair< Range, Range2 > >::basic_map(), isl::typed::basic_map< pair< T1, T2 >, pair< T1, T2 > >::basic_map(), copy(), isl::basic_map::fix_val(), fixed_power(), isl::basic_map::floordiv_val(), project_out_param(), set_domain_tuple(), set_range_tuple(), and isl::basic_map::set_tuple_id().

◆ curry()

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

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

References isl::checked::map::curry().

Referenced by copy().

◆ deltas()

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

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

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

Referenced by copy().

◆ detect_equalities()

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

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

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

Referenced by copy().

◆ domain()

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

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

References isl::checked::map::domain().

Referenced by copy(), intersect_domain_wrapped_domain(), intersect_domain_wrapped_domain(), intersect_range_wrapped_domain(), and intersect_range_wrapped_domain().

◆ domain_factor_domain()

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

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

References isl::checked::map::domain_factor_domain().

Referenced by copy().

◆ domain_factor_range()

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

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

References isl::checked::map::domain_factor_range().

Referenced by copy().

◆ domain_map()

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

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

References isl::checked::map::domain_map().

Referenced by copy().

◆ domain_map_union_pw_multi_aff()

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

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

References isl::checked::map::domain_map_union_pw_multi_aff().

Referenced by copy().

◆ domain_product() [1/2]

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

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

References isl::checked::map::domain_product(), and map2.

Referenced by copy().

◆ domain_product() [2/2]

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

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

References isl::checked::map::domain_product().

◆ domain_reverse()

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

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

References isl::checked::map::domain_reverse().

Referenced by copy().

◆ domain_tuple_dim()

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

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

References basic_map(), domain_tuple_dim(), and isl::checked::map::domain_tuple_dim().

Referenced by copy(), and domain_tuple_dim().

◆ domain_tuple_id()

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

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

References isl::checked::map::domain_tuple_id().

Referenced by copy().

◆ drop_unused_params()

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

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

References isl::checked::map::drop_unused_params().

Referenced by copy().

◆ eq_at() [1/2]

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

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

References isl::checked::map::eq_at().

Referenced by copy().

◆ eq_at() [2/2]

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

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

References isl::checked::map::eq_at(), and mupa.

◆ every_map()

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

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

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

Referenced by copy().

◆ extract_map()

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

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

References isl::checked::map::extract_map(), and space().

Referenced by copy().

◆ factor_domain()

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

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

References isl::checked::map::factor_domain().

Referenced by copy().

◆ factor_range()

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

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

References isl::checked::map::factor_range().

Referenced by copy().

◆ fixed_power() [1/2]

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

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

References isl::checked::map::fixed_power().

Referenced by copy(), and fixed_power().

◆ fixed_power() [2/2]

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

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

References ctx(), and fixed_power().

◆ flatten()

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

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

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

Referenced by copy().

◆ flatten_domain()

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

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

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

Referenced by copy().

◆ flatten_range()

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

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

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

Referenced by copy().

◆ foreach_basic_map()

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

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

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

Referenced by copy().

◆ foreach_map()

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

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

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

Referenced by copy().

◆ get()

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

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

References __isl_keep, and ptr.

Referenced by copy(), is_empty(), is_equal(), is_subset(), and isl::basic_map::plain_get_val_if_fixed().

◆ gist() [1/3]

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

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

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

◆ gist() [2/3]

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

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

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

◆ gist() [3/3]

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

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

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

Referenced by copy().

◆ gist_domain() [1/2]

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

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

References context, and isl::checked::map::gist_domain().

Referenced by copy().

◆ gist_domain() [2/2]

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

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

References isl::checked::map::gist_domain().

◆ gist_params()

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

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

References context, and isl::checked::map::gist_params().

Referenced by copy().

◆ gist_range()

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

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

References isl::checked::map::gist_range().

Referenced by copy().

◆ has_domain_tuple_id()

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

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

References isl::checked::map::has_domain_tuple_id().

Referenced by copy().

◆ has_range_tuple_id()

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

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

References isl::checked::map::has_range_tuple_id().

Referenced by copy().

◆ intersect() [1/3]

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

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

References isl::checked::map::intersect(), and map2.

◆ intersect() [2/3]

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

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

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

◆ intersect() [3/3]

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

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

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

Referenced by copy().

◆ intersect_domain() [1/5]

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

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

References intersect_domain().

◆ intersect_domain() [2/5]

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

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

References isl::checked::map::intersect_domain().

◆ intersect_domain() [3/5]

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

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

References isl::checked::map::intersect_domain(), and space().

◆ intersect_domain() [4/5]

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

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

References isl::checked::map::intersect_domain().

◆ intersect_domain() [5/5]

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

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

References copy(), isl_basic_map_intersect_domain(), manage, isl::checked::basic_set::release(), and res.

Referenced by copy(), and intersect_domain().

◆ intersect_domain_factor_domain() [1/2]

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

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

References isl::checked::map::intersect_domain_factor_domain().

Referenced by copy().

◆ intersect_domain_factor_domain() [2/2]

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

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

References isl::checked::map::intersect_domain_factor_domain().

◆ intersect_domain_factor_range() [1/2]

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

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

References isl::checked::map::intersect_domain_factor_range().

Referenced by copy().

◆ intersect_domain_factor_range() [2/2]

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

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

References isl::checked::map::intersect_domain_factor_range().

◆ intersect_domain_wrapped_domain() [1/2]

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

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

References domain(), and isl::checked::map::intersect_domain_wrapped_domain().

Referenced by copy().

◆ intersect_domain_wrapped_domain() [2/2]

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

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

References domain(), and isl::checked::map::intersect_domain_wrapped_domain().

◆ intersect_params() [1/3]

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

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

References intersect_params().

◆ intersect_params() [2/3]

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

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

References isl::checked::map::intersect_params(), and params().

◆ intersect_params() [3/3]

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

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

References copy(), isl_basic_map_intersect_params(), manage, isl::checked::basic_set::release(), and res.

Referenced by copy(), and intersect_params().

◆ intersect_range() [1/5]

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

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

References intersect_range().

◆ intersect_range() [2/5]

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

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

References isl::checked::map::intersect_range().

◆ intersect_range() [3/5]

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

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

References isl::checked::map::intersect_range(), and space().

◆ intersect_range() [4/5]

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

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

References isl::checked::map::intersect_range().

◆ intersect_range() [5/5]

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

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

References copy(), isl_basic_map_intersect_range(), manage, isl::checked::basic_set::release(), and res.

Referenced by copy(), and intersect_range().

◆ intersect_range_factor_domain() [1/2]

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

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

References isl::checked::map::intersect_range_factor_domain().

Referenced by copy().

◆ intersect_range_factor_domain() [2/2]

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

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

References isl::checked::map::intersect_range_factor_domain().

◆ intersect_range_factor_range() [1/2]

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

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

References isl::checked::map::intersect_range_factor_range().

Referenced by copy().

◆ intersect_range_factor_range() [2/2]

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

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

References isl::checked::map::intersect_range_factor_range().

◆ intersect_range_wrapped_domain() [1/2]

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

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

References domain(), and isl::checked::map::intersect_range_wrapped_domain().

Referenced by copy().

◆ intersect_range_wrapped_domain() [2/2]

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

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

References domain(), and isl::checked::map::intersect_range_wrapped_domain().

◆ is_bijective()

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

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

References isl::checked::map::is_bijective().

Referenced by copy().

◆ is_disjoint() [1/2]

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

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

References isl::checked::map::is_disjoint(), and map2.

Referenced by copy().

◆ is_disjoint() [2/2]

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

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

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

◆ is_empty()

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

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

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

Referenced by copy().

◆ is_equal() [1/3]

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

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

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

Referenced by copy().

◆ is_equal() [2/3]

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

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

References isl::checked::map::is_equal(), and map2.

◆ is_equal() [3/3]

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

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

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

◆ is_injective()

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

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

References isl::checked::map::is_injective().

Referenced by copy().

◆ is_null()

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

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

References ptr.

Referenced by copy().

◆ is_single_valued()

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

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

References isl::checked::map::is_single_valued().

Referenced by copy().

◆ is_strict_subset() [1/2]

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

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

References isl::checked::map::is_strict_subset(), and map2.

Referenced by copy().

◆ is_strict_subset() [2/2]

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

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

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

◆ is_subset() [1/3]

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

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

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

Referenced by copy().

◆ is_subset() [2/3]

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

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

References isl::checked::map::is_subset(), and map2.

◆ is_subset() [3/3]

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

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

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

◆ isa_map()

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

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

References isl::checked::map::isa_map().

Referenced by copy().

◆ lex_ge_at()

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

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

References isl::checked::map::lex_ge_at().

Referenced by copy().

◆ lex_gt_at()

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

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

References isl::checked::map::lex_gt_at().

Referenced by copy().

◆ lex_le_at()

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

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

References isl::checked::map::lex_le_at().

Referenced by copy().

◆ lex_lt_at()

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

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

References isl::checked::map::lex_lt_at().

Referenced by copy().

◆ lexmax()

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

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

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

Referenced by copy().

◆ lexmax_pw_multi_aff()

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

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

References isl::checked::map::lexmax_pw_multi_aff().

Referenced by copy().

◆ lexmin()

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

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

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

Referenced by copy().

◆ lexmin_pw_multi_aff()

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

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

References isl::checked::map::lexmin_pw_multi_aff().

Referenced by copy().

◆ lower_bound()

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

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

References isl::checked::map::lower_bound().

Referenced by copy().

◆ map_list()

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

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

References isl::checked::map::map_list().

Referenced by copy().

◆ max_multi_pw_aff()

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

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

References isl::checked::map::max_multi_pw_aff().

Referenced by copy().

◆ min_multi_pw_aff()

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

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

References isl::checked::map::min_multi_pw_aff().

Referenced by copy().

◆ n_basic_map()

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

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

References basic_map(), n_basic_map(), and isl::checked::map::n_basic_map().

Referenced by copy(), and n_basic_map().

◆ operator=()

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

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

References basic_map(), and obj.

◆ params()

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

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

References isl::checked::map::params().

Referenced by copy(), and intersect_params().

◆ polyhedral_hull()

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

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

References isl::checked::map::polyhedral_hull().

Referenced by copy().

◆ preimage_domain() [1/4]

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

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

References ma, and isl::checked::map::preimage_domain().

Referenced by copy().

◆ preimage_domain() [2/4]

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

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

References isl::checked::map::preimage_domain().

◆ preimage_domain() [3/4]

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

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

References pma, and isl::checked::map::preimage_domain().

◆ preimage_domain() [4/4]

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

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

References isl::checked::map::preimage_domain().

◆ preimage_range() [1/3]

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

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

References ma, and isl::checked::map::preimage_range().

Referenced by copy().

◆ preimage_range() [2/3]

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

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

References pma, and isl::checked::map::preimage_range().

◆ preimage_range() [3/3]

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

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

References isl::checked::map::preimage_range().

◆ product() [1/2]

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

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

References map2, and isl::checked::map::product().

Referenced by copy().

◆ product() [2/2]

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

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

References isl::checked::map::product().

◆ project_out_all_params()

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

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

References isl::checked::map::project_out_all_params().

Referenced by copy().

◆ project_out_param() [1/3]

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

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

References isl::checked::map::project_out_param().

Referenced by copy(), and project_out_param().

◆ project_out_param() [2/3]

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

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

References isl::checked::map::project_out_param().

◆ project_out_param() [3/3]

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

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

References ctx(), and project_out_param().

◆ range()

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

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

References isl::checked::map::range().

Referenced by copy().

◆ range_factor_domain()

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

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

References isl::checked::map::range_factor_domain().

Referenced by copy().

◆ range_factor_range()

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

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

References isl::checked::map::range_factor_range().

Referenced by copy().

◆ range_lattice_tile()

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

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

References isl::checked::map::range_lattice_tile().

Referenced by copy().

◆ range_map()

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

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

References isl::checked::map::range_map().

Referenced by copy().

◆ range_product() [1/2]

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

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

References map2, and isl::checked::map::range_product().

Referenced by copy().

◆ range_product() [2/2]

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

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

References isl::checked::map::range_product().

◆ range_reverse()

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

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

References isl::checked::map::range_reverse().

Referenced by copy().

◆ range_simple_fixed_box_hull()

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

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

References isl::checked::map::range_simple_fixed_box_hull().

Referenced by copy().

◆ range_tuple_dim()

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

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

References basic_map(), range_tuple_dim(), and isl::checked::map::range_tuple_dim().

Referenced by copy(), and range_tuple_dim().

◆ range_tuple_id()

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

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

References isl::checked::map::range_tuple_id().

Referenced by copy().

◆ release()

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

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

References __isl_give, and ptr.

Referenced by isl::basic_map_list::add(), isl::checked::basic_set::apply(), apply_domain(), apply_range(), isl::basic_map_list::basic_map_list(), copy(), isl::basic_map_list::insert(), intersect(), isl::checked::map::map(), isl::checked::union_map::union_map(), and unite().

◆ reverse()

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

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

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

Referenced by copy().

◆ sample()

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

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

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

Referenced by copy().

◆ set_domain_tuple() [1/2]

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

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

References isl::checked::map::set_domain_tuple().

Referenced by copy(), and set_domain_tuple().

◆ set_domain_tuple() [2/2]

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

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

References ctx(), and set_domain_tuple().

◆ set_range_tuple() [1/2]

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

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

References isl::checked::map::set_range_tuple().

Referenced by copy(), and set_range_tuple().

◆ set_range_tuple() [2/2]

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

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

References ctx(), and set_range_tuple().

◆ space()

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

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

References isl::checked::map::space().

Referenced by copy(), extract_map(), intersect_domain(), and intersect_range().

◆ subtract() [1/2]

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

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

References map2, and isl::checked::map::subtract().

Referenced by copy().

◆ subtract() [2/2]

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

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

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

◆ subtract_domain()

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

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

References isl::checked::map::subtract_domain().

Referenced by copy().

◆ subtract_range()

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

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

References isl::checked::map::subtract_range().

Referenced by copy().

◆ to_list()

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

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

References isl::checked::map::to_list().

Referenced by copy().

◆ to_union_map()

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

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

References isl::checked::map::to_union_map().

Referenced by copy().

◆ uncurry()

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

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

References isl::checked::map::uncurry().

Referenced by copy().

◆ unite() [1/3]

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

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

References map2, and isl::checked::map::unite().

◆ unite() [2/3]

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

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

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

◆ unite() [3/3]

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

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

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

Referenced by copy().

◆ unshifted_simple_hull()

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

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

References isl::checked::map::unshifted_simple_hull().

Referenced by copy().

◆ upper_bound()

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

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

References isl::checked::map::upper_bound().

Referenced by copy().

◆ wrap()

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

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

References isl::checked::map::wrap().

Referenced by copy().

◆ zip()

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

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

References isl::checked::map::zip().

Referenced by copy().

◆ manage

basic_map manage ( __isl_take isl_basic_map * ptr)
friend

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

References __isl_take, basic_map(), and ptr.

Referenced by affine_hull(), apply_domain(), apply_range(), copy(), deltas(), detect_equalities(), isl::basic_map::equal(), isl::basic_map::equate(), isl::basic_map::fix_si(), isl::basic_map::fix_val(), flatten(), flatten_domain(), flatten_range(), isl::basic_map::from_aff(), isl::basic_map::from_domain_and_range(), gist(), intersect(), intersect_domain(), intersect_params(), intersect_range(), is_empty(), is_equal(), is_subset(), lexmax(), lexmin(), isl::basic_map::plain_get_val_if_fixed(), reverse(), sample(), unite(), and isl::basic_map::universe().

◆ manage_copy

basic_map manage_copy ( __isl_keep isl_basic_map * ptr)
friend

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

References __isl_keep, basic_map(), isl_basic_map_copy(), and ptr.

Referenced by copy().

Member Data Documentation

◆ ptr

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

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

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

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