Polly 23.0.0git
isl::checked::space Class Reference

#include <cpp-checked.h>

Inheritance diagram for isl::checked::space:
[legend]

Public Member Functions

 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 isl::checked::space unit (isl::checked::ctx ctx)

Protected Member Functions

 space (__isl_take isl_space *ptr)

Protected Attributes

isl_spaceptr = nullptr

Friends

space manage (__isl_take isl_space *ptr)
space manage_copy (__isl_keep isl_space *ptr)

Detailed Description

Definition at line 3775 of file cpp-checked.h.

Constructor & Destructor Documentation

◆ space() [1/4]

isl::space::space ( __isl_take isl_space * ptr)
inlineexplicitprotected

Definition at line 17818 of file cpp-checked.h.

References __isl_take, and ptr.

Referenced by copy(), manage, manage_copy, operator=(), and space().

◆ space() [2/4]

isl::space::space ( )
inline

Definition at line 17821 of file cpp-checked.h.

References ptr.

◆ space() [3/4]

isl::space::space ( const space & obj)
inline

Definition at line 17824 of file cpp-checked.h.

References obj, ptr, and space().

◆ space() [4/4]

isl::space::space ( isl::checked::ctx ctx,
const std::string & str )
inlineexplicit

Definition at line 17830 of file cpp-checked.h.

References ctx(), isl_space_read_from_str(), ptr, res, and str.

◆ ~space()

isl::space::~space ( )
inline

Definition at line 17841 of file cpp-checked.h.

References isl_space_free(), and ptr.

Member Function Documentation

◆ add_named_tuple() [1/2]

isl::space isl::space::add_named_tuple ( const std::string & tuple_id,
unsigned int dim ) const
inline

Definition at line 17874 of file cpp-checked.h.

References add_named_tuple(), ctx(), and tuple_id().

◆ add_named_tuple() [2/2]

isl::space isl::space::add_named_tuple ( isl::checked::id tuple_id,
unsigned int dim ) const
inline

Definition at line 17868 of file cpp-checked.h.

References copy(), isl_space_add_named_tuple_id_ui(), manage, res, and tuple_id().

Referenced by add_named_tuple(), copy(), and test_space().

◆ add_param() [1/2]

isl::space isl::space::add_param ( const std::string & id) const
inline

Definition at line 17885 of file cpp-checked.h.

References add_param(), and ctx().

◆ add_param() [2/2]

isl::space isl::space::add_param ( isl::checked::id id) const
inline

Definition at line 17879 of file cpp-checked.h.

References copy(), isl_space_add_param_id(), manage, release(), and res.

Referenced by add_param(), and copy().

◆ add_unnamed_tuple()

isl::space isl::space::add_unnamed_tuple ( unsigned int dim) const
inline

Definition at line 17890 of file cpp-checked.h.

References copy(), isl_space_add_unnamed_tuple_ui(), manage, and res.

Referenced by copy().

◆ copy() [1/2]

◆ copy() [2/2]

◆ ctx()

◆ curry()

isl::space isl::space::curry ( ) const
inline

Definition at line 17896 of file cpp-checked.h.

References copy(), isl_space_curry(), manage, and res.

Referenced by copy().

◆ domain()

◆ domain_map_multi_aff()

isl::multi_aff isl::space::domain_map_multi_aff ( ) const
inline

Definition at line 17908 of file cpp-checked.h.

References copy(), isl_space_domain_map_multi_aff(), manage, and res.

Referenced by copy().

◆ domain_map_pw_multi_aff()

isl::pw_multi_aff isl::space::domain_map_pw_multi_aff ( ) const
inline

Definition at line 17914 of file cpp-checked.h.

References copy(), isl_space_domain_map_pw_multi_aff(), manage, and res.

Referenced by copy().

◆ domain_reverse()

isl::space isl::space::domain_reverse ( ) const
inline

Definition at line 17920 of file cpp-checked.h.

References copy(), isl_space_domain_reverse(), manage, and res.

Referenced by copy().

◆ domain_tuple_id()

isl::id isl::space::domain_tuple_id ( ) const
inline

Definition at line 17926 of file cpp-checked.h.

References get(), isl_space_get_domain_tuple_id(), manage, and res.

Referenced by copy(), and get_domain_tuple_id().

◆ drop_all_params()

isl::space isl::space::drop_all_params ( ) const
inline

Definition at line 17937 of file cpp-checked.h.

References copy(), isl_space_drop_all_params(), manage, and res.

Referenced by copy().

◆ flatten_domain()

isl::space isl::space::flatten_domain ( ) const
inline

Definition at line 17943 of file cpp-checked.h.

References copy(), isl_space_flatten_domain(), manage, and res.

Referenced by copy().

◆ flatten_range()

isl::space isl::space::flatten_range ( ) const
inline

Definition at line 17949 of file cpp-checked.h.

References copy(), isl_space_flatten_range(), manage, and res.

Referenced by copy().

◆ get()

◆ get_domain_tuple_id()

isl::id isl::space::get_domain_tuple_id ( ) const
inline

Definition at line 17932 of file cpp-checked.h.

References domain_tuple_id().

Referenced by copy().

◆ get_range_tuple_id()

isl::id isl::space::get_range_tuple_id ( ) const
inline

Definition at line 18092 of file cpp-checked.h.

References range_tuple_id().

Referenced by copy().

◆ has_domain_tuple_id()

boolean isl::space::has_domain_tuple_id ( ) const
inline

Definition at line 17955 of file cpp-checked.h.

References get(), isl_space_has_domain_tuple_id(), manage, and res.

Referenced by copy().

◆ has_range_tuple_id()

boolean isl::space::has_range_tuple_id ( ) const
inline

Definition at line 17961 of file cpp-checked.h.

References get(), isl_space_has_range_tuple_id(), manage, and res.

Referenced by copy().

◆ identity_multi_aff_on_domain()

isl::multi_aff isl::space::identity_multi_aff_on_domain ( ) const
inline

Definition at line 17967 of file cpp-checked.h.

References copy(), manage, and res.

Referenced by copy().

◆ identity_multi_pw_aff_on_domain()

isl::multi_pw_aff isl::space::identity_multi_pw_aff_on_domain ( ) const
inline

Definition at line 17973 of file cpp-checked.h.

References copy(), manage, and res.

Referenced by copy().

◆ identity_pw_multi_aff_on_domain()

isl::pw_multi_aff isl::space::identity_pw_multi_aff_on_domain ( ) const
inline

Definition at line 17979 of file cpp-checked.h.

References copy(), isl_space_identity_pw_multi_aff_on_domain(), manage, and res.

Referenced by copy().

◆ is_equal()

boolean isl::space::is_equal ( const isl::checked::space & space2) const
inline

Definition at line 17985 of file cpp-checked.h.

References get(), isl_space_is_equal(), manage, and res.

Referenced by copy().

◆ is_null()

bool isl::space::is_null ( ) const
inline

Definition at line 17860 of file cpp-checked.h.

References ptr.

Referenced by copy(), polly::distributeDomain(), and polly::Dependences::isValidSchedule().

◆ is_wrapping()

boolean isl::space::is_wrapping ( ) const
inline

◆ map_from_set()

◆ multi_aff()

isl::multi_aff isl::space::multi_aff ( isl::checked::aff_list list) const
inline

Definition at line 18003 of file cpp-checked.h.

References copy(), manage, isl::checked::aff_list::release(), and res.

Referenced by copy().

◆ multi_aff_on_domain()

isl::multi_aff isl::space::multi_aff_on_domain ( isl::checked::multi_val mv) const
inline

◆ multi_id()

isl::multi_id isl::space::multi_id ( isl::checked::id_list list) const
inline

Definition at line 18015 of file cpp-checked.h.

References copy(), manage, isl::checked::id_list::release(), and res.

Referenced by copy().

◆ multi_pw_aff()

isl::multi_pw_aff isl::space::multi_pw_aff ( isl::checked::pw_aff_list list) const
inline

Definition at line 18021 of file cpp-checked.h.

References copy(), manage, isl::checked::pw_aff_list::release(), and res.

Referenced by copy().

◆ multi_union_pw_aff()

isl::multi_union_pw_aff isl::space::multi_union_pw_aff ( isl::checked::union_pw_aff_list list) const
inline

Definition at line 18027 of file cpp-checked.h.

References copy(), manage, isl::checked::union_pw_aff_list::release(), and res.

Referenced by copy().

◆ multi_val()

isl::multi_val isl::space::multi_val ( isl::checked::val_list list) const
inline

Definition at line 18033 of file cpp-checked.h.

References copy(), manage, isl::checked::val_list::release(), and res.

Referenced by copy().

◆ operator=()

space & isl::space::operator= ( space obj)
inline

Definition at line 17836 of file cpp-checked.h.

References obj, and space().

◆ param_aff_on_domain() [1/2]

isl::aff isl::space::param_aff_on_domain ( const std::string & id) const
inline

Definition at line 18045 of file cpp-checked.h.

References ctx(), and param_aff_on_domain().

◆ param_aff_on_domain() [2/2]

isl::aff isl::space::param_aff_on_domain ( isl::checked::id id) const
inline

Definition at line 18039 of file cpp-checked.h.

References copy(), isl_space_param_aff_on_domain_id(), manage, release(), and res.

Referenced by copy(), and param_aff_on_domain().

◆ params()

isl::space isl::space::params ( ) const
inline

Definition at line 18050 of file cpp-checked.h.

References copy(), isl_space_params(), manage, and res.

Referenced by copy().

◆ product()

isl::space isl::space::product ( isl::checked::space right) const
inline

Definition at line 18056 of file cpp-checked.h.

References copy(), isl_space_product(), manage, release(), and res.

Referenced by copy().

◆ range()

◆ range_map_multi_aff()

isl::multi_aff isl::space::range_map_multi_aff ( ) const
inline

Definition at line 18068 of file cpp-checked.h.

References copy(), isl_space_range_map_multi_aff(), manage, and res.

Referenced by copy().

◆ range_map_pw_multi_aff()

