isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > > Struct Template Reference

#include <typed_cpp.h>

Inheritance diagram for isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >:

Public Member Functions
	union_map ()=default
template<typename Arg1, typename Arg2, typename std::enable_if< std::is_base_of< T1, Arg1 >{} &&std::is_base_of< T2, Arg2 >{}, bool >::type = true>
	union_map (const union_map< pair< Arg1, Arg2 >, pair< Arg1, Arg2 > > &obj)
	union_map (const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > &bmap)
	union_map (const typed::map< pair< T1, T2 >, pair< T1, T2 > > &map)
	union_map (const isl::ctx &ctx, const std::string &str)
template<typename Domain2>
typed::union_map< Domain2, pair< T1, T2 > >	apply_domain (const typed::union_map< pair< T1, T2 >, Domain2 > &umap2) const
template<typename Domain2>
typed::union_map< Domain2, pair< T1, T2 > >	apply_domain (const typed::basic_map< pair< T1, T2 >, Domain2 > &umap2) const
template<typename Domain2>
typed::union_map< Domain2, pair< T1, T2 > >	apply_domain (const typed::map< pair< T1, T2 >, Domain2 > &umap2) const
template<typename Range2>
typed::union_map< pair< T1, T2 >, Range2 >	apply_range (const typed::union_map< pair< T1, T2 >, Range2 > &umap2) const
template<typename Range2>
typed::union_map< pair< T1, T2 >, Range2 >	apply_range (const typed::basic_map< pair< T1, T2 >, Range2 > &umap2) const
template<typename Range2>
typed::union_map< pair< T1, T2 >, Range2 >	apply_range (const typed::map< pair< T1, T2 >, Range2 > &umap2) const
typed::map< pair< T1, T2 >, pair< T1, T2 > >	as_map () const
typed::multi_union_pw_aff< pair< T1, T2 >, pair< T1, T2 > >	as_multi_union_pw_aff () const
typed::union_pw_multi_aff< pair< T1, T2 >, pair< T1, T2 > >	as_union_pw_multi_aff () const
typed::union_set< pair< T1, T2 > >	bind_range (const typed::multi_id< pair< T1, T2 > > &tuple) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	coalesce () const
typed::union_map< T1, pair< T2, pair< T1, T2 > > >	curry () const
typed::union_set< pair< T1, T2 > >	deltas () const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	detect_equalities () const
typed::union_set< pair< T1, T2 > >	domain () const
typed::union_map< T1, pair< T1, T2 > >	domain_factor_domain () const
typed::union_map< T2, pair< T1, T2 > >	domain_factor_range () const
typed::union_map< pair< pair< T1, T2 >, pair< T1, T2 > >, pair< T1, T2 > >	domain_map () const
typed::union_pw_multi_aff< pair< pair< T1, T2 >, pair< T1, T2 > >, pair< T1, T2 > >	domain_map_union_pw_multi_aff () const
template<typename Domain2>
typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< T1, T2 > >	domain_product (const typed::union_map< Domain2, pair< T1, T2 > > &umap2) const
template<typename Domain2>
typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< T1, T2 > >	domain_product (const typed::basic_map< Domain2, pair< T1, T2 > > &umap2) const
template<typename Domain2>
typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< T1, T2 > >	domain_product (const typed::map< Domain2, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T2, T1 >, pair< T1, T2 > >	domain_reverse () const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	drop_unused_params () const
template<typename Range>
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	eq_at (const typed::multi_union_pw_aff< pair< T1, T2 >, Range > &mupa) const
template<typename Range>
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	eq_at (const typed::multi_pw_aff< pair< T1, T2 >, Range > &mupa) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	eq_at (const typed::union_pw_aff< pair< T1, T2 >, Anonymous > &mupa) const
bool	every_map (const std::function< bool(typed::map< pair< T1, T2 >, pair< T1, T2 > >)> &test) const
typed::map< pair< T1, T2 >, pair< T1, T2 > >	extract_map (const typed::space< pair< T1, T2 >, pair< T1, T2 > > &space) const
void	foreach_map (const std::function< void(typed::map< pair< T1, T2 >, pair< T1, T2 > >)> &fn) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist (const typed::union_map< pair< T1, T2 >, pair< T1, T2 > > &context) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist (const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > &context) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist (const typed::map< pair< T1, T2 >, pair< T1, T2 > > &context) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist_domain (const typed::union_set< pair< T1, T2 > > &uset) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist_domain (const typed::basic_set< pair< T1, T2 > > &uset) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist_domain (const typed::point< pair< T1, T2 > > &uset) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist_domain (const typed::set< pair< T1, T2 > > &uset) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist_params (const typed::set<> &set) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist_params (const typed::basic_set<> &set) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	gist_params (const typed::point<> &set) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect (const typed::union_map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect (const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect (const typed::map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_domain (const typed::space< pair< T1, T2 > > &space) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_domain (const typed::union_set< pair< T1, T2 > > &uset) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_domain_wrapped_domain (const typed::union_set< T1 > &domain) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_domain_wrapped_domain (const typed::basic_set< T1 > &domain) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_domain_wrapped_domain (const typed::point< T1 > &domain) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_domain_wrapped_domain (const typed::set< T1 > &domain) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_params (const typed::set<> &set) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_params (const typed::basic_set<> &set) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_params (const typed::point<> &set) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_range (const typed::space< pair< T1, T2 > > &space) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_range (const typed::union_set< pair< T1, T2 > > &uset) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_range_wrapped_domain (const typed::union_set< T1 > &domain) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_range_wrapped_domain (const typed::basic_set< T1 > &domain) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_range_wrapped_domain (const typed::point< T1 > &domain) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	intersect_range_wrapped_domain (const typed::set< T1 > &domain) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	lexmax () const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	lexmin () const
typed::map_list< pair< T1, T2 >, pair< T1, T2 > >	map_list () const
typed::map_list< pair< T1, T2 >, pair< T1, T2 > >	get_map_list () const =delete
typed::set	params () const
template<typename Domain2>
typed::union_map< Domain2, pair< T1, T2 > >	preimage_domain (const typed::multi_aff< Domain2, pair< T1, T2 > > &ma) const
template<typename Domain2>
typed::union_map< Domain2, pair< T1, T2 > >	preimage_domain (const typed::multi_pw_aff< Domain2, pair< T1, T2 > > &mpa) const
template<typename Domain2>
typed::union_map< Domain2, pair< T1, T2 > >	preimage_domain (const typed::pw_multi_aff< Domain2, pair< T1, T2 > > &pma) const
template<typename Domain2>
typed::union_map< Domain2, pair< T1, T2 > >	preimage_domain (const typed::union_pw_multi_aff< Domain2, pair< T1, T2 > > &upma) const
template<typename Range2>
typed::union_map< pair< T1, T2 >, Range2 >	preimage_range (const typed::multi_aff< Range2, pair< T1, T2 > > &ma) const
template<typename Range2>
typed::union_map< pair< T1, T2 >, Range2 >	preimage_range (const typed::pw_multi_aff< Range2, pair< T1, T2 > > &pma) const
template<typename Range2>
typed::union_map< pair< T1, T2 >, Range2 >	preimage_range (const typed::union_pw_multi_aff< Range2, pair< T1, T2 > > &upma) const
template<typename Domain2, typename Range2>
typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< pair< T1, T2 >, Range2 > >	product (const typed::union_map< Domain2, Range2 > &umap2) const
template<typename Domain2, typename Range2>
typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< pair< T1, T2 >, Range2 > >	product (const typed::basic_map< Domain2, Range2 > &umap2) const
template<typename Domain2, typename Range2>
typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< pair< T1, T2 >, Range2 > >	product (const typed::map< Domain2, Range2 > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	project_out_all_params () const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	project_out_param (const typed::id< Anonymous > &id) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	project_out_param (const std::string &id) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	project_out_param (const typed::id_list< Anonymous > &list) const
typed::union_set< pair< T1, T2 > >	range () const
typed::union_map< pair< T1, T2 >, T1 >	range_factor_domain () const
typed::union_map< pair< T1, T2 >, T2 >	range_factor_range () const
typed::union_map< pair< pair< T1, T2 >, pair< T1, T2 > >, pair< T1, T2 > >	range_map () const
template<typename Range2>
typed::union_map< pair< T1, T2 >, pair< pair< T1, T2 >, Range2 > >	range_product (const typed::union_map< pair< T1, T2 >, Range2 > &umap2) const
template<typename Range2>
typed::union_map< pair< T1, T2 >, pair< pair< T1, T2 >, Range2 > >	range_product (const typed::basic_map< pair< T1, T2 >, Range2 > &umap2) const
template<typename Range2>
typed::union_map< pair< T1, T2 >, pair< pair< T1, T2 >, Range2 > >	range_product (const typed::map< pair< T1, T2 >, Range2 > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T2, T1 > >	range_reverse () const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	reverse () const
typed::space	space () const
typed::space< pair< T1, T2 >, pair< T1, T2 > >	get_space () const =delete
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract (const typed::union_map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract (const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract (const typed::map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract_domain (const typed::union_set< pair< T1, T2 > > &dom) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract_domain (const typed::basic_set< pair< T1, T2 > > &dom) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract_domain (const typed::point< pair< T1, T2 > > &dom) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract_domain (const typed::set< pair< T1, T2 > > &dom) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract_range (const typed::union_set< pair< T1, T2 > > &dom) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract_range (const typed::basic_set< pair< T1, T2 > > &dom) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract_range (const typed::point< pair< T1, T2 > > &dom) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	subtract_range (const typed::set< pair< T1, T2 > > &dom) const
typed::union_map< pair< pair< T1, T2 >, T1 >, T2 >	uncurry () const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	unite (const typed::union_map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	unite (const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	unite (const typed::map< pair< T1, T2 >, pair< T1, T2 > > &umap2) const
typed::union_map< pair< T1, T2 >, pair< T1, T2 > >	universe () const
typed::union_set< pair< pair< T1, T2 >, pair< T1, T2 > > >	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_map &	operator= (union_map obj)
	~union_map ()
__isl_give isl_union_map *	copy () const &
__isl_give isl_union_map *	copy () &&=delete
__isl_keep isl_union_map *	get () const
__isl_give isl_union_map *	release ()
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< pair< T1, T2 >, pair< T1, T2 > >	empty (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_map *	ptr = nullptr

Detailed Description

template<typename T1, typename T2>
struct isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >

Definition at line 11912 of file typed_cpp.h.

Constructor & Destructor Documentation

union_map() [1/6]

template<typename T1, typename T2>

isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::union_map ( )

default

union_map() [2/6]

template<typename T1, typename T2>

template<typename Arg1, typename Arg2, typename std::enable_if< std::is_base_of< T1, Arg1 >{} &&std::is_base_of< T2, Arg2 >{}, bool >::type = true>

isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::union_map ( const union_map< pair< Arg1, Arg2 >, pair< Arg1, Arg2 > > & obj )

inline

Definition at line 11980 of file typed_cpp.h.

References obj, and union_map.

union_map() [3/6]

template<typename T1, typename T2>

template<typename base, typename std::enable_if< std::is_same< base, isl::union_map >{}, bool >::type = true>

isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::union_map ( const base & obj )

inlineprivate

Definition at line 11985 of file typed_cpp.h.

References obj, and union_map.

union_map() [4/6]

template<typename T1, typename T2>

isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::union_map ( const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > & bmap )

inline

union_map() [5/6]

template<typename T1, typename T2>

isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::union_map ( const typed::map< pair< T1, T2 >, pair< T1, T2 > > & map )

inline

References map.

union_map() [6/6]

template<typename T1, typename T2>

isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::union_map ( const isl::ctx & ctx, const std::string & str )

inlineexplicit

References isl::checked::union_map::ctx(), and str.

Member Function Documentation

apply_domain() [1/3]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< Domain2, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::apply_domain ( const typed::basic_map< pair< T1, T2 >, Domain2 > & umap2 ) const

inline

References Domain2.

apply_domain() [2/3]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< Domain2, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::apply_domain ( const typed::map< pair< T1, T2 >, Domain2 > & umap2 ) const

inline

References Domain2.

apply_domain() [3/3]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< Domain2, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::apply_domain ( const typed::union_map< pair< T1, T2 >, Domain2 > & umap2 ) const

inline

References Domain2.

apply_range() [1/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, Range2 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::apply_range ( const typed::basic_map< pair< T1, T2 >, Range2 > & umap2 ) const

inline

References Range2.

apply_range() [2/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, Range2 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::apply_range ( const typed::map< pair< T1, T2 >, Range2 > & umap2 ) const

inline

References Range2.

apply_range() [3/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, Range2 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::apply_range ( const typed::union_map< pair< T1, T2 >, Range2 > & umap2 ) const

inline

References Range2.

as_map()

template<typename T1, typename T2>

typed::map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::as_map ( ) const

inline

as_multi_union_pw_aff()

template<typename T1, typename T2>

typed::multi_union_pw_aff< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::as_multi_union_pw_aff ( ) const

inline

as_union_pw_multi_aff()

template<typename T1, typename T2>

typed::union_pw_multi_aff< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::as_union_pw_multi_aff ( ) const

inline

bind_range()

template<typename T1, typename T2>

typed::union_set< pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::bind_range ( const typed::multi_id< pair< T1, T2 > > & tuple ) const

inline

References tuple.

coalesce()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::coalesce ( ) const

inline

curry()

template<typename T1, typename T2>

typed::union_map< T1, pair< T2, pair< T1, T2 > > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::curry ( ) const

inline

deltas()

template<typename T1, typename T2>

typed::union_set< pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::deltas ( ) const

inline

detect_equalities()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::detect_equalities ( ) const

inline

domain()

template<typename T1, typename T2>

typed::union_set< pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain ( ) const

inline

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

domain_factor_domain()

template<typename T1, typename T2>

typed::union_map< T1, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain_factor_domain ( ) const

inline

domain_factor_range()

template<typename T1, typename T2>

typed::union_map< T2, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain_factor_range ( ) const

inline

domain_map()

template<typename T1, typename T2>

typed::union_map< pair< pair< T1, T2 >, pair< T1, T2 > >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain_map ( ) const

inline

domain_map_union_pw_multi_aff()

template<typename T1, typename T2>

typed::union_pw_multi_aff< pair< pair< T1, T2 >, pair< T1, T2 > >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain_map_union_pw_multi_aff ( ) const

inline

domain_product() [1/3]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain_product ( const typed::basic_map< Domain2, pair< T1, T2 > > & umap2 ) const

inline

References Domain2.

domain_product() [2/3]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain_product ( const typed::map< Domain2, pair< T1, T2 > > & umap2 ) const

inline

References Domain2.

domain_product() [3/3]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain_product ( const typed::union_map< Domain2, pair< T1, T2 > > & umap2 ) const

inline

References Domain2.

domain_reverse()

template<typename T1, typename T2>

typed::union_map< pair< T2, T1 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::domain_reverse ( ) const

inline

drop_unused_params()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::drop_unused_params ( ) const

inline

empty()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::empty ( const isl::ctx & ctx )

inlinestatic

References isl::checked::union_map::ctx().

eq_at() [1/3]

template<typename T1, typename T2>

template<typename Range>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::eq_at ( const typed::multi_pw_aff< pair< T1, T2 >, Range > & mupa ) const

inline

References mupa, and Range.

eq_at() [2/3]

template<typename T1, typename T2>

template<typename Range>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::eq_at ( const typed::multi_union_pw_aff< pair< T1, T2 >, Range > & mupa ) const

inline

References mupa, and Range.

eq_at() [3/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::eq_at ( const typed::union_pw_aff< pair< T1, T2 >, Anonymous > & mupa ) const

inline

References Anonymous, and mupa.

every_map()

template<typename T1, typename T2>

bool isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::every_map ( const std::function< bool(typed::map< pair< T1, T2 >, pair< T1, T2 > >)> & test ) const

inline

References test.

extract_map()

template<typename T1, typename T2>

typed::map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::extract_map ( const typed::space< pair< T1, T2 >, pair< T1, T2 > > & space ) const

inline

References space.

foreach_map()

template<typename T1, typename T2>

void isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::foreach_map ( const std::function< void(typed::map< pair< T1, T2 >, pair< T1, T2 > >)> & fn ) const

inline

References fn.

from()

template<typename T1, typename T2>

union_map isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::from ( const isl::union_map< pair< T1, T2 >, pair< T1, T2 > > & obj )

inlinestatic

Definition at line 11987 of file typed_cpp.h.

References obj, and union_map.

get_map_list()

template<typename T1, typename T2>

typed::map_list< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::get_map_list ( ) const

inlinedelete

get_space()

template<typename T1, typename T2>

typed::space< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::get_space ( ) const

inlinedelete

gist() [1/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist ( const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > & context ) const

inline

References context.

gist() [2/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist ( const typed::map< pair< T1, T2 >, pair< T1, T2 > > & context ) const

inline

References context.

gist() [3/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist ( const typed::union_map< pair< T1, T2 >, pair< T1, T2 > > & context ) const

inline

References context.

gist_domain() [1/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist_domain ( const typed::basic_set< pair< T1, T2 > > & uset ) const

inline

gist_domain() [2/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist_domain ( const typed::point< pair< T1, T2 > > & uset ) const

inline

gist_domain() [3/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist_domain ( const typed::set< pair< T1, T2 > > & uset ) const

inline

gist_domain() [4/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist_domain ( const typed::union_set< pair< T1, T2 > > & uset ) const

inline

gist_params() [1/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist_params ( const typed::basic_set<> & set ) const

inline

References set.

gist_params() [2/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist_params ( const typed::point<> & set ) const

inline

References set.

gist_params() [3/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::gist_params ( const typed::set<> & set ) const

inline

References set.

intersect() [1/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect ( const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

intersect() [2/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect ( const typed::map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

intersect() [3/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect ( const typed::union_map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

intersect_domain() [1/2]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_domain ( const typed::space< pair< T1, T2 > > & space ) const

inline

References space.

intersect_domain() [2/2]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_domain ( const typed::union_set< pair< T1, T2 > > & uset ) const

inline

intersect_domain_wrapped_domain() [1/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_domain_wrapped_domain ( const typed::basic_set< T1 > & domain ) const

inline

References domain().

intersect_domain_wrapped_domain() [2/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_domain_wrapped_domain ( const typed::point< T1 > & domain ) const

inline

References domain().

intersect_domain_wrapped_domain() [3/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_domain_wrapped_domain ( const typed::set< T1 > & domain ) const

inline

References domain().

intersect_domain_wrapped_domain() [4/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_domain_wrapped_domain ( const typed::union_set< T1 > & domain ) const

inline

References domain().

intersect_params() [1/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_params ( const typed::basic_set<> & set ) const

inline

References set.

intersect_params() [2/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_params ( const typed::point<> & set ) const

inline

References set.

intersect_params() [3/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_params ( const typed::set<> & set ) const

inline

References set.

intersect_range() [1/2]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_range ( const typed::space< pair< T1, T2 > > & space ) const

inline

References space.

intersect_range() [2/2]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_range ( const typed::union_set< pair< T1, T2 > > & uset ) const

inline

intersect_range_wrapped_domain() [1/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_range_wrapped_domain ( const typed::basic_set< T1 > & domain ) const

inline

References domain().

intersect_range_wrapped_domain() [2/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_range_wrapped_domain ( const typed::point< T1 > & domain ) const

inline

References domain().

intersect_range_wrapped_domain() [3/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_range_wrapped_domain ( const typed::set< T1 > & domain ) const

inline

References domain().

intersect_range_wrapped_domain() [4/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::intersect_range_wrapped_domain ( const typed::union_set< T1 > & domain ) const

inline

References domain().

lexmax()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::lexmax ( ) const

inline

lexmin()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::lexmin ( ) const

inline

map_list()

template<typename T1, typename T2>

typed::map_list< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::map_list ( ) const

inline

params()

template<typename T1, typename T2>

typed::set isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::params ( ) const

inline

preimage_domain() [1/4]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< Domain2, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::preimage_domain ( const typed::multi_aff< Domain2, pair< T1, T2 > > & ma ) const

inline

References Domain2, and ma.

preimage_domain() [2/4]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< Domain2, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::preimage_domain ( const typed::multi_pw_aff< Domain2, pair< T1, T2 > > & mpa ) const

inline

References Domain2.

preimage_domain() [3/4]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< Domain2, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::preimage_domain ( const typed::pw_multi_aff< Domain2, pair< T1, T2 > > & pma ) const

inline

References Domain2, and pma.

preimage_domain() [4/4]

template<typename T1, typename T2>

template<typename Domain2>

typed::union_map< Domain2, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::preimage_domain ( const typed::union_pw_multi_aff< Domain2, pair< T1, T2 > > & upma ) const

inline

References Domain2.

preimage_range() [1/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, Range2 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::preimage_range ( const typed::multi_aff< Range2, pair< T1, T2 > > & ma ) const

inline

References ma, and Range2.

preimage_range() [2/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, Range2 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::preimage_range ( const typed::pw_multi_aff< Range2, pair< T1, T2 > > & pma ) const

inline

References pma, and Range2.

preimage_range() [3/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, Range2 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::preimage_range ( const typed::union_pw_multi_aff< Range2, pair< T1, T2 > > & upma ) const

inline

References Range2.

product() [1/3]

template<typename T1, typename T2>

template<typename Domain2, typename Range2>

typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< pair< T1, T2 >, Range2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::product ( const typed::basic_map< Domain2, Range2 > & umap2 ) const

inline

References Domain2, and Range2.

product() [2/3]

template<typename T1, typename T2>

template<typename Domain2, typename Range2>

typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< pair< T1, T2 >, Range2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::product ( const typed::map< Domain2, Range2 > & umap2 ) const

inline

References Domain2, and Range2.

product() [3/3]

template<typename T1, typename T2>

template<typename Domain2, typename Range2>

typed::union_map< pair< pair< T1, T2 >, Domain2 >, pair< pair< T1, T2 >, Range2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::product ( const typed::union_map< Domain2, Range2 > & umap2 ) const

inline

References Domain2, and Range2.

project_out_all_params()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::project_out_all_params ( ) const

inline

project_out_param() [1/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::project_out_param ( const std::string & id ) const

inline

project_out_param() [2/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::project_out_param ( const typed::id< Anonymous > & id ) const

inline

project_out_param() [3/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::project_out_param ( const typed::id_list< Anonymous > & list ) const

inline

range()

template<typename T1, typename T2>

typed::union_set< pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::range ( ) const

inline

range_factor_domain()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, T1 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::range_factor_domain ( ) const

inline

range_factor_range()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, T2 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::range_factor_range ( ) const

inline

range_map()

template<typename T1, typename T2>

typed::union_map< pair< pair< T1, T2 >, pair< T1, T2 > >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::range_map ( ) const

inline

range_product() [1/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, pair< pair< T1, T2 >, Range2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::range_product ( const typed::basic_map< pair< T1, T2 >, Range2 > & umap2 ) const

inline

References Range2.

range_product() [2/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, pair< pair< T1, T2 >, Range2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::range_product ( const typed::map< pair< T1, T2 >, Range2 > & umap2 ) const

inline

References Range2.

range_product() [3/3]

template<typename T1, typename T2>

template<typename Range2>

typed::union_map< pair< T1, T2 >, pair< pair< T1, T2 >, Range2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::range_product ( const typed::union_map< pair< T1, T2 >, Range2 > & umap2 ) const

inline

References Range2.

range_reverse()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T2, T1 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::range_reverse ( ) const

inline

reverse()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::reverse ( ) const

inline

space()

template<typename T1, typename T2>

typed::space isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::space ( ) const

inline

subtract() [1/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract ( const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

subtract() [2/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract ( const typed::map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

subtract() [3/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract ( const typed::union_map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

subtract_domain() [1/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract_domain ( const typed::basic_set< pair< T1, T2 > > & dom ) const

inline

subtract_domain() [2/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract_domain ( const typed::point< pair< T1, T2 > > & dom ) const

inline

subtract_domain() [3/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract_domain ( const typed::set< pair< T1, T2 > > & dom ) const

inline

subtract_domain() [4/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract_domain ( const typed::union_set< pair< T1, T2 > > & dom ) const

inline

subtract_range() [1/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract_range ( const typed::basic_set< pair< T1, T2 > > & dom ) const

inline

subtract_range() [2/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract_range ( const typed::point< pair< T1, T2 > > & dom ) const

inline

subtract_range() [3/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract_range ( const typed::set< pair< T1, T2 > > & dom ) const

inline

subtract_range() [4/4]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::subtract_range ( const typed::union_set< pair< T1, T2 > > & dom ) const

inline

uncurry()

template<typename T1, typename T2>

typed::union_map< pair< pair< T1, T2 >, T1 >, T2 > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::uncurry ( ) const

inline

unite() [1/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::unite ( const typed::basic_map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

unite() [2/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::unite ( const typed::map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

unite() [3/3]

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::unite ( const typed::union_map< pair< T1, T2 >, pair< T1, T2 > > & umap2 ) const

inline

universe()

template<typename T1, typename T2>

typed::union_map< pair< T1, T2 >, pair< T1, T2 > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::universe ( ) const

inline

wrap()

template<typename T1, typename T2>

typed::union_set< pair< pair< T1, T2 >, pair< T1, T2 > > > isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::wrap ( ) const

inline

Friends And Related Symbol Documentation

aff

template<typename T1, typename T2>

template<typename...>

friend struct aff

friend

Definition at line 11914 of file typed_cpp.h.

References aff.

Referenced by aff.

aff_list

template<typename T1, typename T2>

template<typename...>

friend struct aff_list

friend

Definition at line 11916 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

basic_map

template<typename T1, typename T2>

template<typename...>

friend struct basic_map

friend

Definition at line 11918 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

basic_set

template<typename T1, typename T2>

template<typename...>

friend struct basic_set

friend

Definition at line 11920 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

fixed_box

template<typename T1, typename T2>

template<typename...>

friend struct fixed_box

friend

Definition at line 11922 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

id

template<typename T1, typename T2>

template<typename...>

friend struct id

friend

Definition at line 11924 of file typed_cpp.h.

References id.

Referenced by id.

id_list

template<typename T1, typename T2>

template<typename...>

friend struct id_list

friend

Definition at line 11926 of file typed_cpp.h.

References id_list.

Referenced by id_list.

map

template<typename T1, typename T2>

template<typename...>

friend struct map

friend

Definition at line 11928 of file typed_cpp.h.

References map.

Referenced by map, and union_map().

map_list

template<typename T1, typename T2>

template<typename...>

friend struct map_list

friend

Definition at line 11930 of file typed_cpp.h.

References map_list.

Referenced by map_list.

multi_aff

template<typename T1, typename T2>

template<typename...>

friend struct multi_aff

friend

Definition at line 11932 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

multi_id

template<typename T1, typename T2>

template<typename...>

friend struct multi_id

friend

Definition at line 11934 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

multi_pw_aff

template<typename T1, typename T2>

template<typename...>

friend struct multi_pw_aff

friend

Definition at line 11936 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

multi_union_pw_aff

template<typename T1, typename T2>

template<typename...>

friend struct multi_union_pw_aff

friend

Definition at line 11938 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

multi_val

template<typename T1, typename T2>

template<typename...>

friend struct multi_val

friend

Definition at line 11940 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

point

template<typename T1, typename T2>

template<typename...>

friend struct point

friend

Definition at line 11942 of file typed_cpp.h.

References point.

Referenced by point.

pw_aff

template<typename T1, typename T2>

template<typename...>

friend struct pw_aff

friend

Definition at line 11944 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

pw_aff_list

template<typename T1, typename T2>

template<typename...>

friend struct pw_aff_list

friend

Definition at line 11946 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

pw_multi_aff

template<typename T1, typename T2>

template<typename...>

friend struct pw_multi_aff

friend

Definition at line 11948 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

pw_multi_aff_list

template<typename T1, typename T2>

template<typename...>

friend struct pw_multi_aff_list

friend

Definition at line 11950 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

set

template<typename T1, typename T2>

template<typename...>

friend struct set

friend

Definition at line 11952 of file typed_cpp.h.

References set.

Referenced by gist_params(), gist_params(), gist_params(), intersect_params(), intersect_params(), intersect_params(), and set.

set_list

template<typename T1, typename T2>

template<typename...>

friend struct set_list

friend

Definition at line 11954 of file typed_cpp.h.

References set_list.

Referenced by set_list.

space

template<typename T1, typename T2>

template<typename...>

friend struct space

friend

Definition at line 11956 of file typed_cpp.h.

References space.

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

union_map

template<typename T1, typename T2>

template<typename...>

friend struct union_map

friend

Definition at line 11958 of file typed_cpp.h.

References union_map.

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

union_pw_aff

template<typename T1, typename T2>

template<typename...>

friend struct union_pw_aff

friend

Definition at line 11960 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

union_pw_aff_list

template<typename T1, typename T2>

template<typename...>

friend struct union_pw_aff_list

friend

Definition at line 11962 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

union_pw_multi_aff

template<typename T1, typename T2>

template<typename...>

friend struct union_pw_multi_aff

friend

Definition at line 11964 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

union_set

template<typename T1, typename T2>

template<typename...>

friend struct union_set

friend

Definition at line 11966 of file typed_cpp.h.

References union_set.

Referenced by union_set.

union_set_list

template<typename T1, typename T2>

template<typename...>

friend struct union_set_list

friend

Definition at line 11968 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

val

template<typename T1, typename T2>

template<typename...>

friend struct val

friend

Definition at line 11970 of file typed_cpp.h.

References val.

Referenced by val.

val_list

template<typename T1, typename T2>

template<typename...>

friend struct val_list

friend

Definition at line 11972 of file typed_cpp.h.

References val_list.

Referenced by val_list.

---

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

• typed_cpp.h