#include <typed_cpp.h>

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

Public Member Functions
	point ()=default
template<typename Arg1, typename Arg2, typename std::enable_if< std::is_base_of< Domain, Arg1 >{} &&std::is_base_of< Range, Arg2 >{}, bool >::type = true>
	point (const point< pair< Arg1, Arg2 > > &obj)
template<typename Arg2>
typed::basic_set< Arg2 >	apply (const typed::basic_map< pair< Domain, Range >, Arg2 > &bmap) const
template<typename Arg2>
typed::set< Arg2 >	apply (const typed::map< pair< Domain, Range >, Arg2 > &map) const
template<typename Arg2>
typed::union_set< Arg2 >	apply (const typed::union_map< pair< Domain, Range >, Arg2 > &umap) const
typed::pw_multi_aff< pair< Domain, Range > >	as_pw_multi_aff () const
typed::set< pair< Domain, Range > >	as_set () const
typed::set	bind (const typed::multi_id< pair< Domain, Range > > &tuple) const
typed::set< pair< Domain, Range > >	coalesce () const
typed::basic_set< pair< Domain, Range > >	detect_equalities () const
typed::set< pair< Domain, Range > >	drop_unused_params () const
bool	every_set (const std::function< bool(typed::set< pair< Domain, Range > >)> &test) const
typed::set< pair< Domain, Range > >	extract_set (const typed::space< pair< Domain, Range > > &space) const
void	foreach_basic_set (const std::function< void(typed::basic_set< pair< Domain, Range > >)> &fn) const
void	foreach_point (const std::function< void(typed::point< pair< Domain, Range > >)> &fn) const
void	foreach_set (const std::function< void(typed::set< pair< Domain, Range > >)> &fn) const
typed::basic_set< pair< Domain, Range > >	gist (const typed::basic_set< pair< Domain, Range > > &context) const
typed::set< pair< Domain, Range > >	gist (const typed::set< pair< Domain, Range > > &context) const
typed::union_set< pair< Domain, Range > >	gist (const typed::union_set< pair< Domain, Range > > &context) const
typed::set< pair< Domain, Range > >	gist_params (const typed::set<> &context) const
typed::map< pair< Domain, Range >, pair< Domain, Range > >	identity () const
typed::pw_aff< pair< Domain, Range >, Anonymous >	indicator_function () const
template<typename Arg2>
typed::map< Arg2, pair< Domain, Range > >	insert_domain (const typed::space< Arg2 > &domain) const
typed::basic_set< pair< Domain, Range > >	intersect (const typed::basic_set< pair< Domain, Range > > &bset2) const
typed::set< pair< Domain, Range > >	intersect (const typed::set< pair< Domain, Range > > &set2) const
typed::union_set< pair< Domain, Range > >	intersect (const typed::union_set< pair< Domain, Range > > &uset2) const
typed::basic_set< pair< Domain, Range > >	intersect_params (const typed::basic_set<> &bset2) const
typed::set< pair< Domain, Range > >	intersect_params (const typed::set<> &params) const
typed::fixed_box< pair< Domain, Range > >	lattice_tile () const
typed::set< pair< Domain, Range > >	lexmax () const
typed::pw_multi_aff< pair< Domain, Range > >	lexmax_pw_multi_aff () const
typed::set< pair< Domain, Range > >	lexmin () const
typed::pw_multi_aff< pair< Domain, Range > >	lexmin_pw_multi_aff () const
typed::set< pair< Domain, Range > >	lower_bound (const typed::multi_pw_aff< pair< Domain, Range > > &lower) const
typed::set< pair< Domain, Range > >	lower_bound (const typed::multi_val< pair< Domain, Range > > &lower) const
typed::multi_pw_aff< pair< Domain, Range > >	max_multi_pw_aff () const
typed::val< pair< Domain, Range > >	max_val (const typed::aff<> &obj) const =delete
typed::multi_pw_aff< pair< Domain, Range > >	min_multi_pw_aff () const
typed::val< pair< Domain, Range > >	min_val (const typed::aff<> &obj) const =delete
typed::multi_val< pair< Domain, Range > >	multi_val () const
typed::multi_val< pair< Domain, Range > >	get_multi_val () const =delete
typed::pw_aff< pair< Domain, Range >, Anonymous >	param_pw_aff_on_domain (const typed::id< Anonymous > &id) const
typed::pw_aff< pair< Domain, Range >, Anonymous >	param_pw_aff_on_domain (const std::string &id) const
typed::basic_set	params () const
typed::multi_val< pair< Domain, Range > >	plain_multi_val_if_fixed () const
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::multi_aff< Domain2, pair< Domain, Range > > &ma) const
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::multi_pw_aff< Domain2, pair< Domain, Range > > &mpa) const
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::pw_multi_aff< Domain2, pair< Domain, Range > > &pma) const
template<typename Domain2>
typed::union_set< Domain2 >	preimage (const typed::union_pw_multi_aff< Domain2, pair< Domain, Range > > &upma) const
template<typename Arg2>
typed::set< pair< pair< Domain, Range >, Arg2 > >	product (const typed::set< Arg2 > &set2) const
typed::set< pair< Domain, Range > >	project_out_all_params () const
typed::set< pair< Domain, Range > >	project_out_param (const typed::id< Anonymous > &id) const
typed::set< pair< Domain, Range > >	project_out_param (const std::string &id) const
typed::set< pair< Domain, Range > >	project_out_param (const typed::id_list< Anonymous > &list) const
typed::pw_aff< pair< Domain, Range >, Anonymous >	pw_aff_on_domain (const typed::val< Anonymous > &v) const
typed::pw_aff< pair< Domain, Range >, Anonymous >	pw_aff_on_domain (long v) const
template<typename Arg2>
typed::pw_multi_aff< pair< Domain, Range >, Arg2 >	pw_multi_aff_on_domain (const typed::multi_val< Arg2 > &mv) const
typed::set_list< pair< Domain, Range > >	set_list () const
typed::fixed_box< pair< Domain, Range > >	simple_fixed_box_hull () const
typed::space< pair< Domain, Range > >	space () const
typed::set< pair< Domain, Range > >	subtract (const typed::set< pair< Domain, Range > > &set2) const
typed::union_set< pair< Domain, Range > >	subtract (const typed::union_set< pair< Domain, Range > > &uset2) const
typed::set< pair< Domain, Range > >	to_set () const
typed::union_set< pair< Domain, Range > >	to_union_set () const
typed::map< pair< Domain, Range >, pair< Domain, Range > >	translation () const
typed::set< pair< Domain, Range > >	unbind_params (const typed::multi_id<> &tuple) const =delete
template<typename Arg2>
typed::map< Arg2, pair< Domain, Range > >	unbind_params_insert_domain (const typed::multi_id< Arg2 > &domain) const
typed::set< pair< Domain, Range > >	unite (const typed::basic_set< pair< Domain, Range > > &bset2) const
typed::set< pair< Domain, Range > >	unite (const typed::set< pair< Domain, Range > > &set2) const
typed::union_set< pair< Domain, Range > >	unite (const typed::union_set< pair< Domain, Range > > &uset2) const
typed::map< Domain, Range >	unwrap () const
typed::set< pair< Domain, Range > >	upper_bound (const typed::multi_pw_aff< pair< Domain, Range > > &upper) const
typed::set< pair< Domain, Range > >	upper_bound (const typed::multi_val< pair< Domain, Range > > &upper) const
typed::set< pair< Range, Domain > >	wrapped_reverse () const
Public Member Functions inherited from isl::checked::point
	point ()
	point (const point &obj)