isl::pw_multi_aff isl::space::range_map_pw_multi_aff ( ) const
inline

Definition at line 18074 of file cpp-checked.h.

References copy(), isl_space_range_map_pw_multi_aff(), manage, and res.

Referenced by copy().

◆ range_reverse()

isl::space isl::space::range_reverse ( ) const
inline

Definition at line 18080 of file cpp-checked.h.

References copy(), isl_space_range_reverse(), manage, and res.

Referenced by copy().

◆ range_tuple_id()

isl::id isl::space::range_tuple_id ( ) const
inline

Definition at line 18086 of file cpp-checked.h.

References get(), isl_space_get_range_tuple_id(), manage, and res.

Referenced by copy(), and get_range_tuple_id().

◆ release()

◆ reverse()

isl::space isl::space::reverse ( ) const
inline

Definition at line 18097 of file cpp-checked.h.

References copy(), isl_space_reverse(), manage, and res.

Referenced by copy().

◆ set_domain_tuple() [1/2]

isl::space isl::space::set_domain_tuple ( const std::string & id) const
inline

Definition at line 18109 of file cpp-checked.h.

References ctx(), and set_domain_tuple().

◆ set_domain_tuple() [2/2]

isl::space isl::space::set_domain_tuple ( isl::checked::id id) const
inline

Definition at line 18103 of file cpp-checked.h.

References copy(), isl_space_set_domain_tuple_id(), manage, release(), and res.

Referenced by copy(), and set_domain_tuple().

◆ set_range_tuple() [1/2]

isl::space isl::space::set_range_tuple ( const std::string & id) const
inline

Definition at line 18120 of file cpp-checked.h.

References ctx(), and set_range_tuple().

◆ set_range_tuple() [2/2]

isl::space isl::space::set_range_tuple ( isl::checked::id id) const
inline

Definition at line 18114 of file cpp-checked.h.

References copy(), isl_space_set_range_tuple_id(), manage, release(), and res.

Referenced by copy(), and set_range_tuple().

◆ uncurry()

isl::space isl::space::uncurry ( ) const
inline

Definition at line 18125 of file cpp-checked.h.

References copy(), isl_space_uncurry(), manage, and res.

Referenced by copy().

◆ unit()

isl::space isl::space::unit ( isl::checked::ctx ctx)
inlinestatic

Definition at line 18131 of file cpp-checked.h.

References ctx(), isl_space_unit(), manage, and res.

Referenced by copy().

◆ universe_map()

isl::map isl::space::universe_map ( ) const
inline

Definition at line 18137 of file cpp-checked.h.

References copy(), isl_space_universe_map(), manage, and res.

Referenced by copy().

◆ universe_set()

isl::set isl::space::universe_set ( ) const
inline

Definition at line 18143 of file cpp-checked.h.

References copy(), isl_space_universe_set(), manage, and res.

Referenced by copy().

◆ unwrap()

◆ wrap()

isl::space isl::space::wrap ( ) const
inline

Definition at line 18155 of file cpp-checked.h.

References copy(), isl_space_wrap(), manage, and res.

Referenced by copy(), and polly::distributeDomain().

◆ wrapped_reverse()

isl::space isl::space::wrapped_reverse ( ) const
inline

Definition at line 18161 of file cpp-checked.h.

References copy(), isl_space_wrapped_reverse(), manage, and res.

Referenced by copy().

◆ zero_aff_on_domain()

isl::aff isl::space::zero_aff_on_domain ( ) const
inline

Definition at line 18167 of file cpp-checked.h.

References copy(), isl_space_zero_aff_on_domain(), manage, and res.

Referenced by copy().

◆ zero_multi_aff()

isl::multi_aff isl::space::zero_multi_aff ( ) const
inline

Definition at line 18173 of file cpp-checked.h.

References copy(), manage, and res.

Referenced by copy().

◆ zero_multi_pw_aff()

isl::multi_pw_aff isl::space::zero_multi_pw_aff ( ) const
inline

Definition at line 18179 of file cpp-checked.h.

References copy(), manage, and res.

Referenced by copy().

◆ zero_multi_union_pw_aff()

isl::multi_union_pw_aff isl::space::zero_multi_union_pw_aff ( ) const
inline

Definition at line 18185 of file cpp-checked.h.

References copy(), manage, and res.

Referenced by copy().

◆ zero_multi_val()

isl::multi_val isl::space::zero_multi_val ( ) const
inline

Definition at line 18191 of file cpp-checked.h.

References copy(), manage, and res.

Referenced by copy().

◆ manage

◆ manage_copy

space manage_copy ( __isl_keep isl_space * ptr)
friend

Definition at line 17813 of file cpp-checked.h.

References __isl_keep, isl_space_copy(), ptr, and space().

Referenced by copy().

Member Data Documentation

◆ ptr

isl_space * isl::space::ptr = nullptr
protected

Definition at line 3780 of file cpp-checked.h.

Referenced by copy(), copy(), ctx(), get(), is_null(), manage, manage_copy, release(), space(), space(), space(), space(), and ~space().


The documentation for this class was generated from the following files: