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