Polly 24.0.0git
isl::typed::union_map< Domain, Range > Struct Template Reference

#include <typed_cpp.h>

Inheritance diagram for isl::typed::union_map< Domain, Range >:
[legend]

Public Member Functions

 union_map ()=default
template<typename Arg1, typename Arg2, typename std::enable_if< std::is_base_of< Domain, Arg1 >{} &&std::is_base_of< Range, Arg2 >{}, bool >::type = true>
 union_map (const union_map< Arg1, Arg2 > &obj)
 union_map (const typed::basic_map< Domain, Range > &bmap)
 union_map (const typed::map< Domain, Range > &map)
 union_map (const isl::ctx &ctx, const std::string &str)
template<typename Domain2>
typed::union_map< Domain2, Rangeapply_domain (const typed::union_map< Domain, Domain2 > &umap2) const
template<typename Domain2>
typed::union_map< Domain2, Rangeapply_domain (const typed::basic_map< Domain, Domain2 > &umap2) const
template<typename Domain2>
typed::union_map< Domain2, Rangeapply_domain (const typed::map< Domain, Domain2 > &umap2) const
template<typename Range2>
typed::union_map< Domain, Range2apply_range (const typed::union_map< Range, Range2 > &umap2) const
template<typename Range2>
typed::union_map< Domain, Range2apply_range (const typed::basic_map< Range, Range2 > &umap2) const
template<typename Range2>
typed::union_map< Domain, Range2apply_range (const typed::map< Range, Range2 > &umap2) const
typed::map< Domain, Rangeas_map () const
typed::multi_union_pw_aff< Domain, Rangeas_multi_union_pw_aff () const
typed::union_pw_multi_aff< Domain, Rangeas_union_pw_multi_aff () const
typed::union_set< Domainbind_range (const typed::multi_id< Range > &tuple) const
typed::union_map< Domain, Rangecoalesce () const
typed::union_map< Domain, Rangecurry () const =delete
typed::union_set< Domain, Rangedeltas () const =delete
typed::union_map< Domain, Rangedetect_equalities () const
typed::union_set< Domaindomain () const
typed::union_map< Domain, Rangedomain_factor_domain () const =delete
typed::union_map< Domain, Rangedomain_factor_range () const =delete
typed::union_map< pair< Domain, Range >, Domaindomain_map () const
typed::union_pw_multi_aff< pair< Domain, Range >, Domaindomain_map_union_pw_multi_aff () const
template<typename Domain2>
typed::union_map< pair< Domain, Domain2 >, Rangedomain_product (const typed::union_map< Domain2, Range > &umap2) const
template<typename Domain2>
typed::union_map< pair< Domain, Domain2 >, Rangedomain_product (const typed::basic_map< Domain2, Range > &umap2) const
template<typename Domain2>
typed::union_map< pair< Domain, Domain2 >, Rangedomain_product (const typed::map< Domain2, Range > &umap2) const
typed::union_map< Domain, Rangedomain_reverse () const =delete
typed::union_map< Domain, Rangedrop_unused_params () const
typed::union_map< Domain, Rangeeq_at (const typed::multi_union_pw_aff<> &mupa) const =delete
typed::union_map< Domain, Rangeeq_at (const typed::multi_pw_aff<> &mupa) const =delete
typed::union_map< Domain, Rangeeq_at (const typed::union_pw_aff<> &mupa) const =delete
bool every_map (const std::function< bool(typed::map< Domain, Range >)> &test) const
typed::map< Domain, Rangeextract_map (const typed::space< Domain, Range > &space) const
void foreach_map (const std::function< void(typed::map< Domain, Range >)> &fn) const
typed::union_map< Domain, Rangegist (const typed::union_map< Domain, Range > &context) const
typed::union_map< Domain, Rangegist (const typed::basic_map< Domain, Range > &context) const
typed::union_map< Domain, Rangegist (const typed::map< Domain, Range > &context) const
typed::union_map< Domain, Rangegist_domain (const typed::union_set< Domain > &uset) const
typed::union_map< Domain, Rangegist_domain (const typed::basic_set< Domain > &uset) const
typed::union_map< Domain, Rangegist_domain (const typed::point< Domain > &uset) const
typed::union_map< Domain, Rangegist_domain (const typed::set< Domain > &uset) const
typed::union_map< Domain, Rangegist_params (const typed::set<> &set) const
typed::union_map< Domain, Rangegist_params (const typed::basic_set<> &set) const
typed::union_map< Domain, Rangegist_params (const typed::point<> &set) const
typed::union_map< Domain, Rangeintersect (const typed::union_map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangeintersect (const typed::basic_map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangeintersect (const typed::map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangeintersect_domain (const typed::space< Domain > &space) const
typed::union_map< Domain, Rangeintersect_domain (const typed::union_set< Domain > &uset) const
typed::union_map< Domain, Rangeintersect_domain_wrapped_domain (const typed::union_set<> &domain) const =delete
typed::union_map< Domain, Rangeintersect_domain_wrapped_domain (const typed::basic_set<> &domain) const =delete
typed::union_map< Domain, Rangeintersect_domain_wrapped_domain (const typed::point<> &domain) const =delete
typed::union_map< Domain, Rangeintersect_domain_wrapped_domain (const typed::set<> &domain) const =delete
typed::union_map< Domain, Rangeintersect_params (const typed::set<> &set) const
typed::union_map< Domain, Rangeintersect_params (const typed::basic_set<> &set) const
typed::union_map< Domain, Rangeintersect_params (const typed::point<> &set) const
typed::union_map< Domain, Rangeintersect_range (const typed::space< Range > &space) const
typed::union_map< Domain, Rangeintersect_range (const typed::union_set< Range > &uset) const
typed::union_map< Domain, Rangeintersect_range_wrapped_domain (const typed::union_set<> &domain) const =delete
typed::union_map< Domain, Rangeintersect_range_wrapped_domain (const typed::basic_set<> &domain) const =delete
typed::union_map< Domain, Rangeintersect_range_wrapped_domain (const typed::point<> &domain) const =delete
typed::union_map< Domain, Rangeintersect_range_wrapped_domain (const typed::set<> &domain) const =delete
typed::union_map< Domain, Rangelexmax () const
typed::union_map< Domain, Rangelexmin () const
typed::map_list< Domain, Rangemap_list () const
typed::map_list< Domain, Rangeget_map_list () const =delete
typed::set params () const
template<typename Domain2>
typed::union_map< Domain2, Rangepreimage_domain (const typed::multi_aff< Domain2, Domain > &ma) const
template<typename Domain2>
typed::union_map< Domain2, Rangepreimage_domain (const typed::multi_pw_aff< Domain2, Domain > &mpa) const
template<typename Domain2>
typed::union_map< Domain2, Rangepreimage_domain (const typed::pw_multi_aff< Domain2, Domain > &pma) const
template<typename Domain2>
typed::union_map< Domain2, Rangepreimage_domain (const typed::union_pw_multi_aff< Domain2, Domain > &upma) const
template<typename Range2>
typed::union_map< Domain, Range2preimage_range (const typed::multi_aff< Range2, Range > &ma) const
template<typename Range2>
typed::union_map< Domain, Range2preimage_range (const typed::pw_multi_aff< Range2, Range > &pma) const
template<typename Range2>
typed::union_map< Domain, Range2preimage_range (const typed::union_pw_multi_aff< Range2, Range > &upma) const
template<typename Domain2, typename Range2>
typed::union_map< pair< Domain, Domain2 >, pair< Range, Range2 > > product (const typed::union_map< Domain2, Range2 > &umap2) const
template<typename Domain2, typename Range2>
typed::union_map< pair< Domain, Domain2 >, pair< Range, Range2 > > product (const typed::basic_map< Domain2, Range2 > &umap2) const
template<typename Domain2, typename Range2>
typed::union_map< pair< Domain, Domain2 >, pair< Range, Range2 > > product (const typed::map< Domain2, Range2 > &umap2) const
typed::union_map< Domain, Rangeproject_out_all_params () const
typed::union_map< Domain, Rangeproject_out_param (const typed::id< Anonymous > &id) const
typed::union_map< Domain, Rangeproject_out_param (const std::string &id) const
typed::union_map< Domain, Rangeproject_out_param (const typed::id_list< Anonymous > &list) const
typed::union_set< Rangerange () const
typed::union_map< Domain, Rangerange_factor_domain () const =delete
typed::union_map< Domain, Rangerange_factor_range () const =delete
typed::union_map< pair< Domain, Range >, Rangerange_map () const
template<typename Range2>
typed::union_map< Domain, pair< Range, Range2 > > range_product (const typed::union_map< Domain, Range2 > &umap2) const
template<typename Range2>
typed::union_map< Domain, pair< Range, Range2 > > range_product (const typed::basic_map< Domain, Range2 > &umap2) const
template<typename Range2>
typed::union_map< Domain, pair< Range, Range2 > > range_product (const typed::map< Domain, Range2 > &umap2) const
typed::union_map< Domain, Rangerange_reverse () const =delete
typed::union_map< Range, Domainreverse () const
typed::space space () const
typed::space< Domain, Rangeget_space () const =delete
typed::union_map< Domain, Rangesubtract (const typed::union_map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangesubtract (const typed::basic_map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangesubtract (const typed::map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangesubtract_domain (const typed::union_set< Domain > &dom) const
typed::union_map< Domain, Rangesubtract_domain (const typed::basic_set< Domain > &dom) const
typed::union_map< Domain, Rangesubtract_domain (const typed::point< Domain > &dom) const
typed::union_map< Domain, Rangesubtract_domain (const typed::set< Domain > &dom) const
typed::union_map< Domain, Rangesubtract_range (const typed::union_set< Range > &dom) const
typed::union_map< Domain, Rangesubtract_range (const typed::basic_set< Range > &dom) const
typed::union_map< Domain, Rangesubtract_range (const typed::point< Range > &dom) const
typed::union_map< Domain, Rangesubtract_range (const typed::set< Range > &dom) const
typed::union_map< Domain, Rangeuncurry () const =delete
typed::union_map< Domain, Rangeunite (const typed::union_map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangeunite (const typed::basic_map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangeunite (const typed::map< Domain, Range > &umap2) const
typed::union_map< Domain, Rangeuniverse () const
typed::union_set< pair< Domain, Range > > wrap () const
Public Member Functions inherited from isl::checked::union_map
 union_map ()
 union_map (const union_map &obj)
 union_map (isl::checked::basic_map bmap)
 union_map (isl::checked::map map)
 union_map (isl::checked::ctx ctx, const std::string &str)
union_mapoperator= (union_map obj)
 ~union_map ()
__isl_give isl_union_mapcopy () const &
__isl_give isl_union_mapcopy () &&=delete
__isl_keep isl_union_mapget () const
__isl_give isl_union_maprelease ()
bool is_null () const
isl::checked::ctx ctx () const
isl::checked::union_map affine_hull () const
isl::checked::union_map apply_domain (isl::checked::union_map umap2) const
isl::checked::union_map apply_range (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::union_pw_multi_aff as_union_pw_multi_aff () const
isl::checked::union_set bind_range (isl::checked::multi_id tuple) const
isl::checked::union_map coalesce () const
isl::checked::union_map compute_divs () const
isl::checked::union_map curry () const
isl::checked::union_set deltas () const
isl::checked::union_map detect_equalities () const
isl::checked::union_set domain () const
isl::checked::union_map domain_factor_domain () const
isl::checked::union_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::union_map domain_product (isl::checked::union_map umap2) const
isl::checked::union_map domain_reverse () const
isl::checked::union_map drop_unused_params () const
isl::checked::union_map eq_at (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 (isl::checked::space space) const
isl::checked::union_map factor_domain () const
isl::checked::union_map factor_range () const
isl::checked::union_map fixed_power (isl::checked::val exp) const
isl::checked::union_map fixed_power (long exp) const
stat foreach_map (const std::function< stat(isl::checked::map)> &fn) const
isl::checked::union_map gist (isl::checked::union_map context) const
isl::checked::union_map gist_domain (isl::checked::union_set uset) const
isl::checked::union_map gist_params (isl::checked::set set) const
isl::checked::union_map gist_range (isl::checked::union_set uset) const
isl::checked::union_map intersect (isl::checked::union_map umap2) const
isl::checked::union_map intersect_domain (isl::checked::space space) const
isl::checked::union_map intersect_domain (isl::checked::union_set uset) const
isl::checked::union_map intersect_domain_factor_domain (isl::checked::union_map factor) const
isl::checked::union_map intersect_domain_factor_range (isl::checked::union_map factor) const
isl::checked::union_map intersect_domain_wrapped_domain (isl::checked::union_set domain) const
isl::checked::union_map intersect_params (isl::checked::set set) const
isl::checked::union_map intersect_range (isl::checked::space space) const
isl::checked::union_map intersect_range (isl::checked::union_set uset) const
isl::checked::union_map intersect_range_factor_domain (isl::checked::union_map factor) const
isl::checked::union_map intersect_range_factor_range (isl::checked::union_map factor) const
isl::checked::union_map intersect_range_wrapped_domain (isl::checked::union_set domain) const
boolean is_bijective () const
boolean is_disjoint (const isl::checked::union_map &umap2) const
boolean is_empty () 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::union_map &umap2) const
boolean is_subset (const isl::checked::union_map &umap2) const
boolean isa_map () const
isl::checked::union_map lexmax () const
isl::checked::union_map lexmin () const
isl::checked::map_list map_list () const
isl::checked::map_list get_map_list () const
isl::checked::set params () const
isl::checked::union_map polyhedral_hull () const
isl::checked::union_map preimage_domain (isl::checked::multi_aff ma) const
isl::checked::union_map preimage_domain (isl::checked::multi_pw_aff mpa) const
isl::checked::union_map preimage_domain (isl::checked::pw_multi_aff pma) const
isl::checked::union_map preimage_domain (isl::checked::union_pw_multi_aff upma) const
isl::checked::union_map preimage_range (isl::checked::multi_aff ma) const
isl::checked::union_map preimage_range (isl::checked::pw_multi_aff pma) const
isl::checked::union_map preimage_range (isl::checked::union_pw_multi_aff upma) const
isl::checked::union_map product (isl::checked::union_map umap2) const
isl::checked::union_map project_out_all_params () const
isl::checked::union_map project_out_param (isl::checked::id id) const
isl::checked::union_map project_out_param (const std::string &id) const
isl::checked::union_map project_out_param (isl::checked::id_list list) const
isl::checked::union_set range () const
isl::checked::union_map range_factor_domain () const
isl::checked::union_map range_factor_range () const
isl::checked::union_map range_map () const
isl::checked::union_map range_product (isl::checked::union_map umap2) const
isl::checked::union_map range_reverse () const
isl::checked::union_map reverse () const
isl::checked::space space () const
isl::checked::space get_space () const
isl::checked::union_map subtract (isl::checked::union_map umap2) const
isl::checked::union_map subtract_domain (isl::checked::union_set dom) const
isl::checked::union_map subtract_range (isl::checked::union_set dom) const
isl::checked::union_map uncurry () const
isl::checked::union_map unite (isl::checked::union_map umap2) const
isl::checked::union_map universe () const
isl::checked::union_set wrap () const
isl::checked::union_map zip () const

Static Public Member Functions

static union_map from (const isl::union_map &obj)
static typed::union_map< Domain, Rangeempty (const isl::ctx &ctx)
Static Public Member Functions inherited from isl::checked::union_map
static isl::checked::union_map empty (isl::checked::ctx ctx)
static isl::checked::union_map from (isl::checked::multi_union_pw_aff mupa)
static isl::checked::union_map from (isl::checked::union_pw_multi_aff upma)
static isl::checked::union_map from_domain (isl::checked::union_set uset)
static isl::checked::union_map from_domain_and_range (isl::checked::union_set domain, isl::checked::union_set range)
static isl::checked::union_map from_range (isl::checked::union_set uset)

Private Member Functions

template<typename base, typename std::enable_if< std::is_same< base, isl::union_map >{}, bool >::type = true>
 union_map (const base &obj)

Friends

template<typename...>
struct aff
template<typename...>
struct aff_list
template<typename...>
struct basic_map
template<typename...>
struct basic_set
template<typename...>
struct fixed_box
template<typename...>
struct id
template<typename...>
struct id_list
template<typename...>
struct map
template<typename...>
struct map_list
template<typename...>
struct multi_aff
template<typename...>
struct multi_id
template<typename...>
struct multi_pw_aff
template<typename...>
struct multi_union_pw_aff
template<typename...>
struct multi_val
template<typename...>
struct point
template<typename...>
struct pw_aff
template<typename...>
struct pw_aff_list
template<typename...>
struct pw_multi_aff
template<typename...>
struct pw_multi_aff_list
template<typename...>
struct set
template<typename...>
struct set_list
template<typename...>
struct space
template<typename...>
struct union_map
template<typename...>
struct union_pw_aff
template<typename...>
struct union_pw_aff_list
template<typename...>
struct union_pw_multi_aff
template<typename...>
struct union_set
template<typename...>
struct union_set_list
template<typename...>
struct val
template<typename...>
struct val_list

Additional Inherited Members

Protected Member Functions inherited from isl::checked::union_map
 union_map (__isl_take isl_union_map *ptr)
Protected Attributes inherited from isl::checked::union_map
isl_union_mapptr = nullptr

Detailed Description

template<typename Domain, typename Range>
struct isl::typed::union_map< Domain, Range >

Definition at line 11061 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ union_map() [1/6]

template<typename Domain, typename Range>
isl::typed::union_map< Domain, Range >::union_map ( )
default

◆ union_map() [2/6]

template<typename Domain, typename Range>
template<typename Arg1, typename Arg2, typename std::enable_if< std::is_base_of< Domain, Arg1 >{} &&std::is_base_of< Range, Arg2 >{}, bool >::type = true>
isl::typed::union_map< Domain, Range >::union_map ( const union_map< Arg1, Arg2 > & obj)
inline

Definition at line 11129 of file typed_cpp.h.

References obj, and union_map.

◆ union_map() [3/6]

template<typename Domain, typename Range>
template<typename base, typename std::enable_if< std::is_same< base, isl::union_map >{}, bool >::type = true>
isl::typed::union_map< Domain, Range >::union_map ( const base & obj)
inlineprivate

Definition at line 11134 of file typed_cpp.h.

References obj, and union_map.

◆ union_map() [4/6]

template<typename Domain, typename Range>
isl::typed::union_map< Domain, Range >::union_map ( const typed::basic_map< Domain, Range > & bmap)
inline

◆ union_map() [5/6]

template<typename Domain, typename Range>
isl::typed::union_map< Domain, Range >::union_map ( const typed::map< Domain, Range > & map)
inline

References map.

◆ union_map() [6/6]

template<typename Domain, typename Range>
isl::typed::union_map< Domain, Range >::union_map ( const isl::ctx & ctx,
const std::string & str )
inlineexplicit

Member Function Documentation

◆ apply_domain() [1/3]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< Domain2, Range > isl::typed::union_map< Domain, Range >::apply_domain ( const typed::basic_map< Domain, Domain2 > & umap2) const
inline

◆ apply_domain() [2/3]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< Domain2, Range > isl::typed::union_map< Domain, Range >::apply_domain ( const typed::map< Domain, Domain2 > & umap2) const
inline

◆ apply_domain() [3/3]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< Domain2, Range > isl::typed::union_map< Domain, Range >::apply_domain ( const typed::union_map< Domain, Domain2 > & umap2) const
inline

◆ apply_range() [1/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, Range2 > isl::typed::union_map< Domain, Range >::apply_range ( const typed::basic_map< Range, Range2 > & umap2) const
inline

◆ apply_range() [2/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, Range2 > isl::typed::union_map< Domain, Range >::apply_range ( const typed::map< Range, Range2 > & umap2) const
inline

◆ apply_range() [3/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, Range2 > isl::typed::union_map< Domain, Range >::apply_range ( const typed::union_map< Range, Range2 > & umap2) const
inline

◆ as_map()

template<typename Domain, typename Range>
typed::map< Domain, Range > isl::typed::union_map< Domain, Range >::as_map ( ) const
inline

◆ as_multi_union_pw_aff()

template<typename Domain, typename Range>
typed::multi_union_pw_aff< Domain, Range > isl::typed::union_map< Domain, Range >::as_multi_union_pw_aff ( ) const
inline

◆ as_union_pw_multi_aff()

template<typename Domain, typename Range>
typed::union_pw_multi_aff< Domain, Range > isl::typed::union_map< Domain, Range >::as_union_pw_multi_aff ( ) const
inline

◆ bind_range()

template<typename Domain, typename Range>
typed::union_set< Domain > isl::typed::union_map< Domain, Range >::bind_range ( const typed::multi_id< Range > & tuple) const
inline

References tuple.

◆ coalesce()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::coalesce ( ) const
inline

◆ curry()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::curry ( ) const
inlinedelete

◆ deltas()

template<typename Domain, typename Range>
typed::union_set< Domain, Range > isl::typed::union_map< Domain, Range >::deltas ( ) const
inlinedelete

◆ detect_equalities()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::detect_equalities ( ) const
inline

◆ domain()

◆ domain_factor_domain()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::domain_factor_domain ( ) const
inlinedelete

◆ domain_factor_range()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::domain_factor_range ( ) const
inlinedelete

◆ domain_map()

template<typename Domain, typename Range>
typed::union_map< pair< Domain, Range >, Domain > isl::typed::union_map< Domain, Range >::domain_map ( ) const
inline

References Domain.

◆ domain_map_union_pw_multi_aff()

template<typename Domain, typename Range>
typed::union_pw_multi_aff< pair< Domain, Range >, Domain > isl::typed::union_map< Domain, Range >::domain_map_union_pw_multi_aff ( ) const
inline

References Domain.

◆ domain_product() [1/3]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< pair< Domain, Domain2 >, Range > isl::typed::union_map< Domain, Range >::domain_product ( const typed::basic_map< Domain2, Range > & umap2) const
inline

References Range.

◆ domain_product() [2/3]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< pair< Domain, Domain2 >, Range > isl::typed::union_map< Domain, Range >::domain_product ( const typed::map< Domain2, Range > & umap2) const
inline

References Range.

◆ domain_product() [3/3]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< pair< Domain, Domain2 >, Range > isl::typed::union_map< Domain, Range >::domain_product ( const typed::union_map< Domain2, Range > & umap2) const
inline

References Range.

◆ domain_reverse()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::domain_reverse ( ) const
inlinedelete

◆ drop_unused_params()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::drop_unused_params ( ) const
inline

◆ empty()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::empty ( const isl::ctx & ctx)
inlinestatic

◆ eq_at() [1/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::eq_at ( const typed::multi_pw_aff<> & mupa) const
inlinedelete

References mupa.

◆ eq_at() [2/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::eq_at ( const typed::multi_union_pw_aff<> & mupa) const
inlinedelete

References mupa.

◆ eq_at() [3/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::eq_at ( const typed::union_pw_aff<> & mupa) const
inlinedelete

References mupa.

◆ every_map()

template<typename Domain, typename Range>
bool isl::typed::union_map< Domain, Range >::every_map ( const std::function< bool(typed::map< Domain, Range >)> & test) const
inline

References test.

◆ extract_map()

template<typename Domain, typename Range>
typed::map< Domain, Range > isl::typed::union_map< Domain, Range >::extract_map ( const typed::space< Domain, Range > & space) const
inline

References space.

◆ foreach_map()

template<typename Domain, typename Range>
void isl::typed::union_map< Domain, Range >::foreach_map ( const std::function< void(typed::map< Domain, Range >)> & fn) const
inline

References fn.

◆ from()

template<typename Domain, typename Range>
union_map isl::typed::union_map< Domain, Range >::from ( const isl::union_map< Domain, Range > & obj)
inlinestatic

Definition at line 11136 of file typed_cpp.h.

References obj, and union_map.

◆ get_map_list()

template<typename Domain, typename Range>
typed::map_list< Domain, Range > isl::typed::union_map< Domain, Range >::get_map_list ( ) const
inlinedelete

◆ get_space()

template<typename Domain, typename Range>
typed::space< Domain, Range > isl::typed::union_map< Domain, Range >::get_space ( ) const
inlinedelete

◆ gist() [1/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist ( const typed::basic_map< Domain, Range > & context) const
inline

References context.

◆ gist() [2/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist ( const typed::map< Domain, Range > & context) const
inline

References context.

◆ gist() [3/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist ( const typed::union_map< Domain, Range > & context) const
inline

References context.

◆ gist_domain() [1/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist_domain ( const typed::basic_set< Domain > & uset) const
inline

◆ gist_domain() [2/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist_domain ( const typed::point< Domain > & uset) const
inline

◆ gist_domain() [3/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist_domain ( const typed::set< Domain > & uset) const
inline

◆ gist_domain() [4/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist_domain ( const typed::union_set< Domain > & uset) const
inline

◆ gist_params() [1/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist_params ( const typed::basic_set<> & set) const
inline

References set.

◆ gist_params() [2/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist_params ( const typed::point<> & set) const
inline

References set.

◆ gist_params() [3/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::gist_params ( const typed::set<> & set) const
inline

References set.

◆ intersect() [1/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect ( const typed::basic_map< Domain, Range > & umap2) const
inline

◆ intersect() [2/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect ( const typed::map< Domain, Range > & umap2) const
inline

◆ intersect() [3/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect ( const typed::union_map< Domain, Range > & umap2) const
inline

◆ intersect_domain() [1/2]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_domain ( const typed::space< Domain > & space) const
inline

References space.

◆ intersect_domain() [2/2]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_domain ( const typed::union_set< Domain > & uset) const
inline

◆ intersect_domain_wrapped_domain() [1/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_domain_wrapped_domain ( const typed::basic_set<> & domain) const
inlinedelete

References domain().

◆ intersect_domain_wrapped_domain() [2/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_domain_wrapped_domain ( const typed::point<> & domain) const
inlinedelete

References domain().

◆ intersect_domain_wrapped_domain() [3/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_domain_wrapped_domain ( const typed::set<> & domain) const
inlinedelete

References domain().

◆ intersect_domain_wrapped_domain() [4/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_domain_wrapped_domain ( const typed::union_set<> & domain) const
inlinedelete

References domain().

◆ intersect_params() [1/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_params ( const typed::basic_set<> & set) const
inline

References set.

◆ intersect_params() [2/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_params ( const typed::point<> & set) const
inline

References set.

◆ intersect_params() [3/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_params ( const typed::set<> & set) const
inline

References set.

◆ intersect_range() [1/2]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_range ( const typed::space< Range > & space) const
inline

References space.

◆ intersect_range() [2/2]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_range ( const typed::union_set< Range > & uset) const
inline

◆ intersect_range_wrapped_domain() [1/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_range_wrapped_domain ( const typed::basic_set<> & domain) const
inlinedelete

References domain().

◆ intersect_range_wrapped_domain() [2/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_range_wrapped_domain ( const typed::point<> & domain) const
inlinedelete

References domain().

◆ intersect_range_wrapped_domain() [3/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_range_wrapped_domain ( const typed::set<> & domain) const
inlinedelete

References domain().

◆ intersect_range_wrapped_domain() [4/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::intersect_range_wrapped_domain ( const typed::union_set<> & domain) const
inlinedelete

References domain().

◆ lexmax()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::lexmax ( ) const
inline

◆ lexmin()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::lexmin ( ) const
inline

◆ map_list()

template<typename Domain, typename Range>
typed::map_list< Domain, Range > isl::typed::union_map< Domain, Range >::map_list ( ) const
inline

◆ params()

template<typename Domain, typename Range>
typed::set isl::typed::union_map< Domain, Range >::params ( ) const
inline

◆ preimage_domain() [1/4]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< Domain2, Range > isl::typed::union_map< Domain, Range >::preimage_domain ( const typed::multi_aff< Domain2, Domain > & ma) const
inline

References ma.

◆ preimage_domain() [2/4]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< Domain2, Range > isl::typed::union_map< Domain, Range >::preimage_domain ( const typed::multi_pw_aff< Domain2, Domain > & mpa) const
inline

◆ preimage_domain() [3/4]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< Domain2, Range > isl::typed::union_map< Domain, Range >::preimage_domain ( const typed::pw_multi_aff< Domain2, Domain > & pma) const
inline

References pma.

◆ preimage_domain() [4/4]

template<typename Domain, typename Range>
template<typename Domain2>
typed::union_map< Domain2, Range > isl::typed::union_map< Domain, Range >::preimage_domain ( const typed::union_pw_multi_aff< Domain2, Domain > & upma) const
inline

◆ preimage_range() [1/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, Range2 > isl::typed::union_map< Domain, Range >::preimage_range ( const typed::multi_aff< Range2, Range > & ma) const
inline

References ma.

◆ preimage_range() [2/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, Range2 > isl::typed::union_map< Domain, Range >::preimage_range ( const typed::pw_multi_aff< Range2, Range > & pma) const
inline

References pma.

◆ preimage_range() [3/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, Range2 > isl::typed::union_map< Domain, Range >::preimage_range ( const typed::union_pw_multi_aff< Range2, Range > & upma) const
inline

◆ product() [1/3]

template<typename Domain, typename Range>
template<typename Domain2, typename Range2>
typed::union_map< pair< Domain, Domain2 >, pair< Range, Range2 > > isl::typed::union_map< Domain, Range >::product ( const typed::basic_map< Domain2, Range2 > & umap2) const
inline

◆ product() [2/3]

template<typename Domain, typename Range>
template<typename Domain2, typename Range2>
typed::union_map< pair< Domain, Domain2 >, pair< Range, Range2 > > isl::typed::union_map< Domain, Range >::product ( const typed::map< Domain2, Range2 > & umap2) const
inline

◆ product() [3/3]

template<typename Domain, typename Range>
template<typename Domain2, typename Range2>
typed::union_map< pair< Domain, Domain2 >, pair< Range, Range2 > > isl::typed::union_map< Domain, Range >::product ( const typed::union_map< Domain2, Range2 > & umap2) const
inline

◆ project_out_all_params()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::project_out_all_params ( ) const
inline

◆ project_out_param() [1/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::project_out_param ( const std::string & id) const
inline

◆ project_out_param() [2/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::project_out_param ( const typed::id< Anonymous > & id) const
inline

◆ project_out_param() [3/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::project_out_param ( const typed::id_list< Anonymous > & list) const
inline

◆ range()

template<typename Domain, typename Range>
typed::union_set< Range > isl::typed::union_map< Domain, Range >::range ( ) const
inline

◆ range_factor_domain()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::range_factor_domain ( ) const
inlinedelete

◆ range_factor_range()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::range_factor_range ( ) const
inlinedelete

◆ range_map()

template<typename Domain, typename Range>
typed::union_map< pair< Domain, Range >, Range > isl::typed::union_map< Domain, Range >::range_map ( ) const
inline

References Range.

◆ range_product() [1/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, pair< Range, Range2 > > isl::typed::union_map< Domain, Range >::range_product ( const typed::basic_map< Domain, Range2 > & umap2) const
inline

◆ range_product() [2/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, pair< Range, Range2 > > isl::typed::union_map< Domain, Range >::range_product ( const typed::map< Domain, Range2 > & umap2) const
inline

◆ range_product() [3/3]

template<typename Domain, typename Range>
template<typename Range2>
typed::union_map< Domain, pair< Range, Range2 > > isl::typed::union_map< Domain, Range >::range_product ( const typed::union_map< Domain, Range2 > & umap2) const
inline

◆ range_reverse()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::range_reverse ( ) const
inlinedelete

◆ reverse()

template<typename Domain, typename Range>
typed::union_map< Range, Domain > isl::typed::union_map< Domain, Range >::reverse ( ) const
inline

◆ space()

template<typename Domain, typename Range>
typed::space isl::typed::union_map< Domain, Range >::space ( ) const
inline

◆ subtract() [1/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract ( const typed::basic_map< Domain, Range > & umap2) const
inline

◆ subtract() [2/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract ( const typed::map< Domain, Range > & umap2) const
inline

◆ subtract() [3/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract ( const typed::union_map< Domain, Range > & umap2) const
inline

◆ subtract_domain() [1/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract_domain ( const typed::basic_set< Domain > & dom) const
inline

◆ subtract_domain() [2/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract_domain ( const typed::point< Domain > & dom) const
inline

◆ subtract_domain() [3/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract_domain ( const typed::set< Domain > & dom) const
inline

◆ subtract_domain() [4/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract_domain ( const typed::union_set< Domain > & dom) const
inline

◆ subtract_range() [1/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract_range ( const typed::basic_set< Range > & dom) const
inline

◆ subtract_range() [2/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract_range ( const typed::point< Range > & dom) const
inline

◆ subtract_range() [3/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract_range ( const typed::set< Range > & dom) const
inline

◆ subtract_range() [4/4]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::subtract_range ( const typed::union_set< Range > & dom) const
inline

◆ uncurry()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::uncurry ( ) const
inlinedelete

◆ unite() [1/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::unite ( const typed::basic_map< Domain, Range > & umap2) const
inline

◆ unite() [2/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::unite ( const typed::map< Domain, Range > & umap2) const
inline

◆ unite() [3/3]

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::unite ( const typed::union_map< Domain, Range > & umap2) const
inline

◆ universe()

template<typename Domain, typename Range>
typed::union_map< Domain, Range > isl::typed::union_map< Domain, Range >::universe ( ) const
inline

◆ wrap()

template<typename Domain, typename Range>
typed::union_set< pair< Domain, Range > > isl::typed::union_map< Domain, Range >::wrap ( ) const
inline

◆ aff

template<typename Domain, typename Range>
template<typename...>
friend struct aff
friend

Definition at line 11063 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename Domain, typename Range>
template<typename...>
friend struct aff_list
friend

Definition at line 11065 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename Domain, typename Range>
template<typename...>
friend struct basic_map
friend

Definition at line 11067 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename Domain, typename Range>
template<typename...>
friend struct basic_set
friend

Definition at line 11069 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename Domain, typename Range>
template<typename...>
friend struct fixed_box
friend

Definition at line 11071 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename Domain, typename Range>
template<typename...>
friend struct id
friend

Definition at line 11073 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename Domain, typename Range>
template<typename...>
friend struct id_list
friend

Definition at line 11075 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename Domain, typename Range>
template<typename...>
friend struct map
friend

Definition at line 11077 of file typed_cpp.h.

References map.

Referenced by map, and union_map().

◆ map_list

template<typename Domain, typename Range>
template<typename...>
friend struct map_list
friend

Definition at line 11079 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename Domain, typename Range>
template<typename...>
friend struct multi_aff
friend

Definition at line 11081 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename Domain, typename Range>
template<typename...>
friend struct multi_id
friend

Definition at line 11083 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename Domain, typename Range>
template<typename...>
friend struct multi_pw_aff
friend

Definition at line 11085 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename Domain, typename Range>
template<typename...>
friend struct multi_union_pw_aff
friend

Definition at line 11087 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename Domain, typename Range>
template<typename...>
friend struct multi_val
friend

Definition at line 11089 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename Domain, typename Range>
template<typename...>
friend struct point
friend

Definition at line 11091 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename Domain, typename Range>
template<typename...>
friend struct pw_aff
friend

Definition at line 11093 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename Domain, typename Range>
template<typename...>
friend struct pw_aff_list
friend

Definition at line 11095 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename Domain, typename Range>
template<typename...>
friend struct pw_multi_aff
friend

Definition at line 11097 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename Domain, typename Range>
template<typename...>
friend struct pw_multi_aff_list
friend

Definition at line 11099 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename Domain, typename Range>
template<typename...>
friend struct set
friend

◆ set_list

template<typename Domain, typename Range>
template<typename...>
friend struct set_list
friend

Definition at line 11103 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename Domain, typename Range>
template<typename...>
friend struct space
friend

Definition at line 11105 of file typed_cpp.h.

References space.

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

◆ union_map

template<typename Domain, typename Range>
template<typename...>
friend struct union_map
friend

Definition at line 11107 of file typed_cpp.h.

References union_map.

Referenced by from(), union_map, union_map(), and union_map().

◆ union_pw_aff

template<typename Domain, typename Range>
template<typename...>
friend struct union_pw_aff
friend

Definition at line 11109 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename Domain, typename Range>
template<typename...>
friend struct union_pw_aff_list
friend

Definition at line 11111 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename Domain, typename Range>
template<typename...>
friend struct union_pw_multi_aff
friend

Definition at line 11113 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename Domain, typename Range>
template<typename...>
friend struct union_set
friend

Definition at line 11115 of file typed_cpp.h.

References union_set.

Referenced by union_set.

◆ union_set_list

template<typename Domain, typename Range>
template<typename...>
friend struct union_set_list
friend

Definition at line 11117 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename Domain, typename Range>
template<typename...>
friend struct val
friend

Definition at line 11119 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename Domain, typename Range>
template<typename...>
friend struct val_list
friend

Definition at line 11121 of file typed_cpp.h.

References val_list.

Referenced by val_list.


The documentation for this struct was generated from the following file: