#include <typed_cpp.h>

Inheritance diagram for isl::typed::space<>:

Public Member Functions
	space ()=default
	space (const isl::ctx &ctx, const std::string &str)
template<typename Domain>
typed::space< Domain >	add_named_tuple (const typed::id< Anonymous > &tuple_id, unsigned int dim) const
template<typename Domain>
typed::space< Domain >	add_named_tuple (const std::string &tuple_id, unsigned int dim) const
typed::space	add_param (const typed::id< Anonymous > &id) const
typed::space	add_param (const std::string &id) const
template<typename Domain>
typed::space< Domain >	add_unnamed_tuple (unsigned int dim) const
typed::space	curry () const =delete
typed::space	domain () const =delete
typed::multi_aff	domain_map_multi_aff () const =delete
typed::pw_multi_aff	domain_map_pw_multi_aff () const =delete
typed::space	domain_reverse () const =delete
typed::id	get_domain_tuple_id () const =delete
typed::space	drop_all_params () const
typed::space	flatten_domain () const =delete
typed::space	flatten_range () const =delete
typed::multi_aff	identity_multi_aff_on_domain () const =delete
typed::multi_pw_aff	identity_multi_pw_aff_on_domain () const =delete
typed::pw_multi_aff	identity_pw_multi_aff_on_domain () const =delete
typed::space	map_from_set () const =delete
typed::multi_aff	multi_aff (const typed::aff_list<> &list) const =delete
template<typename Domain>
typed::multi_aff< Domain >	multi_aff_on_domain (const typed::multi_val< Domain > &mv) const
typed::multi_id	multi_id (const typed::id_list<> &list) const =delete
typed::multi_pw_aff	multi_pw_aff (const typed::pw_aff_list<> &list) const =delete
typed::multi_union_pw_aff	multi_union_pw_aff (const typed::union_pw_aff_list<> &list) const =delete
typed::multi_val	multi_val (const typed::val_list<> &list) const =delete
typed::aff< Anonymous >	param_aff_on_domain (const typed::id< Anonymous > &id) const
typed::aff< Anonymous >	param_aff_on_domain (const std::string &id) const
typed::space	params () const =delete
typed::space	product (const typed::space<> &right) const =delete
typed::space	range () const =delete
typed::multi_aff	range_map_multi_aff () const =delete
typed::pw_multi_aff	range_map_pw_multi_aff () const =delete
typed::space	range_reverse () const =delete
typed::id	get_range_tuple_id () const =delete
typed::space	reverse () const =delete
typed::space	set_domain_tuple (const typed::id<> &id) const =delete
typed::space	set_domain_tuple (const std::string &id) const =delete
typed::space	set_range_tuple (const typed::id<> &id) const =delete
typed::space	set_range_tuple (const std::string &id) const =delete
typed::space	uncurry () const =delete
typed::map	universe_map () const =delete
typed::set	universe_set () const
typed::space	unwrap () const =delete
typed::space	wrap () const =delete
typed::space	wrapped_reverse () const =delete
typed::aff	zero_aff_on_domain () const =delete
typed::multi_aff	zero_multi_aff () const =delete
typed::multi_pw_aff	zero_multi_pw_aff () const =delete
typed::multi_union_pw_aff	zero_multi_union_pw_aff () const =delete
typed::multi_val	zero_multi_val () const =delete
Public Member Functions inherited from isl::checked::space
	space ()
	space (const space &obj)
	space (isl::checked::ctx ctx, const std::string &str)
space &	operator= (space obj)
	~space ()
__isl_give isl_space *	copy () const &
__isl_give isl_space *	copy () &&=delete
__isl_keep isl_space *	get () const
__isl_give isl_space *	release ()
bool	is_null () const
isl::checked::ctx	ctx () const
isl::checked::space	add_named_tuple (isl::checked::id tuple_id, unsigned int dim) const
isl::checked::space	add_named_tuple (const std::string &tuple_id, unsigned int dim) const
isl::checked::space	add_param (isl::checked::id id) const
isl::checked::space	add_param (const std::string &id) const
isl::checked::space	add_unnamed_tuple (unsigned int dim) const
isl::checked::space	curry () const
isl::checked::space	domain () const
isl::checked::multi_aff	domain_map_multi_aff () const
isl::checked::pw_multi_aff	domain_map_pw_multi_aff () const
isl::checked::space	domain_reverse () const
isl::checked::id	domain_tuple_id () const
isl::checked::id	get_domain_tuple_id () const
isl::checked::space	drop_all_params () const
isl::checked::space	flatten_domain () const
isl::checked::space	flatten_range () const
boolean	has_domain_tuple_id () const
boolean	has_range_tuple_id () const
isl::checked::multi_aff	identity_multi_aff_on_domain () const
isl::checked::multi_pw_aff	identity_multi_pw_aff_on_domain () const
isl::checked::pw_multi_aff	identity_pw_multi_aff_on_domain () const
boolean	is_equal (const isl::checked::space &space2) const
boolean	is_wrapping () const
isl::checked::space	map_from_set () const
isl::checked::multi_aff	multi_aff (isl::checked::aff_list list) const
isl::checked::multi_aff	multi_aff_on_domain (isl::checked::multi_val mv) const
isl::checked::multi_id	multi_id (isl::checked::id_list list) const
isl::checked::multi_pw_aff	multi_pw_aff (isl::checked::pw_aff_list list) const
isl::checked::multi_union_pw_aff	multi_union_pw_aff (isl::checked::union_pw_aff_list list) const
isl::checked::multi_val	multi_val (isl::checked::val_list list) const
isl::checked::aff	param_aff_on_domain (isl::checked::id id) const
isl::checked::aff	param_aff_on_domain (const std::string &id) const
isl::checked::space	params () const
isl::checked::space	product (isl::checked::space right) const
isl::checked::space	range () const
isl::checked::multi_aff	range_map_multi_aff () const
isl::checked::pw_multi_aff	range_map_pw_multi_aff () const
isl::checked::space	range_reverse () const
isl::checked::id	range_tuple_id () const
isl::checked::id	get_range_tuple_id () const
isl::checked::space	reverse () const
isl::checked::space	set_domain_tuple (isl::checked::id id) const
isl::checked::space	set_domain_tuple (const std::string &id) const
isl::checked::space	set_range_tuple (isl::checked::id id) const
isl::checked::space	set_range_tuple (const std::string &id) const
isl::checked::space	uncurry () const
isl::checked::map	universe_map () const
isl::checked::set	universe_set () const
isl::checked::space	unwrap () const
isl::checked::space	wrap () const
isl::checked::space	wrapped_reverse () const
isl::checked::aff	zero_aff_on_domain () const
isl::checked::multi_aff	zero_multi_aff () const
isl::checked::multi_pw_aff	zero_multi_pw_aff () const
isl::checked::multi_union_pw_aff	zero_multi_union_pw_aff () const
isl::checked::multi_val	zero_multi_val () const

Static Public Member Functions
static space	from (const isl::space &obj)
static typed::space	unit (const isl::ctx &ctx)
Static Public Member Functions inherited from isl::checked::space
static isl::checked::space	unit (isl::checked::ctx ctx)

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

Detailed Description

Definition at line 10108 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ space() [1/3]

isl::typed::space<>::space ( )

default

◆ space() [2/3]

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

isl::typed::space<>::space ( const base & obj )

inlineprivate

Definition at line 10175 of file typed_cpp.h.

References obj, and space.

◆ space() [3/3]

isl::typed::space<>::space	(	const isl::ctx &	ctx,
		const std::string &	str )

inlineexplicit

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

Member Function Documentation

◆ add_named_tuple() [1/2]

template<typename Domain>

typed::space< Domain > isl::typed::space<>::add_named_tuple	(	const std::string &	tuple_id,
		unsigned int	dim ) const

inline

References tuple_id().

◆ add_named_tuple() [2/2]

template<typename Domain>

typed::space< Domain > isl::typed::space<>::add_named_tuple	(	const typed::id< Anonymous > &	tuple_id,
		unsigned int	dim ) const

inline

References tuple_id().

◆ add_param() [1/2]

typed::space isl::typed::space<>::add_param ( const std::string & id ) const

inline

◆ add_param() [2/2]

typed::space isl::typed::space<>::add_param ( const typed::id< Anonymous > & id ) const

inline

◆ add_unnamed_tuple()

template<typename Domain>

typed::space< Domain > isl::typed::space<>::add_unnamed_tuple ( unsigned int dim ) const

inline

◆ curry()

typed::space isl::typed::space<>::curry ( ) const

inlinedelete

◆ domain()

typed::space isl::typed::space<>::domain ( ) const

inlinedelete

◆ domain_map_multi_aff()

typed::multi_aff isl::typed::space<>::domain_map_multi_aff ( ) const

inlinedelete

◆ domain_map_pw_multi_aff()

typed::pw_multi_aff isl::typed::space<>::domain_map_pw_multi_aff ( ) const

inlinedelete

◆ domain_reverse()

typed::space isl::typed::space<>::domain_reverse ( ) const

inlinedelete

◆ drop_all_params()

typed::space isl::typed::space<>::drop_all_params ( ) const

inline

◆ flatten_domain()

typed::space isl::typed::space<>::flatten_domain ( ) const

inlinedelete

◆ flatten_range()

typed::space isl::typed::space<>::flatten_range ( ) const

inlinedelete

◆ from()

space isl::typed::space<>::from ( const isl::space<> & obj )

inlinestatic