point &	operator= (point obj)
	~point ()
__isl_give isl_point *	copy () const &
__isl_give isl_point *	copy () &&=delete
__isl_keep isl_point *	get () const
__isl_give isl_point *	release ()
bool	is_null () const
isl::checked::ctx	ctx () const
isl::checked::basic_set	affine_hull () const
isl::checked::basic_set	apply (const isl::checked::basic_map &bmap) const
isl::checked::set	apply (const isl::checked::map &map) const
isl::checked::union_set	apply (const isl::checked::union_map &umap) const
isl::checked::pw_multi_aff	as_pw_multi_aff () const
isl::checked::set	as_set () const
isl::checked::set	bind (const isl::checked::multi_id &tuple) const
isl::checked::set	coalesce () const
isl::checked::set	complement () const
isl::checked::union_set	compute_divs () const
isl::checked::basic_set	detect_equalities () const
isl::checked::val	dim_max_val (int pos) const
isl::checked::val	dim_min_val (int pos) const
isl::checked::set	drop_unused_params () const
boolean	every_set (const std::function< boolean(isl::checked::set)> &test) const
isl::checked::set	extract_set (const isl::checked::space &space) const
isl::checked::basic_set	flatten () const
stat	foreach_basic_set (const std::function< stat(isl::checked::basic_set)> &fn) const
stat	foreach_point (const std::function< stat(isl::checked::point)> &fn) const
stat	foreach_set (const std::function< stat(isl::checked::set)> &fn) const
isl::checked::basic_set	gist (const isl::checked::basic_set &context) const
isl::checked::set	gist (const isl::checked::set &context) const
isl::checked::union_set	gist (const isl::checked::union_set &context) const
isl::checked::set	gist_params (const isl::checked::set &context) const
isl::checked::map	identity () const
isl::checked::pw_aff	indicator_function () const
isl::checked::map	insert_domain (const isl::checked::space &domain) const
isl::checked::basic_set	intersect (const isl::checked::basic_set &bset2) const
isl::checked::set	intersect (const isl::checked::set &set2) const
isl::checked::union_set	intersect (const isl::checked::union_set &uset2) const
isl::checked::basic_set	intersect_params (const isl::checked::basic_set &bset2) const
isl::checked::set	intersect_params (const isl::checked::set &params) const
boolean	involves_locals () const
boolean	is_disjoint (const isl::checked::set &set2) const
boolean	is_disjoint (const isl::checked::union_set &uset2) const
boolean	is_empty () const
boolean	is_equal (const isl::checked::basic_set &bset2) const
boolean	is_equal (const isl::checked::set &set2) const
boolean	is_equal (const isl::checked::union_set &uset2) const
boolean	is_singleton () const
boolean	is_strict_subset (const isl::checked::set &set2) const
boolean	is_strict_subset (const isl::checked::union_set &uset2) const
boolean	is_subset (const isl::checked::basic_set &bset2) const
boolean	is_subset (const isl::checked::set &set2) const
boolean	is_subset (const isl::checked::union_set &uset2) const
boolean	is_wrapping () const
boolean	isa_set () const
isl::checked::fixed_box	lattice_tile () const
isl::checked::set	lexmax () const
isl::checked::pw_multi_aff	lexmax_pw_multi_aff () const
isl::checked::set	lexmin () const
isl::checked::pw_multi_aff	lexmin_pw_multi_aff () const
isl::checked::set	lower_bound (const isl::checked::multi_pw_aff &lower) const
isl::checked::set	lower_bound (const isl::checked::multi_val &lower) const
isl::checked::multi_pw_aff	max_multi_pw_aff () const
isl::checked::val	max_val (const isl::checked::aff &obj) const
isl::checked::multi_pw_aff	min_multi_pw_aff () const
isl::checked::val	min_val (const isl::checked::aff &obj) const
isl::checked::multi_val	multi_val () const
isl::checked::multi_val	get_multi_val () const
class size	n_basic_set () const
isl::checked::pw_aff	param_pw_aff_on_domain (const isl::checked::id &id) const
isl::checked::pw_aff	param_pw_aff_on_domain (const std::string &id) const
isl::checked::basic_set	params () const
isl::checked::multi_val	plain_multi_val_if_fixed () const
isl::checked::basic_set	polyhedral_hull () const
isl::checked::set	preimage (const isl::checked::multi_aff &ma) const
isl::checked::set	preimage (const isl::checked::multi_pw_aff &mpa) const
isl::checked::set	preimage (const isl::checked::pw_multi_aff &pma) const
isl::checked::union_set	preimage (const isl::checked::union_pw_multi_aff &upma) const
isl::checked::set	product (const isl::checked::set &set2) const
isl::checked::set	project_out_all_params () const
isl::checked::set	project_out_param (const isl::checked::id &id) const
isl::checked::set	project_out_param (const std::string &id) const
isl::checked::set	project_out_param (const isl::checked::id_list &list) const
isl::checked::pw_aff	pw_aff_on_domain (const isl::checked::val &v) const
isl::checked::pw_aff	pw_aff_on_domain (long v) const
isl::checked::pw_multi_aff	pw_multi_aff_on_domain (const isl::checked::multi_val &mv) const
isl::checked::basic_set	sample () const
isl::checked::point	sample_point () const
isl::checked::set_list	set_list () const
isl::checked::fixed_box	simple_fixed_box_hull () const
isl::checked::space	space () const
isl::checked::val	stride (int pos) const
isl::checked::set	subtract (const isl::checked::set &set2) const
isl::checked::union_set	subtract (const isl::checked::union_set &uset2) const
isl::checked::set_list	to_list () const
isl::checked::set	to_set () const
isl::checked::union_set	to_union_set () const
isl::checked::map	translation () const
class size	tuple_dim () const
isl::checked::set	unbind_params (const isl::checked::multi_id &tuple) const
isl::checked::map	unbind_params_insert_domain (const isl::checked::multi_id &domain) const
isl::checked::set	unite (const isl::checked::basic_set &bset2) const
isl::checked::set	unite (const isl::checked::set &set2) const
isl::checked::union_set	unite (const isl::checked::union_set &uset2) const
isl::checked::basic_set	unshifted_simple_hull () const
isl::checked::map	unwrap () const
isl::checked::set	upper_bound (const isl::checked::multi_pw_aff &upper) const
isl::checked::set	upper_bound (const isl::checked::multi_val &upper) const
isl::checked::set	wrapped_reverse () const

