Polly 24.0.0git
isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > > Struct Template Reference

#include <typed_cpp.h>

Inheritance diagram for isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >:
[legend]

Public Member Functions

 space ()=default
template<typename Arg1, typename Arg2, typename Arg3, typename Arg4, typename std::enable_if< std::is_base_of< T1, Arg1 >{} &&std::is_base_of< T2, Arg2 >{} &&std::is_base_of< Range, Arg3 >{} &&std::is_base_of< Range2, Arg4 >{}, bool >::type = true>
 space (const space< pair< Arg1, Arg2 >, pair< Arg3, Arg4 > > &obj)
 space (const isl::ctx &ctx, const std::string &str)
typed::space< pair< T1, T2 >, pair< Range, Range2 > > add_named_tuple (const typed::id<> &tuple_id, unsigned int dim) const =delete
typed::space< pair< T1, T2 >, pair< Range, Range2 > > add_named_tuple (const std::string &tuple_id, unsigned int dim) const =delete
typed::space< pair< T1, T2 >, pair< Range, Range2 > > add_param (const typed::id< Anonymous > &id) const
typed::space< pair< T1, T2 >, pair< Range, Range2 > > add_param (const std::string &id) const
typed::space< pair< T1, T2 >, pair< Range, Range2 > > add_unnamed_tuple (unsigned int dim) const =delete
typed::space< T1, pair< T2, pair< Range, Range2 > > > curry () const
typed::space< pair< T1, T2 > > domain () const
typed::multi_aff< pair< pair< T1, T2 >, pair< Range, Range2 > >, pair< T1, T2 > > domain_map_multi_aff () const
typed::pw_multi_aff< pair< pair< T1, T2 >, pair< Range, Range2 > >, pair< T1, T2 > > domain_map_pw_multi_aff () const
typed::space< pair< T2, T1 >, pair< Range, Range2 > > domain_reverse () const
typed::id< pair< T1, T2 >, pair< Range, Range2 > > get_domain_tuple_id () const =delete
typed::space< pair< T1, T2 >, pair< Range, Range2 > > drop_all_params () const
typed::space< Anonymous, pair< Range, Range2 > > flatten_domain () const
typed::space< pair< T1, T2 >, Anonymousflatten_range () const
typed::multi_aff< pair< T1, T2 >, pair< Range, Range2 > > identity_multi_aff_on_domain () const =delete
typed::multi_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > identity_multi_pw_aff_on_domain () const =delete
typed::pw_multi_aff< pair< T1, T2 >, pair< Range, Range2 > > identity_pw_multi_aff_on_domain () const =delete
typed::space< pair< T1, T2 >, pair< Range, Range2 > > map_from_set () const =delete
typed::multi_aff< pair< T1, T2 >, pair< Range, Range2 > > multi_aff (const typed::aff_list< pair< T1, T2 >, Anonymous > &list) const
typed::multi_aff< pair< T1, T2 >, pair< Range, Range2 > > multi_aff_on_domain (const typed::multi_val<> &mv) const =delete
typed::multi_id< pair< T1, T2 >, pair< Range, Range2 > > multi_id (const typed::id_list<> &list) const =delete
typed::multi_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > multi_pw_aff (const typed::pw_aff_list< pair< T1, T2 >, Anonymous > &list) const
typed::multi_union_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > multi_union_pw_aff (const typed::union_pw_aff_list<> &list) const =delete
typed::multi_val< pair< T1, T2 >, pair< Range, Range2 > > multi_val (const typed::val_list<> &list) const =delete
typed::aff< pair< T1, T2 >, pair< Range, Range2 > > param_aff_on_domain (const typed::id<> &id) const =delete
typed::aff< pair< T1, T2 >, pair< Range, Range2 > > param_aff_on_domain (const std::string &id) const =delete
typed::space params () const
template<typename Domain2, typename Arg2>
typed::space< pair< pair< T1, T2 >, Domain2 >, pair< pair< Range, Range2 >, Arg2 > > product (const typed::space< Domain2, Arg2 > &right) const
typed::space< pair< Range, Range2 > > range () const
typed::multi_aff< pair< pair< T1, T2 >, pair< Range, Range2 > >, pair< Range, Range2 > > range_map_multi_aff () const
typed::pw_multi_aff< pair< pair< T1, T2 >, pair< Range, Range2 > >, pair< Range, Range2 > > range_map_pw_multi_aff () const
typed::space< pair< T1, T2 >, pair< Range2, Range > > range_reverse () const
typed::id< pair< T1, T2 >, pair< Range, Range2 > > get_range_tuple_id () const =delete
typed::space< pair< Range, Range2 >, pair< T1, T2 > > reverse () const
typed::space< pair< T1, T2 >, pair< Range, Range2 > > set_domain_tuple (const typed::id<> &id) const =delete
typed::space< pair< T1, T2 >, pair< Range, Range2 > > set_domain_tuple (const std::string &id) const =delete
typed::space< pair< T1, T2 >, pair< Range, Range2 > > set_range_tuple (const typed::id<> &id) const =delete
typed::space< pair< T1, T2 >, pair< Range, Range2 > > set_range_tuple (const std::string &id) const =delete
typed::space< pair< pair< T1, T2 >, Range >, Range2uncurry () const
typed::map< pair< T1, T2 >, pair< Range, Range2 > > universe_map () const
typed::set< pair< T1, T2 >, pair< Range, Range2 > > universe_set () const =delete
typed::space< pair< T1, T2 >, pair< Range, Range2 > > unwrap () const =delete
typed::space< pair< pair< T1, T2 >, pair< Range, Range2 > > > wrap () const
typed::space< pair< T1, T2 >, pair< Range, Range2 > > wrapped_reverse () const =delete
typed::aff< pair< T1, T2 >, pair< Range, Range2 > > zero_aff_on_domain () const =delete
typed::multi_aff< pair< T1, T2 >, pair< Range, Range2 > > zero_multi_aff () const
typed::multi_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > zero_multi_pw_aff () const
typed::multi_union_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > zero_multi_union_pw_aff () const
typed::multi_val< pair< T1, T2 >, pair< Range, Range2 > > 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)
spaceoperator= (space obj)
 ~space ()