Definition at line 10177 of file typed_cpp.h.

References obj, and space.

◆ get_domain_tuple_id()

typed::id isl::typed::space<>::get_domain_tuple_id ( ) const

inlinedelete

◆ get_range_tuple_id()

typed::id isl::typed::space<>::get_range_tuple_id ( ) const

inlinedelete

◆ identity_multi_aff_on_domain()

typed::multi_aff isl::typed::space<>::identity_multi_aff_on_domain ( ) const

inlinedelete

◆ identity_multi_pw_aff_on_domain()

typed::multi_pw_aff isl::typed::space<>::identity_multi_pw_aff_on_domain ( ) const

inlinedelete

◆ identity_pw_multi_aff_on_domain()

typed::pw_multi_aff isl::typed::space<>::identity_pw_multi_aff_on_domain ( ) const

inlinedelete

◆ map_from_set()

typed::space isl::typed::space<>::map_from_set ( ) const

inlinedelete

◆ multi_aff()

typed::multi_aff isl::typed::space<>::multi_aff ( const typed::aff_list<> & list ) const

inlinedelete

◆ multi_aff_on_domain()

template<typename Domain>

typed::multi_aff< Domain > isl::typed::space<>::multi_aff_on_domain ( const typed::multi_val< Domain > & mv ) const

inline

◆ multi_id()

typed::multi_id isl::typed::space<>::multi_id ( const typed::id_list<> & list ) const

inlinedelete

◆ multi_pw_aff()

typed::multi_pw_aff isl::typed::space<>::multi_pw_aff ( const typed::pw_aff_list<> & list ) const

inlinedelete

◆ multi_union_pw_aff()

typed::multi_union_pw_aff isl::typed::space<>::multi_union_pw_aff ( const typed::union_pw_aff_list<> & list ) const

inlinedelete

◆ multi_val()

typed::multi_val isl::typed::space<>::multi_val ( const typed::val_list<> & list ) const

inlinedelete

◆ param_aff_on_domain() [1/2]

typed::aff< Anonymous > isl::typed::space<>::param_aff_on_domain ( const std::string & id ) const

inline

◆ param_aff_on_domain() [2/2]

typed::aff< Anonymous > isl::typed::space<>::param_aff_on_domain ( const typed::id< Anonymous > & id ) const

inline

◆ params()

typed::space isl::typed::space<>::params ( ) const

inlinedelete

◆ product()

typed::space isl::typed::space<>::product ( const typed::space<> & right ) const

inlinedelete

◆ range()

typed::space isl::typed::space<>::range ( ) const

inlinedelete

◆ range_map_multi_aff()

typed::multi_aff isl::typed::space<>::range_map_multi_aff ( ) const

inlinedelete

◆ range_map_pw_multi_aff()

typed::pw_multi_aff isl::typed::space<>::range_map_pw_multi_aff ( ) const

inlinedelete

◆ range_reverse()

typed::space isl::typed::space<>::range_reverse ( ) const

inlinedelete

◆ reverse()

typed::space isl::typed::space<>::reverse ( ) const

inlinedelete

◆ set_domain_tuple() [1/2]

typed::space isl::typed::space<>::set_domain_tuple ( const std::string & id ) const

inlinedelete

◆ set_domain_tuple() [2/2]

typed::space isl::typed::space<>::set_domain_tuple ( const typed::id<> & id ) const

inlinedelete

◆ set_range_tuple() [1/2]

typed::space isl::typed::space<>::set_range_tuple ( const std::string & id ) const

inlinedelete

◆ set_range_tuple() [2/2]

typed::space isl::typed::space<>::set_range_tuple ( const typed::id<> & id ) const

inlinedelete

◆ uncurry()

typed::space isl::typed::space<>::uncurry ( ) const

inlinedelete

◆ unit()

typed::space isl::typed::space<>::unit ( const isl::ctx & ctx )

inlinestatic

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

◆ universe_map()

typed::map isl::typed::space<>::universe_map ( ) const

inlinedelete

◆ universe_set()

typed::set isl::typed::space<>::universe_set ( ) const

inline

◆ unwrap()

typed::space isl::typed::space<>::unwrap ( ) const

inlinedelete

◆ wrap()

typed::space isl::typed::space<>::wrap ( ) const

inlinedelete

◆ wrapped_reverse()

typed::space isl::typed::space<>::wrapped_reverse ( ) const

inlinedelete

◆ zero_aff_on_domain()

typed::aff isl::typed::space<>::zero_aff_on_domain ( ) const

inlinedelete

◆ zero_multi_aff()

typed::multi_aff isl::typed::space<>::zero_multi_aff ( ) const

inlinedelete

◆ zero_multi_pw_aff()

typed::multi_pw_aff isl::typed::space<>::zero_multi_pw_aff ( ) const

inlinedelete

