#include <typed_cpp.h>

Inheritance diagram for isl::typed::point< Domain >:

Public Member Functions
	point ()=default
template<typename Arg1, typename std::enable_if< std::is_base_of< Domain, Arg1 >{}, bool >::type = true>
	point (const point< Arg1 > &obj)
template<typename Range>
typed::basic_set< Range >	apply (const typed::basic_map< Domain, Range > &bmap) const
template<typename Range>
typed::set< Range >	apply (const typed::map< Domain, Range > &map) const
template<typename Range>
typed::union_set< Range >	apply (const typed::union_map< Domain, Range > &umap) const
typed::pw_multi_aff< Domain >	as_pw_multi_aff () const
typed::set< Domain >	as_set () const
typed::set	bind (const typed::multi_id< Domain > &tuple) const
typed::set< Domain >	coalesce () const
typed::basic_set< Domain >	detect_equalities () const
typed::set< Domain >	drop_unused_params () const
bool	every_set (const std::function< bool(typed::set< Domain >)> &test) const
typed::set< Domain >	extract_set (const typed::space< Domain > &space) const
void	foreach_basic_set (const std::function< void(typed::basic_set< Domain >)> &fn) const
void	foreach_point (const std::function< void(typed::point< Domain >)> &fn) const
void	foreach_set (const std::function< void(typed::set< Domain >)> &fn) const
typed::basic_set< Domain >	gist (const typed::basic_set< Domain > &context) const
typed::set< Domain >	gist (const typed::set< Domain > &context) const
typed::union_set< Domain >	gist (const typed::union_set< Domain > &context) const
typed::set< Domain >	gist_params (const typed::set<> &context) const
typed::map< Domain, Domain >	identity () const
typed::pw_aff< Domain, Anonymous >	indicator_function () const
template<typename Arg1>
typed::map< Arg1, Domain >	insert_domain (const typed::space< Arg1 > &domain) const
typed::basic_set< Domain >	intersect (const typed::basic_set< Domain > &bset2) const
typed::set< Domain >	intersect (const typed::set< Domain > &set2) const
typed::union_set< Domain >	intersect (const typed::union_set< Domain > &uset2) const
typed::basic_set< Domain >	intersect_params (const typed::basic_set<> &bset2) const
typed::set< Domain >	intersect_params (const typed::set<> &params) const
typed::fixed_box< Domain >	lattice_tile () const
typed::set< Domain >	lexmax () const
typed::pw_multi_aff< Domain >	lexmax_pw_multi_aff () const
typed::set< Domain >	lexmin () const
typed::pw_multi_aff< Domain >	lexmin_pw_multi_aff () const
typed::set< Domain >	lower_bound (const typed::multi_pw_aff< Domain > &lower) const
typed::set< Domain >	lower_bound (const typed::multi_val< Domain > &lower) const
typed::multi_pw_aff< Domain >	max_multi_pw_aff () const
typed::val< Domain >	max_val (const typed::aff<> &obj) const =delete
typed::multi_pw_aff< Domain >	min_multi_pw_aff () const
typed::val< Domain >	min_val (const typed::aff<> &obj) const =delete
typed::multi_val< Domain >	multi_val () const
typed::multi_val< Domain >	get_multi_val () const =delete
typed::pw_aff< Domain, Anonymous >	param_pw_aff_on_domain (const typed::id< Anonymous > &id) const
typed::pw_aff< Domain, Anonymous >	param_pw_aff_on_domain (const std::string &id) const
typed::basic_set	params () const
typed::multi_val< Domain >	plain_multi_val_if_fixed () const
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::multi_aff< Domain2, Domain > &ma) const
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::multi_pw_aff< Domain2, Domain > &mpa) const
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::pw_multi_aff< Domain2, Domain > &pma) const
template<typename Domain2>
typed::union_set< Domain2 >	preimage (const typed::union_pw_multi_aff< Domain2, Domain > &upma) const
template<typename Range>
typed::set< pair< Domain, Range > >	product (const typed::set< Range > &set2) const
typed::set< Domain >	project_out_all_params () const
typed::set< Domain >	project_out_param (const typed::id< Anonymous > &id) const
typed::set< Domain >	project_out_param (const std::string &id) const
typed::set< Domain >	project_out_param (const typed::id_list< Anonymous > &list) const
typed::pw_aff< Domain, Anonymous >	pw_aff_on_domain (const typed::val< Anonymous > &v) const
typed::pw_aff< Domain, Anonymous >	pw_aff_on_domain (long v) const
template<typename Range>
typed::pw_multi_aff< Domain, Range >	pw_multi_aff_on_domain (const typed::multi_val< Range > &mv) const
typed::set_list< Domain >	set_list () const
typed::fixed_box< Domain >	simple_fixed_box_hull () const
typed::space< Domain >	space () const
typed::set< Domain >	subtract (const typed::set< Domain > &set2) const
typed::union_set< Domain >	subtract (const typed::union_set< Domain > &uset2) const
typed::set< Domain >	to_set () const
typed::union_set< Domain >	to_union_set () const
typed::map< Domain, Domain >	translation () const
typed::set< Domain >	unbind_params (const typed::multi_id<> &tuple) const =delete
template<typename Arg1>
typed::map< Arg1, Domain >	unbind_params_insert_domain (const typed::multi_id< Arg1 > &domain) const
typed::set< Domain >	unite (const typed::basic_set< Domain > &bset2) const
typed::set< Domain >	unite (const typed::set< Domain > &set2) const
typed::union_set< Domain >	unite (const typed::union_set< Domain > &uset2) const
typed::map< Domain >	unwrap () const =delete
typed::set< Domain >	upper_bound (const typed::multi_pw_aff< Domain > &upper) const
typed::set< Domain >	upper_bound (const typed::multi_val< Domain > &upper) const
typed::set< Domain >	wrapped_reverse () const =delete
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>
struct isl::typed::point< Domain >

Definition at line 7033 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ point() [1/3]

template<typename Domain>

isl::typed::point< Domain >::point ( )

default

◆ point() [2/3]

template<typename Domain>

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

isl::typed::point< Domain >::point ( const point< Arg1 > & obj )

inline

Definition at line 7100 of file typed_cpp.h.

References obj, and point.

◆ point() [3/3]

template<typename Domain>

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

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

inlineprivate

Definition at line 7105 of file typed_cpp.h.

References obj, and point.

Member Function Documentation

◆ apply() [1/3]

template<typename Domain>

template<typename Range>

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

inline

◆ apply() [2/3]

template<typename Domain>

template<typename Range>

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

inline

References map.

◆ apply() [3/3]

template<typename Domain>

template<typename Range>

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

inline

◆ as_pw_multi_aff()

template<typename Domain>

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

inline

◆ as_set()

template<typename Domain>

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

inline

◆ bind()

template<typename Domain>

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

inline

References tuple.

◆ coalesce()

template<typename Domain>

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

inline

◆ detect_equalities()

template<typename Domain>

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

inline

◆ drop_unused_params()

template<typename Domain>

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

inline

◆ every_set()

template<typename Domain>

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

inline

References test.

◆ extract_set()

template<typename Domain>

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

inline

References space.

◆ foreach_basic_set()

template<typename Domain>

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

inline

References fn.

◆ foreach_point()

template<typename Domain>

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

inline

References fn.

◆ foreach_set()

template<typename Domain>

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

inline

References fn.

◆ from()

template<typename Domain>

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

inlinestatic

Definition at line 7107 of file typed_cpp.h.

References obj, point, and point.

◆ get_multi_val()

template<typename Domain>

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

inlinedelete

◆ gist() [1/3]

template<typename Domain>

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

inline

References context.

◆ gist() [2/3]

template<typename Domain>

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

inline

References context.

◆ gist() [3/3]

template<typename Domain>

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

inline

References context.

◆ gist_params()

template<typename Domain>

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

inline

References context.

◆ identity()

template<typename Domain>

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

inline

◆ indicator_function()

template<typename Domain>

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

inline

◆ insert_domain()

template<typename Domain>

template<typename Arg1>

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

inline

References domain.

◆ intersect() [1/3]

template<typename Domain>

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

inline

◆ intersect() [2/3]

template<typename Domain>

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

inline

References set2.

◆ intersect() [3/3]

template<typename Domain>

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

inline

◆ intersect_params() [1/2]

template<typename Domain>

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

inline

◆ intersect_params() [2/2]

template<typename Domain>

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

inline

References params().

◆ lattice_tile()

template<typename Domain>

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

inline

◆ lexmax()

template<typename Domain>

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

inline

◆ lexmax_pw_multi_aff()

template<typename Domain>

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

inline

◆ lexmin()

template<typename Domain>

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

inline

◆ lexmin_pw_multi_aff()

template<typename Domain>

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

inline

◆ lower_bound() [1/2]

template<typename Domain>

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

inline

◆ lower_bound() [2/2]

template<typename Domain>

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

inline

◆ max_multi_pw_aff()

template<typename Domain>

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

inline

◆ max_val()

template<typename Domain>

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

inlinedelete

References obj.

◆ min_multi_pw_aff()

template<typename Domain>

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

inline

◆ min_val()

template<typename Domain>

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

inlinedelete

References obj.

◆ multi_val()

template<typename Domain>

typed::multi_val< Domain > isl::typed::point< Domain >::multi_val ( ) const

inline

◆ param_pw_aff_on_domain() [1/2]

template<typename Domain>

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

inline

◆ param_pw_aff_on_domain() [2/2]

template<typename Domain>

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

inline

◆ params()

template<typename Domain>

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

inline

Referenced by intersect_params().

◆ plain_multi_val_if_fixed()

template<typename Domain>

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

inline

◆ preimage() [1/4]

template<typename Domain>

template<typename Domain2>

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

inline

References ma.

◆ preimage() [2/4]

template<typename Domain>

template<typename Domain2>

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

inline

◆ preimage() [3/4]

template<typename Domain>

template<typename Domain2>

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

inline

References pma.

◆ preimage() [4/4]

template<typename Domain>

template<typename Domain2>

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

inline

◆ product()

template<typename Domain>

template<typename Range>

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

inline

References set2.

◆ project_out_all_params()

template<typename Domain>

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

inline

◆ project_out_param() [1/3]

template<typename Domain>

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

inline

◆ project_out_param() [2/3]

template<typename Domain>

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

inline

◆ project_out_param() [3/3]

template<typename Domain>

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

inline

◆ pw_aff_on_domain() [1/2]

template<typename Domain>

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

inline

◆ pw_aff_on_domain() [2/2]

template<typename Domain>

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

inline

◆ pw_multi_aff_on_domain()

template<typename Domain>

template<typename Range>

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

inline

◆ set_list()

template<typename Domain>

typed::set_list< Domain > isl::typed::point< Domain >::set_list ( ) const

inline

◆ simple_fixed_box_hull()

template<typename Domain>

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

inline

◆ space()

template<typename Domain>

typed::space< Domain > isl::typed::point< Domain >::space ( ) const

inline

◆ subtract() [1/2]

template<typename Domain>

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

inline

References set2.

◆ subtract() [2/2]

template<typename Domain>

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

inline

◆ to_set()

template<typename Domain>

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

inline

◆ to_union_set()

template<typename Domain>

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

inline

◆ translation()

template<typename Domain>

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

inline

◆ unbind_params()

template<typename Domain>

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

inlinedelete

References tuple.

◆ unbind_params_insert_domain()

template<typename Domain>

template<typename Arg1>

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

inline

References domain.

◆ unite() [1/3]

template<typename Domain>

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

inline

◆ unite() [2/3]

template<typename Domain>

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

inline

References set2.

◆ unite() [3/3]

template<typename Domain>

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

inline

◆ unwrap()

template<typename Domain>

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

inlinedelete

◆ upper_bound() [1/2]

template<typename Domain>

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

inline

◆ upper_bound() [2/2]

template<typename Domain>

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

inline

◆ wrapped_reverse()

template<typename Domain>

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

inlinedelete

◆ aff

template<typename Domain>

template<typename...>

friend struct aff

friend

Definition at line 7035 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename Domain>

template<typename...>

friend struct aff_list

friend

Definition at line 7037 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename Domain>

template<typename...>

friend struct basic_map

friend

Definition at line 7039 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename Domain>

template<typename...>

friend struct basic_set

friend

Definition at line 7041 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename Domain>

template<typename...>

friend struct fixed_box

friend

Definition at line 7043 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename Domain>

template<typename...>

friend struct id

friend

Definition at line 7045 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename Domain>

template<typename...>

friend struct id_list

friend

Definition at line 7047 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename Domain>

template<typename...>

friend struct map

friend

Definition at line 7049 of file typed_cpp.h.

References map.

Referenced by apply(), and map.

◆ map_list

template<typename Domain>

template<typename...>

friend struct map_list

friend

Definition at line 7051 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename Domain>

template<typename...>

friend struct multi_aff

friend

Definition at line 7053 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename Domain>

template<typename...>

friend struct multi_id

friend

Definition at line 7055 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename Domain>

template<typename...>

friend struct multi_pw_aff

friend

Definition at line 7057 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename Domain>

template<typename...>

friend struct multi_union_pw_aff

friend

Definition at line 7059 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename Domain>

template<typename...>

friend struct multi_val

friend

Definition at line 7061 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename Domain>

template<typename...>

friend struct point

friend

Definition at line 7063 of file typed_cpp.h.

References point.

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

◆ pw_aff

template<typename Domain>

template<typename...>

friend struct pw_aff

friend

Definition at line 7065 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename Domain>

template<typename...>

friend struct pw_aff_list

friend

Definition at line 7067 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename Domain>

template<typename...>

friend struct pw_multi_aff

friend

Definition at line 7069 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename Domain>

template<typename...>

friend struct pw_multi_aff_list

friend

Definition at line 7071 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename Domain>

template<typename...>

friend struct set

friend

Definition at line 7073 of file typed_cpp.h.

References set.

Referenced by set.

◆ set_list

template<typename Domain>

template<typename...>

friend struct set_list

friend

Definition at line 7075 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename Domain>

template<typename...>

friend struct space

friend

Definition at line 7077 of file typed_cpp.h.

References space.

Referenced by extract_set(), and space.

◆ union_map

template<typename Domain>

template<typename...>

friend struct union_map

friend

Definition at line 7079 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename Domain>

template<typename...>

friend struct union_pw_aff

friend

Definition at line 7081 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename Domain>

template<typename...>

friend struct union_pw_aff_list

friend

Definition at line 7083 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename Domain>

template<typename...>

friend struct union_pw_multi_aff

friend

Definition at line 7085 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename Domain>

template<typename...>

friend struct union_set

friend

Definition at line 7087 of file typed_cpp.h.

References union_set.

Referenced by union_set.

◆ union_set_list

template<typename Domain>

template<typename...>

friend struct union_set_list

friend

Definition at line 7089 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename Domain>

template<typename...>

friend struct val

friend

Definition at line 7091 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename Domain>

template<typename...>

friend struct val_list

friend

Definition at line 7093 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]