__isl_give isl_spacecopy () const &
__isl_give isl_spacecopy () &&=delete
__isl_keep isl_spaceget () const
__isl_give isl_spacerelease ()
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< pair< T1, T2 >, pair< Range, Range2 > > 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_spaceptr = nullptr

Detailed Description

template<typename T1, typename T2, typename Range, typename Range2>
struct isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >

Definition at line 10926 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ space() [1/4]

template<typename T1, typename T2, typename Range, typename Range2>
isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::space ( )
default

◆ space() [2/4]

template<typename T1, typename T2, typename Range, typename Range2>
template<typename Arg1, typename Arg2, typename Arg3, typename Arg4, typename std::enable_if< std::is_base_of< T1, Arg1 >{} &&std::is_base_of< T2, Arg2 >{} &&std::is_base_of< Range, Arg3 >{} &&std::is_base_of< Range2, Arg4 >{}, bool >::type = true>
isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::space ( const space< pair< Arg1, Arg2 >, pair< Arg3, Arg4 > > & obj)
inline

Definition at line 10996 of file typed_cpp.h.

References obj, and space.

◆ space() [3/4]

template<typename T1, typename T2, typename Range, typename Range2>
template<typename base, typename std::enable_if< std::is_same< base, isl::space >{}, bool >::type = true>
isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::space ( const base & obj)
inlineprivate

Definition at line 11001 of file typed_cpp.h.

References obj, and space.

◆ space() [4/4]

template<typename T1, typename T2, typename Range, typename Range2>
isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::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 T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::add_named_tuple ( const std::string & tuple_id,
unsigned int dim ) const
inlinedelete

References tuple_id().