Static Public Member Functions
static point	from (const isl::point &obj)

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

Detailed Description

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

Definition at line 7196 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ point() [1/3]

template<typename Domain, typename Range>

isl::typed::point< pair< Domain, Range > >::point ( )

default

◆ point() [2/3]

template<typename Domain, typename Range>

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

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

inline

Definition at line 7264 of file typed_cpp.h.

References obj, and point.

◆ point() [3/3]

template<typename Domain, typename Range>

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

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

inlineprivate

Definition at line 7269 of file typed_cpp.h.

References obj, and point.

Member Function Documentation

◆ apply() [1/3]

template<typename Domain, typename Range>

template<typename Arg2>

typed::basic_set< Arg2 > isl::typed::point< pair< Domain, Range > >::apply ( const typed::basic_map< pair< Domain, Range >, Arg2 > & bmap ) const

inline

◆ apply() [2/3]

template<typename Domain, typename Range>

template<typename Arg2>

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

inline

References map.

◆ apply() [3/3]

template<typename Domain, typename Range>

template<typename Arg2>

typed::union_set< Arg2 > isl::typed::point< pair< Domain, Range > >::apply ( const typed::union_map< pair< Domain, Range >, Arg2 > & umap ) const

inline

◆ as_pw_multi_aff()

template<typename Domain, typename Range>

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

inline

◆ as_set()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::as_set ( ) const

inline

◆ bind()

template<typename Domain, typename Range>

typed::set isl::typed::point< pair< Domain, Range > >::bind ( const typed::multi_id< pair< Domain, Range > > & tuple ) const

inline

References tuple.

◆ coalesce()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::coalesce ( ) const

inline

◆ detect_equalities()

template<typename Domain, typename Range>

typed::basic_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::detect_equalities ( ) const

inline

◆ drop_unused_params()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::drop_unused_params ( ) const

inline

◆ every_set()

template<typename Domain, typename Range>

bool isl::typed::point< pair< Domain, Range > >::every_set ( const std::function< bool(typed::set< pair< Domain, Range > >)> & test ) const

inline

References test.

◆ extract_set()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::extract_set ( const typed::space< pair< Domain, Range > > & space ) const

inline

References space.

◆ foreach_basic_set()

template<typename Domain, typename Range>

void isl::typed::point< pair< Domain, Range > >::foreach_basic_set ( const std::function< void(typed::basic_set< pair< Domain, Range > >)> & fn ) const

inline

References fn.

◆ foreach_point()

template<typename Domain, typename Range>

void isl::typed::point< pair< Domain, Range > >::foreach_point ( const std::function< void(typed::point< pair< Domain, Range > >)> & fn ) const

inline

References fn.

◆ foreach_set()

template<typename Domain, typename Range>

void isl::typed::point< pair< Domain, Range > >::foreach_set ( const std::function< void(typed::set< pair< Domain, Range > >)> & fn ) const

inline

References fn.

◆ from()

template<typename Domain, typename Range>

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

inlinestatic

Definition at line 7271 of file typed_cpp.h.

References obj, point, and point.

◆ get_multi_val()

template<typename Domain, typename Range>

typed::multi_val< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::get_multi_val ( ) const

inlinedelete

◆ gist() [1/3]

template<typename Domain, typename Range>

typed::basic_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::gist ( const typed::basic_set< pair< Domain, Range > > & context ) const

inline

References context.

◆ gist() [2/3]

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::gist ( const typed::set< pair< Domain, Range > > & context ) const

inline

References context.

◆ gist() [3/3]

template<typename Domain, typename Range>

typed::union_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::gist ( const typed::union_set< pair< Domain, Range > > & context ) const

inline

References context.

◆ gist_params()

template<typename Domain, typename Range>

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

inline

References context.

◆ identity()

template<typename Domain, typename Range>

typed::map< pair< Domain, Range >, pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::identity ( ) const

inline

◆ indicator_function()

template<typename Domain, typename Range>

typed::pw_aff< pair< Domain, Range >, Anonymous > isl::typed::point< pair< Domain, Range > >::indicator_function ( ) const

inline

References Anonymous.

◆ insert_domain()

template<typename Domain, typename Range>

template<typename Arg2>

typed::map< Arg2, pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::insert_domain ( const typed::space< Arg2 > & domain ) const

inline

References domain.

◆ intersect() [1/3]

template<typename Domain, typename Range>

typed::basic_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::intersect ( const typed::basic_set< pair< Domain, Range > > & bset2 ) const

inline

◆ intersect() [2/3]

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::intersect ( const typed::set< pair< Domain, Range > > & set2 ) const

inline

References set2.

◆ intersect() [3/3]

template<typename Domain, typename Range>

typed::union_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::intersect ( const typed::union_set< pair< Domain, Range > > & uset2 ) const

inline

◆ intersect_params() [1/2]

template<typename Domain, typename Range>

typed::basic_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::intersect_params ( const typed::basic_set<> & bset2 ) const

inline

◆ intersect_params() [2/2]

template<typename Domain, typename Range>

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

inline

References params().

◆ lattice_tile()

template<typename Domain, typename Range>

typed::fixed_box< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::lattice_tile ( ) const

inline

◆ lexmax()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::lexmax ( ) const

inline

◆ lexmax_pw_multi_aff()

template<typename Domain, typename Range>

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

inline

◆ lexmin()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::lexmin ( ) const

inline

◆ lexmin_pw_multi_aff()

template<typename Domain, typename Range>

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

inline

◆ lower_bound() [1/2]

template<typename Domain, typename Range>

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

inline

◆ lower_bound() [2/2]

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::lower_bound ( const typed::multi_val< pair< Domain, Range > > & lower ) const

inline

◆ max_multi_pw_aff()

template<typename Domain, typename Range>

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

inline

◆ max_val()

template<typename Domain, typename Range>

typed::val< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::max_val ( const typed::aff<> & obj ) const

inlinedelete

References obj.

◆ min_multi_pw_aff()

template<typename Domain, typename Range>

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

inline

◆ min_val()

