#include <typed_cpp.h>

Inheritance diagram for isl::typed::map< pair< Domain, Range >, Range2 >:

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

Static Public Member Functions
static map	from (const isl::map &obj)
static typed::map< pair< Domain, Range >, Range2 >	universe (const typed::space< pair< Domain, Range >, Range2 > &space)
Static Public Member Functions inherited from isl::checked::map
static isl::checked::map	empty (isl::checked::space space)
static isl::checked::map	universe (isl::checked::space space)

Private Member Functions
template<typename base, typename std::enable_if< std::is_same< base, isl::map >{}, bool >::type = true>
	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::map
	map (__isl_take isl_map *ptr)
Protected Attributes inherited from isl::checked::map
isl_map *	ptr = nullptr

Detailed Description

template<typename Domain, typename Range, typename Range2>
struct isl::typed::map< pair< Domain, Range >, Range2 >

Definition at line 3343 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ map() [1/5]

template<typename Domain, typename Range, typename Range2>

isl::typed::map< pair< Domain, Range >, Range2 >::map ( )

default

◆ map() [2/5]

template<typename Domain, typename Range, typename Range2>

template<typename Arg1, typename Arg2, typename Arg3, typename std::enable_if< std::is_base_of< Domain, Arg1 >{} &&std::is_base_of< Range, Arg2 >{} &&std::is_base_of< Range2, Arg3 >{}, bool >::type = true>

isl::typed::map< pair< Domain, Range >, Range2 >::map ( const map< pair< Arg1, Arg2 >, Arg3 > & obj )

inline

Definition at line 3412 of file typed_cpp.h.

References map, and obj.

◆ map() [3/5]

template<typename Domain, typename Range, typename Range2>

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

isl::typed::map< pair< Domain, Range >, Range2 >::map ( const base & obj )

inlineprivate

Definition at line 3417 of file typed_cpp.h.

References map, and obj.

◆ map() [4/5]

template<typename Domain, typename Range, typename Range2>

isl::typed::map< pair< Domain, Range >, Range2 >::map ( const typed::basic_map< pair< Domain, Range >, Range2 > & bmap )

inline

References Range2.

◆ map() [5/5]

template<typename Domain, typename Range, typename Range2>

isl::typed::map< pair< Domain, Range >, Range2 >::map	(	const isl::ctx &	ctx,
		const std::string &	str )

inlineexplicit

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

Member Function Documentation

◆ apply_domain() [1/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::map< Domain2, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::apply_domain ( const typed::basic_map< pair< Domain, Range >, Domain2 > & map2 ) const

inline

References Domain2, and map2.

◆ apply_domain() [2/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::map< Domain2, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::apply_domain ( const typed::map< pair< Domain, Range >, Domain2 > & map2 ) const

inline

References Domain2, and map2.

◆ apply_domain() [3/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::union_map< Domain2, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::apply_domain ( const typed::union_map< pair< Domain, Range >, Domain2 > & umap2 ) const

inline

References Domain2.

◆ apply_range() [1/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

typed::map< pair< Domain, Range >, Arg3 > isl::typed::map< pair< Domain, Range >, Range2 >::apply_range ( const typed::basic_map< Range2, Arg3 > & map2 ) const

inline

References map2.

◆ apply_range() [2/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

typed::map< pair< Domain, Range >, Arg3 > isl::typed::map< pair< Domain, Range >, Range2 >::apply_range ( const typed::map< Range2, Arg3 > & map2 ) const

inline

References map2.

◆ apply_range() [3/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

typed::union_map< pair< Domain, Range >, Arg3 > isl::typed::map< pair< Domain, Range >, Range2 >::apply_range ( const typed::union_map< Range2, Arg3 > & umap2 ) const

inline

◆ as_map()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::as_map ( ) const

inline

References Range2.

◆ as_multi_union_pw_aff()

template<typename Domain, typename Range, typename Range2>

typed::multi_union_pw_aff< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::as_multi_union_pw_aff ( ) const

inline

References Range2.

◆ as_pw_multi_aff()

template<typename Domain, typename Range, typename Range2>

typed::pw_multi_aff< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::as_pw_multi_aff ( ) const

inline

References Range2.

◆ as_union_pw_multi_aff()

template<typename Domain, typename Range, typename Range2>

typed::union_pw_multi_aff< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::as_union_pw_multi_aff ( ) const

inline

References Range2.

◆ bind_domain()

template<typename Domain, typename Range, typename Range2>

typed::set< Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::bind_domain ( const typed::multi_id< pair< Domain, Range > > & tuple ) const

inline

References tuple.

◆ bind_range()

template<typename Domain, typename Range, typename Range2>

typed::set< pair< Domain, Range > > isl::typed::map< pair< Domain, Range >, Range2 >::bind_range ( const typed::multi_id< Range2 > & tuple ) const

inline

References tuple.

◆ coalesce()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::coalesce ( ) const

inline

References Range2.

◆ curry()

template<typename Domain, typename Range, typename Range2>

typed::map< Domain, pair< Range, Range2 > > isl::typed::map< pair< Domain, Range >, Range2 >::curry ( ) const

inline

◆ deltas()

template<typename Domain, typename Range, typename Range2>

typed::set< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::deltas ( ) const

inlinedelete

References Range2.

◆ detect_equalities()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::detect_equalities ( ) const

inline

References Range2.

◆ domain()

template<typename Domain, typename Range, typename Range2>

typed::set< pair< Domain, Range > > isl::typed::map< pair< Domain, Range >, Range2 >::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 Domain, typename Range, typename Range2>

typed::map< Domain, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::domain_factor_domain ( ) const

inline

◆ domain_factor_range()

template<typename Domain, typename Range, typename Range2>

typed::map< Range, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::domain_factor_range ( ) const

inline

◆ domain_map()

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< pair< Domain, Range >, Range2 >, pair< Domain, Range > > isl::typed::map< pair< Domain, Range >, Range2 >::domain_map ( ) const

inline

References Range2.

◆ domain_map_union_pw_multi_aff()

template<typename Domain, typename Range, typename Range2>

typed::union_pw_multi_aff< pair< pair< Domain, Range >, Range2 >, pair< Domain, Range > > isl::typed::map< pair< Domain, Range >, Range2 >::domain_map_union_pw_multi_aff ( ) const

inline

References Range2.

◆ domain_product() [1/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::map< pair< pair< Domain, Range >, Domain2 >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::domain_product ( const typed::basic_map< Domain2, Range2 > & map2 ) const

inline

References Domain2, map2, and Range2.

◆ domain_product() [2/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::map< pair< pair< Domain, Range >, Domain2 >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::domain_product ( const typed::map< Domain2, Range2 > & map2 ) const

inline

References Domain2, map2, and Range2.

◆ domain_product() [3/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

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

inline

References Domain2, and Range2.

◆ domain_reverse()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Range, Domain >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::domain_reverse ( ) const

inline

References Range2.

◆ drop_unused_params()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::drop_unused_params ( ) const

inline

References Range2.

◆ eq_at() [1/6]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::eq_at ( const typed::aff<> & mpa ) const

inlinedelete

References Range2.

◆ eq_at() [2/6]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::eq_at ( const typed::multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ eq_at() [3/6]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::eq_at ( const typed::multi_pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ eq_at() [4/6]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::eq_at ( const typed::multi_union_pw_aff<> & mupa ) const

inlinedelete

References mupa, and Range2.

◆ eq_at() [5/6]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::eq_at ( const typed::pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ eq_at() [6/6]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::eq_at ( const typed::pw_multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ every_map()

template<typename Domain, typename Range, typename Range2>

bool isl::typed::map< pair< Domain, Range >, Range2 >::every_map ( const std::function< bool(typed::map< pair< Domain, Range >, Range2 >)> & test ) const

inline

References Range2, and test.

◆ extract_map()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::extract_map ( const typed::space< pair< Domain, Range >, Range2 > & space ) const

inline

References Range2, and space.

◆ flatten_domain()

template<typename Domain, typename Range, typename Range2>

typed::map< Anonymous, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::flatten_domain ( ) const

inline

◆ flatten_range()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::flatten_range ( ) const

inlinedelete

References Range2.

◆ foreach_basic_map()

template<typename Domain, typename Range, typename Range2>

void isl::typed::map< pair< Domain, Range >, Range2 >::foreach_basic_map ( const std::function< void(typed::basic_map< pair< Domain, Range >, Range2 >)> & fn ) const

inline

References fn, and Range2.

◆ foreach_map()

template<typename Domain, typename Range, typename Range2>

void isl::typed::map< pair< Domain, Range >, Range2 >::foreach_map ( const std::function< void(typed::map< pair< Domain, Range >, Range2 >)> & fn ) const

inline

References fn, and Range2.

◆ from()

template<typename Domain, typename Range, typename Range2>

map isl::typed::map< pair< Domain, Range >, Range2 >::from ( const isl::map< pair< Domain, Range >, Range2 > & obj )

inlinestatic

Definition at line 3419 of file typed_cpp.h.

References map, map, and obj.

◆ get_domain_tuple_id()

template<typename Domain, typename Range, typename Range2>

typed::id< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::get_domain_tuple_id ( ) const

inlinedelete

References Range2.

◆ get_range_lattice_tile()

template<typename Domain, typename Range, typename Range2>

typed::fixed_box< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::get_range_lattice_tile ( ) const

inlinedelete

References Range2.

◆ get_range_simple_fixed_box_hull()

template<typename Domain, typename Range, typename Range2>

typed::fixed_box< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::get_range_simple_fixed_box_hull ( ) const

inlinedelete

References Range2.

◆ get_range_tuple_id()

template<typename Domain, typename Range, typename Range2>

typed::id< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::get_range_tuple_id ( ) const

inlinedelete

References Range2.

◆ get_space()

template<typename Domain, typename Range, typename Range2>

typed::space< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::get_space ( ) const

inlinedelete

References Range2.

◆ gist() [1/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist ( const typed::basic_map< pair< Domain, Range >, Range2 > & context ) const

inline

References context, and Range2.

◆ gist() [2/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist ( const typed::map< pair< Domain, Range >, Range2 > & context ) const

inline

References context, and Range2.

◆ gist() [3/3]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist ( const typed::union_map< pair< Domain, Range >, Range2 > & context ) const

inline

References context, and Range2.

◆ gist_domain() [1/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist_domain ( const typed::basic_set< pair< Domain, Range > > & context ) const

inline

References context, and Range2.

◆ gist_domain() [2/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist_domain ( const typed::point< pair< Domain, Range > > & context ) const

inline

References context, and Range2.

◆ gist_domain() [3/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist_domain ( const typed::set< pair< Domain, Range > > & context ) const

inline

References context, and Range2.

◆ gist_domain() [4/4]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist_domain ( const typed::union_set< pair< Domain, Range > > & uset ) const

inline

References Range2.

◆ gist_params() [1/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist_params ( const typed::basic_set<> & context ) const

inline

References context, and Range2.

◆ gist_params() [2/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist_params ( const typed::point<> & context ) const

inline

References context, and Range2.

◆ gist_params() [3/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::gist_params ( const typed::set<> & context ) const

inline

References context, and Range2.

◆ intersect() [1/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect ( const typed::basic_map< pair< Domain, Range >, Range2 > & map2 ) const

inline

References map2, and Range2.

◆ intersect() [2/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect ( const typed::map< pair< Domain, Range >, Range2 > & map2 ) const

inline

References map2, and Range2.

◆ intersect() [3/3]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect ( const typed::union_map< pair< Domain, Range >, Range2 > & umap2 ) const

inline

References Range2.

◆ intersect_domain() [1/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain ( const typed::basic_set< pair< Domain, Range > > & set ) const

inline

References Range2, and set.

◆ intersect_domain() [2/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain ( const typed::point< pair< Domain, Range > > & set ) const

inline

References Range2, and set.

◆ intersect_domain() [3/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain ( const typed::set< pair< Domain, Range > > & set ) const

inline

References Range2, and set.

◆ intersect_domain() [4/5]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain ( const typed::space< pair< Domain, Range > > & space ) const

inline

References Range2, and space.

◆ intersect_domain() [5/5]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain ( const typed::union_set< pair< Domain, Range > > & uset ) const

inline

References Range2.

◆ intersect_domain_wrapped_domain() [1/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain_wrapped_domain ( const typed::basic_set< Domain > & domain ) const

inline

References domain(), and Range2.

◆ intersect_domain_wrapped_domain() [2/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain_wrapped_domain ( const typed::point< Domain > & domain ) const

inline

References domain(), and Range2.

◆ intersect_domain_wrapped_domain() [3/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain_wrapped_domain ( const typed::set< Domain > & domain ) const

inline

References domain(), and Range2.

◆ intersect_domain_wrapped_domain() [4/4]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_domain_wrapped_domain ( const typed::union_set< Domain > & domain ) const

inline

References domain(), and Range2.

◆ intersect_params() [1/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_params ( const typed::basic_set<> & params ) const

inline

References params(), and Range2.

◆ intersect_params() [2/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_params ( const typed::point<> & params ) const

inline

References params(), and Range2.

◆ intersect_params() [3/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_params ( const typed::set<> & params ) const

inline

References params(), and Range2.

◆ intersect_range() [1/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range ( const typed::basic_set< Range2 > & set ) const

inline

References Range2, and set.

◆ intersect_range() [2/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range ( const typed::point< Range2 > & set ) const

inline

References Range2, and set.

◆ intersect_range() [3/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range ( const typed::set< Range2 > & set ) const

inline

References Range2, and set.

◆ intersect_range() [4/5]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range ( const typed::space< Range2 > & space ) const

inline

References Range2, and space.

◆ intersect_range() [5/5]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range ( const typed::union_set< Range2 > & uset ) const

inline

References Range2.

◆ intersect_range_wrapped_domain() [1/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range_wrapped_domain ( const typed::basic_set<> & domain ) const

inlinedelete

References domain(), and Range2.

◆ intersect_range_wrapped_domain() [2/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range_wrapped_domain ( const typed::point<> & domain ) const

inlinedelete

References domain(), and Range2.

◆ intersect_range_wrapped_domain() [3/4]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range_wrapped_domain ( const typed::set<> & domain ) const

inlinedelete

References domain(), and Range2.

◆ intersect_range_wrapped_domain() [4/4]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::intersect_range_wrapped_domain ( const typed::union_set<> & domain ) const

inlinedelete

References domain(), and Range2.

◆ lex_ge_at() [1/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_ge_at ( const typed::aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_ge_at() [2/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_ge_at ( const typed::multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_ge_at() [3/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_ge_at ( const typed::multi_pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_ge_at() [4/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_ge_at ( const typed::pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_ge_at() [5/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_ge_at ( const typed::pw_multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_gt_at() [1/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_gt_at ( const typed::aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_gt_at() [2/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_gt_at ( const typed::multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_gt_at() [3/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_gt_at ( const typed::multi_pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_gt_at() [4/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_gt_at ( const typed::pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_gt_at() [5/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_gt_at ( const typed::pw_multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_le_at() [1/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_le_at ( const typed::aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_le_at() [2/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_le_at ( const typed::multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_le_at() [3/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_le_at ( const typed::multi_pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_le_at() [4/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_le_at ( const typed::pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_le_at() [5/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_le_at ( const typed::pw_multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_lt_at() [1/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_lt_at ( const typed::aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_lt_at() [2/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_lt_at ( const typed::multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_lt_at() [3/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_lt_at ( const typed::multi_pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_lt_at() [4/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_lt_at ( const typed::pw_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lex_lt_at() [5/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lex_lt_at ( const typed::pw_multi_aff<> & mpa ) const

inlinedelete

References Range2.

◆ lexmax()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lexmax ( ) const

inline

References Range2.

◆ lexmax_pw_multi_aff()

template<typename Domain, typename Range, typename Range2>

typed::pw_multi_aff< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lexmax_pw_multi_aff ( ) const

inline

References Range2.

◆ lexmin()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lexmin ( ) const

inline

References Range2.

◆ lexmin_pw_multi_aff()

template<typename Domain, typename Range, typename Range2>

typed::pw_multi_aff< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lexmin_pw_multi_aff ( ) const

inline

References Range2.

◆ lower_bound() [1/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lower_bound ( const typed::aff< pair< Domain, Range >, Range2 > & lower ) const

inline

References Range2.

◆ lower_bound() [2/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lower_bound ( const typed::multi_aff< pair< Domain, Range >, Range2 > & lower ) const

inline

References Range2.

◆ lower_bound() [3/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lower_bound ( const typed::multi_pw_aff< pair< Domain, Range >, Range2 > & lower ) const

inline

References Range2.

◆ lower_bound() [4/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lower_bound ( const typed::pw_aff< pair< Domain, Range >, Range2 > & lower ) const

inline

References Range2.

◆ lower_bound() [5/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::lower_bound ( const typed::pw_multi_aff< pair< Domain, Range >, Range2 > & lower ) const

inline

References Range2.

◆ map_list()

template<typename Domain, typename Range, typename Range2>

typed::map_list< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::map_list ( ) const

inline

References Range2.

◆ max_multi_pw_aff()

template<typename Domain, typename Range, typename Range2>

typed::multi_pw_aff< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::max_multi_pw_aff ( ) const

inline

References Range2.

◆ min_multi_pw_aff()

template<typename Domain, typename Range, typename Range2>

typed::multi_pw_aff< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::min_multi_pw_aff ( ) const

inline

References Range2.

◆ params()

template<typename Domain, typename Range, typename Range2>

typed::set isl::typed::map< pair< Domain, Range >, Range2 >::params ( ) const

inline

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

◆ preimage_domain() [1/4]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::map< Domain2, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::preimage_domain ( const typed::multi_aff< Domain2, pair< Domain, Range > > & ma ) const

inline

References Domain2, and ma.

◆ preimage_domain() [2/4]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::map< Domain2, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::preimage_domain ( const typed::multi_pw_aff< Domain2, pair< Domain, Range > > & mpa ) const

inline

References Domain2.

◆ preimage_domain() [3/4]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::map< Domain2, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::preimage_domain ( const typed::pw_multi_aff< Domain2, pair< Domain, Range > > & pma ) const

inline

References Domain2, and pma.

◆ preimage_domain() [4/4]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2>

typed::union_map< Domain2, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::preimage_domain ( const typed::union_pw_multi_aff< Domain2, pair< Domain, Range > > & upma ) const

inline

References Domain2.

◆ preimage_range() [1/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

typed::map< pair< Domain, Range >, Arg3 > isl::typed::map< pair< Domain, Range >, Range2 >::preimage_range ( const typed::multi_aff< Arg3, Range2 > & ma ) const

inline

References ma.

◆ preimage_range() [2/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

typed::map< pair< Domain, Range >, Arg3 > isl::typed::map< pair< Domain, Range >, Range2 >::preimage_range ( const typed::pw_multi_aff< Arg3, Range2 > & pma ) const

inline

References pma.

◆ preimage_range() [3/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

typed::union_map< pair< Domain, Range >, Arg3 > isl::typed::map< pair< Domain, Range >, Range2 >::preimage_range ( const typed::union_pw_multi_aff< Arg3, Range2 > & upma ) const

inline

◆ product() [1/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2, typename Arg3>

typed::map< pair< pair< Domain, Range >, Domain2 >, pair< Range2, Arg3 > > isl::typed::map< pair< Domain, Range >, Range2 >::product ( const typed::basic_map< Domain2, Arg3 > & map2 ) const

inline

References Domain2, and map2.

◆ product() [2/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2, typename Arg3>

typed::map< pair< pair< Domain, Range >, Domain2 >, pair< Range2, Arg3 > > isl::typed::map< pair< Domain, Range >, Range2 >::product ( const typed::map< Domain2, Arg3 > & map2 ) const

inline

References Domain2, and map2.

◆ product() [3/3]

template<typename Domain, typename Range, typename Range2>

template<typename Domain2, typename Arg3>

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

inline

References Domain2.

◆ project_out_all_params()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::project_out_all_params ( ) const

inline

References Range2.

◆ project_out_param() [1/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::project_out_param ( const std::string & id ) const

inline

References Range2.

◆ project_out_param() [2/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::project_out_param ( const typed::id< Anonymous > & id ) const

inline

References Range2.

◆ project_out_param() [3/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::project_out_param ( const typed::id_list< Anonymous > & list ) const

inline

References Range2.

◆ range()

template<typename Domain, typename Range, typename Range2>

typed::set< Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::range ( ) const

inline

◆ range_factor_domain()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::range_factor_domain ( ) const

inlinedelete

References Range2.

◆ range_factor_range()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::range_factor_range ( ) const

inlinedelete

References Range2.

◆ range_lattice_tile()

template<typename Domain, typename Range, typename Range2>

typed::fixed_box< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::range_lattice_tile ( ) const

inline

References Range2.

◆ range_map()

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< pair< Domain, Range >, Range2 >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::range_map ( ) const

inline

References Range2.

◆ range_product() [1/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

typed::map< pair< Domain, Range >, pair< Range2, Arg3 > > isl::typed::map< pair< Domain, Range >, Range2 >::range_product ( const typed::basic_map< pair< Domain, Range >, Arg3 > & map2 ) const

inline

References map2.

◆ range_product() [2/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

typed::map< pair< Domain, Range >, pair< Range2, Arg3 > > isl::typed::map< pair< Domain, Range >, Range2 >::range_product ( const typed::map< pair< Domain, Range >, Arg3 > & map2 ) const

inline

References map2.

◆ range_product() [3/3]

template<typename Domain, typename Range, typename Range2>

template<typename Arg3>

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

inline

◆ range_reverse()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::range_reverse ( ) const

inlinedelete

References Range2.

◆ range_simple_fixed_box_hull()

template<typename Domain, typename Range, typename Range2>

typed::fixed_box< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::range_simple_fixed_box_hull ( ) const

inline

References Range2.

◆ reverse()

template<typename Domain, typename Range, typename Range2>

typed::map< Range2, pair< Domain, Range > > isl::typed::map< pair< Domain, Range >, Range2 >::reverse ( ) const

inline

◆ set_domain_tuple() [1/2]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::set_domain_tuple ( const std::string & id ) const

inlinedelete

References Range2.

◆ set_domain_tuple() [2/2]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::set_domain_tuple ( const typed::id<> & id ) const

inlinedelete

References Range2.

◆ set_range_tuple() [1/2]

template<typename Domain, typename Range, typename Range2>

template<typename Arg2>

typed::map< pair< Domain, Range >, Arg2 > isl::typed::map< pair< Domain, Range >, Range2 >::set_range_tuple ( const std::string & id ) const

inline

◆ set_range_tuple() [2/2]

template<typename Domain, typename Range, typename Range2>

template<typename Arg2>

typed::map< pair< Domain, Range >, Arg2 > isl::typed::map< pair< Domain, Range >, Range2 >::set_range_tuple ( const typed::id< Anonymous > & id ) const

inline

◆ space()

template<typename Domain, typename Range, typename Range2>

typed::space< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::space ( ) const

inline

References Range2.

◆ subtract() [1/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::subtract ( const typed::basic_map< pair< Domain, Range >, Range2 > & map2 ) const

inline

References map2, and Range2.

◆ subtract() [2/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::subtract ( const typed::map< pair< Domain, Range >, Range2 > & map2 ) const

inline

References map2, and Range2.

◆ subtract() [3/3]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::subtract ( const typed::union_map< pair< Domain, Range >, Range2 > & umap2 ) const

inline

References Range2.

◆ subtract_domain()

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::subtract_domain ( const typed::union_set< pair< Domain, Range > > & dom ) const

inline

References Range2.

◆ subtract_range()

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::subtract_range ( const typed::union_set< Range2 > & dom ) const

inline

References Range2.

◆ to_union_map()

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::to_union_map ( ) const

inline

References Range2.

◆ uncurry()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::uncurry ( ) const

inlinedelete

References Range2.

◆ unite() [1/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::unite ( const typed::basic_map< pair< Domain, Range >, Range2 > & map2 ) const

inline

References map2, and Range2.

◆ unite() [2/3]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::unite ( const typed::map< pair< Domain, Range >, Range2 > & map2 ) const

inline

References map2, and Range2.

◆ unite() [3/3]

template<typename Domain, typename Range, typename Range2>

typed::union_map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::unite ( const typed::union_map< pair< Domain, Range >, Range2 > & umap2 ) const

inline

References Range2.

◆ universe()

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::universe ( const typed::space< pair< Domain, Range >, Range2 > & space )

inlinestatic

References Range2, and space.

◆ upper_bound() [1/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::upper_bound ( const typed::aff< pair< Domain, Range >, Range2 > & upper ) const

inline

References Range2.

◆ upper_bound() [2/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::upper_bound ( const typed::multi_aff< pair< Domain, Range >, Range2 > & upper ) const

inline

References Range2.

◆ upper_bound() [3/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::upper_bound ( const typed::multi_pw_aff< pair< Domain, Range >, Range2 > & upper ) const

inline

References Range2.

◆ upper_bound() [4/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::upper_bound ( const typed::pw_aff< pair< Domain, Range >, Range2 > & upper ) const

inline

References Range2.

◆ upper_bound() [5/5]

template<typename Domain, typename Range, typename Range2>

typed::map< pair< Domain, Range >, Range2 > isl::typed::map< pair< Domain, Range >, Range2 >::upper_bound ( const typed::pw_multi_aff< pair< Domain, Range >, Range2 > & upper ) const

inline

References Range2.

◆ wrap()

template<typename Domain, typename Range, typename Range2>

typed::set< pair< pair< Domain, Range >, Range2 > > isl::typed::map< pair< Domain, Range >, Range2 >::wrap ( ) const

inline

References Range2.

◆ aff

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct aff

friend

Definition at line 3345 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct aff_list

friend

Definition at line 3347 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct basic_map

friend

Definition at line 3349 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct basic_set

friend

Definition at line 3351 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct fixed_box

friend

Definition at line 3353 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct id

friend

Definition at line 3355 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct id_list

friend

Definition at line 3357 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct map

friend

Definition at line 3359 of file typed_cpp.h.

References map.

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

◆ map_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct map_list

friend

Definition at line 3361 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct multi_aff

friend

Definition at line 3363 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct multi_id

friend

Definition at line 3365 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct multi_pw_aff

friend

Definition at line 3367 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct multi_union_pw_aff

friend

Definition at line 3369 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct multi_val

friend

Definition at line 3371 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct point

friend

Definition at line 3373 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct pw_aff

friend

Definition at line 3375 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct pw_aff_list

friend

Definition at line 3377 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct pw_multi_aff

friend

Definition at line 3379 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct pw_multi_aff_list

friend

Definition at line 3381 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct set

friend

Definition at line 3383 of file typed_cpp.h.

References set.

Referenced by intersect_domain(), intersect_domain(), intersect_domain(), intersect_range(), intersect_range(), intersect_range(), and set.

◆ set_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct set_list

friend

Definition at line 3385 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct space

friend

Definition at line 3387 of file typed_cpp.h.

References space.

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

◆ union_map

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct union_map

friend

Definition at line 3389 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct union_pw_aff

friend

Definition at line 3391 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct union_pw_aff_list

friend

Definition at line 3393 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, typename Range2>

template<typename...>

friend struct union_pw_multi_aff

friend

Definition at line 3395 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct union_set

friend

Definition at line 3397 of file typed_cpp.h.

References union_set.

Referenced by union_set.

◆ union_set_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct union_set_list

friend

Definition at line 3399 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct val

friend

Definition at line 3401 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename Domain, typename Range, typename Range2>

template<typename...>

friend struct val_list

friend

Definition at line 3403 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

Public Member Functions

Static Public Member Functions

Private Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ map() [1/5]

◆ map() [2/5]

◆ map() [3/5]

◆ map() [4/5]

◆ map() [5/5]

Member Function Documentation

◆ apply_domain() [1/3]

◆ apply_domain() [2/3]

◆ apply_domain() [3/3]

◆ apply_range() [1/3]

◆ apply_range() [2/3]

◆ apply_range() [3/3]

◆ as_map()

◆ as_multi_union_pw_aff()

◆ as_pw_multi_aff()

◆ as_union_pw_multi_aff()

◆ bind_domain()

◆ bind_range()

◆ coalesce()

◆ curry()

◆ deltas()

◆ detect_equalities()

◆ domain()

◆ domain_factor_domain()

◆ domain_factor_range()

◆ domain_map()

◆ domain_map_union_pw_multi_aff()

◆ domain_product() [1/3]

◆ domain_product() [2/3]

◆ domain_product() [3/3]

◆ domain_reverse()

◆ drop_unused_params()

◆ eq_at() [1/6]

◆ eq_at() [2/6]

◆ eq_at() [3/6]

◆ eq_at() [4/6]

◆ eq_at() [5/6]

◆ eq_at() [6/6]

◆ every_map()

◆ extract_map()

◆ flatten_domain()

◆ flatten_range()

◆ foreach_basic_map()

◆ foreach_map()

◆ from()

◆ get_domain_tuple_id()

◆ get_range_lattice_tile()

◆ get_range_simple_fixed_box_hull()

◆ get_range_tuple_id()

◆ get_space()

◆ gist() [1/3]

◆ gist() [2/3]

◆ gist() [3/3]

◆ gist_domain() [1/4]

◆ gist_domain() [2/4]

◆ gist_domain() [3/4]

◆ gist_domain() [4/4]

◆ gist_params() [1/3]

◆ gist_params() [2/3]

◆ gist_params() [3/3]

◆ intersect() [1/3]

◆ intersect() [2/3]

◆ intersect() [3/3]

◆ intersect_domain() [1/5]

◆ intersect_domain() [2/5]

◆ intersect_domain() [3/5]

◆ intersect_domain() [4/5]

◆ intersect_domain() [5/5]

◆ intersect_domain_wrapped_domain() [1/4]

◆ intersect_domain_wrapped_domain() [2/4]

◆ intersect_domain_wrapped_domain() [3/4]

◆ intersect_domain_wrapped_domain() [4/4]

◆ intersect_params() [1/3]