◆ add_named_tuple() [2/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::add_named_tuple ( const typed::id<> & tuple_id,
unsigned int dim ) const
inlinedelete

References tuple_id().

◆ add_param() [1/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::add_param ( const std::string & id) const
inline

◆ add_param() [2/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::add_param ( const typed::id< Anonymous > & id) const
inline

◆ add_unnamed_tuple()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::add_unnamed_tuple ( unsigned int dim) const
inlinedelete

◆ curry()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< T1, pair< T2, pair< Range, Range2 > > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::curry ( ) const
inline

◆ domain()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::domain ( ) const
inline

◆ domain_map_multi_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_aff< pair< pair< T1, T2 >, pair< Range, Range2 > >, pair< T1, T2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::domain_map_multi_aff ( ) const
inline

◆ domain_map_pw_multi_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::pw_multi_aff< pair< pair< T1, T2 >, pair< Range, Range2 > >, pair< T1, T2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::domain_map_pw_multi_aff ( ) const
inline

◆ domain_reverse()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T2, T1 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::domain_reverse ( ) const
inline

◆ drop_all_params()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::drop_all_params ( ) const
inline

◆ flatten_domain()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< Anonymous, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::flatten_domain ( ) const
inline

◆ flatten_range()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, Anonymous > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::flatten_range ( ) const
inline

References Anonymous.

◆ from()

template<typename T1, typename T2, typename Range, typename Range2>
space isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::from ( const isl::space< pair< T1, T2 >, pair< Range, Range2 > > & obj)
inlinestatic

Definition at line 11003 of file typed_cpp.h.

References obj, and space.

◆ get_domain_tuple_id()

template<typename T1, typename T2, typename Range, typename Range2>
typed::id< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::get_domain_tuple_id ( ) const
inlinedelete

◆ get_range_tuple_id()

template<typename T1, typename T2, typename Range, typename Range2>
typed::id< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::get_range_tuple_id ( ) const
inlinedelete

◆ identity_multi_aff_on_domain()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::identity_multi_aff_on_domain ( ) const
inlinedelete

◆ identity_multi_pw_aff_on_domain()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::identity_multi_pw_aff_on_domain ( ) const
inlinedelete

◆ identity_pw_multi_aff_on_domain()

template<typename T1, typename T2, typename Range, typename Range2>
typed::pw_multi_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::identity_pw_multi_aff_on_domain ( ) const
inlinedelete

◆ map_from_set()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::map_from_set ( ) const
inlinedelete

◆ multi_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::multi_aff ( const typed::aff_list< pair< T1, T2 >, Anonymous > & list) const
inline

References Anonymous.

◆ multi_aff_on_domain()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::multi_aff_on_domain ( const typed::multi_val<> & mv) const
inlinedelete

◆ multi_id()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_id< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::multi_id ( const typed::id_list<> & list) const
inlinedelete

◆ multi_pw_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::multi_pw_aff ( const typed::pw_aff_list< pair< T1, T2 >, Anonymous > & list) const
inline

References Anonymous.

◆ multi_union_pw_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_union_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::multi_union_pw_aff ( const typed::union_pw_aff_list<> & list) const
inlinedelete

◆ multi_val()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_val< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::multi_val ( const typed::val_list<> & list) const
inlinedelete

◆ param_aff_on_domain() [1/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::param_aff_on_domain ( const std::string & id) const
inlinedelete

◆ param_aff_on_domain() [2/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::param_aff_on_domain ( const typed::id<> & id) const
inlinedelete

◆ params()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::params ( ) const
inline

◆ product()

template<typename T1, typename T2, typename Range, typename Range2>
template<typename Domain2, typename Arg2>
typed::space< pair< pair< T1, T2 >, Domain2 >, pair< pair< Range, Range2 >, Arg2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::product ( const typed::space< Domain2, Arg2 > & right) const
inline

References Domain2.

◆ range()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::range ( ) const
inline

◆ range_map_multi_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_aff< pair< pair< T1, T2 >, pair< Range, Range2 > >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::range_map_multi_aff ( ) const
inline

◆ range_map_pw_multi_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::pw_multi_aff< pair< pair< T1, T2 >, pair< Range, Range2 > >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::range_map_pw_multi_aff ( ) const
inline

◆ range_reverse()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range2, Range > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::range_reverse ( ) const
inline

◆ reverse()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< Range, Range2 >, pair< T1, T2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::reverse ( ) const
inline

◆ set_domain_tuple() [1/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::set_domain_tuple ( const std::string & id) const
inlinedelete

◆ set_domain_tuple() [2/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::set_domain_tuple ( const typed::id<> & id) const
inlinedelete

◆ set_range_tuple() [1/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::set_range_tuple ( const std::string & id) const
inlinedelete

◆ set_range_tuple() [2/2]

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::set_range_tuple ( const typed::id<> & id) const
inlinedelete

◆ uncurry()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< pair< T1, T2 >, Range >, Range2 > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::uncurry ( ) const
inline

References Range, and Range2.

◆ unit()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::unit ( const isl::ctx & ctx)
inlinestaticdelete

◆ universe_map()

template<typename T1, typename T2, typename Range, typename Range2>
typed::map< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::universe_map ( ) const
inline

◆ universe_set()

template<typename T1, typename T2, typename Range, typename Range2>
typed::set< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::universe_set ( ) const
inlinedelete

◆ unwrap()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::unwrap ( ) const
inlinedelete

◆ wrap()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< pair< T1, T2 >, pair< Range, Range2 > > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::wrap ( ) const
inline

◆ wrapped_reverse()

template<typename T1, typename T2, typename Range, typename Range2>
typed::space< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::wrapped_reverse ( ) const
inlinedelete

◆ zero_aff_on_domain()

template<typename T1, typename T2, typename Range, typename Range2>
typed::aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::zero_aff_on_domain ( ) const
inlinedelete

◆ zero_multi_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::zero_multi_aff ( ) const
inline

◆ zero_multi_pw_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::zero_multi_pw_aff ( ) const
inline

◆ zero_multi_union_pw_aff()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_union_pw_aff< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::zero_multi_union_pw_aff ( ) const
inline

◆ zero_multi_val()

template<typename T1, typename T2, typename Range, typename Range2>
typed::multi_val< pair< T1, T2 >, pair< Range, Range2 > > isl::typed::space< pair< T1, T2 >, pair< Range, Range2 > >::zero_multi_val ( ) const
inlinedelete

◆ aff

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct aff
friend

Definition at line 10928 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct aff_list
friend

Definition at line 10930 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct basic_map
friend

Definition at line 10932 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct basic_set
friend

Definition at line 10934 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct fixed_box
friend

Definition at line 10936 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct id
friend

Definition at line 10938 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct id_list
friend

Definition at line 10940 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct map
friend

Definition at line 10942 of file typed_cpp.h.

References map.

Referenced by map.

◆ map_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct map_list
friend

Definition at line 10944 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct multi_aff
friend

Definition at line 10946 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct multi_id
friend

Definition at line 10948 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct multi_pw_aff
friend

Definition at line 10950 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct multi_union_pw_aff
friend

Definition at line 10952 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct multi_val
friend

Definition at line 10954 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct point
friend

Definition at line 10956 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct pw_aff
friend

Definition at line 10958 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct pw_aff_list
friend

Definition at line 10960 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct pw_multi_aff
friend

Definition at line 10962 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct pw_multi_aff_list
friend

Definition at line 10964 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct set
friend

Definition at line 10966 of file typed_cpp.h.

References set.

Referenced by set.

◆ set_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct set_list
friend

Definition at line 10968 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct space
friend

Definition at line 10970 of file typed_cpp.h.

References space.

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

◆ union_map

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct union_map
friend

Definition at line 10972 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct union_pw_aff
friend

Definition at line 10974 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct union_pw_aff_list
friend

Definition at line 10976 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct union_pw_multi_aff
friend

Definition at line 10978 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct union_set
friend

Definition at line 10980 of file typed_cpp.h.

References union_set.

Referenced by union_set.

◆ union_set_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct union_set_list
friend

Definition at line 10982 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct val
friend

Definition at line 10984 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename T1, typename T2, typename Range, typename Range2>
template<typename...>
friend struct val_list
friend

Definition at line 10986 of file typed_cpp.h.

References val_list.

Referenced by val_list.


The documentation for this struct was generated from the following file: