#include <typed_cpp.h>

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

Public Member Functions
	space ()=default
template<typename Arg1, typename std::enable_if< std::is_base_of< Domain, Arg1 >{}, bool >::type = true>
	space (const space< Arg1 > &obj)
	space (const isl::ctx &ctx, const std::string &str)
template<typename Range>
typed::space< Domain, Range >	add_named_tuple (const typed::id< Anonymous > &tuple_id, unsigned int dim) const
template<typename Range>
typed::space< Domain, Range >	add_named_tuple (const std::string &tuple_id, unsigned int dim) const
typed::space< Domain >	add_param (const typed::id< Anonymous > &id) const
typed::space< Domain >	add_param (const std::string &id) const
template<typename Range>
typed::space< Domain, Range >	add_unnamed_tuple (unsigned int dim) const
typed::space< Domain >	curry () const =delete
typed::space	domain () const
typed::multi_aff< Domain >	domain_map_multi_aff () const =delete
typed::pw_multi_aff< Domain >	domain_map_pw_multi_aff () const =delete
typed::space< Domain >	domain_reverse () const =delete
typed::id< Domain >	get_domain_tuple_id () const =delete
typed::space< Domain >	drop_all_params () const
typed::space< Domain >	flatten_domain () const =delete
typed::space< Domain >	flatten_range () const =delete
typed::multi_aff< Domain, Domain >	identity_multi_aff_on_domain () const
typed::multi_pw_aff< Domain, Domain >	identity_multi_pw_aff_on_domain () const
typed::pw_multi_aff< Domain, Domain >	identity_pw_multi_aff_on_domain () const
typed::space< Domain, Domain >	map_from_set () const
typed::multi_aff< Domain >	multi_aff (const typed::aff_list< Anonymous > &list) const
template<typename Range>
typed::multi_aff< Domain, Range >	multi_aff_on_domain (const typed::multi_val< Range > &mv) const
typed::multi_id< Domain >	multi_id (const typed::id_list< Anonymous > &list) const
typed::multi_pw_aff< Domain >	multi_pw_aff (const typed::pw_aff_list< Anonymous > &list) const
typed::multi_union_pw_aff< Domain >	multi_union_pw_aff (const typed::union_pw_aff_list< Anonymous > &list) const
template<typename Arg1>
typed::multi_union_pw_aff< Arg1, Domain >	multi_union_pw_aff (const typed::union_pw_aff_list< Arg1, Anonymous > &list) const
typed::multi_val< Domain >	multi_val (const typed::val_list< Anonymous > &list) const
typed::aff< Domain, Anonymous >	param_aff_on_domain (const typed::id< Anonymous > &id) const
typed::aff< Domain, Anonymous >	param_aff_on_domain (const std::string &id) const
typed::space	params () const
template<typename Range>
typed::space< pair< Domain, Range > >	product (const typed::space< Range > &right) const
typed::space< Domain >	range () const =delete
typed::multi_aff< Domain >	range_map_multi_aff () const =delete
typed::pw_multi_aff< Domain >	range_map_pw_multi_aff () const =delete
typed::space< Domain >	range_reverse () const =delete
typed::id< Domain >	get_range_tuple_id () const =delete
typed::space< Domain >	reverse () const =delete
typed::space< Domain >	set_domain_tuple (const typed::id<> &id) const =delete
typed::space< Domain >	set_domain_tuple (const std::string &id) const =delete
template<typename Domain2>
typed::space< Domain2 >	set_range_tuple (const typed::id< Anonymous > &id) const
template<typename Domain2>
typed::space< Domain2 >	set_range_tuple (const std::string &id) const
typed::space< Domain >	uncurry () const =delete
typed::map< Domain >	universe_map () const =delete
typed::set< Domain >	universe_set () const
typed::space< Domain >	unwrap () const =delete
typed::space< Domain >	wrap () const =delete
typed::space< Domain >	wrapped_reverse () const =delete
typed::aff< Domain, Anonymous >	zero_aff_on_domain () const
typed::multi_aff< Domain >	zero_multi_aff () const
typed::multi_pw_aff< Domain >	zero_multi_pw_aff () const
typed::multi_union_pw_aff< Domain >	zero_multi_union_pw_aff () const
typed::multi_val< Domain >	zero_multi_val () const
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< Domain >	unit (const isl::ctx &ctx)=delete
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

template<typename Domain>
struct isl::typed::space< Domain >

Definition at line 10238 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ space() [1/4]

template<typename Domain>

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

default

◆ space() [2/4]

template<typename Domain>

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

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

inline

Definition at line 10305 of file typed_cpp.h.

References obj, and space.

◆ space() [3/4]

template<typename Domain>

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

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

inlineprivate

Definition at line 10310 of file typed_cpp.h.

References obj, and space.

◆ space() [4/4]

template<typename Domain>

isl::typed::space< Domain >::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>

template<typename Range>

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

inline

References tuple_id().

◆ add_named_tuple() [2/2]

template<typename Domain>

template<typename Range>

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

inline

References tuple_id().

◆ add_param() [1/2]

template<typename Domain>

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

inline

◆ add_param() [2/2]