◆ zero_multi_union_pw_aff()

typed::multi_union_pw_aff isl::typed::space<>::zero_multi_union_pw_aff ( ) const

inlinedelete

◆ zero_multi_val()

typed::multi_val isl::typed::space<>::zero_multi_val ( ) const

inlinedelete

◆ aff

template<typename...>

friend struct aff

friend

Definition at line 10110 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename...>

friend struct aff_list

friend

Definition at line 10112 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename...>

friend struct basic_map

friend

Definition at line 10114 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename...>

friend struct basic_set

friend

Definition at line 10116 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename...>

friend struct fixed_box

friend

Definition at line 10118 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename...>

friend struct id

friend

Definition at line 10120 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename...>

friend struct id_list

friend

Definition at line 10122 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename...>

friend struct map

friend

Definition at line 10124 of file typed_cpp.h.

References map.

Referenced by map.

◆ map_list

template<typename...>

friend struct map_list

friend

Definition at line 10126 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename...>

friend struct multi_aff

friend

Definition at line 10128 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename...>

friend struct multi_id

friend

Definition at line 10130 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename...>

friend struct multi_pw_aff

friend

Definition at line 10132 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename...>

friend struct multi_union_pw_aff

friend

Definition at line 10134 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename...>

friend struct multi_val

friend

Definition at line 10136 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename...>

friend struct point

friend

Definition at line 10138 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename...>

friend struct pw_aff

friend

Definition at line 10140 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename...>

friend struct pw_aff_list

friend

Definition at line 10142 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename...>

friend struct pw_multi_aff

friend

Definition at line 10144 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename...>

friend struct pw_multi_aff_list

friend

Definition at line 10146 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename...>

friend struct set

friend

Definition at line 10148 of file typed_cpp.h.

References set.

Referenced by set.

◆ set_list

template<typename...>

friend struct set_list

friend

Definition at line 10150 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename...>

friend struct space

friend

Definition at line 10152 of file typed_cpp.h.

References space.

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

◆ union_map

template<typename...>

friend struct union_map

friend

Definition at line 10154 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename...>

friend struct union_pw_aff

friend

Definition at line 10156 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename...>

friend struct union_pw_aff_list

friend

Definition at line 10158 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename...>

friend struct union_pw_multi_aff

friend

Definition at line 10160 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename...>

friend struct union_set

friend

Definition at line 10162 of file typed_cpp.h.

References union_set.

Referenced by union_set.

◆ union_set_list

template<typename...>

friend struct union_set_list

friend

Definition at line 10164 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename...>

friend struct val

friend

Definition at line 10166 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename...>

friend struct val_list

friend

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

◆ space() [1/3]

◆ space() [2/3]

◆ space() [3/3]

Member Function Documentation

◆ add_named_tuple() [1/2]

◆ add_named_tuple() [2/2]

◆ add_param() [1/2]

◆ add_param() [2/2]

◆ add_unnamed_tuple()

◆ curry()

◆ domain()

◆ domain_map_multi_aff()

◆ domain_map_pw_multi_aff()

◆ domain_reverse()

◆ drop_all_params()

◆ flatten_domain()

◆ flatten_range()

◆ from()

◆ get_domain_tuple_id()

◆ get_range_tuple_id()

◆ identity_multi_aff_on_domain()

◆ identity_multi_pw_aff_on_domain()

◆ identity_pw_multi_aff_on_domain()

◆ map_from_set()

◆ multi_aff()

◆ multi_aff_on_domain()

◆ multi_id()

◆ multi_pw_aff()

◆ multi_union_pw_aff()

◆ multi_val()

◆ param_aff_on_domain() [1/2]

◆ param_aff_on_domain() [2/2]

◆ params()

◆ product()

◆ range()

◆ range_map_multi_aff()

◆ range_map_pw_multi_aff()

◆ range_reverse()

◆ reverse()

◆ set_domain_tuple() [1/2]

◆ set_domain_tuple() [2/2]

◆ set_range_tuple() [1/2]

◆ set_range_tuple() [2/2]

◆ uncurry()

◆ unit()

◆ universe_map()

◆ universe_set()

◆ unwrap()

◆ wrap()

◆ wrapped_reverse()

◆ zero_aff_on_domain()

◆ zero_multi_aff()

◆ zero_multi_pw_aff()

◆ zero_multi_union_pw_aff()

◆ zero_multi_val()

Friends And Related Symbol Documentation

◆ aff

◆ aff_list

◆ basic_map

◆ basic_set

◆ fixed_box

◆ id

◆ id_list

◆ map

◆ map_list

◆ multi_aff

◆ multi_id

◆ multi_pw_aff

◆ multi_union_pw_aff

◆ multi_val

◆ point

◆ pw_aff

◆ pw_aff_list