template<typename Domain, typename Range>

typed::val< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::min_val ( const typed::aff<> & obj ) const

inlinedelete

References obj.

◆ multi_val()

template<typename Domain, typename Range>

typed::multi_val< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::multi_val ( ) const

inline

◆ param_pw_aff_on_domain() [1/2]

template<typename Domain, typename Range>

typed::pw_aff< pair< Domain, Range >, Anonymous > isl::typed::point< pair< Domain, Range > >::param_pw_aff_on_domain ( const std::string & id ) const

inline

References Anonymous.

◆ param_pw_aff_on_domain() [2/2]

template<typename Domain, typename Range>

typed::pw_aff< pair< Domain, Range >, Anonymous > isl::typed::point< pair< Domain, Range > >::param_pw_aff_on_domain ( const typed::id< Anonymous > & id ) const

inline

References Anonymous.

◆ params()

template<typename Domain, typename Range>

typed::basic_set isl::typed::point< pair< Domain, Range > >::params ( ) const

inline

Referenced by intersect_params().

◆ plain_multi_val_if_fixed()

template<typename Domain, typename Range>

typed::multi_val< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::plain_multi_val_if_fixed ( ) const

inline

◆ preimage() [1/4]

template<typename Domain, typename Range>

template<typename Domain2>

typed::set< Domain2 > isl::typed::point< pair< Domain, Range > >::preimage ( const typed::multi_aff< Domain2, pair< Domain, Range > > & ma ) const

inline

References Domain2, and ma.

◆ preimage() [2/4]

template<typename Domain, typename Range>

template<typename Domain2>

typed::set< Domain2 > isl::typed::point< pair< Domain, Range > >::preimage ( const typed::multi_pw_aff< Domain2, pair< Domain, Range > > & mpa ) const

inline

References Domain2.

◆ preimage() [3/4]

template<typename Domain, typename Range>

template<typename Domain2>

typed::set< Domain2 > isl::typed::point< pair< Domain, Range > >::preimage ( const typed::pw_multi_aff< Domain2, pair< Domain, Range > > & pma ) const

inline

References Domain2, and pma.

◆ preimage() [4/4]

template<typename Domain, typename Range>

template<typename Domain2>

typed::union_set< Domain2 > isl::typed::point< pair< Domain, Range > >::preimage ( const typed::union_pw_multi_aff< Domain2, pair< Domain, Range > > & upma ) const

inline

References Domain2.

◆ product()

template<typename Domain, typename Range>

template<typename Arg2>

typed::set< pair< pair< Domain, Range >, Arg2 > > isl::typed::point< pair< Domain, Range > >::product ( const typed::set< Arg2 > & set2 ) const

inline

References set2.

◆ project_out_all_params()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::project_out_all_params ( ) const

inline

◆ project_out_param() [1/3]

template<typename Domain, typename Range>

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

inline

◆ project_out_param() [2/3]

template<typename Domain, typename Range>

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

inline

◆ project_out_param() [3/3]

template<typename Domain, typename Range>

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

inline

◆ pw_aff_on_domain() [1/2]

template<typename Domain, typename Range>

typed::pw_aff< pair< Domain, Range >, Anonymous > isl::typed::point< pair< Domain, Range > >::pw_aff_on_domain ( const typed::val< Anonymous > & v ) const

inline

References Anonymous.

◆ pw_aff_on_domain() [2/2]

template<typename Domain, typename Range>

typed::pw_aff< pair< Domain, Range >, Anonymous > isl::typed::point< pair< Domain, Range > >::pw_aff_on_domain ( long v ) const

inline

References Anonymous.

◆ pw_multi_aff_on_domain()

template<typename Domain, typename Range>

template<typename Arg2>

typed::pw_multi_aff< pair< Domain, Range >, Arg2 > isl::typed::point< pair< Domain, Range > >::pw_multi_aff_on_domain ( const typed::multi_val< Arg2 > & mv ) const

inline

◆ set_list()

template<typename Domain, typename Range>

typed::set_list< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::set_list ( ) const

inline

◆ simple_fixed_box_hull()

template<typename Domain, typename Range>

typed::fixed_box< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::simple_fixed_box_hull ( ) const

inline

◆ space()

template<typename Domain, typename Range>

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

inline

◆ subtract() [1/2]

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::subtract ( const typed::set< pair< Domain, Range > > & set2 ) const

inline

References set2.

◆ subtract() [2/2]

template<typename Domain, typename Range>

typed::union_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::subtract ( const typed::union_set< pair< Domain, Range > > & uset2 ) const

inline

◆ to_set()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::to_set ( ) const

inline

◆ to_union_set()

template<typename Domain, typename Range>

typed::union_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::to_union_set ( ) const

inline

◆ translation()

template<typename Domain, typename Range>

typed::map< pair< Domain, Range >, pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::translation ( ) const

inline

◆ unbind_params()

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::unbind_params ( const typed::multi_id<> & tuple ) const

inlinedelete

References tuple.

◆ unbind_params_insert_domain()

template<typename Domain, typename Range>

template<typename Arg2>

typed::map< Arg2, pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::unbind_params_insert_domain ( const typed::multi_id< Arg2 > & domain ) const

inline

References domain.

◆ unite() [1/3]

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::unite ( const typed::basic_set< pair< Domain, Range > > & bset2 ) const

inline

◆ unite() [2/3]

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::unite ( const typed::set< pair< Domain, Range > > & set2 ) const

inline

References set2.

◆ unite() [3/3]

template<typename Domain, typename Range>

typed::union_set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::unite ( const typed::union_set< pair< Domain, Range > > & uset2 ) const

inline

◆ unwrap()

template<typename Domain, typename Range>

typed::map< Domain, Range > isl::typed::point< pair< Domain, Range > >::unwrap ( ) const

inline

◆ upper_bound() [1/2]

template<typename Domain, typename Range>

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

inline

◆ upper_bound() [2/2]

template<typename Domain, typename Range>

typed::set< pair< Domain, Range > > isl::typed::point< pair< Domain, Range > >::upper_bound ( const typed::multi_val< pair< Domain, Range > > & upper ) const

inline

◆ wrapped_reverse()

template<typename Domain, typename Range>

typed::set< pair< Range, Domain > > isl::typed::point< pair< Domain, Range > >::wrapped_reverse ( ) const

inline

◆ aff

template<typename Domain, typename Range>

template<typename...>

friend struct aff

friend

Definition at line 7198 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename Domain, typename Range>

template<typename...>

friend struct aff_list

friend

Definition at line 7200 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename Domain, typename Range>

template<typename...>

friend struct basic_map

friend

Definition at line 7202 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename Domain, typename Range>

template<typename...>

friend struct basic_set

friend

Definition at line 7204 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename Domain, typename Range>

template<typename...>

friend struct fixed_box

friend

Definition at line 7206 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename Domain, typename Range>

template<typename...>

friend struct id

friend

Definition at line 7208 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename Domain, typename Range>

template<typename...>

friend struct id_list

friend

Definition at line 7210 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename Domain, typename Range>

template<typename...>

friend struct map

friend

Definition at line 7212 of file typed_cpp.h.

References map.

Referenced by apply(), and map.

◆ map_list

template<typename Domain, typename Range>

template<typename...>

friend struct map_list

friend

Definition at line 7214 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename Domain, typename Range>

template<typename...>

friend struct multi_aff

friend

Definition at line 7216 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename Domain, typename Range>

template<typename...>

friend struct multi_id

friend

Definition at line 7218 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename Domain, typename Range>

template<typename...>

friend struct multi_pw_aff

friend

Definition at line 7220 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename Domain, typename Range>

template<typename...>

friend struct multi_union_pw_aff

friend

Definition at line 7222 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename Domain, typename Range>

template<typename...>

friend struct multi_val

friend

Definition at line 7224 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename Domain, typename Range>

template<typename...>

friend struct point

friend

Definition at line 7226 of file typed_cpp.h.

References point.

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

◆ pw_aff

template<typename Domain, typename Range>

template<typename...>

friend struct pw_aff

friend

Definition at line 7228 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename Domain, typename Range>

template<typename...>

friend struct pw_aff_list

friend

Definition at line 7230 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename Domain, typename Range>

template<typename...>

friend struct pw_multi_aff

friend

Definition at line 7232 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename Domain, typename Range>

template<typename...>

friend struct pw_multi_aff_list

friend

Definition at line 7234 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename Domain, typename Range>

template<typename...>

friend struct set

friend

Definition at line 7236 of file typed_cpp.h.

References set.

Referenced by set.

◆ set_list

template<typename Domain, typename Range>

template<typename...>

friend struct set_list

friend

Definition at line 7238 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename Domain, typename Range>

template<typename...>

friend struct space

friend

Definition at line 7240 of file typed_cpp.h.

References space.

Referenced by extract_set(), and space.

◆ union_map

template<typename Domain, typename Range>

template<typename...>

friend struct union_map

friend

Definition at line 7242 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename Domain, typename Range>

template<typename...>

friend struct union_pw_aff

friend

Definition at line 7244 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename Domain, typename Range>

template<typename...>

friend struct union_pw_aff_list

friend

Definition at line 7246 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename Domain, typename Range>

template<typename...>

friend struct union_pw_multi_aff

friend

Definition at line 7248 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename Domain, typename Range>

template<typename...>

friend struct union_set

friend

Definition at line 7250 of file typed_cpp.h.

References union_set.

Referenced by union_set.

◆ union_set_list

template<typename Domain, typename Range>

template<typename...>

friend struct union_set_list

friend

Definition at line 7252 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename Domain, typename Range>

template<typename...>

friend struct val

friend

Definition at line 7254 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename Domain, typename Range>

template<typename...>

friend struct val_list

friend

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

◆ point() [1/3]

◆ point() [2/3]

◆ point() [3/3]

Member Function Documentation

◆ apply() [1/3]

◆ apply() [2/3]

◆ apply() [3/3]

◆ as_pw_multi_aff()

◆ as_set()

◆ bind()

◆ coalesce()

◆ detect_equalities()

◆ drop_unused_params()

◆ every_set()

◆ extract_set()

◆ foreach_basic_set()

◆ foreach_point()

◆ foreach_set()

◆ from()

◆ get_multi_val()

◆ gist() [1/3]

◆ gist() [2/3]

◆ gist() [3/3]

◆ gist_params()

◆ identity()

◆ indicator_function()

◆ insert_domain()

◆ intersect() [1/3]

◆ intersect() [2/3]

◆ intersect() [3/3]

◆ intersect_params() [1/2]

◆ intersect_params() [2/2]

◆ lattice_tile()

◆ lexmax()

◆ lexmax_pw_multi_aff()

◆ lexmin()

◆ lexmin_pw_multi_aff()

◆ lower_bound() [1/2]

◆ lower_bound() [2/2]

◆ max_multi_pw_aff()

◆ max_val()

◆ min_multi_pw_aff()

◆ min_val()

◆ multi_val()

◆ param_pw_aff_on_domain() [1/2]

◆ param_pw_aff_on_domain() [2/2]

◆ params()

◆ plain_multi_val_if_fixed()

◆ preimage() [1/4]

◆ preimage() [2/4]

◆ preimage() [3/4]

◆ preimage() [4/4]

◆ product()

◆ project_out_all_params()

◆ project_out_param() [1/3]

◆ project_out_param() [2/3]

◆ project_out_param() [3/3]

◆ pw_aff_on_domain() [1/2]

◆ pw_aff_on_domain() [2/2]

◆ pw_multi_aff_on_domain()

◆ set_list()

◆ simple_fixed_box_hull()

◆ space()

◆ subtract() [1/2]

◆ subtract() [2/2]

◆ to_set()

◆ to_union_set()

◆ translation()

◆ unbind_params()

◆ unbind_params_insert_domain()

◆ unite() [1/3]

◆ unite() [2/3]

◆ unite() [3/3]