template<typename Domain>

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

inline

◆ add_unnamed_tuple()

template<typename Domain>

template<typename Range>

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

inline

◆ curry()

template<typename Domain>

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

inlinedelete

◆ domain()

template<typename Domain>

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

inline

◆ domain_map_multi_aff()

template<typename Domain>

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

inlinedelete

◆ domain_map_pw_multi_aff()

template<typename Domain>

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

inlinedelete

◆ domain_reverse()

template<typename Domain>

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

inlinedelete

◆ drop_all_params()

template<typename Domain>

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

inline

◆ flatten_domain()

template<typename Domain>

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

inlinedelete

◆ flatten_range()

template<typename Domain>

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

inlinedelete

◆ from()

template<typename Domain>

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

inlinestatic

Definition at line 10312 of file typed_cpp.h.

References obj, and space.

◆ get_domain_tuple_id()

template<typename Domain>

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

inlinedelete

◆ get_range_tuple_id()

template<typename Domain>

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

inlinedelete

◆ identity_multi_aff_on_domain()

template<typename Domain>

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

inline

◆ identity_multi_pw_aff_on_domain()

template<typename Domain>

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

inline

◆ identity_pw_multi_aff_on_domain()

template<typename Domain>

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

inline

◆ map_from_set()

template<typename Domain>

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

inline

◆ multi_aff()

template<typename Domain>

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

inline

◆ multi_aff_on_domain()

template<typename Domain>

template<typename Range>

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

inline

◆ multi_id()

template<typename Domain>

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

inline

◆ multi_pw_aff()

template<typename Domain>

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

inline

◆ multi_union_pw_aff() [1/2]

template<typename Domain>

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

inline

◆ multi_union_pw_aff() [2/2]

template<typename Domain>

template<typename Arg1>

typed::multi_union_pw_aff< Arg1, Domain > isl::typed::space< Domain >::multi_union_pw_aff ( const typed::union_pw_aff_list< Arg1, Anonymous > & list ) const

inline

◆ multi_val()

template<typename Domain>

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

inline

◆ param_aff_on_domain() [1/2]

template<typename Domain>

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

inline

◆ param_aff_on_domain() [2/2]

template<typename Domain>

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

inline

◆ params()

template<typename Domain>

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

inline

◆ product()

template<typename Domain>

template<typename Range>

typed::space< pair< Domain, Range > > isl::typed::space< Domain >::product ( const typed::space< Range > & right ) const

inline

◆ range()

template<typename Domain>

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

inlinedelete

◆ range_map_multi_aff()

template<typename Domain>

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

inlinedelete

◆ range_map_pw_multi_aff()

template<typename Domain>

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

inlinedelete

◆ range_reverse()

template<typename Domain>

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

inlinedelete

◆ reverse()

template<typename Domain>

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

inlinedelete

◆ set_domain_tuple() [1/2]

template<typename Domain>

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

inlinedelete

◆ set_domain_tuple() [2/2]

template<typename Domain>

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

inlinedelete

◆ set_range_tuple() [1/2]

template<typename Domain>

template<typename Domain2>

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

inline

◆ set_range_tuple() [2/2]

template<typename Domain>

template<typename Domain2>

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

inline

◆ uncurry()

template<typename Domain>

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

inlinedelete

◆ unit()

template<typename Domain>

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

inlinestaticdelete

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

◆ universe_map()

template<typename Domain>

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

inlinedelete

◆ universe_set()

template<typename Domain>

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

inline

◆ unwrap()

template<typename Domain>

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

inlinedelete

◆ wrap()

template<typename Domain>

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

inlinedelete

◆ wrapped_reverse()

template<typename Domain>

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

inlinedelete

◆ zero_aff_on_domain()

template<typename Domain>

typed::aff< Domain, Anonymous > isl::typed::space< Domain >::zero_aff_on_domain ( ) const

inline

◆ zero_multi_aff()

template<typename Domain>

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

inline

◆ zero_multi_pw_aff()

template<typename Domain>

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

inline

◆ zero_multi_union_pw_aff()

template<typename Domain>

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

inline

◆ zero_multi_val()

template<typename Domain>

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

inline

◆ aff

template<typename Domain>

template<typename...>

friend struct aff

friend

Definition at line 10240 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 10242 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 10244 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 10246 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 10248 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 10250 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 10252 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 10254 of file typed_cpp.h.

References map.

Referenced by map.

◆ map_list

template<typename Domain>

template<typename...>

friend struct map_list

friend

Definition at line 10256 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 10258 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 10260 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 10262 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 10264 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 10266 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 10268 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename Domain>

template<typename...>

friend struct pw_aff

friend

Definition at line 10270 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 10272 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 10274 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 10276 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 10278 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 10280 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 10282 of file typed_cpp.h.

References space.

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

◆ union_map

template<typename Domain>

template<typename...>

friend struct union_map

friend

Definition at line 10284 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 10286 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 10288 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 10290 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 10292 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 10294 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 10296 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 10298 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/4]

◆ space() [2/4]

◆ space() [3/4]

◆ space() [4/4]

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() [1/2]

◆ multi_union_pw_aff() [2/2]

◆ 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