diff options
Diffstat (limited to 'polly/lib/External/isl/include/isl-noexceptions.h')
| -rw-r--r-- | polly/lib/External/isl/include/isl-noexceptions.h | 5588 |
1 files changed, 0 insertions, 5588 deletions
diff --git a/polly/lib/External/isl/include/isl-noexceptions.h b/polly/lib/External/isl/include/isl-noexceptions.h deleted file mode 100644 index 5409bc9f7e1..00000000000 --- a/polly/lib/External/isl/include/isl-noexceptions.h +++ /dev/null @@ -1,5588 +0,0 @@ -/// These are automatically generated C++ bindings for isl. -/// -/// -/// isl is a library for computing with integer sets and maps described by -/// Presburger formula. On top of this, isl provides various tools for -/// Polyhedral compilation ranging from dependence analysis over scheduling -/// to AST generation. - -#ifndef ISL_CPP_NOEXCEPTIONS -#define ISL_CPP_NOEXCEPTIONS - -#include <isl/aff.h> -#include <isl/ast_build.h> -#include <isl/flow.h> -#include <isl/id.h> -#include <isl/ilp.h> -#include <isl/map.h> -#include <isl/schedule.h> -#include <isl/schedule_node.h> -#include <isl/set.h> -#include <isl/union_map.h> -#include <isl/union_set.h> -#include <isl/val.h> - -#include <functional> -#include <string> - -namespace isl { - -inline namespace noexceptions { - -// forward declarations -class aff; -class ast_build; -class ast_expr; -class ast_node; -class basic_map; -class basic_set; -class id; -class local_space; -class map; -class multi_aff; -class multi_pw_aff; -class multi_union_pw_aff; -class multi_val; -class point; -class pw_aff; -class pw_multi_aff; -class schedule; -class schedule_constraints; -class schedule_node; -class set; -class space; -class union_access_info; -class union_flow; -class union_map; -class union_pw_aff; -class union_pw_multi_aff; -class union_set; -class val; - -#define ISLPP_STRINGIZE_(X) #X -#define ISLPP_STRINGIZE(X) ISLPP_STRINGIZE_(X) - -#define ISLPP_ASSERT(test, message) \ - do { \ - if (test) \ - break; \ - fputs("Assertion \"" #test "\" failed at " __FILE__ \ - ":" ISLPP_STRINGIZE(__LINE__) "\n " message "\n", \ - stderr); \ - } while (0) - -class boolean { -private: - friend isl::boolean manage(isl_bool val); - - isl_bool val; - -public: - boolean() - : val(isl_bool_error) {} - /* implicit */ boolean(bool val) - : val(val ? isl_bool_true : isl_bool_false) {} - - bool is_error() const { return val == isl_bool_error; } - bool is_false_or_error() const { return val != isl_bool_true; } - bool is_true_or_error() const { return val != isl_bool_false; } - bool is_no_error() const { return val != isl_bool_error; } - bool is_false_no_error() const { return val == isl_bool_false; } - bool is_true_no_error() const { return val == isl_bool_true; } - - explicit operator bool() const { - ISLPP_ASSERT(is_no_error(), "IMPLEMENTATION ERROR: Unhandled error state"); - return is_true_no_error(); - } - - boolean operator!() const { - if (is_error()) - return boolean(); - return !is_true_no_error(); - } -}; - -inline isl::boolean manage(isl_bool val) { - return isl::boolean(val); -} - -class ctx { - isl_ctx *ptr; - -public: - /* implicit */ ctx(isl_ctx *ctx) - : ptr(ctx) {} - isl_ctx *release() { - auto tmp = ptr; - ptr = nullptr; - return tmp; - } - isl_ctx *get() { - return ptr; - } -}; - -enum class stat { - ok = isl_stat_ok, - error = isl_stat_error, -}; - -enum class dim { - cst = isl_dim_cst, - param = isl_dim_param, - in = isl_dim_in, - out = isl_dim_out, - set = isl_dim_set, - div = isl_dim_div, - all = isl_dim_all -}; - -// declarations for isl::aff -inline isl::aff manage(__isl_take isl_aff *ptr); - -inline isl::aff give(__isl_take isl_aff *ptr); - -class aff { - friend inline isl::aff manage(__isl_take isl_aff *ptr); - - isl_aff *ptr = nullptr; - - inline explicit aff(__isl_take isl_aff *ptr); - -public: - inline /* implicit */ aff(); - inline /* implicit */ aff(const isl::aff &obj); - inline /* implicit */ aff(std::nullptr_t); - inline explicit aff(isl::local_space ls); - inline explicit aff(isl::local_space ls, isl::val val); - inline explicit aff(isl::ctx ctx, const std::string &str); - inline isl::aff &operator=(isl::aff obj); - inline ~aff(); - inline __isl_give isl_aff *copy() const &; - inline __isl_give isl_aff *copy() && = delete; - inline __isl_keep isl_aff *get() const; - inline __isl_give isl_aff *release(); - inline __isl_keep isl_aff *keep() const; - inline __isl_give isl_aff *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::aff add(isl::aff aff2) const; - inline isl::val get_constant() const; - inline isl::boolean is_cst() const; - inline isl::aff pullback(isl::multi_aff ma) const; -}; - -// declarations for isl::ast_build -inline isl::ast_build manage(__isl_take isl_ast_build *ptr); - -inline isl::ast_build give(__isl_take isl_ast_build *ptr); - -class ast_build { - friend inline isl::ast_build manage(__isl_take isl_ast_build *ptr); - - isl_ast_build *ptr = nullptr; - - inline explicit ast_build(__isl_take isl_ast_build *ptr); - -public: - inline /* implicit */ ast_build(); - inline /* implicit */ ast_build(const isl::ast_build &obj); - inline /* implicit */ ast_build(std::nullptr_t); - inline explicit ast_build(isl::ctx ctx); - inline isl::ast_build &operator=(isl::ast_build obj); - inline ~ast_build(); - inline __isl_give isl_ast_build *copy() const &; - inline __isl_give isl_ast_build *copy() && = delete; - inline __isl_keep isl_ast_build *get() const; - inline __isl_give isl_ast_build *release(); - inline __isl_keep isl_ast_build *keep() const; - inline __isl_give isl_ast_build *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline isl::ast_expr access_from(isl::pw_multi_aff pma) const; - inline isl::ast_expr access_from(isl::multi_pw_aff mpa) const; - inline isl::ast_expr call_from(isl::pw_multi_aff pma) const; - inline isl::ast_expr call_from(isl::multi_pw_aff mpa) const; - inline isl::ast_expr expr_from(isl::set set) const; - inline isl::ast_expr expr_from(isl::pw_aff pa) const; - static inline isl::ast_build from_context(isl::set set); - inline isl::ast_node node_from_schedule_map(isl::union_map schedule) const; -}; - -// declarations for isl::ast_expr -inline isl::ast_expr manage(__isl_take isl_ast_expr *ptr); - -inline isl::ast_expr give(__isl_take isl_ast_expr *ptr); - -class ast_expr { - friend inline isl::ast_expr manage(__isl_take isl_ast_expr *ptr); - - isl_ast_expr *ptr = nullptr; - - inline explicit ast_expr(__isl_take isl_ast_expr *ptr); - -public: - inline /* implicit */ ast_expr(); - inline /* implicit */ ast_expr(const isl::ast_expr &obj); - inline /* implicit */ ast_expr(std::nullptr_t); - inline isl::ast_expr &operator=(isl::ast_expr obj); - inline ~ast_expr(); - inline __isl_give isl_ast_expr *copy() const &; - inline __isl_give isl_ast_expr *copy() && = delete; - inline __isl_keep isl_ast_expr *get() const; - inline __isl_give isl_ast_expr *release(); - inline __isl_keep isl_ast_expr *keep() const; - inline __isl_give isl_ast_expr *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline std::string to_C_str() const; -}; - -// declarations for isl::ast_node -inline isl::ast_node manage(__isl_take isl_ast_node *ptr); - -inline isl::ast_node give(__isl_take isl_ast_node *ptr); - -class ast_node { - friend inline isl::ast_node manage(__isl_take isl_ast_node *ptr); - - isl_ast_node *ptr = nullptr; - - inline explicit ast_node(__isl_take isl_ast_node *ptr); - -public: - inline /* implicit */ ast_node(); - inline /* implicit */ ast_node(const isl::ast_node &obj); - inline /* implicit */ ast_node(std::nullptr_t); - inline isl::ast_node &operator=(isl::ast_node obj); - inline ~ast_node(); - inline __isl_give isl_ast_node *copy() const &; - inline __isl_give isl_ast_node *copy() && = delete; - inline __isl_keep isl_ast_node *get() const; - inline __isl_give isl_ast_node *release(); - inline __isl_keep isl_ast_node *keep() const; - inline __isl_give isl_ast_node *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline std::string to_C_str() const; -}; - -// declarations for isl::basic_map -inline isl::basic_map manage(__isl_take isl_basic_map *ptr); - -inline isl::basic_map give(__isl_take isl_basic_map *ptr); - -class basic_map { - friend inline isl::basic_map manage(__isl_take isl_basic_map *ptr); - - isl_basic_map *ptr = nullptr; - - inline explicit basic_map(__isl_take isl_basic_map *ptr); - -public: - inline /* implicit */ basic_map(); - inline /* implicit */ basic_map(const isl::basic_map &obj); - inline /* implicit */ basic_map(std::nullptr_t); - inline explicit basic_map(isl::ctx ctx, const std::string &str); - inline isl::basic_map &operator=(isl::basic_map obj); - inline ~basic_map(); - inline __isl_give isl_basic_map *copy() const &; - inline __isl_give isl_basic_map *copy() && = delete; - inline __isl_keep isl_basic_map *get() const; - inline __isl_give isl_basic_map *release(); - inline __isl_keep isl_basic_map *keep() const; - inline __isl_give isl_basic_map *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::basic_map affine_hull() const; - inline isl::basic_map apply_domain(isl::basic_map bmap2) const; - inline isl::basic_map apply_range(isl::basic_map bmap2) const; - inline isl::basic_set deltas() const; - inline isl::basic_map detect_equalities() const; - inline isl::basic_map fix_si(isl::dim type, unsigned int pos, int value) const; - inline isl::basic_map flatten() const; - inline isl::basic_map flatten_domain() const; - inline isl::basic_map flatten_range() const; - inline isl::basic_map gist(isl::basic_map context) const; - inline isl::basic_map intersect(isl::basic_map bmap2) const; - inline isl::basic_map intersect_domain(isl::basic_set bset) const; - inline isl::basic_map intersect_range(isl::basic_set bset) const; - inline isl::boolean is_empty() const; - inline isl::boolean is_equal(const isl::basic_map &bmap2) const; - inline isl::boolean is_subset(const isl::basic_map &bmap2) const; - inline isl::map lexmax() const; - inline isl::map lexmin() const; - inline isl::val plain_get_val_if_fixed(isl::dim type, unsigned int pos) const; - inline isl::basic_map project_out(isl::dim type, unsigned int first, unsigned int n) const; - inline isl::basic_map reverse() const; - inline isl::basic_map sample() const; - inline isl::map unite(isl::basic_map bmap2) const; - static inline isl::basic_map universe(isl::space dim); -}; - -// declarations for isl::basic_set -inline isl::basic_set manage(__isl_take isl_basic_set *ptr); - -inline isl::basic_set give(__isl_take isl_basic_set *ptr); - -class basic_set { - friend inline isl::basic_set manage(__isl_take isl_basic_set *ptr); - - isl_basic_set *ptr = nullptr; - - inline explicit basic_set(__isl_take isl_basic_set *ptr); - -public: - inline /* implicit */ basic_set(); - inline /* implicit */ basic_set(const isl::basic_set &obj); - inline /* implicit */ basic_set(std::nullptr_t); - inline explicit basic_set(isl::ctx ctx, const std::string &str); - inline /* implicit */ basic_set(isl::point pnt); - inline isl::basic_set &operator=(isl::basic_set obj); - inline ~basic_set(); - inline __isl_give isl_basic_set *copy() const &; - inline __isl_give isl_basic_set *copy() && = delete; - inline __isl_keep isl_basic_set *get() const; - inline __isl_give isl_basic_set *release(); - inline __isl_keep isl_basic_set *keep() const; - inline __isl_give isl_basic_set *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::basic_set affine_hull() const; - inline isl::basic_set apply(isl::basic_map bmap) const; - inline isl::basic_set detect_equalities() const; - inline isl::basic_set flatten() const; - inline isl::basic_set gist(isl::basic_set context) const; - inline isl::basic_set intersect(isl::basic_set bset2) const; - inline isl::basic_set intersect_params(isl::basic_set bset2) const; - inline isl::boolean is_bounded() const; - inline isl::boolean is_empty() const; - inline isl::boolean is_equal(const isl::basic_set &bset2) const; - inline isl::boolean is_subset(const isl::basic_set &bset2) const; - inline isl::boolean is_wrapping() const; - inline isl::set lexmax() const; - inline isl::set lexmin() const; - inline isl::basic_set project_out(isl::dim type, unsigned int first, unsigned int n) const; - inline isl::basic_set sample() const; - inline isl::point sample_point() const; - inline isl::set unite(isl::basic_set bset2) const; -}; - -// declarations for isl::id -inline isl::id manage(__isl_take isl_id *ptr); - -inline isl::id give(__isl_take isl_id *ptr); - -class id { - friend inline isl::id manage(__isl_take isl_id *ptr); - - isl_id *ptr = nullptr; - - inline explicit id(__isl_take isl_id *ptr); - -public: - inline /* implicit */ id(); - inline /* implicit */ id(const isl::id &obj); - inline /* implicit */ id(std::nullptr_t); - inline isl::id &operator=(isl::id obj); - inline ~id(); - inline __isl_give isl_id *copy() const &; - inline __isl_give isl_id *copy() && = delete; - inline __isl_keep isl_id *get() const; - inline __isl_give isl_id *release(); - inline __isl_keep isl_id *keep() const; - inline __isl_give isl_id *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; -}; - -// declarations for isl::local_space -inline isl::local_space manage(__isl_take isl_local_space *ptr); - -inline isl::local_space give(__isl_take isl_local_space *ptr); - -class local_space { - friend inline isl::local_space manage(__isl_take isl_local_space *ptr); - - isl_local_space *ptr = nullptr; - - inline explicit local_space(__isl_take isl_local_space *ptr); - -public: - inline /* implicit */ local_space(); - inline /* implicit */ local_space(const isl::local_space &obj); - inline /* implicit */ local_space(std::nullptr_t); - inline explicit local_space(isl::space dim); - inline isl::local_space &operator=(isl::local_space obj); - inline ~local_space(); - inline __isl_give isl_local_space *copy() const &; - inline __isl_give isl_local_space *copy() && = delete; - inline __isl_keep isl_local_space *get() const; - inline __isl_give isl_local_space *release(); - inline __isl_keep isl_local_space *keep() const; - inline __isl_give isl_local_space *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; -}; - -// declarations for isl::map -inline isl::map manage(__isl_take isl_map *ptr); - -inline isl::map give(__isl_take isl_map *ptr); - -class map { - friend inline isl::map manage(__isl_take isl_map *ptr); - - isl_map *ptr = nullptr; - - inline explicit map(__isl_take isl_map *ptr); - -public: - inline /* implicit */ map(); - inline /* implicit */ map(const isl::map &obj); - inline /* implicit */ map(std::nullptr_t); - inline explicit map(isl::ctx ctx, const std::string &str); - inline /* implicit */ map(isl::basic_map bmap); - inline isl::map &operator=(isl::map obj); - inline ~map(); - inline __isl_give isl_map *copy() const &; - inline __isl_give isl_map *copy() && = delete; - inline __isl_keep isl_map *get() const; - inline __isl_give isl_map *release(); - inline __isl_keep isl_map *keep() const; - inline __isl_give isl_map *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::basic_map affine_hull() const; - inline isl::map apply_domain(isl::map map2) const; - inline isl::map apply_range(isl::map map2) const; - inline isl::map coalesce() const; - inline isl::map complement() const; - inline isl::set deltas() const; - inline isl::map detect_equalities() const; - inline unsigned int dim(isl::dim type) const; - inline isl::pw_aff dim_max(int pos) const; - inline isl::pw_aff dim_min(int pos) const; - inline isl::map flatten() const; - inline isl::map flatten_domain() const; - inline isl::map flatten_range() const; - inline isl::stat foreach_basic_map(std::function<isl::stat(isl::basic_map)> &&fn) const; - static inline isl::map from_range(isl::set set); - inline isl::map gist(isl::map context) const; - inline isl::map gist_domain(isl::set context) const; - inline isl::map intersect(isl::map map2) const; - inline isl::map intersect_domain(isl::set set) const; - inline isl::map intersect_params(isl::set params) const; - inline isl::map intersect_range(isl::set set) const; - inline isl::boolean is_bijective() const; - inline isl::boolean is_disjoint(const isl::map &map2) const; - inline isl::boolean is_empty() const; - inline isl::boolean is_equal(const isl::map &map2) const; - inline isl::boolean is_injective() const; - inline isl::boolean is_single_valued() const; - inline isl::boolean is_strict_subset(const isl::map &map2) const; - inline isl::boolean is_subset(const isl::map &map2) const; - inline isl::map lexmax() const; - inline isl::map lexmin() const; - inline isl::basic_map polyhedral_hull() const; - inline isl::map project_out(isl::dim type, unsigned int first, unsigned int n) const; - inline isl::map reverse() const; - inline isl::basic_map sample() const; - inline isl::map subtract(isl::map map2) const; - inline isl::map unite(isl::map map2) const; - inline isl::basic_map unshifted_simple_hull() const; -}; - -// declarations for isl::multi_aff -inline isl::multi_aff manage(__isl_take isl_multi_aff *ptr); - -inline isl::multi_aff give(__isl_take isl_multi_aff *ptr); - -class multi_aff { - friend inline isl::multi_aff manage(__isl_take isl_multi_aff *ptr); - - isl_multi_aff *ptr = nullptr; - - inline explicit multi_aff(__isl_take isl_multi_aff *ptr); - -public: - inline /* implicit */ multi_aff(); - inline /* implicit */ multi_aff(const isl::multi_aff &obj); - inline /* implicit */ multi_aff(std::nullptr_t); - inline /* implicit */ multi_aff(isl::aff aff); - inline explicit multi_aff(isl::ctx ctx, const std::string &str); - inline isl::multi_aff &operator=(isl::multi_aff obj); - inline ~multi_aff(); - inline __isl_give isl_multi_aff *copy() const &; - inline __isl_give isl_multi_aff *copy() && = delete; - inline __isl_keep isl_multi_aff *get() const; - inline __isl_give isl_multi_aff *release(); - inline __isl_keep isl_multi_aff *keep() const; - inline __isl_give isl_multi_aff *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::multi_aff add(isl::multi_aff multi2) const; - inline isl::multi_aff flat_range_product(isl::multi_aff multi2) const; - inline isl::aff get_aff(int pos) const; - inline isl::multi_aff product(isl::multi_aff multi2) const; - inline isl::multi_aff pullback(isl::multi_aff ma2) const; - inline isl::multi_aff range_product(isl::multi_aff multi2) const; -}; - -// declarations for isl::multi_pw_aff -inline isl::multi_pw_aff manage(__isl_take isl_multi_pw_aff *ptr); - -inline isl::multi_pw_aff give(__isl_take isl_multi_pw_aff *ptr); - -class multi_pw_aff { - friend inline isl::multi_pw_aff manage(__isl_take isl_multi_pw_aff *ptr); - - isl_multi_pw_aff *ptr = nullptr; - - inline explicit multi_pw_aff(__isl_take isl_multi_pw_aff *ptr); - -public: - inline /* implicit */ multi_pw_aff(); - inline /* implicit */ multi_pw_aff(const isl::multi_pw_aff &obj); - inline /* implicit */ multi_pw_aff(std::nullptr_t); - inline /* implicit */ multi_pw_aff(isl::multi_aff ma); - inline /* implicit */ multi_pw_aff(isl::pw_aff pa); - inline /* implicit */ multi_pw_aff(isl::pw_multi_aff pma); - inline explicit multi_pw_aff(isl::ctx ctx, const std::string &str); - inline isl::multi_pw_aff &operator=(isl::multi_pw_aff obj); - inline ~multi_pw_aff(); - inline __isl_give isl_multi_pw_aff *copy() const &; - inline __isl_give isl_multi_pw_aff *copy() && = delete; - inline __isl_keep isl_multi_pw_aff *get() const; - inline __isl_give isl_multi_pw_aff *release(); - inline __isl_keep isl_multi_pw_aff *keep() const; - inline __isl_give isl_multi_pw_aff *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::multi_pw_aff add(isl::multi_pw_aff multi2) const; - inline isl::multi_pw_aff flat_range_product(isl::multi_pw_aff multi2) const; - inline isl::pw_aff get_pw_aff(int pos) const; - inline isl::multi_pw_aff product(isl::multi_pw_aff multi2) const; - inline isl::multi_pw_aff pullback(isl::multi_aff ma) const; - inline isl::multi_pw_aff pullback(isl::pw_multi_aff pma) const; - inline isl::multi_pw_aff pullback(isl::multi_pw_aff mpa2) const; - inline isl::multi_pw_aff range_product(isl::multi_pw_aff multi2) const; -}; - -// declarations for isl::multi_union_pw_aff -inline isl::multi_union_pw_aff manage(__isl_take isl_multi_union_pw_aff *ptr); - -inline isl::multi_union_pw_aff give(__isl_take isl_multi_union_pw_aff *ptr); - -class multi_union_pw_aff { - friend inline isl::multi_union_pw_aff manage(__isl_take isl_multi_union_pw_aff *ptr); - - isl_multi_union_pw_aff *ptr = nullptr; - - inline explicit multi_union_pw_aff(__isl_take isl_multi_union_pw_aff *ptr); - -public: - inline /* implicit */ multi_union_pw_aff(); - inline /* implicit */ multi_union_pw_aff(const isl::multi_union_pw_aff &obj); - inline /* implicit */ multi_union_pw_aff(std::nullptr_t); - inline /* implicit */ multi_union_pw_aff(isl::union_pw_aff upa); - inline /* implicit */ multi_union_pw_aff(isl::multi_pw_aff mpa); - inline explicit multi_union_pw_aff(isl::union_pw_multi_aff upma); - inline explicit multi_union_pw_aff(isl::ctx ctx, const std::string &str); - inline isl::multi_union_pw_aff &operator=(isl::multi_union_pw_aff obj); - inline ~multi_union_pw_aff(); - inline __isl_give isl_multi_union_pw_aff *copy() const &; - inline __isl_give isl_multi_union_pw_aff *copy() && = delete; - inline __isl_keep isl_multi_union_pw_aff *get() const; - inline __isl_give isl_multi_union_pw_aff *release(); - inline __isl_keep isl_multi_union_pw_aff *keep() const; - inline __isl_give isl_multi_union_pw_aff *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::multi_union_pw_aff add(isl::multi_union_pw_aff multi2) const; - inline isl::multi_union_pw_aff flat_range_product(isl::multi_union_pw_aff multi2) const; - inline isl::union_pw_aff get_union_pw_aff(int pos) const; - inline isl::multi_union_pw_aff pullback(isl::union_pw_multi_aff upma) const; - inline isl::multi_union_pw_aff range_product(isl::multi_union_pw_aff multi2) const; - inline isl::multi_union_pw_aff union_add(isl::multi_union_pw_aff mupa2) const; -}; - -// declarations for isl::multi_val -inline isl::multi_val manage(__isl_take isl_multi_val *ptr); - -inline isl::multi_val give(__isl_take isl_multi_val *ptr); - -class multi_val { - friend inline isl::multi_val manage(__isl_take isl_multi_val *ptr); - - isl_multi_val *ptr = nullptr; - - inline explicit multi_val(__isl_take isl_multi_val *ptr); - -public: - inline /* implicit */ multi_val(); - inline /* implicit */ multi_val(const isl::multi_val &obj); - inline /* implicit */ multi_val(std::nullptr_t); - inline isl::multi_val &operator=(isl::multi_val obj); - inline ~multi_val(); - inline __isl_give isl_multi_val *copy() const &; - inline __isl_give isl_multi_val *copy() && = delete; - inline __isl_keep isl_multi_val *get() const; - inline __isl_give isl_multi_val *release(); - inline __isl_keep isl_multi_val *keep() const; - inline __isl_give isl_multi_val *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::multi_val add(isl::multi_val multi2) const; - inline isl::multi_val flat_range_product(isl::multi_val multi2) const; - inline isl::val get_val(int pos) const; - inline isl::multi_val product(isl::multi_val multi2) const; - inline isl::multi_val range_product(isl::multi_val multi2) const; -}; - -// declarations for isl::point -inline isl::point manage(__isl_take isl_point *ptr); - -inline isl::point give(__isl_take isl_point *ptr); - -class point { - friend inline isl::point manage(__isl_take isl_point *ptr); - - isl_point *ptr = nullptr; - - inline explicit point(__isl_take isl_point *ptr); - -public: - inline /* implicit */ point(); - inline /* implicit */ point(const isl::point &obj); - inline /* implicit */ point(std::nullptr_t); - inline explicit point(isl::space dim); - inline isl::point &operator=(isl::point obj); - inline ~point(); - inline __isl_give isl_point *copy() const &; - inline __isl_give isl_point *copy() && = delete; - inline __isl_keep isl_point *get() const; - inline __isl_give isl_point *release(); - inline __isl_keep isl_point *keep() const; - inline __isl_give isl_point *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; -}; - -// declarations for isl::pw_aff -inline isl::pw_aff manage(__isl_take isl_pw_aff *ptr); - -inline isl::pw_aff give(__isl_take isl_pw_aff *ptr); - -class pw_aff { - friend inline isl::pw_aff manage(__isl_take isl_pw_aff *ptr); - - isl_pw_aff *ptr = nullptr; - - inline explicit pw_aff(__isl_take isl_pw_aff *ptr); - -public: - inline /* implicit */ pw_aff(); - inline /* implicit */ pw_aff(const isl::pw_aff &obj); - inline /* implicit */ pw_aff(std::nullptr_t); - inline /* implicit */ pw_aff(isl::aff aff); - inline explicit pw_aff(isl::local_space ls); - inline explicit pw_aff(isl::set domain, isl::val v); - inline explicit pw_aff(isl::ctx ctx, const std::string &str); - inline isl::pw_aff &operator=(isl::pw_aff obj); - inline ~pw_aff(); - inline __isl_give isl_pw_aff *copy() const &; - inline __isl_give isl_pw_aff *copy() && = delete; - inline __isl_keep isl_pw_aff *get() const; - inline __isl_give isl_pw_aff *release(); - inline __isl_keep isl_pw_aff *keep() const; - inline __isl_give isl_pw_aff *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::pw_aff add(isl::pw_aff pwaff2) const; - inline isl::stat foreach_piece(std::function<isl::stat(isl::set, isl::aff)> &&fn) const; - inline isl::space get_space() const; - inline isl::boolean is_cst() const; - inline isl::pw_aff mul(isl::pw_aff pwaff2) const; - inline isl::pw_aff neg() const; - inline isl::pw_aff pullback(isl::multi_aff ma) const; - inline isl::pw_aff pullback(isl::pw_multi_aff pma) const; - inline isl::pw_aff pullback(isl::multi_pw_aff mpa) const; - inline isl::pw_aff sub(isl::pw_aff pwaff2) const; - inline isl::pw_aff union_add(isl::pw_aff pwaff2) const; -}; - -// declarations for isl::pw_multi_aff -inline isl::pw_multi_aff manage(__isl_take isl_pw_multi_aff *ptr); - -inline isl::pw_multi_aff give(__isl_take isl_pw_multi_aff *ptr); - -class pw_multi_aff { - friend inline isl::pw_multi_aff manage(__isl_take isl_pw_multi_aff *ptr); - - isl_pw_multi_aff *ptr = nullptr; - - inline explicit pw_multi_aff(__isl_take isl_pw_multi_aff *ptr); - -public: - inline /* implicit */ pw_multi_aff(); - inline /* implicit */ pw_multi_aff(const isl::pw_multi_aff &obj); - inline /* implicit */ pw_multi_aff(std::nullptr_t); - inline explicit pw_multi_aff(isl::ctx ctx, const std::string &str); - inline /* implicit */ pw_multi_aff(isl::multi_aff ma); - inline /* implicit */ pw_multi_aff(isl::pw_aff pa); - inline isl::pw_multi_aff &operator=(isl::pw_multi_aff obj); - inline ~pw_multi_aff(); - inline __isl_give isl_pw_multi_aff *copy() const &; - inline __isl_give isl_pw_multi_aff *copy() && = delete; - inline __isl_keep isl_pw_multi_aff *get() const; - inline __isl_give isl_pw_multi_aff *release(); - inline __isl_keep isl_pw_multi_aff *keep() const; - inline __isl_give isl_pw_multi_aff *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::pw_multi_aff add(isl::pw_multi_aff pma2) const; - inline isl::pw_multi_aff flat_range_product(isl::pw_multi_aff pma2) const; - inline isl::pw_multi_aff product(isl::pw_multi_aff pma2) const; - inline isl::pw_multi_aff pullback(isl::multi_aff ma) const; - inline isl::pw_multi_aff pullback(isl::pw_multi_aff pma2) const; - inline isl::pw_multi_aff range_product(isl::pw_multi_aff pma2) const; - inline isl::pw_multi_aff union_add(isl::pw_multi_aff pma2) const; -}; - -// declarations for isl::schedule -inline isl::schedule manage(__isl_take isl_schedule *ptr); - -inline isl::schedule give(__isl_take isl_schedule *ptr); - -class schedule { - friend inline isl::schedule manage(__isl_take isl_schedule *ptr); - - isl_schedule *ptr = nullptr; - - inline explicit schedule(__isl_take isl_schedule *ptr); - -public: - inline /* implicit */ schedule(); - inline /* implicit */ schedule(const isl::schedule &obj); - inline /* implicit */ schedule(std::nullptr_t); - inline explicit schedule(isl::ctx ctx, const std::string &str); - inline isl::schedule &operator=(isl::schedule obj); - inline ~schedule(); - inline __isl_give isl_schedule *copy() const &; - inline __isl_give isl_schedule *copy() && = delete; - inline __isl_keep isl_schedule *get() const; - inline __isl_give isl_schedule *release(); - inline __isl_keep isl_schedule *keep() const; - inline __isl_give isl_schedule *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::union_map get_map() const; - inline isl::schedule_node get_root() const; - inline isl::schedule pullback(isl::union_pw_multi_aff upma) const; -}; - -// declarations for isl::schedule_constraints -inline isl::schedule_constraints manage(__isl_take isl_schedule_constraints *ptr); - -inline isl::schedule_constraints give(__isl_take isl_schedule_constraints *ptr); - -class schedule_constraints { - friend inline isl::schedule_constraints manage(__isl_take isl_schedule_constraints *ptr); - - isl_schedule_constraints *ptr = nullptr; - - inline explicit schedule_constraints(__isl_take isl_schedule_constraints *ptr); - -public: - inline /* implicit */ schedule_constraints(); - inline /* implicit */ schedule_constraints(const isl::schedule_constraints &obj); - inline /* implicit */ schedule_constraints(std::nullptr_t); - inline explicit schedule_constraints(isl::ctx ctx, const std::string &str); - inline isl::schedule_constraints &operator=(isl::schedule_constraints obj); - inline ~schedule_constraints(); - inline __isl_give isl_schedule_constraints *copy() const &; - inline __isl_give isl_schedule_constraints *copy() && = delete; - inline __isl_keep isl_schedule_constraints *get() const; - inline __isl_give isl_schedule_constraints *release(); - inline __isl_keep isl_schedule_constraints *keep() const; - inline __isl_give isl_schedule_constraints *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::union_map get_coincidence() const; - inline isl::union_map get_conditional_validity() const; - inline isl::union_map get_conditional_validity_condition() const; - inline isl::set get_context() const; - inline isl::union_set get_domain() const; - inline isl::union_map get_proximity() const; - inline isl::union_map get_validity() const; -}; - -// declarations for isl::schedule_node -inline isl::schedule_node manage(__isl_take isl_schedule_node *ptr); - -inline isl::schedule_node give(__isl_take isl_schedule_node *ptr); - -class schedule_node { - friend inline isl::schedule_node manage(__isl_take isl_schedule_node *ptr); - - isl_schedule_node *ptr = nullptr; - - inline explicit schedule_node(__isl_take isl_schedule_node *ptr); - -public: - inline /* implicit */ schedule_node(); - inline /* implicit */ schedule_node(const isl::schedule_node &obj); - inline /* implicit */ schedule_node(std::nullptr_t); - inline isl::schedule_node &operator=(isl::schedule_node obj); - inline ~schedule_node(); - inline __isl_give isl_schedule_node *copy() const &; - inline __isl_give isl_schedule_node *copy() && = delete; - inline __isl_keep isl_schedule_node *get() const; - inline __isl_give isl_schedule_node *release(); - inline __isl_keep isl_schedule_node *keep() const; - inline __isl_give isl_schedule_node *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::boolean band_member_get_coincident(int pos) const; - inline isl::schedule_node band_member_set_coincident(int pos, int coincident) const; - inline isl::schedule_node child(int pos) const; - inline isl::multi_union_pw_aff get_prefix_schedule_multi_union_pw_aff() const; - inline isl::union_map get_prefix_schedule_union_map() const; - inline isl::union_pw_multi_aff get_prefix_schedule_union_pw_multi_aff() const; - inline isl::schedule get_schedule() const; - inline isl::schedule_node parent() const; -}; - -// declarations for isl::set -inline isl::set manage(__isl_take isl_set *ptr); - -inline isl::set give(__isl_take isl_set *ptr); - -class set { - friend inline isl::set manage(__isl_take isl_set *ptr); - - isl_set *ptr = nullptr; - - inline explicit set(__isl_take isl_set *ptr); - -public: - inline /* implicit */ set(); - inline /* implicit */ set(const isl::set &obj); - inline /* implicit */ set(std::nullptr_t); - inline explicit set(isl::union_set uset); - inline explicit set(isl::ctx ctx, const std::string &str); - inline /* implicit */ set(isl::basic_set bset); - inline /* implicit */ set(isl::point pnt); - inline isl::set &operator=(isl::set obj); - inline ~set(); - inline __isl_give isl_set *copy() const &; - inline __isl_give isl_set *copy() && = delete; - inline __isl_keep isl_set *get() const; - inline __isl_give isl_set *release(); - inline __isl_keep isl_set *keep() const; - inline __isl_give isl_set *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::set add_dims(isl::dim type, unsigned int n) const; - inline isl::basic_set affine_hull() const; - inline isl::set apply(isl::map map) const; - inline isl::set coalesce() const; - inline isl::set complement() const; - inline isl::set detect_equalities() const; - inline unsigned int dim(isl::dim type) const; - inline isl::pw_aff dim_max(int pos) const; - inline isl::pw_aff dim_min(int pos) const; - inline isl::set flatten() const; - inline isl::stat foreach_basic_set(std::function<isl::stat(isl::basic_set)> &&fn) const; - inline isl::set gist(isl::set context) const; - inline isl::map identity() const; - inline isl::set intersect(isl::set set2) const; - inline isl::set intersect_params(isl::set params) const; - inline isl::boolean is_bounded() const; - inline isl::boolean is_disjoint(const isl::set &set2) const; - inline isl::boolean is_empty() const; - inline isl::boolean is_equal(const isl::set &set2) const; - inline isl::boolean is_strict_subset(const isl::set &set2) const; - inline isl::boolean is_subset(const isl::set &set2) const; - inline isl::boolean is_wrapping() const; - inline isl::set lexmax() const; - inline isl::set lexmin() const; - inline isl::val max_val(const isl::aff &obj) const; - inline isl::val min_val(const isl::aff &obj) const; - inline isl::basic_set polyhedral_hull() const; - inline isl::set project_out(isl::dim type, unsigned int first, unsigned int n) const; - inline isl::basic_set sample() const; - inline isl::point sample_point() const; - inline isl::set subtract(isl::set set2) const; - inline isl::set unite(isl::set set2) const; - static inline isl::set universe(isl::space dim); - inline isl::basic_set unshifted_simple_hull() const; -}; - -// declarations for isl::space -inline isl::space manage(__isl_take isl_space *ptr); - -inline isl::space give(__isl_take isl_space *ptr); - -class space { - friend inline isl::space manage(__isl_take isl_space *ptr); - - isl_space *ptr = nullptr; - - inline explicit space(__isl_take isl_space *ptr); - -public: - inline /* implicit */ space(); - inline /* implicit */ space(const isl::space &obj); - inline /* implicit */ space(std::nullptr_t); - inline explicit space(isl::ctx ctx, unsigned int nparam, unsigned int n_in, unsigned int n_out); - inline explicit space(isl::ctx ctx, unsigned int nparam, unsigned int dim); - inline isl::space &operator=(isl::space obj); - inline ~space(); - inline __isl_give isl_space *copy() const &; - inline __isl_give isl_space *copy() && = delete; - inline __isl_keep isl_space *get() const; - inline __isl_give isl_space *release(); - inline __isl_keep isl_space *keep() const; - inline __isl_give isl_space *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::space domain() const; - inline isl::boolean is_equal(const isl::space &space2) const; - inline isl::space params() const; - inline isl::space set_from_params() const; -}; - -// declarations for isl::union_access_info -inline isl::union_access_info manage(__isl_take isl_union_access_info *ptr); - -inline isl::union_access_info give(__isl_take isl_union_access_info *ptr); - -class union_access_info { - friend inline isl::union_access_info manage(__isl_take isl_union_access_info *ptr); - - isl_union_access_info *ptr = nullptr; - - inline explicit union_access_info(__isl_take isl_union_access_info *ptr); - -public: - inline /* implicit */ union_access_info(); - inline /* implicit */ union_access_info(const isl::union_access_info &obj); - inline /* implicit */ union_access_info(std::nullptr_t); - inline explicit union_access_info(isl::union_map sink); - inline isl::union_access_info &operator=(isl::union_access_info obj); - inline ~union_access_info(); - inline __isl_give isl_union_access_info *copy() const &; - inline __isl_give isl_union_access_info *copy() && = delete; - inline __isl_keep isl_union_access_info *get() const; - inline __isl_give isl_union_access_info *release(); - inline __isl_keep isl_union_access_info *keep() const; - inline __isl_give isl_union_access_info *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::union_flow compute_flow() const; - inline isl::union_access_info set_may_source(isl::union_map may_source) const; - inline isl::union_access_info set_must_source(isl::union_map must_source) const; - inline isl::union_access_info set_schedule(isl::schedule schedule) const; - inline isl::union_access_info set_schedule_map(isl::union_map schedule_map) const; -}; - -// declarations for isl::union_flow -inline isl::union_flow manage(__isl_take isl_union_flow *ptr); - -inline isl::union_flow give(__isl_take isl_union_flow *ptr); - -class union_flow { - friend inline isl::union_flow manage(__isl_take isl_union_flow *ptr); - - isl_union_flow *ptr = nullptr; - - inline explicit union_flow(__isl_take isl_union_flow *ptr); - -public: - inline /* implicit */ union_flow(); - inline /* implicit */ union_flow(const isl::union_flow &obj); - inline /* implicit */ union_flow(std::nullptr_t); - inline isl::union_flow &operator=(isl::union_flow obj); - inline ~union_flow(); - inline __isl_give isl_union_flow *copy() const &; - inline __isl_give isl_union_flow *copy() && = delete; - inline __isl_keep isl_union_flow *get() const; - inline __isl_give isl_union_flow *release(); - inline __isl_keep isl_union_flow *keep() const; - inline __isl_give isl_union_flow *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::union_map get_full_may_dependence() const; - inline isl::union_map get_full_must_dependence() const; - inline isl::union_map get_may_dependence() const; - inline isl::union_map get_may_no_source() const; - inline isl::union_map get_must_dependence() const; - inline isl::union_map get_must_no_source() const; -}; - -// declarations for isl::union_map -inline isl::union_map manage(__isl_take isl_union_map *ptr); - -inline isl::union_map give(__isl_take isl_union_map *ptr); - -class union_map { - friend inline isl::union_map manage(__isl_take isl_union_map *ptr); - - isl_union_map *ptr = nullptr; - - inline explicit union_map(__isl_take isl_union_map *ptr); - -public: - inline /* implicit */ union_map(); - inline /* implicit */ union_map(const isl::union_map &obj); - inline /* implicit */ union_map(std::nullptr_t); - inline explicit union_map(isl::union_pw_aff upa); - inline /* implicit */ union_map(isl::basic_map bmap); - inline /* implicit */ union_map(isl::map map); - inline explicit union_map(isl::ctx ctx, const std::string &str); - inline isl::union_map &operator=(isl::union_map obj); - inline ~union_map(); - inline __isl_give isl_union_map *copy() const &; - inline __isl_give isl_union_map *copy() && = delete; - inline __isl_keep isl_union_map *get() const; - inline __isl_give isl_union_map *release(); - inline __isl_keep isl_union_map *keep() const; - inline __isl_give isl_union_map *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::union_map add_map(isl::map map) const; - inline isl::union_map affine_hull() const; - inline isl::union_map apply_domain(isl::union_map umap2) const; - inline isl::union_map apply_range(isl::union_map umap2) const; - inline isl::union_map coalesce() const; - inline isl::union_map compute_divs() const; - inline isl::union_set deltas() const; - inline isl::union_map detect_equalities() const; - inline isl::union_set domain() const; - inline isl::union_map domain_factor_domain() const; - inline isl::union_map domain_factor_range() const; - inline isl::union_map domain_map() const; - inline isl::union_pw_multi_aff domain_map_union_pw_multi_aff() const; - inline isl::union_map domain_product(isl::union_map umap2) const; - static inline isl::union_map empty(isl::space dim); - inline isl::union_map factor_domain() const; - inline isl::union_map factor_range() const; - inline isl::union_map fixed_power(isl::val exp) const; - inline isl::union_map flat_range_product(isl::union_map umap2) const; - inline isl::stat foreach_map(std::function<isl::stat(isl::map)> &&fn) const; - static inline isl::union_map from(isl::union_pw_multi_aff upma); - static inline isl::union_map from(isl::multi_union_pw_aff mupa); - static inline isl::union_map from_domain_and_range(isl::union_set domain, isl::union_set range); - inline isl::space get_space() const; - inline isl::union_map gist(isl::union_map context) const; - inline isl::union_map gist_domain(isl::union_set uset) const; - inline isl::union_map gist_params(isl::set set) const; - inline isl::union_map gist_range(isl::union_set uset) const; - inline isl::union_map intersect(isl::union_map umap2) const; - inline isl::union_map intersect_domain(isl::union_set uset) const; - inline isl::union_map intersect_params(isl::set set) const; - inline isl::union_map intersect_range(isl::union_set uset) const; - inline isl::boolean is_bijective() const; - inline isl::boolean is_empty() const; - inline isl::boolean is_equal(const isl::union_map &umap2) const; - inline isl::boolean is_injective() const; - inline isl::boolean is_single_valued() const; - inline isl::boolean is_strict_subset(const isl::union_map &umap2) const; - inline isl::boolean is_subset(const isl::union_map &umap2) const; - inline isl::union_map lexmax() const; - inline isl::union_map lexmin() const; - inline isl::union_map polyhedral_hull() const; - inline isl::union_map product(isl::union_map umap2) const; - inline isl::union_set range() const; - inline isl::union_map range_factor_domain() const; - inline isl::union_map range_factor_range() const; - inline isl::union_map range_map() const; - inline isl::union_map range_product(isl::union_map umap2) const; - inline isl::union_map reverse() const; - inline isl::union_map subtract(isl::union_map umap2) const; - inline isl::union_map subtract_domain(isl::union_set dom) const; - inline isl::union_map subtract_range(isl::union_set dom) const; - inline isl::union_map unite(isl::union_map umap2) const; - inline isl::union_set wrap() const; - inline isl::union_map zip() const; -}; - -// declarations for isl::union_pw_aff -inline isl::union_pw_aff manage(__isl_take isl_union_pw_aff *ptr); - -inline isl::union_pw_aff give(__isl_take isl_union_pw_aff *ptr); - -class union_pw_aff { - friend inline isl::union_pw_aff manage(__isl_take isl_union_pw_aff *ptr); - - isl_union_pw_aff *ptr = nullptr; - - inline explicit union_pw_aff(__isl_take isl_union_pw_aff *ptr); - -public: - inline /* implicit */ union_pw_aff(); - inline /* implicit */ union_pw_aff(const isl::union_pw_aff &obj); - inline /* implicit */ union_pw_aff(std::nullptr_t); - inline /* implicit */ union_pw_aff(isl::pw_aff pa); - inline explicit union_pw_aff(isl::union_set domain, isl::val v); - inline explicit union_pw_aff(isl::ctx ctx, const std::string &str); - inline isl::union_pw_aff &operator=(isl::union_pw_aff obj); - inline ~union_pw_aff(); - inline __isl_give isl_union_pw_aff *copy() const &; - inline __isl_give isl_union_pw_aff *copy() && = delete; - inline __isl_keep isl_union_pw_aff *get() const; - inline __isl_give isl_union_pw_aff *release(); - inline __isl_keep isl_union_pw_aff *keep() const; - inline __isl_give isl_union_pw_aff *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::union_pw_aff add(isl::union_pw_aff upa2) const; - static inline isl::union_pw_aff empty(isl::space space); - inline isl::stat foreach_pw_aff(std::function<isl::stat(isl::pw_aff)> &&fn) const; - inline isl::space get_space() const; - inline isl::union_pw_aff pullback(isl::union_pw_multi_aff upma) const; - inline isl::union_pw_aff sub(isl::union_pw_aff upa2) const; - inline isl::union_pw_aff union_add(isl::union_pw_aff upa2) const; -}; - -// declarations for isl::union_pw_multi_aff -inline isl::union_pw_multi_aff manage(__isl_take isl_union_pw_multi_aff *ptr); - -inline isl::union_pw_multi_aff give(__isl_take isl_union_pw_multi_aff *ptr); - -class union_pw_multi_aff { - friend inline isl::union_pw_multi_aff manage(__isl_take isl_union_pw_multi_aff *ptr); - - isl_union_pw_multi_aff *ptr = nullptr; - - inline explicit union_pw_multi_aff(__isl_take isl_union_pw_multi_aff *ptr); - -public: - inline /* implicit */ union_pw_multi_aff(); - inline /* implicit */ union_pw_multi_aff(const isl::union_pw_multi_aff &obj); - inline /* implicit */ union_pw_multi_aff(std::nullptr_t); - inline /* implicit */ union_pw_multi_aff(isl::pw_multi_aff pma); - inline explicit union_pw_multi_aff(isl::union_set uset); - inline explicit union_pw_multi_aff(isl::union_map umap); - inline explicit union_pw_multi_aff(isl::ctx ctx, const std::string &str); - inline /* implicit */ union_pw_multi_aff(isl::union_pw_aff upa); - inline isl::union_pw_multi_aff &operator=(isl::union_pw_multi_aff obj); - inline ~union_pw_multi_aff(); - inline __isl_give isl_union_pw_multi_aff *copy() const &; - inline __isl_give isl_union_pw_multi_aff *copy() && = delete; - inline __isl_keep isl_union_pw_multi_aff *get() const; - inline __isl_give isl_union_pw_multi_aff *release(); - inline __isl_keep isl_union_pw_multi_aff *keep() const; - inline __isl_give isl_union_pw_multi_aff *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::union_pw_multi_aff add(isl::union_pw_multi_aff upma2) const; - inline isl::union_pw_multi_aff flat_range_product(isl::union_pw_multi_aff upma2) const; - inline isl::union_pw_multi_aff pullback(isl::union_pw_multi_aff upma2) const; - inline isl::union_pw_multi_aff union_add(isl::union_pw_multi_aff upma2) const; -}; - -// declarations for isl::union_set -inline isl::union_set manage(__isl_take isl_union_set *ptr); - -inline isl::union_set give(__isl_take isl_union_set *ptr); - -class union_set { - friend inline isl::union_set manage(__isl_take isl_union_set *ptr); - - isl_union_set *ptr = nullptr; - - inline explicit union_set(__isl_take isl_union_set *ptr); - -public: - inline /* implicit */ union_set(); - inline /* implicit */ union_set(const isl::union_set &obj); - inline /* implicit */ union_set(std::nullptr_t); - inline /* implicit */ union_set(isl::basic_set bset); - inline /* implicit */ union_set(isl::set set); - inline /* implicit */ union_set(isl::point pnt); - inline explicit union_set(isl::ctx ctx, const std::string &str); - inline isl::union_set &operator=(isl::union_set obj); - inline ~union_set(); - inline __isl_give isl_union_set *copy() const &; - inline __isl_give isl_union_set *copy() && = delete; - inline __isl_keep isl_union_set *get() const; - inline __isl_give isl_union_set *release(); - inline __isl_keep isl_union_set *keep() const; - inline __isl_give isl_union_set *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::union_set affine_hull() const; - inline isl::union_set apply(isl::union_map umap) const; - inline isl::union_set coalesce() const; - inline isl::union_set compute_divs() const; - inline isl::union_set detect_equalities() const; - inline isl::stat foreach_point(std::function<isl::stat(isl::point)> &&fn) const; - inline isl::stat foreach_set(std::function<isl::stat(isl::set)> &&fn) const; - inline isl::union_set gist(isl::union_set context) const; - inline isl::union_set gist_params(isl::set set) const; - inline isl::union_map identity() const; - inline isl::union_set intersect(isl::union_set uset2) const; - inline isl::union_set intersect_params(isl::set set) const; - inline isl::boolean is_empty() const; - inline isl::boolean is_equal(const isl::union_set &uset2) const; - inline isl::boolean is_strict_subset(const isl::union_set &uset2) const; - inline isl::boolean is_subset(const isl::union_set &uset2) const; - inline isl::union_set lexmax() const; - inline isl::union_set lexmin() const; - inline isl::union_set polyhedral_hull() const; - inline isl::point sample_point() const; - inline isl::union_set subtract(isl::union_set uset2) const; - inline isl::union_set unite(isl::union_set uset2) const; - inline isl::union_map unwrap() const; -}; - -// declarations for isl::val -inline isl::val manage(__isl_take isl_val *ptr); - -inline isl::val give(__isl_take isl_val *ptr); - -class val { - friend inline isl::val manage(__isl_take isl_val *ptr); - - isl_val *ptr = nullptr; - - inline explicit val(__isl_take isl_val *ptr); - -public: - inline /* implicit */ val(); - inline /* implicit */ val(const isl::val &obj); - inline /* implicit */ val(std::nullptr_t); - inline explicit val(isl::ctx ctx, long i); - inline explicit val(isl::ctx ctx, const std::string &str); - inline isl::val &operator=(isl::val obj); - inline ~val(); - inline __isl_give isl_val *copy() const &; - inline __isl_give isl_val *copy() && = delete; - inline __isl_keep isl_val *get() const; - inline __isl_give isl_val *release(); - inline __isl_keep isl_val *keep() const; - inline __isl_give isl_val *take(); - inline explicit operator bool() const; - inline isl::ctx get_ctx() const; - inline bool is_null() const; - inline std::string to_str() const; - inline isl::val two_exp() const; - inline isl::val abs() const; - inline isl::boolean abs_eq(const isl::val &v2) const; - inline isl::val add(isl::val v2) const; - inline isl::val add_ui(unsigned long v2) const; - inline isl::val ceil() const; - inline int cmp_si(long i) const; - inline isl::val div(isl::val v2) const; - inline isl::boolean eq(const isl::val &v2) const; - inline isl::val floor() const; - inline isl::val gcd(isl::val v2) const; - inline isl::boolean ge(const isl::val &v2) const; - inline isl::boolean gt(const isl::val &v2) const; - static inline isl::val infty(isl::ctx ctx); - inline isl::val inv() const; - inline isl::boolean is_divisible_by(const isl::val &v2) const; - inline isl::boolean is_infty() const; - inline isl::boolean is_int() const; - inline isl::boolean is_nan() const; - inline isl::boolean is_neg() const; - inline isl::boolean is_neginfty() const; - inline isl::boolean is_negone() const; - inline isl::boolean is_nonneg() const; - inline isl::boolean is_nonpos() const; - inline isl::boolean is_one() const; - inline isl::boolean is_pos() const; - inline isl::boolean is_rat() const; - inline isl::boolean is_zero() const; - inline isl::boolean le(const isl::val &v2) const; - inline isl::boolean lt(const isl::val &v2) const; - inline isl::val max(isl::val v2) const; - inline isl::val min(isl::val v2) const; - inline isl::val mod(isl::val v2) const; - inline isl::val mul(isl::val v2) const; - static inline isl::val nan(isl::ctx ctx); - inline isl::boolean ne(const isl::val &v2) const; - inline isl::val neg() const; - static inline isl::val neginfty(isl::ctx ctx); - static inline isl::val negone(isl::ctx ctx); - static inline isl::val one(isl::ctx ctx); - inline int sgn() const; - inline isl::val sub(isl::val v2) const; - inline isl::val sub_ui(unsigned long v2) const; - inline isl::val trunc() const; - static inline isl::val zero(isl::ctx ctx); -}; - -// implementations for isl::aff -isl::aff manage(__isl_take isl_aff *ptr) { - return aff(ptr); -} - -isl::aff give(__isl_take isl_aff *ptr) { - return manage(ptr); -} - -aff::aff() - : ptr(nullptr) {} - -aff::aff(const isl::aff &obj) - : ptr(obj.copy()) {} - -aff::aff(std::nullptr_t) - : ptr(nullptr) {} - -aff::aff(__isl_take isl_aff *ptr) - : ptr(ptr) {} - -aff::aff(isl::local_space ls) { - auto res = isl_aff_zero_on_domain(ls.release()); - ptr = res; -} - -aff::aff(isl::local_space ls, isl::val val) { - auto res = isl_aff_val_on_domain(ls.release(), val.release()); - ptr = res; -} - -aff::aff(isl::ctx ctx, const std::string &str) { - auto res = isl_aff_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -aff &aff::operator=(isl::aff obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -aff::~aff() { - if (ptr) - isl_aff_free(ptr); -} - -__isl_give isl_aff *aff::copy() const & { - return isl_aff_copy(ptr); -} - -__isl_keep isl_aff *aff::get() const { - return ptr; -} - -__isl_give isl_aff *aff::release() { - isl_aff *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_aff *aff::keep() const { - return get(); -} - -__isl_give isl_aff *aff::take() { - return release(); -} - -aff::operator bool() const { - return !is_null(); -} - -isl::ctx aff::get_ctx() const { - return isl::ctx(isl_aff_get_ctx(ptr)); -} - -bool aff::is_null() const { - return ptr == nullptr; -} - -std::string aff::to_str() const { - char *Tmp = isl_aff_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const aff &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::aff aff::add(isl::aff aff2) const { - auto res = isl_aff_add(copy(), aff2.release()); - return manage(res); -} - -isl::val aff::get_constant() const { - auto res = isl_aff_get_constant_val(get()); - return manage(res); -} - -isl::boolean aff::is_cst() const { - auto res = isl_aff_is_cst(get()); - return res; -} - -isl::aff aff::pullback(isl::multi_aff ma) const { - auto res = isl_aff_pullback_multi_aff(copy(), ma.release()); - return manage(res); -} - -// implementations for isl::ast_build -isl::ast_build manage(__isl_take isl_ast_build *ptr) { - return ast_build(ptr); -} - -isl::ast_build give(__isl_take isl_ast_build *ptr) { - return manage(ptr); -} - -ast_build::ast_build() - : ptr(nullptr) {} - -ast_build::ast_build(const isl::ast_build &obj) - : ptr(obj.copy()) {} - -ast_build::ast_build(std::nullptr_t) - : ptr(nullptr) {} - -ast_build::ast_build(__isl_take isl_ast_build *ptr) - : ptr(ptr) {} - -ast_build::ast_build(isl::ctx ctx) { - auto res = isl_ast_build_alloc(ctx.release()); - ptr = res; -} - -ast_build &ast_build::operator=(isl::ast_build obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -ast_build::~ast_build() { - if (ptr) - isl_ast_build_free(ptr); -} - -__isl_give isl_ast_build *ast_build::copy() const & { - return isl_ast_build_copy(ptr); -} - -__isl_keep isl_ast_build *ast_build::get() const { - return ptr; -} - -__isl_give isl_ast_build *ast_build::release() { - isl_ast_build *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_ast_build *ast_build::keep() const { - return get(); -} - -__isl_give isl_ast_build *ast_build::take() { - return release(); -} - -ast_build::operator bool() const { - return !is_null(); -} - -isl::ctx ast_build::get_ctx() const { - return isl::ctx(isl_ast_build_get_ctx(ptr)); -} - -bool ast_build::is_null() const { - return ptr == nullptr; -} - -isl::ast_expr ast_build::access_from(isl::pw_multi_aff pma) const { - auto res = isl_ast_build_access_from_pw_multi_aff(get(), pma.release()); - return manage(res); -} - -isl::ast_expr ast_build::access_from(isl::multi_pw_aff mpa) const { - auto res = isl_ast_build_access_from_multi_pw_aff(get(), mpa.release()); - return manage(res); -} - -isl::ast_expr ast_build::call_from(isl::pw_multi_aff pma) const { - auto res = isl_ast_build_call_from_pw_multi_aff(get(), pma.release()); - return manage(res); -} - -isl::ast_expr ast_build::call_from(isl::multi_pw_aff mpa) const { - auto res = isl_ast_build_call_from_multi_pw_aff(get(), mpa.release()); - return manage(res); -} - -isl::ast_expr ast_build::expr_from(isl::set set) const { - auto res = isl_ast_build_expr_from_set(get(), set.release()); - return manage(res); -} - -isl::ast_expr ast_build::expr_from(isl::pw_aff pa) const { - auto res = isl_ast_build_expr_from_pw_aff(get(), pa.release()); - return manage(res); -} - -isl::ast_build ast_build::from_context(isl::set set) { - auto res = isl_ast_build_from_context(set.release()); - return manage(res); -} - -isl::ast_node ast_build::node_from_schedule_map(isl::union_map schedule) const { - auto res = isl_ast_build_node_from_schedule_map(get(), schedule.release()); - return manage(res); -} - -// implementations for isl::ast_expr -isl::ast_expr manage(__isl_take isl_ast_expr *ptr) { - return ast_expr(ptr); -} - -isl::ast_expr give(__isl_take isl_ast_expr *ptr) { - return manage(ptr); -} - -ast_expr::ast_expr() - : ptr(nullptr) {} - -ast_expr::ast_expr(const isl::ast_expr &obj) - : ptr(obj.copy()) {} - -ast_expr::ast_expr(std::nullptr_t) - : ptr(nullptr) {} - -ast_expr::ast_expr(__isl_take isl_ast_expr *ptr) - : ptr(ptr) {} - -ast_expr &ast_expr::operator=(isl::ast_expr obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -ast_expr::~ast_expr() { - if (ptr) - isl_ast_expr_free(ptr); -} - -__isl_give isl_ast_expr *ast_expr::copy() const & { - return isl_ast_expr_copy(ptr); -} - -__isl_keep isl_ast_expr *ast_expr::get() const { - return ptr; -} - -__isl_give isl_ast_expr *ast_expr::release() { - isl_ast_expr *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_ast_expr *ast_expr::keep() const { - return get(); -} - -__isl_give isl_ast_expr *ast_expr::take() { - return release(); -} - -ast_expr::operator bool() const { - return !is_null(); -} - -isl::ctx ast_expr::get_ctx() const { - return isl::ctx(isl_ast_expr_get_ctx(ptr)); -} - -bool ast_expr::is_null() const { - return ptr == nullptr; -} - -std::string ast_expr::to_str() const { - char *Tmp = isl_ast_expr_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const ast_expr &Obj) { - OS << Obj.to_str(); - return OS; -} - -std::string ast_expr::to_C_str() const { - auto res = isl_ast_expr_to_C_str(get()); - std::string tmp(res); - free(res); - return tmp; -} - -// implementations for isl::ast_node -isl::ast_node manage(__isl_take isl_ast_node *ptr) { - return ast_node(ptr); -} - -isl::ast_node give(__isl_take isl_ast_node *ptr) { - return manage(ptr); -} - -ast_node::ast_node() - : ptr(nullptr) {} - -ast_node::ast_node(const isl::ast_node &obj) - : ptr(obj.copy()) {} - -ast_node::ast_node(std::nullptr_t) - : ptr(nullptr) {} - -ast_node::ast_node(__isl_take isl_ast_node *ptr) - : ptr(ptr) {} - -ast_node &ast_node::operator=(isl::ast_node obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -ast_node::~ast_node() { - if (ptr) - isl_ast_node_free(ptr); -} - -__isl_give isl_ast_node *ast_node::copy() const & { - return isl_ast_node_copy(ptr); -} - -__isl_keep isl_ast_node *ast_node::get() const { - return ptr; -} - -__isl_give isl_ast_node *ast_node::release() { - isl_ast_node *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_ast_node *ast_node::keep() const { - return get(); -} - -__isl_give isl_ast_node *ast_node::take() { - return release(); -} - -ast_node::operator bool() const { - return !is_null(); -} - -isl::ctx ast_node::get_ctx() const { - return isl::ctx(isl_ast_node_get_ctx(ptr)); -} - -bool ast_node::is_null() const { - return ptr == nullptr; -} - -std::string ast_node::to_str() const { - char *Tmp = isl_ast_node_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const ast_node &Obj) { - OS << Obj.to_str(); - return OS; -} - -std::string ast_node::to_C_str() const { - auto res = isl_ast_node_to_C_str(get()); - std::string tmp(res); - free(res); - return tmp; -} - -// implementations for isl::basic_map -isl::basic_map manage(__isl_take isl_basic_map *ptr) { - return basic_map(ptr); -} - -isl::basic_map give(__isl_take isl_basic_map *ptr) { - return manage(ptr); -} - -basic_map::basic_map() - : ptr(nullptr) {} - -basic_map::basic_map(const isl::basic_map &obj) - : ptr(obj.copy()) {} - -basic_map::basic_map(std::nullptr_t) - : ptr(nullptr) {} - -basic_map::basic_map(__isl_take isl_basic_map *ptr) - : ptr(ptr) {} - -basic_map::basic_map(isl::ctx ctx, const std::string &str) { - auto res = isl_basic_map_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -basic_map &basic_map::operator=(isl::basic_map obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -basic_map::~basic_map() { - if (ptr) - isl_basic_map_free(ptr); -} - -__isl_give isl_basic_map *basic_map::copy() const & { - return isl_basic_map_copy(ptr); -} - -__isl_keep isl_basic_map *basic_map::get() const { - return ptr; -} - -__isl_give isl_basic_map *basic_map::release() { - isl_basic_map *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_basic_map *basic_map::keep() const { - return get(); -} - -__isl_give isl_basic_map *basic_map::take() { - return release(); -} - -basic_map::operator bool() const { - return !is_null(); -} - -isl::ctx basic_map::get_ctx() const { - return isl::ctx(isl_basic_map_get_ctx(ptr)); -} - -bool basic_map::is_null() const { - return ptr == nullptr; -} - -std::string basic_map::to_str() const { - char *Tmp = isl_basic_map_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const basic_map &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::basic_map basic_map::affine_hull() const { - auto res = isl_basic_map_affine_hull(copy()); - return manage(res); -} - -isl::basic_map basic_map::apply_domain(isl::basic_map bmap2) const { - auto res = isl_basic_map_apply_domain(copy(), bmap2.release()); - return manage(res); -} - -isl::basic_map basic_map::apply_range(isl::basic_map bmap2) const { - auto res = isl_basic_map_apply_range(copy(), bmap2.release()); - return manage(res); -} - -isl::basic_set basic_map::deltas() const { - auto res = isl_basic_map_deltas(copy()); - return manage(res); -} - -isl::basic_map basic_map::detect_equalities() const { - auto res = isl_basic_map_detect_equalities(copy()); - return manage(res); -} - -isl::basic_map basic_map::fix_si(isl::dim type, unsigned int pos, int value) const { - auto res = isl_basic_map_fix_si(copy(), static_cast<enum isl_dim_type>(type), pos, value); - return manage(res); -} - -isl::basic_map basic_map::flatten() const { - auto res = isl_basic_map_flatten(copy()); - return manage(res); -} - -isl::basic_map basic_map::flatten_domain() const { - auto res = isl_basic_map_flatten_domain(copy()); - return manage(res); -} - -isl::basic_map basic_map::flatten_range() const { - auto res = isl_basic_map_flatten_range(copy()); - return manage(res); -} - -isl::basic_map basic_map::gist(isl::basic_map context) const { - auto res = isl_basic_map_gist(copy(), context.release()); - return manage(res); -} - -isl::basic_map basic_map::intersect(isl::basic_map bmap2) const { - auto res = isl_basic_map_intersect(copy(), bmap2.release()); - return manage(res); -} - -isl::basic_map basic_map::intersect_domain(isl::basic_set bset) const { - auto res = isl_basic_map_intersect_domain(copy(), bset.release()); - return manage(res); -} - -isl::basic_map basic_map::intersect_range(isl::basic_set bset) const { - auto res = isl_basic_map_intersect_range(copy(), bset.release()); - return manage(res); -} - -isl::boolean basic_map::is_empty() const { - auto res = isl_basic_map_is_empty(get()); - return res; -} - -isl::boolean basic_map::is_equal(const isl::basic_map &bmap2) const { - auto res = isl_basic_map_is_equal(get(), bmap2.get()); - return res; -} - -isl::boolean basic_map::is_subset(const isl::basic_map &bmap2) const { - auto res = isl_basic_map_is_subset(get(), bmap2.get()); - return res; -} - -isl::map basic_map::lexmax() const { - auto res = isl_basic_map_lexmax(copy()); - return manage(res); -} - -isl::map basic_map::lexmin() const { - auto res = isl_basic_map_lexmin(copy()); - return manage(res); -} - -isl::val basic_map::plain_get_val_if_fixed(isl::dim type, unsigned int pos) const { - auto res = isl_basic_map_plain_get_val_if_fixed(get(), static_cast<enum isl_dim_type>(type), pos); - return manage(res); -} - -isl::basic_map basic_map::project_out(isl::dim type, unsigned int first, unsigned int n) const { - auto res = isl_basic_map_project_out(copy(), static_cast<enum isl_dim_type>(type), first, n); - return manage(res); -} - -isl::basic_map basic_map::reverse() const { - auto res = isl_basic_map_reverse(copy()); - return manage(res); -} - -isl::basic_map basic_map::sample() const { - auto res = isl_basic_map_sample(copy()); - return manage(res); -} - -isl::map basic_map::unite(isl::basic_map bmap2) const { - auto res = isl_basic_map_union(copy(), bmap2.release()); - return manage(res); -} - -isl::basic_map basic_map::universe(isl::space dim) { - auto res = isl_basic_map_universe(dim.release()); - return manage(res); -} - -// implementations for isl::basic_set -isl::basic_set manage(__isl_take isl_basic_set *ptr) { - return basic_set(ptr); -} - -isl::basic_set give(__isl_take isl_basic_set *ptr) { - return manage(ptr); -} - -basic_set::basic_set() - : ptr(nullptr) {} - -basic_set::basic_set(const isl::basic_set &obj) - : ptr(obj.copy()) {} - -basic_set::basic_set(std::nullptr_t) - : ptr(nullptr) {} - -basic_set::basic_set(__isl_take isl_basic_set *ptr) - : ptr(ptr) {} - -basic_set::basic_set(isl::ctx ctx, const std::string &str) { - auto res = isl_basic_set_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -basic_set::basic_set(isl::point pnt) { - auto res = isl_basic_set_from_point(pnt.release()); - ptr = res; -} - -basic_set &basic_set::operator=(isl::basic_set obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -basic_set::~basic_set() { - if (ptr) - isl_basic_set_free(ptr); -} - -__isl_give isl_basic_set *basic_set::copy() const & { - return isl_basic_set_copy(ptr); -} - -__isl_keep isl_basic_set *basic_set::get() const { - return ptr; -} - -__isl_give isl_basic_set *basic_set::release() { - isl_basic_set *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_basic_set *basic_set::keep() const { - return get(); -} - -__isl_give isl_basic_set *basic_set::take() { - return release(); -} - -basic_set::operator bool() const { - return !is_null(); -} - -isl::ctx basic_set::get_ctx() const { - return isl::ctx(isl_basic_set_get_ctx(ptr)); -} - -bool basic_set::is_null() const { - return ptr == nullptr; -} - -std::string basic_set::to_str() const { - char *Tmp = isl_basic_set_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const basic_set &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::basic_set basic_set::affine_hull() const { - auto res = isl_basic_set_affine_hull(copy()); - return manage(res); -} - -isl::basic_set basic_set::apply(isl::basic_map bmap) const { - auto res = isl_basic_set_apply(copy(), bmap.release()); - return manage(res); -} - -isl::basic_set basic_set::detect_equalities() const { - auto res = isl_basic_set_detect_equalities(copy()); - return manage(res); -} - -isl::basic_set basic_set::flatten() const { - auto res = isl_basic_set_flatten(copy()); - return manage(res); -} - -isl::basic_set basic_set::gist(isl::basic_set context) const { - auto res = isl_basic_set_gist(copy(), context.release()); - return manage(res); -} - -isl::basic_set basic_set::intersect(isl::basic_set bset2) const { - auto res = isl_basic_set_intersect(copy(), bset2.release()); - return manage(res); -} - -isl::basic_set basic_set::intersect_params(isl::basic_set bset2) const { - auto res = isl_basic_set_intersect_params(copy(), bset2.release()); - return manage(res); -} - -isl::boolean basic_set::is_bounded() const { - auto res = isl_basic_set_is_bounded(get()); - return res; -} - -isl::boolean basic_set::is_empty() const { - auto res = isl_basic_set_is_empty(get()); - return res; -} - -isl::boolean basic_set::is_equal(const isl::basic_set &bset2) const { - auto res = isl_basic_set_is_equal(get(), bset2.get()); - return res; -} - -isl::boolean basic_set::is_subset(const isl::basic_set &bset2) const { - auto res = isl_basic_set_is_subset(get(), bset2.get()); - return res; -} - -isl::boolean basic_set::is_wrapping() const { - auto res = isl_basic_set_is_wrapping(get()); - return res; -} - -isl::set basic_set::lexmax() const { - auto res = isl_basic_set_lexmax(copy()); - return manage(res); -} - -isl::set basic_set::lexmin() const { - auto res = isl_basic_set_lexmin(copy()); - return manage(res); -} - -isl::basic_set basic_set::project_out(isl::dim type, unsigned int first, unsigned int n) const { - auto res = isl_basic_set_project_out(copy(), static_cast<enum isl_dim_type>(type), first, n); - return manage(res); -} - -isl::basic_set basic_set::sample() const { - auto res = isl_basic_set_sample(copy()); - return manage(res); -} - -isl::point basic_set::sample_point() const { - auto res = isl_basic_set_sample_point(copy()); - return manage(res); -} - -isl::set basic_set::unite(isl::basic_set bset2) const { - auto res = isl_basic_set_union(copy(), bset2.release()); - return manage(res); -} - -// implementations for isl::id -isl::id manage(__isl_take isl_id *ptr) { - return id(ptr); -} - -isl::id give(__isl_take isl_id *ptr) { - return manage(ptr); -} - -id::id() - : ptr(nullptr) {} - -id::id(const isl::id &obj) - : ptr(obj.copy()) {} - -id::id(std::nullptr_t) - : ptr(nullptr) {} - -id::id(__isl_take isl_id *ptr) - : ptr(ptr) {} - -id &id::operator=(isl::id obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -id::~id() { - if (ptr) - isl_id_free(ptr); -} - -__isl_give isl_id *id::copy() const & { - return isl_id_copy(ptr); -} - -__isl_keep isl_id *id::get() const { - return ptr; -} - -__isl_give isl_id *id::release() { - isl_id *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_id *id::keep() const { - return get(); -} - -__isl_give isl_id *id::take() { - return release(); -} - -id::operator bool() const { - return !is_null(); -} - -isl::ctx id::get_ctx() const { - return isl::ctx(isl_id_get_ctx(ptr)); -} - -bool id::is_null() const { - return ptr == nullptr; -} - -std::string id::to_str() const { - char *Tmp = isl_id_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const id &Obj) { - OS << Obj.to_str(); - return OS; -} - -// implementations for isl::local_space -isl::local_space manage(__isl_take isl_local_space *ptr) { - return local_space(ptr); -} - -isl::local_space give(__isl_take isl_local_space *ptr) { - return manage(ptr); -} - -local_space::local_space() - : ptr(nullptr) {} - -local_space::local_space(const isl::local_space &obj) - : ptr(obj.copy()) {} - -local_space::local_space(std::nullptr_t) - : ptr(nullptr) {} - -local_space::local_space(__isl_take isl_local_space *ptr) - : ptr(ptr) {} - -local_space::local_space(isl::space dim) { - auto res = isl_local_space_from_space(dim.release()); - ptr = res; -} - -local_space &local_space::operator=(isl::local_space obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -local_space::~local_space() { - if (ptr) - isl_local_space_free(ptr); -} - -__isl_give isl_local_space *local_space::copy() const & { - return isl_local_space_copy(ptr); -} - -__isl_keep isl_local_space *local_space::get() const { - return ptr; -} - -__isl_give isl_local_space *local_space::release() { - isl_local_space *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_local_space *local_space::keep() const { - return get(); -} - -__isl_give isl_local_space *local_space::take() { - return release(); -} - -local_space::operator bool() const { - return !is_null(); -} - -isl::ctx local_space::get_ctx() const { - return isl::ctx(isl_local_space_get_ctx(ptr)); -} - -bool local_space::is_null() const { - return ptr == nullptr; -} - -// implementations for isl::map -isl::map manage(__isl_take isl_map *ptr) { - return map(ptr); -} - -isl::map give(__isl_take isl_map *ptr) { - return manage(ptr); -} - -map::map() - : ptr(nullptr) {} - -map::map(const isl::map &obj) - : ptr(obj.copy()) {} - -map::map(std::nullptr_t) - : ptr(nullptr) {} - -map::map(__isl_take isl_map *ptr) - : ptr(ptr) {} - -map::map(isl::ctx ctx, const std::string &str) { - auto res = isl_map_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -map::map(isl::basic_map bmap) { - auto res = isl_map_from_basic_map(bmap.release()); - ptr = res; -} - -map &map::operator=(isl::map obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -map::~map() { - if (ptr) - isl_map_free(ptr); -} - -__isl_give isl_map *map::copy() const & { - return isl_map_copy(ptr); -} - -__isl_keep isl_map *map::get() const { - return ptr; -} - -__isl_give isl_map *map::release() { - isl_map *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_map *map::keep() const { - return get(); -} - -__isl_give isl_map *map::take() { - return release(); -} - -map::operator bool() const { - return !is_null(); -} - -isl::ctx map::get_ctx() const { - return isl::ctx(isl_map_get_ctx(ptr)); -} - -bool map::is_null() const { - return ptr == nullptr; -} - -std::string map::to_str() const { - char *Tmp = isl_map_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const map &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::basic_map map::affine_hull() const { - auto res = isl_map_affine_hull(copy()); - return manage(res); -} - -isl::map map::apply_domain(isl::map map2) const { - auto res = isl_map_apply_domain(copy(), map2.release()); - return manage(res); -} - -isl::map map::apply_range(isl::map map2) const { - auto res = isl_map_apply_range(copy(), map2.release()); - return manage(res); -} - -isl::map map::coalesce() const { - auto res = isl_map_coalesce(copy()); - return manage(res); -} - -isl::map map::complement() const { - auto res = isl_map_complement(copy()); - return manage(res); -} - -isl::set map::deltas() const { - auto res = isl_map_deltas(copy()); - return manage(res); -} - -isl::map map::detect_equalities() const { - auto res = isl_map_detect_equalities(copy()); - return manage(res); -} - -unsigned int map::dim(isl::dim type) const { - auto res = isl_map_dim(get(), static_cast<enum isl_dim_type>(type)); - return res; -} - -isl::pw_aff map::dim_max(int pos) const { - auto res = isl_map_dim_max(copy(), pos); - return manage(res); -} - -isl::pw_aff map::dim_min(int pos) const { - auto res = isl_map_dim_min(copy(), pos); - return manage(res); -} - -isl::map map::flatten() const { - auto res = isl_map_flatten(copy()); - return manage(res); -} - -isl::map map::flatten_domain() const { - auto res = isl_map_flatten_domain(copy()); - return manage(res); -} - -isl::map map::flatten_range() const { - auto res = isl_map_flatten_range(copy()); - return manage(res); -} - -isl::stat map::foreach_basic_map(std::function<isl::stat(isl::basic_map)> &&fn) const { - auto fn_lambda = [](isl_basic_map *arg_0, void *arg_1) -> isl_stat { - auto *func = (std::function<isl::stat(isl::basic_map)> *)arg_1; - isl::stat ret = (*func)(isl::manage(arg_0)); - return isl_stat(ret); - }; - auto res = isl_map_foreach_basic_map(get(), fn_lambda, &fn); - return isl::stat(res); -} - -isl::map map::from_range(isl::set set) { - auto res = isl_map_from_range(set.release()); - return manage(res); -} - -isl::map map::gist(isl::map context) const { - auto res = isl_map_gist(copy(), context.release()); - return manage(res); -} - -isl::map map::gist_domain(isl::set context) const { - auto res = isl_map_gist_domain(copy(), context.release()); - return manage(res); -} - -isl::map map::intersect(isl::map map2) const { - auto res = isl_map_intersect(copy(), map2.release()); - return manage(res); -} - -isl::map map::intersect_domain(isl::set set) const { - auto res = isl_map_intersect_domain(copy(), set.release()); - return manage(res); -} - -isl::map map::intersect_params(isl::set params) const { - auto res = isl_map_intersect_params(copy(), params.release()); - return manage(res); -} - -isl::map map::intersect_range(isl::set set) const { - auto res = isl_map_intersect_range(copy(), set.release()); - return manage(res); -} - -isl::boolean map::is_bijective() const { - auto res = isl_map_is_bijective(get()); - return res; -} - -isl::boolean map::is_disjoint(const isl::map &map2) const { - auto res = isl_map_is_disjoint(get(), map2.get()); - return res; -} - -isl::boolean map::is_empty() const { - auto res = isl_map_is_empty(get()); - return res; -} - -isl::boolean map::is_equal(const isl::map &map2) const { - auto res = isl_map_is_equal(get(), map2.get()); - return res; -} - -isl::boolean map::is_injective() const { - auto res = isl_map_is_injective(get()); - return res; -} - -isl::boolean map::is_single_valued() const { - auto res = isl_map_is_single_valued(get()); - return res; -} - -isl::boolean map::is_strict_subset(const isl::map &map2) const { - auto res = isl_map_is_strict_subset(get(), map2.get()); - return res; -} - -isl::boolean map::is_subset(const isl::map &map2) const { - auto res = isl_map_is_subset(get(), map2.get()); - return res; -} - -isl::map map::lexmax() const { - auto res = isl_map_lexmax(copy()); - return manage(res); -} - -isl::map map::lexmin() const { - auto res = isl_map_lexmin(copy()); - return manage(res); -} - -isl::basic_map map::polyhedral_hull() const { - auto res = isl_map_polyhedral_hull(copy()); - return manage(res); -} - -isl::map map::project_out(isl::dim type, unsigned int first, unsigned int n) const { - auto res = isl_map_project_out(copy(), static_cast<enum isl_dim_type>(type), first, n); - return manage(res); -} - -isl::map map::reverse() const { - auto res = isl_map_reverse(copy()); - return manage(res); -} - -isl::basic_map map::sample() const { - auto res = isl_map_sample(copy()); - return manage(res); -} - -isl::map map::subtract(isl::map map2) const { - auto res = isl_map_subtract(copy(), map2.release()); - return manage(res); -} - -isl::map map::unite(isl::map map2) const { - auto res = isl_map_union(copy(), map2.release()); - return manage(res); -} - -isl::basic_map map::unshifted_simple_hull() const { - auto res = isl_map_unshifted_simple_hull(copy()); - return manage(res); -} - -// implementations for isl::multi_aff -isl::multi_aff manage(__isl_take isl_multi_aff *ptr) { - return multi_aff(ptr); -} - -isl::multi_aff give(__isl_take isl_multi_aff *ptr) { - return manage(ptr); -} - -multi_aff::multi_aff() - : ptr(nullptr) {} - -multi_aff::multi_aff(const isl::multi_aff &obj) - : ptr(obj.copy()) {} - -multi_aff::multi_aff(std::nullptr_t) - : ptr(nullptr) {} - -multi_aff::multi_aff(__isl_take isl_multi_aff *ptr) - : ptr(ptr) {} - -multi_aff::multi_aff(isl::aff aff) { - auto res = isl_multi_aff_from_aff(aff.release()); - ptr = res; -} - -multi_aff::multi_aff(isl::ctx ctx, const std::string &str) { - auto res = isl_multi_aff_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -multi_aff &multi_aff::operator=(isl::multi_aff obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -multi_aff::~multi_aff() { - if (ptr) - isl_multi_aff_free(ptr); -} - -__isl_give isl_multi_aff *multi_aff::copy() const & { - return isl_multi_aff_copy(ptr); -} - -__isl_keep isl_multi_aff *multi_aff::get() const { - return ptr; -} - -__isl_give isl_multi_aff *multi_aff::release() { - isl_multi_aff *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_multi_aff *multi_aff::keep() const { - return get(); -} - -__isl_give isl_multi_aff *multi_aff::take() { - return release(); -} - -multi_aff::operator bool() const { - return !is_null(); -} - -isl::ctx multi_aff::get_ctx() const { - return isl::ctx(isl_multi_aff_get_ctx(ptr)); -} - -bool multi_aff::is_null() const { - return ptr == nullptr; -} - -std::string multi_aff::to_str() const { - char *Tmp = isl_multi_aff_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const multi_aff &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::multi_aff multi_aff::add(isl::multi_aff multi2) const { - auto res = isl_multi_aff_add(copy(), multi2.release()); - return manage(res); -} - -isl::multi_aff multi_aff::flat_range_product(isl::multi_aff multi2) const { - auto res = isl_multi_aff_flat_range_product(copy(), multi2.release()); - return manage(res); -} - -isl::aff multi_aff::get_aff(int pos) const { - auto res = isl_multi_aff_get_aff(get(), pos); - return manage(res); -} - -isl::multi_aff multi_aff::product(isl::multi_aff multi2) const { - auto res = isl_multi_aff_product(copy(), multi2.release()); - return manage(res); -} - -isl::multi_aff multi_aff::pullback(isl::multi_aff ma2) const { - auto res = isl_multi_aff_pullback_multi_aff(copy(), ma2.release()); - return manage(res); -} - -isl::multi_aff multi_aff::range_product(isl::multi_aff multi2) const { - auto res = isl_multi_aff_range_product(copy(), multi2.release()); - return manage(res); -} - -// implementations for isl::multi_pw_aff -isl::multi_pw_aff manage(__isl_take isl_multi_pw_aff *ptr) { - return multi_pw_aff(ptr); -} - -isl::multi_pw_aff give(__isl_take isl_multi_pw_aff *ptr) { - return manage(ptr); -} - -multi_pw_aff::multi_pw_aff() - : ptr(nullptr) {} - -multi_pw_aff::multi_pw_aff(const isl::multi_pw_aff &obj) - : ptr(obj.copy()) {} - -multi_pw_aff::multi_pw_aff(std::nullptr_t) - : ptr(nullptr) {} - -multi_pw_aff::multi_pw_aff(__isl_take isl_multi_pw_aff *ptr) - : ptr(ptr) {} - -multi_pw_aff::multi_pw_aff(isl::multi_aff ma) { - auto res = isl_multi_pw_aff_from_multi_aff(ma.release()); - ptr = res; -} - -multi_pw_aff::multi_pw_aff(isl::pw_aff pa) { - auto res = isl_multi_pw_aff_from_pw_aff(pa.release()); - ptr = res; -} - -multi_pw_aff::multi_pw_aff(isl::pw_multi_aff pma) { - auto res = isl_multi_pw_aff_from_pw_multi_aff(pma.release()); - ptr = res; -} - -multi_pw_aff::multi_pw_aff(isl::ctx ctx, const std::string &str) { - auto res = isl_multi_pw_aff_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -multi_pw_aff &multi_pw_aff::operator=(isl::multi_pw_aff obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -multi_pw_aff::~multi_pw_aff() { - if (ptr) - isl_multi_pw_aff_free(ptr); -} - -__isl_give isl_multi_pw_aff *multi_pw_aff::copy() const & { - return isl_multi_pw_aff_copy(ptr); -} - -__isl_keep isl_multi_pw_aff *multi_pw_aff::get() const { - return ptr; -} - -__isl_give isl_multi_pw_aff *multi_pw_aff::release() { - isl_multi_pw_aff *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_multi_pw_aff *multi_pw_aff::keep() const { - return get(); -} - -__isl_give isl_multi_pw_aff *multi_pw_aff::take() { - return release(); -} - -multi_pw_aff::operator bool() const { - return !is_null(); -} - -isl::ctx multi_pw_aff::get_ctx() const { - return isl::ctx(isl_multi_pw_aff_get_ctx(ptr)); -} - -bool multi_pw_aff::is_null() const { - return ptr == nullptr; -} - -std::string multi_pw_aff::to_str() const { - char *Tmp = isl_multi_pw_aff_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const multi_pw_aff &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::multi_pw_aff multi_pw_aff::add(isl::multi_pw_aff multi2) const { - auto res = isl_multi_pw_aff_add(copy(), multi2.release()); - return manage(res); -} - -isl::multi_pw_aff multi_pw_aff::flat_range_product(isl::multi_pw_aff multi2) const { - auto res = isl_multi_pw_aff_flat_range_product(copy(), multi2.release()); - return manage(res); -} - -isl::pw_aff multi_pw_aff::get_pw_aff(int pos) const { - auto res = isl_multi_pw_aff_get_pw_aff(get(), pos); - return manage(res); -} - -isl::multi_pw_aff multi_pw_aff::product(isl::multi_pw_aff multi2) const { - auto res = isl_multi_pw_aff_product(copy(), multi2.release()); - return manage(res); -} - -isl::multi_pw_aff multi_pw_aff::pullback(isl::multi_aff ma) const { - auto res = isl_multi_pw_aff_pullback_multi_aff(copy(), ma.release()); - return manage(res); -} - -isl::multi_pw_aff multi_pw_aff::pullback(isl::pw_multi_aff pma) const { - auto res = isl_multi_pw_aff_pullback_pw_multi_aff(copy(), pma.release()); - return manage(res); -} - -isl::multi_pw_aff multi_pw_aff::pullback(isl::multi_pw_aff mpa2) const { - auto res = isl_multi_pw_aff_pullback_multi_pw_aff(copy(), mpa2.release()); - return manage(res); -} - -isl::multi_pw_aff multi_pw_aff::range_product(isl::multi_pw_aff multi2) const { - auto res = isl_multi_pw_aff_range_product(copy(), multi2.release()); - return manage(res); -} - -// implementations for isl::multi_union_pw_aff -isl::multi_union_pw_aff manage(__isl_take isl_multi_union_pw_aff *ptr) { - return multi_union_pw_aff(ptr); -} - -isl::multi_union_pw_aff give(__isl_take isl_multi_union_pw_aff *ptr) { - return manage(ptr); -} - -multi_union_pw_aff::multi_union_pw_aff() - : ptr(nullptr) {} - -multi_union_pw_aff::multi_union_pw_aff(const isl::multi_union_pw_aff &obj) - : ptr(obj.copy()) {} - -multi_union_pw_aff::multi_union_pw_aff(std::nullptr_t) - : ptr(nullptr) {} - -multi_union_pw_aff::multi_union_pw_aff(__isl_take isl_multi_union_pw_aff *ptr) - : ptr(ptr) {} - -multi_union_pw_aff::multi_union_pw_aff(isl::union_pw_aff upa) { - auto res = isl_multi_union_pw_aff_from_union_pw_aff(upa.release()); - ptr = res; -} - -multi_union_pw_aff::multi_union_pw_aff(isl::multi_pw_aff mpa) { - auto res = isl_multi_union_pw_aff_from_multi_pw_aff(mpa.release()); - ptr = res; -} - -multi_union_pw_aff::multi_union_pw_aff(isl::union_pw_multi_aff upma) { - auto res = isl_multi_union_pw_aff_from_union_pw_multi_aff(upma.release()); - ptr = res; -} - -multi_union_pw_aff::multi_union_pw_aff(isl::ctx ctx, const std::string &str) { - auto res = isl_multi_union_pw_aff_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -multi_union_pw_aff &multi_union_pw_aff::operator=(isl::multi_union_pw_aff obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -multi_union_pw_aff::~multi_union_pw_aff() { - if (ptr) - isl_multi_union_pw_aff_free(ptr); -} - -__isl_give isl_multi_union_pw_aff *multi_union_pw_aff::copy() const & { - return isl_multi_union_pw_aff_copy(ptr); -} - -__isl_keep isl_multi_union_pw_aff *multi_union_pw_aff::get() const { - return ptr; -} - -__isl_give isl_multi_union_pw_aff *multi_union_pw_aff::release() { - isl_multi_union_pw_aff *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_multi_union_pw_aff *multi_union_pw_aff::keep() const { - return get(); -} - -__isl_give isl_multi_union_pw_aff *multi_union_pw_aff::take() { - return release(); -} - -multi_union_pw_aff::operator bool() const { - return !is_null(); -} - -isl::ctx multi_union_pw_aff::get_ctx() const { - return isl::ctx(isl_multi_union_pw_aff_get_ctx(ptr)); -} - -bool multi_union_pw_aff::is_null() const { - return ptr == nullptr; -} - -std::string multi_union_pw_aff::to_str() const { - char *Tmp = isl_multi_union_pw_aff_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const multi_union_pw_aff &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::multi_union_pw_aff multi_union_pw_aff::add(isl::multi_union_pw_aff multi2) const { - auto res = isl_multi_union_pw_aff_add(copy(), multi2.release()); - return manage(res); -} - -isl::multi_union_pw_aff multi_union_pw_aff::flat_range_product(isl::multi_union_pw_aff multi2) const { - auto res = isl_multi_union_pw_aff_flat_range_product(copy(), multi2.release()); - return manage(res); -} - -isl::union_pw_aff multi_union_pw_aff::get_union_pw_aff(int pos) const { - auto res = isl_multi_union_pw_aff_get_union_pw_aff(get(), pos); - return manage(res); -} - -isl::multi_union_pw_aff multi_union_pw_aff::pullback(isl::union_pw_multi_aff upma) const { - auto res = isl_multi_union_pw_aff_pullback_union_pw_multi_aff(copy(), upma.release()); - return manage(res); -} - -isl::multi_union_pw_aff multi_union_pw_aff::range_product(isl::multi_union_pw_aff multi2) const { - auto res = isl_multi_union_pw_aff_range_product(copy(), multi2.release()); - return manage(res); -} - -isl::multi_union_pw_aff multi_union_pw_aff::union_add(isl::multi_union_pw_aff mupa2) const { - auto res = isl_multi_union_pw_aff_union_add(copy(), mupa2.release()); - return manage(res); -} - -// implementations for isl::multi_val -isl::multi_val manage(__isl_take isl_multi_val *ptr) { - return multi_val(ptr); -} - -isl::multi_val give(__isl_take isl_multi_val *ptr) { - return manage(ptr); -} - -multi_val::multi_val() - : ptr(nullptr) {} - -multi_val::multi_val(const isl::multi_val &obj) - : ptr(obj.copy()) {} - -multi_val::multi_val(std::nullptr_t) - : ptr(nullptr) {} - -multi_val::multi_val(__isl_take isl_multi_val *ptr) - : ptr(ptr) {} - -multi_val &multi_val::operator=(isl::multi_val obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -multi_val::~multi_val() { - if (ptr) - isl_multi_val_free(ptr); -} - -__isl_give isl_multi_val *multi_val::copy() const & { - return isl_multi_val_copy(ptr); -} - -__isl_keep isl_multi_val *multi_val::get() const { - return ptr; -} - -__isl_give isl_multi_val *multi_val::release() { - isl_multi_val *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_multi_val *multi_val::keep() const { - return get(); -} - -__isl_give isl_multi_val *multi_val::take() { - return release(); -} - -multi_val::operator bool() const { - return !is_null(); -} - -isl::ctx multi_val::get_ctx() const { - return isl::ctx(isl_multi_val_get_ctx(ptr)); -} - -bool multi_val::is_null() const { - return ptr == nullptr; -} - -std::string multi_val::to_str() const { - char *Tmp = isl_multi_val_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const multi_val &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::multi_val multi_val::add(isl::multi_val multi2) const { - auto res = isl_multi_val_add(copy(), multi2.release()); - return manage(res); -} - -isl::multi_val multi_val::flat_range_product(isl::multi_val multi2) const { - auto res = isl_multi_val_flat_range_product(copy(), multi2.release()); - return manage(res); -} - -isl::val multi_val::get_val(int pos) const { - auto res = isl_multi_val_get_val(get(), pos); - return manage(res); -} - -isl::multi_val multi_val::product(isl::multi_val multi2) const { - auto res = isl_multi_val_product(copy(), multi2.release()); - return manage(res); -} - -isl::multi_val multi_val::range_product(isl::multi_val multi2) const { - auto res = isl_multi_val_range_product(copy(), multi2.release()); - return manage(res); -} - -// implementations for isl::point -isl::point manage(__isl_take isl_point *ptr) { - return point(ptr); -} - -isl::point give(__isl_take isl_point *ptr) { - return manage(ptr); -} - -point::point() - : ptr(nullptr) {} - -point::point(const isl::point &obj) - : ptr(obj.copy()) {} - -point::point(std::nullptr_t) - : ptr(nullptr) {} - -point::point(__isl_take isl_point *ptr) - : ptr(ptr) {} - -point::point(isl::space dim) { - auto res = isl_point_zero(dim.release()); - ptr = res; -} - -point &point::operator=(isl::point obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -point::~point() { - if (ptr) - isl_point_free(ptr); -} - -__isl_give isl_point *point::copy() const & { - return isl_point_copy(ptr); -} - -__isl_keep isl_point *point::get() const { - return ptr; -} - -__isl_give isl_point *point::release() { - isl_point *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_point *point::keep() const { - return get(); -} - -__isl_give isl_point *point::take() { - return release(); -} - -point::operator bool() const { - return !is_null(); -} - -isl::ctx point::get_ctx() const { - return isl::ctx(isl_point_get_ctx(ptr)); -} - -bool point::is_null() const { - return ptr == nullptr; -} - -std::string point::to_str() const { - char *Tmp = isl_point_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const point &Obj) { - OS << Obj.to_str(); - return OS; -} - -// implementations for isl::pw_aff -isl::pw_aff manage(__isl_take isl_pw_aff *ptr) { - return pw_aff(ptr); -} - -isl::pw_aff give(__isl_take isl_pw_aff *ptr) { - return manage(ptr); -} - -pw_aff::pw_aff() - : ptr(nullptr) {} - -pw_aff::pw_aff(const isl::pw_aff &obj) - : ptr(obj.copy()) {} - -pw_aff::pw_aff(std::nullptr_t) - : ptr(nullptr) {} - -pw_aff::pw_aff(__isl_take isl_pw_aff *ptr) - : ptr(ptr) {} - -pw_aff::pw_aff(isl::aff aff) { - auto res = isl_pw_aff_from_aff(aff.release()); - ptr = res; -} - -pw_aff::pw_aff(isl::local_space ls) { - auto res = isl_pw_aff_zero_on_domain(ls.release()); - ptr = res; -} - -pw_aff::pw_aff(isl::set domain, isl::val v) { - auto res = isl_pw_aff_val_on_domain(domain.release(), v.release()); - ptr = res; -} - -pw_aff::pw_aff(isl::ctx ctx, const std::string &str) { - auto res = isl_pw_aff_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -pw_aff &pw_aff::operator=(isl::pw_aff obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -pw_aff::~pw_aff() { - if (ptr) - isl_pw_aff_free(ptr); -} - -__isl_give isl_pw_aff *pw_aff::copy() const & { - return isl_pw_aff_copy(ptr); -} - -__isl_keep isl_pw_aff *pw_aff::get() const { - return ptr; -} - -__isl_give isl_pw_aff *pw_aff::release() { - isl_pw_aff *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_pw_aff *pw_aff::keep() const { - return get(); -} - -__isl_give isl_pw_aff *pw_aff::take() { - return release(); -} - -pw_aff::operator bool() const { - return !is_null(); -} - -isl::ctx pw_aff::get_ctx() const { - return isl::ctx(isl_pw_aff_get_ctx(ptr)); -} - -bool pw_aff::is_null() const { - return ptr == nullptr; -} - -std::string pw_aff::to_str() const { - char *Tmp = isl_pw_aff_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const pw_aff &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::pw_aff pw_aff::add(isl::pw_aff pwaff2) const { - auto res = isl_pw_aff_add(copy(), pwaff2.release()); - return manage(res); -} - -isl::stat pw_aff::foreach_piece(std::function<isl::stat(isl::set, isl::aff)> &&fn) const { - auto fn_lambda = [](isl_set *arg_0, isl_aff *arg_1, void *arg_2) -> isl_stat { - auto *func = (std::function<isl::stat(isl::set, isl::aff)> *)arg_2; - isl::stat ret = (*func)(isl::manage(arg_0), isl::manage(arg_1)); - return isl_stat(ret); - }; - auto res = isl_pw_aff_foreach_piece(get(), fn_lambda, &fn); - return isl::stat(res); -} - -isl::space pw_aff::get_space() const { - auto res = isl_pw_aff_get_space(get()); - return manage(res); -} - -isl::boolean pw_aff::is_cst() const { - auto res = isl_pw_aff_is_cst(get()); - return res; -} - -isl::pw_aff pw_aff::mul(isl::pw_aff pwaff2) const { - auto res = isl_pw_aff_mul(copy(), pwaff2.release()); - return manage(res); -} - -isl::pw_aff pw_aff::neg() const { - auto res = isl_pw_aff_neg(copy()); - return manage(res); -} - -isl::pw_aff pw_aff::pullback(isl::multi_aff ma) const { - auto res = isl_pw_aff_pullback_multi_aff(copy(), ma.release()); - return manage(res); -} - -isl::pw_aff pw_aff::pullback(isl::pw_multi_aff pma) const { - auto res = isl_pw_aff_pullback_pw_multi_aff(copy(), pma.release()); - return manage(res); -} - -isl::pw_aff pw_aff::pullback(isl::multi_pw_aff mpa) const { - auto res = isl_pw_aff_pullback_multi_pw_aff(copy(), mpa.release()); - return manage(res); -} - -isl::pw_aff pw_aff::sub(isl::pw_aff pwaff2) const { - auto res = isl_pw_aff_sub(copy(), pwaff2.release()); - return manage(res); -} - -isl::pw_aff pw_aff::union_add(isl::pw_aff pwaff2) const { - auto res = isl_pw_aff_union_add(copy(), pwaff2.release()); - return manage(res); -} - -// implementations for isl::pw_multi_aff -isl::pw_multi_aff manage(__isl_take isl_pw_multi_aff *ptr) { - return pw_multi_aff(ptr); -} - -isl::pw_multi_aff give(__isl_take isl_pw_multi_aff *ptr) { - return manage(ptr); -} - -pw_multi_aff::pw_multi_aff() - : ptr(nullptr) {} - -pw_multi_aff::pw_multi_aff(const isl::pw_multi_aff &obj) - : ptr(obj.copy()) {} - -pw_multi_aff::pw_multi_aff(std::nullptr_t) - : ptr(nullptr) {} - -pw_multi_aff::pw_multi_aff(__isl_take isl_pw_multi_aff *ptr) - : ptr(ptr) {} - -pw_multi_aff::pw_multi_aff(isl::ctx ctx, const std::string &str) { - auto res = isl_pw_multi_aff_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -pw_multi_aff::pw_multi_aff(isl::multi_aff ma) { - auto res = isl_pw_multi_aff_from_multi_aff(ma.release()); - ptr = res; -} - -pw_multi_aff::pw_multi_aff(isl::pw_aff pa) { - auto res = isl_pw_multi_aff_from_pw_aff(pa.release()); - ptr = res; -} - -pw_multi_aff &pw_multi_aff::operator=(isl::pw_multi_aff obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -pw_multi_aff::~pw_multi_aff() { - if (ptr) - isl_pw_multi_aff_free(ptr); -} - -__isl_give isl_pw_multi_aff *pw_multi_aff::copy() const & { - return isl_pw_multi_aff_copy(ptr); -} - -__isl_keep isl_pw_multi_aff *pw_multi_aff::get() const { - return ptr; -} - -__isl_give isl_pw_multi_aff *pw_multi_aff::release() { - isl_pw_multi_aff *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_pw_multi_aff *pw_multi_aff::keep() const { - return get(); -} - -__isl_give isl_pw_multi_aff *pw_multi_aff::take() { - return release(); -} - -pw_multi_aff::operator bool() const { - return !is_null(); -} - -isl::ctx pw_multi_aff::get_ctx() const { - return isl::ctx(isl_pw_multi_aff_get_ctx(ptr)); -} - -bool pw_multi_aff::is_null() const { - return ptr == nullptr; -} - -std::string pw_multi_aff::to_str() const { - char *Tmp = isl_pw_multi_aff_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const pw_multi_aff &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::pw_multi_aff pw_multi_aff::add(isl::pw_multi_aff pma2) const { - auto res = isl_pw_multi_aff_add(copy(), pma2.release()); - return manage(res); -} - -isl::pw_multi_aff pw_multi_aff::flat_range_product(isl::pw_multi_aff pma2) const { - auto res = isl_pw_multi_aff_flat_range_product(copy(), pma2.release()); - return manage(res); -} - -isl::pw_multi_aff pw_multi_aff::product(isl::pw_multi_aff pma2) const { - auto res = isl_pw_multi_aff_product(copy(), pma2.release()); - return manage(res); -} - -isl::pw_multi_aff pw_multi_aff::pullback(isl::multi_aff ma) const { - auto res = isl_pw_multi_aff_pullback_multi_aff(copy(), ma.release()); - return manage(res); -} - -isl::pw_multi_aff pw_multi_aff::pullback(isl::pw_multi_aff pma2) const { - auto res = isl_pw_multi_aff_pullback_pw_multi_aff(copy(), pma2.release()); - return manage(res); -} - -isl::pw_multi_aff pw_multi_aff::range_product(isl::pw_multi_aff pma2) const { - auto res = isl_pw_multi_aff_range_product(copy(), pma2.release()); - return manage(res); -} - -isl::pw_multi_aff pw_multi_aff::union_add(isl::pw_multi_aff pma2) const { - auto res = isl_pw_multi_aff_union_add(copy(), pma2.release()); - return manage(res); -} - -// implementations for isl::schedule -isl::schedule manage(__isl_take isl_schedule *ptr) { - return schedule(ptr); -} - -isl::schedule give(__isl_take isl_schedule *ptr) { - return manage(ptr); -} - -schedule::schedule() - : ptr(nullptr) {} - -schedule::schedule(const isl::schedule &obj) - : ptr(obj.copy()) {} - -schedule::schedule(std::nullptr_t) - : ptr(nullptr) {} - -schedule::schedule(__isl_take isl_schedule *ptr) - : ptr(ptr) {} - -schedule::schedule(isl::ctx ctx, const std::string &str) { - auto res = isl_schedule_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -schedule &schedule::operator=(isl::schedule obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -schedule::~schedule() { - if (ptr) - isl_schedule_free(ptr); -} - -__isl_give isl_schedule *schedule::copy() const & { - return isl_schedule_copy(ptr); -} - -__isl_keep isl_schedule *schedule::get() const { - return ptr; -} - -__isl_give isl_schedule *schedule::release() { - isl_schedule *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_schedule *schedule::keep() const { - return get(); -} - -__isl_give isl_schedule *schedule::take() { - return release(); -} - -schedule::operator bool() const { - return !is_null(); -} - -isl::ctx schedule::get_ctx() const { - return isl::ctx(isl_schedule_get_ctx(ptr)); -} - -bool schedule::is_null() const { - return ptr == nullptr; -} - -std::string schedule::to_str() const { - char *Tmp = isl_schedule_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const schedule &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::union_map schedule::get_map() const { - auto res = isl_schedule_get_map(get()); - return manage(res); -} - -isl::schedule_node schedule::get_root() const { - auto res = isl_schedule_get_root(get()); - return manage(res); -} - -isl::schedule schedule::pullback(isl::union_pw_multi_aff upma) const { - auto res = isl_schedule_pullback_union_pw_multi_aff(copy(), upma.release()); - return manage(res); -} - -// implementations for isl::schedule_constraints -isl::schedule_constraints manage(__isl_take isl_schedule_constraints *ptr) { - return schedule_constraints(ptr); -} - -isl::schedule_constraints give(__isl_take isl_schedule_constraints *ptr) { - return manage(ptr); -} - -schedule_constraints::schedule_constraints() - : ptr(nullptr) {} - -schedule_constraints::schedule_constraints(const isl::schedule_constraints &obj) - : ptr(obj.copy()) {} - -schedule_constraints::schedule_constraints(std::nullptr_t) - : ptr(nullptr) {} - -schedule_constraints::schedule_constraints(__isl_take isl_schedule_constraints *ptr) - : ptr(ptr) {} - -schedule_constraints::schedule_constraints(isl::ctx ctx, const std::string &str) { - auto res = isl_schedule_constraints_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -schedule_constraints &schedule_constraints::operator=(isl::schedule_constraints obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -schedule_constraints::~schedule_constraints() { - if (ptr) - isl_schedule_constraints_free(ptr); -} - -__isl_give isl_schedule_constraints *schedule_constraints::copy() const & { - return isl_schedule_constraints_copy(ptr); -} - -__isl_keep isl_schedule_constraints *schedule_constraints::get() const { - return ptr; -} - -__isl_give isl_schedule_constraints *schedule_constraints::release() { - isl_schedule_constraints *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_schedule_constraints *schedule_constraints::keep() const { - return get(); -} - -__isl_give isl_schedule_constraints *schedule_constraints::take() { - return release(); -} - -schedule_constraints::operator bool() const { - return !is_null(); -} - -isl::ctx schedule_constraints::get_ctx() const { - return isl::ctx(isl_schedule_constraints_get_ctx(ptr)); -} - -bool schedule_constraints::is_null() const { - return ptr == nullptr; -} - -std::string schedule_constraints::to_str() const { - char *Tmp = isl_schedule_constraints_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const schedule_constraints &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::union_map schedule_constraints::get_coincidence() const { - auto res = isl_schedule_constraints_get_coincidence(get()); - return manage(res); -} - -isl::union_map schedule_constraints::get_conditional_validity() const { - auto res = isl_schedule_constraints_get_conditional_validity(get()); - return manage(res); -} - -isl::union_map schedule_constraints::get_conditional_validity_condition() const { - auto res = isl_schedule_constraints_get_conditional_validity_condition(get()); - return manage(res); -} - -isl::set schedule_constraints::get_context() const { - auto res = isl_schedule_constraints_get_context(get()); - return manage(res); -} - -isl::union_set schedule_constraints::get_domain() const { - auto res = isl_schedule_constraints_get_domain(get()); - return manage(res); -} - -isl::union_map schedule_constraints::get_proximity() const { - auto res = isl_schedule_constraints_get_proximity(get()); - return manage(res); -} - -isl::union_map schedule_constraints::get_validity() const { - auto res = isl_schedule_constraints_get_validity(get()); - return manage(res); -} - -// implementations for isl::schedule_node -isl::schedule_node manage(__isl_take isl_schedule_node *ptr) { - return schedule_node(ptr); -} - -isl::schedule_node give(__isl_take isl_schedule_node *ptr) { - return manage(ptr); -} - -schedule_node::schedule_node() - : ptr(nullptr) {} - -schedule_node::schedule_node(const isl::schedule_node &obj) - : ptr(obj.copy()) {} - -schedule_node::schedule_node(std::nullptr_t) - : ptr(nullptr) {} - -schedule_node::schedule_node(__isl_take isl_schedule_node *ptr) - : ptr(ptr) {} - -schedule_node &schedule_node::operator=(isl::schedule_node obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -schedule_node::~schedule_node() { - if (ptr) - isl_schedule_node_free(ptr); -} - -__isl_give isl_schedule_node *schedule_node::copy() const & { - return isl_schedule_node_copy(ptr); -} - -__isl_keep isl_schedule_node *schedule_node::get() const { - return ptr; -} - -__isl_give isl_schedule_node *schedule_node::release() { - isl_schedule_node *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_schedule_node *schedule_node::keep() const { - return get(); -} - -__isl_give isl_schedule_node *schedule_node::take() { - return release(); -} - -schedule_node::operator bool() const { - return !is_null(); -} - -isl::ctx schedule_node::get_ctx() const { - return isl::ctx(isl_schedule_node_get_ctx(ptr)); -} - -bool schedule_node::is_null() const { - return ptr == nullptr; -} - -std::string schedule_node::to_str() const { - char *Tmp = isl_schedule_node_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const schedule_node &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::boolean schedule_node::band_member_get_coincident(int pos) const { - auto res = isl_schedule_node_band_member_get_coincident(get(), pos); - return res; -} - -isl::schedule_node schedule_node::band_member_set_coincident(int pos, int coincident) const { - auto res = isl_schedule_node_band_member_set_coincident(copy(), pos, coincident); - return manage(res); -} - -isl::schedule_node schedule_node::child(int pos) const { - auto res = isl_schedule_node_child(copy(), pos); - return manage(res); -} - -isl::multi_union_pw_aff schedule_node::get_prefix_schedule_multi_union_pw_aff() const { - auto res = isl_schedule_node_get_prefix_schedule_multi_union_pw_aff(get()); - return manage(res); -} - -isl::union_map schedule_node::get_prefix_schedule_union_map() const { - auto res = isl_schedule_node_get_prefix_schedule_union_map(get()); - return manage(res); -} - -isl::union_pw_multi_aff schedule_node::get_prefix_schedule_union_pw_multi_aff() const { - auto res = isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(get()); - return manage(res); -} - -isl::schedule schedule_node::get_schedule() const { - auto res = isl_schedule_node_get_schedule(get()); - return manage(res); -} - -isl::schedule_node schedule_node::parent() const { - auto res = isl_schedule_node_parent(copy()); - return manage(res); -} - -// implementations for isl::set -isl::set manage(__isl_take isl_set *ptr) { - return set(ptr); -} - -isl::set give(__isl_take isl_set *ptr) { - return manage(ptr); -} - -set::set() - : ptr(nullptr) {} - -set::set(const isl::set &obj) - : ptr(obj.copy()) {} - -set::set(std::nullptr_t) - : ptr(nullptr) {} - -set::set(__isl_take isl_set *ptr) - : ptr(ptr) {} - -set::set(isl::union_set uset) { - auto res = isl_set_from_union_set(uset.release()); - ptr = res; -} - -set::set(isl::ctx ctx, const std::string &str) { - auto res = isl_set_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -set::set(isl::basic_set bset) { - auto res = isl_set_from_basic_set(bset.release()); - ptr = res; -} - -set::set(isl::point pnt) { - auto res = isl_set_from_point(pnt.release()); - ptr = res; -} - -set &set::operator=(isl::set obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -set::~set() { - if (ptr) - isl_set_free(ptr); -} - -__isl_give isl_set *set::copy() const & { - return isl_set_copy(ptr); -} - -__isl_keep isl_set *set::get() const { - return ptr; -} - -__isl_give isl_set *set::release() { - isl_set *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_set *set::keep() const { - return get(); -} - -__isl_give isl_set *set::take() { - return release(); -} - -set::operator bool() const { - return !is_null(); -} - -isl::ctx set::get_ctx() const { - return isl::ctx(isl_set_get_ctx(ptr)); -} - -bool set::is_null() const { - return ptr == nullptr; -} - -std::string set::to_str() const { - char *Tmp = isl_set_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const set &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::set set::add_dims(isl::dim type, unsigned int n) const { - auto res = isl_set_add_dims(copy(), static_cast<enum isl_dim_type>(type), n); - return manage(res); -} - -isl::basic_set set::affine_hull() const { - auto res = isl_set_affine_hull(copy()); - return manage(res); -} - -isl::set set::apply(isl::map map) const { - auto res = isl_set_apply(copy(), map.release()); - return manage(res); -} - -isl::set set::coalesce() const { - auto res = isl_set_coalesce(copy()); - return manage(res); -} - -isl::set set::complement() const { - auto res = isl_set_complement(copy()); - return manage(res); -} - -isl::set set::detect_equalities() const { - auto res = isl_set_detect_equalities(copy()); - return manage(res); -} - -unsigned int set::dim(isl::dim type) const { - auto res = isl_set_dim(get(), static_cast<enum isl_dim_type>(type)); - return res; -} - -isl::pw_aff set::dim_max(int pos) const { - auto res = isl_set_dim_max(copy(), pos); - return manage(res); -} - -isl::pw_aff set::dim_min(int pos) const { - auto res = isl_set_dim_min(copy(), pos); - return manage(res); -} - -isl::set set::flatten() const { - auto res = isl_set_flatten(copy()); - return manage(res); -} - -isl::stat set::foreach_basic_set(std::function<isl::stat(isl::basic_set)> &&fn) const { - auto fn_lambda = [](isl_basic_set *arg_0, void *arg_1) -> isl_stat { - auto *func = (std::function<isl::stat(isl::basic_set)> *)arg_1; - isl::stat ret = (*func)(isl::manage(arg_0)); - return isl_stat(ret); - }; - auto res = isl_set_foreach_basic_set(get(), fn_lambda, &fn); - return isl::stat(res); -} - -isl::set set::gist(isl::set context) const { - auto res = isl_set_gist(copy(), context.release()); - return manage(res); -} - -isl::map set::identity() const { - auto res = isl_set_identity(copy()); - return manage(res); -} - -isl::set set::intersect(isl::set set2) const { - auto res = isl_set_intersect(copy(), set2.release()); - return manage(res); -} - -isl::set set::intersect_params(isl::set params) const { - auto res = isl_set_intersect_params(copy(), params.release()); - return manage(res); -} - -isl::boolean set::is_bounded() const { - auto res = isl_set_is_bounded(get()); - return res; -} - -isl::boolean set::is_disjoint(const isl::set &set2) const { - auto res = isl_set_is_disjoint(get(), set2.get()); - return res; -} - -isl::boolean set::is_empty() const { - auto res = isl_set_is_empty(get()); - return res; -} - -isl::boolean set::is_equal(const isl::set &set2) const { - auto res = isl_set_is_equal(get(), set2.get()); - return res; -} - -isl::boolean set::is_strict_subset(const isl::set &set2) const { - auto res = isl_set_is_strict_subset(get(), set2.get()); - return res; -} - -isl::boolean set::is_subset(const isl::set &set2) const { - auto res = isl_set_is_subset(get(), set2.get()); - return res; -} - -isl::boolean set::is_wrapping() const { - auto res = isl_set_is_wrapping(get()); - return res; -} - -isl::set set::lexmax() const { - auto res = isl_set_lexmax(copy()); - return manage(res); -} - -isl::set set::lexmin() const { - auto res = isl_set_lexmin(copy()); - return manage(res); -} - -isl::val set::max_val(const isl::aff &obj) const { - auto res = isl_set_max_val(get(), obj.get()); - return manage(res); -} - -isl::val set::min_val(const isl::aff &obj) const { - auto res = isl_set_min_val(get(), obj.get()); - return manage(res); -} - -isl::basic_set set::polyhedral_hull() const { - auto res = isl_set_polyhedral_hull(copy()); - return manage(res); -} - -isl::set set::project_out(isl::dim type, unsigned int first, unsigned int n) const { - auto res = isl_set_project_out(copy(), static_cast<enum isl_dim_type>(type), first, n); - return manage(res); -} - -isl::basic_set set::sample() const { - auto res = isl_set_sample(copy()); - return manage(res); -} - -isl::point set::sample_point() const { - auto res = isl_set_sample_point(copy()); - return manage(res); -} - -isl::set set::subtract(isl::set set2) const { - auto res = isl_set_subtract(copy(), set2.release()); - return manage(res); -} - -isl::set set::unite(isl::set set2) const { - auto res = isl_set_union(copy(), set2.release()); - return manage(res); -} - -isl::set set::universe(isl::space dim) { - auto res = isl_set_universe(dim.release()); - return manage(res); -} - -isl::basic_set set::unshifted_simple_hull() const { - auto res = isl_set_unshifted_simple_hull(copy()); - return manage(res); -} - -// implementations for isl::space -isl::space manage(__isl_take isl_space *ptr) { - return space(ptr); -} - -isl::space give(__isl_take isl_space *ptr) { - return manage(ptr); -} - -space::space() - : ptr(nullptr) {} - -space::space(const isl::space &obj) - : ptr(obj.copy()) {} - -space::space(std::nullptr_t) - : ptr(nullptr) {} - -space::space(__isl_take isl_space *ptr) - : ptr(ptr) {} - -space::space(isl::ctx ctx, unsigned int nparam, unsigned int n_in, unsigned int n_out) { - auto res = isl_space_alloc(ctx.release(), nparam, n_in, n_out); - ptr = res; -} - -space::space(isl::ctx ctx, unsigned int nparam, unsigned int dim) { - auto res = isl_space_set_alloc(ctx.release(), nparam, dim); - ptr = res; -} - -space &space::operator=(isl::space obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -space::~space() { - if (ptr) - isl_space_free(ptr); -} - -__isl_give isl_space *space::copy() const & { - return isl_space_copy(ptr); -} - -__isl_keep isl_space *space::get() const { - return ptr; -} - -__isl_give isl_space *space::release() { - isl_space *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_space *space::keep() const { - return get(); -} - -__isl_give isl_space *space::take() { - return release(); -} - -space::operator bool() const { - return !is_null(); -} - -isl::ctx space::get_ctx() const { - return isl::ctx(isl_space_get_ctx(ptr)); -} - -bool space::is_null() const { - return ptr == nullptr; -} - -std::string space::to_str() const { - char *Tmp = isl_space_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const space &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::space space::domain() const { - auto res = isl_space_domain(copy()); - return manage(res); -} - -isl::boolean space::is_equal(const isl::space &space2) const { - auto res = isl_space_is_equal(get(), space2.get()); - return res; -} - -isl::space space::params() const { - auto res = isl_space_params(copy()); - return manage(res); -} - -isl::space space::set_from_params() const { - auto res = isl_space_set_from_params(copy()); - return manage(res); -} - -// implementations for isl::union_access_info -isl::union_access_info manage(__isl_take isl_union_access_info *ptr) { - return union_access_info(ptr); -} - -isl::union_access_info give(__isl_take isl_union_access_info *ptr) { - return manage(ptr); -} - -union_access_info::union_access_info() - : ptr(nullptr) {} - -union_access_info::union_access_info(const isl::union_access_info &obj) - : ptr(obj.copy()) {} - -union_access_info::union_access_info(std::nullptr_t) - : ptr(nullptr) {} - -union_access_info::union_access_info(__isl_take isl_union_access_info *ptr) - : ptr(ptr) {} - -union_access_info::union_access_info(isl::union_map sink) { - auto res = isl_union_access_info_from_sink(sink.release()); - ptr = res; -} - -union_access_info &union_access_info::operator=(isl::union_access_info obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -union_access_info::~union_access_info() { - if (ptr) - isl_union_access_info_free(ptr); -} - -__isl_give isl_union_access_info *union_access_info::copy() const & { - return isl_union_access_info_copy(ptr); -} - -__isl_keep isl_union_access_info *union_access_info::get() const { - return ptr; -} - -__isl_give isl_union_access_info *union_access_info::release() { - isl_union_access_info *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_union_access_info *union_access_info::keep() const { - return get(); -} - -__isl_give isl_union_access_info *union_access_info::take() { - return release(); -} - -union_access_info::operator bool() const { - return !is_null(); -} - -isl::ctx union_access_info::get_ctx() const { - return isl::ctx(isl_union_access_info_get_ctx(ptr)); -} - -bool union_access_info::is_null() const { - return ptr == nullptr; -} - -std::string union_access_info::to_str() const { - char *Tmp = isl_union_access_info_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const union_access_info &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::union_flow union_access_info::compute_flow() const { - auto res = isl_union_access_info_compute_flow(copy()); - return manage(res); -} - -isl::union_access_info union_access_info::set_may_source(isl::union_map may_source) const { - auto res = isl_union_access_info_set_may_source(copy(), may_source.release()); - return manage(res); -} - -isl::union_access_info union_access_info::set_must_source(isl::union_map must_source) const { - auto res = isl_union_access_info_set_must_source(copy(), must_source.release()); - return manage(res); -} - -isl::union_access_info union_access_info::set_schedule(isl::schedule schedule) const { - auto res = isl_union_access_info_set_schedule(copy(), schedule.release()); - return manage(res); -} - -isl::union_access_info union_access_info::set_schedule_map(isl::union_map schedule_map) const { - auto res = isl_union_access_info_set_schedule_map(copy(), schedule_map.release()); - return manage(res); -} - -// implementations for isl::union_flow -isl::union_flow manage(__isl_take isl_union_flow *ptr) { - return union_flow(ptr); -} - -isl::union_flow give(__isl_take isl_union_flow *ptr) { - return manage(ptr); -} - -union_flow::union_flow() - : ptr(nullptr) {} - -union_flow::union_flow(const isl::union_flow &obj) - : ptr(obj.copy()) {} - -union_flow::union_flow(std::nullptr_t) - : ptr(nullptr) {} - -union_flow::union_flow(__isl_take isl_union_flow *ptr) - : ptr(ptr) {} - -union_flow &union_flow::operator=(isl::union_flow obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -union_flow::~union_flow() { - if (ptr) - isl_union_flow_free(ptr); -} - -__isl_give isl_union_flow *union_flow::copy() const & { - return isl_union_flow_copy(ptr); -} - -__isl_keep isl_union_flow *union_flow::get() const { - return ptr; -} - -__isl_give isl_union_flow *union_flow::release() { - isl_union_flow *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_union_flow *union_flow::keep() const { - return get(); -} - -__isl_give isl_union_flow *union_flow::take() { - return release(); -} - -union_flow::operator bool() const { - return !is_null(); -} - -isl::ctx union_flow::get_ctx() const { - return isl::ctx(isl_union_flow_get_ctx(ptr)); -} - -bool union_flow::is_null() const { - return ptr == nullptr; -} - -std::string union_flow::to_str() const { - char *Tmp = isl_union_flow_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const union_flow &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::union_map union_flow::get_full_may_dependence() const { - auto res = isl_union_flow_get_full_may_dependence(get()); - return manage(res); -} - -isl::union_map union_flow::get_full_must_dependence() const { - auto res = isl_union_flow_get_full_must_dependence(get()); - return manage(res); -} - -isl::union_map union_flow::get_may_dependence() const { - auto res = isl_union_flow_get_may_dependence(get()); - return manage(res); -} - -isl::union_map union_flow::get_may_no_source() const { - auto res = isl_union_flow_get_may_no_source(get()); - return manage(res); -} - -isl::union_map union_flow::get_must_dependence() const { - auto res = isl_union_flow_get_must_dependence(get()); - return manage(res); -} - -isl::union_map union_flow::get_must_no_source() const { - auto res = isl_union_flow_get_must_no_source(get()); - return manage(res); -} - -// implementations for isl::union_map -isl::union_map manage(__isl_take isl_union_map *ptr) { - return union_map(ptr); -} - -isl::union_map give(__isl_take isl_union_map *ptr) { - return manage(ptr); -} - -union_map::union_map() - : ptr(nullptr) {} - -union_map::union_map(const isl::union_map &obj) - : ptr(obj.copy()) {} - -union_map::union_map(std::nullptr_t) - : ptr(nullptr) {} - -union_map::union_map(__isl_take isl_union_map *ptr) - : ptr(ptr) {} - -union_map::union_map(isl::union_pw_aff upa) { - auto res = isl_union_map_from_union_pw_aff(upa.release()); - ptr = res; -} - -union_map::union_map(isl::basic_map bmap) { - auto res = isl_union_map_from_basic_map(bmap.release()); - ptr = res; -} - -union_map::union_map(isl::map map) { - auto res = isl_union_map_from_map(map.release()); - ptr = res; -} - -union_map::union_map(isl::ctx ctx, const std::string &str) { - auto res = isl_union_map_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -union_map &union_map::operator=(isl::union_map obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -union_map::~union_map() { - if (ptr) - isl_union_map_free(ptr); -} - -__isl_give isl_union_map *union_map::copy() const & { - return isl_union_map_copy(ptr); -} - -__isl_keep isl_union_map *union_map::get() const { - return ptr; -} - -__isl_give isl_union_map *union_map::release() { - isl_union_map *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_union_map *union_map::keep() const { - return get(); -} - -__isl_give isl_union_map *union_map::take() { - return release(); -} - -union_map::operator bool() const { - return !is_null(); -} - -isl::ctx union_map::get_ctx() const { - return isl::ctx(isl_union_map_get_ctx(ptr)); -} - -bool union_map::is_null() const { - return ptr == nullptr; -} - -std::string union_map::to_str() const { - char *Tmp = isl_union_map_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const union_map &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::union_map union_map::add_map(isl::map map) const { - auto res = isl_union_map_add_map(copy(), map.release()); - return manage(res); -} - -isl::union_map union_map::affine_hull() const { - auto res = isl_union_map_affine_hull(copy()); - return manage(res); -} - -isl::union_map union_map::apply_domain(isl::union_map umap2) const { - auto res = isl_union_map_apply_domain(copy(), umap2.release()); - return manage(res); -} - -isl::union_map union_map::apply_range(isl::union_map umap2) const { - auto res = isl_union_map_apply_range(copy(), umap2.release()); - return manage(res); -} - -isl::union_map union_map::coalesce() const { - auto res = isl_union_map_coalesce(copy()); - return manage(res); -} - -isl::union_map union_map::compute_divs() const { - auto res = isl_union_map_compute_divs(copy()); - return manage(res); -} - -isl::union_set union_map::deltas() const { - auto res = isl_union_map_deltas(copy()); - return manage(res); -} - -isl::union_map union_map::detect_equalities() const { - auto res = isl_union_map_detect_equalities(copy()); - return manage(res); -} - -isl::union_set union_map::domain() const { - auto res = isl_union_map_domain(copy()); - return manage(res); -} - -isl::union_map union_map::domain_factor_domain() const { - auto res = isl_union_map_domain_factor_domain(copy()); - return manage(res); -} - -isl::union_map union_map::domain_factor_range() const { - auto res = isl_union_map_domain_factor_range(copy()); - return manage(res); -} - -isl::union_map union_map::domain_map() const { - auto res = isl_union_map_domain_map(copy()); - return manage(res); -} - -isl::union_pw_multi_aff union_map::domain_map_union_pw_multi_aff() const { - auto res = isl_union_map_domain_map_union_pw_multi_aff(copy()); - return manage(res); -} - -isl::union_map union_map::domain_product(isl::union_map umap2) const { - auto res = isl_union_map_domain_product(copy(), umap2.release()); - return manage(res); -} - -isl::union_map union_map::empty(isl::space dim) { - auto res = isl_union_map_empty(dim.release()); - return manage(res); -} - -isl::union_map union_map::factor_domain() const { - auto res = isl_union_map_factor_domain(copy()); - return manage(res); -} - -isl::union_map union_map::factor_range() const { - auto res = isl_union_map_factor_range(copy()); - return manage(res); -} - -isl::union_map union_map::fixed_power(isl::val exp) const { - auto res = isl_union_map_fixed_power_val(copy(), exp.release()); - return manage(res); -} - -isl::union_map union_map::flat_range_product(isl::union_map umap2) const { - auto res = isl_union_map_flat_range_product(copy(), umap2.release()); - return manage(res); -} - -isl::stat union_map::foreach_map(std::function<isl::stat(isl::map)> &&fn) const { - auto fn_lambda = [](isl_map *arg_0, void *arg_1) -> isl_stat { - auto *func = (std::function<isl::stat(isl::map)> *)arg_1; - isl::stat ret = (*func)(isl::manage(arg_0)); - return isl_stat(ret); - }; - auto res = isl_union_map_foreach_map(get(), fn_lambda, &fn); - return isl::stat(res); -} - -isl::union_map union_map::from(isl::union_pw_multi_aff upma) { - auto res = isl_union_map_from_union_pw_multi_aff(upma.release()); - return manage(res); -} - -isl::union_map union_map::from(isl::multi_union_pw_aff mupa) { - auto res = isl_union_map_from_multi_union_pw_aff(mupa.release()); - return manage(res); -} - -isl::union_map union_map::from_domain_and_range(isl::union_set domain, isl::union_set range) { - auto res = isl_union_map_from_domain_and_range(domain.release(), range.release()); - return manage(res); -} - -isl::space union_map::get_space() const { - auto res = isl_union_map_get_space(get()); - return manage(res); -} - -isl::union_map union_map::gist(isl::union_map context) const { - auto res = isl_union_map_gist(copy(), context.release()); - return manage(res); -} - -isl::union_map union_map::gist_domain(isl::union_set uset) const { - auto res = isl_union_map_gist_domain(copy(), uset.release()); - return manage(res); -} - -isl::union_map union_map::gist_params(isl::set set) const { - auto res = isl_union_map_gist_params(copy(), set.release()); - return manage(res); -} - -isl::union_map union_map::gist_range(isl::union_set uset) const { - auto res = isl_union_map_gist_range(copy(), uset.release()); - return manage(res); -} - -isl::union_map union_map::intersect(isl::union_map umap2) const { - auto res = isl_union_map_intersect(copy(), umap2.release()); - return manage(res); -} - -isl::union_map union_map::intersect_domain(isl::union_set uset) const { - auto res = isl_union_map_intersect_domain(copy(), uset.release()); - return manage(res); -} - -isl::union_map union_map::intersect_params(isl::set set) const { - auto res = isl_union_map_intersect_params(copy(), set.release()); - return manage(res); -} - -isl::union_map union_map::intersect_range(isl::union_set uset) const { - auto res = isl_union_map_intersect_range(copy(), uset.release()); - return manage(res); -} - -isl::boolean union_map::is_bijective() const { - auto res = isl_union_map_is_bijective(get()); - return res; -} - -isl::boolean union_map::is_empty() const { - auto res = isl_union_map_is_empty(get()); - return res; -} - -isl::boolean union_map::is_equal(const isl::union_map &umap2) const { - auto res = isl_union_map_is_equal(get(), umap2.get()); - return res; -} - -isl::boolean union_map::is_injective() const { - auto res = isl_union_map_is_injective(get()); - return res; -} - -isl::boolean union_map::is_single_valued() const { - auto res = isl_union_map_is_single_valued(get()); - return res; -} - -isl::boolean union_map::is_strict_subset(const isl::union_map &umap2) const { - auto res = isl_union_map_is_strict_subset(get(), umap2.get()); - return res; -} - -isl::boolean union_map::is_subset(const isl::union_map &umap2) const { - auto res = isl_union_map_is_subset(get(), umap2.get()); - return res; -} - -isl::union_map union_map::lexmax() const { - auto res = isl_union_map_lexmax(copy()); - return manage(res); -} - -isl::union_map union_map::lexmin() const { - auto res = isl_union_map_lexmin(copy()); - return manage(res); -} - -isl::union_map union_map::polyhedral_hull() const { - auto res = isl_union_map_polyhedral_hull(copy()); - return manage(res); -} - -isl::union_map union_map::product(isl::union_map umap2) const { - auto res = isl_union_map_product(copy(), umap2.release()); - return manage(res); -} - -isl::union_set union_map::range() const { - auto res = isl_union_map_range(copy()); - return manage(res); -} - -isl::union_map union_map::range_factor_domain() const { - auto res = isl_union_map_range_factor_domain(copy()); - return manage(res); -} - -isl::union_map union_map::range_factor_range() const { - auto res = isl_union_map_range_factor_range(copy()); - return manage(res); -} - -isl::union_map union_map::range_map() const { - auto res = isl_union_map_range_map(copy()); - return manage(res); -} - -isl::union_map union_map::range_product(isl::union_map umap2) const { - auto res = isl_union_map_range_product(copy(), umap2.release()); - return manage(res); -} - -isl::union_map union_map::reverse() const { - auto res = isl_union_map_reverse(copy()); - return manage(res); -} - -isl::union_map union_map::subtract(isl::union_map umap2) const { - auto res = isl_union_map_subtract(copy(), umap2.release()); - return manage(res); -} - -isl::union_map union_map::subtract_domain(isl::union_set dom) const { - auto res = isl_union_map_subtract_domain(copy(), dom.release()); - return manage(res); -} - -isl::union_map union_map::subtract_range(isl::union_set dom) const { - auto res = isl_union_map_subtract_range(copy(), dom.release()); - return manage(res); -} - -isl::union_map union_map::unite(isl::union_map umap2) const { - auto res = isl_union_map_union(copy(), umap2.release()); - return manage(res); -} - -isl::union_set union_map::wrap() const { - auto res = isl_union_map_wrap(copy()); - return manage(res); -} - -isl::union_map union_map::zip() const { - auto res = isl_union_map_zip(copy()); - return manage(res); -} - -// implementations for isl::union_pw_aff -isl::union_pw_aff manage(__isl_take isl_union_pw_aff *ptr) { - return union_pw_aff(ptr); -} - -isl::union_pw_aff give(__isl_take isl_union_pw_aff *ptr) { - return manage(ptr); -} - -union_pw_aff::union_pw_aff() - : ptr(nullptr) {} - -union_pw_aff::union_pw_aff(const isl::union_pw_aff &obj) - : ptr(obj.copy()) {} - -union_pw_aff::union_pw_aff(std::nullptr_t) - : ptr(nullptr) {} - -union_pw_aff::union_pw_aff(__isl_take isl_union_pw_aff *ptr) - : ptr(ptr) {} - -union_pw_aff::union_pw_aff(isl::pw_aff pa) { - auto res = isl_union_pw_aff_from_pw_aff(pa.release()); - ptr = res; -} - -union_pw_aff::union_pw_aff(isl::union_set domain, isl::val v) { - auto res = isl_union_pw_aff_val_on_domain(domain.release(), v.release()); - ptr = res; -} - -union_pw_aff::union_pw_aff(isl::ctx ctx, const std::string &str) { - auto res = isl_union_pw_aff_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -union_pw_aff &union_pw_aff::operator=(isl::union_pw_aff obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -union_pw_aff::~union_pw_aff() { - if (ptr) - isl_union_pw_aff_free(ptr); -} - -__isl_give isl_union_pw_aff *union_pw_aff::copy() const & { - return isl_union_pw_aff_copy(ptr); -} - -__isl_keep isl_union_pw_aff *union_pw_aff::get() const { - return ptr; -} - -__isl_give isl_union_pw_aff *union_pw_aff::release() { - isl_union_pw_aff *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_union_pw_aff *union_pw_aff::keep() const { - return get(); -} - -__isl_give isl_union_pw_aff *union_pw_aff::take() { - return release(); -} - -union_pw_aff::operator bool() const { - return !is_null(); -} - -isl::ctx union_pw_aff::get_ctx() const { - return isl::ctx(isl_union_pw_aff_get_ctx(ptr)); -} - -bool union_pw_aff::is_null() const { - return ptr == nullptr; -} - -std::string union_pw_aff::to_str() const { - char *Tmp = isl_union_pw_aff_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const union_pw_aff &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::union_pw_aff union_pw_aff::add(isl::union_pw_aff upa2) const { - auto res = isl_union_pw_aff_add(copy(), upa2.release()); - return manage(res); -} - -isl::union_pw_aff union_pw_aff::empty(isl::space space) { - auto res = isl_union_pw_aff_empty(space.release()); - return manage(res); -} - -isl::stat union_pw_aff::foreach_pw_aff(std::function<isl::stat(isl::pw_aff)> &&fn) const { - auto fn_lambda = [](isl_pw_aff *arg_0, void *arg_1) -> isl_stat { - auto *func = (std::function<isl::stat(isl::pw_aff)> *)arg_1; - isl::stat ret = (*func)(isl::manage(arg_0)); - return isl_stat(ret); - }; - auto res = isl_union_pw_aff_foreach_pw_aff(get(), fn_lambda, &fn); - return isl::stat(res); -} - -isl::space union_pw_aff::get_space() const { - auto res = isl_union_pw_aff_get_space(get()); - return manage(res); -} - -isl::union_pw_aff union_pw_aff::pullback(isl::union_pw_multi_aff upma) const { - auto res = isl_union_pw_aff_pullback_union_pw_multi_aff(copy(), upma.release()); - return manage(res); -} - -isl::union_pw_aff union_pw_aff::sub(isl::union_pw_aff upa2) const { - auto res = isl_union_pw_aff_sub(copy(), upa2.release()); - return manage(res); -} - -isl::union_pw_aff union_pw_aff::union_add(isl::union_pw_aff upa2) const { - auto res = isl_union_pw_aff_union_add(copy(), upa2.release()); - return manage(res); -} - -// implementations for isl::union_pw_multi_aff -isl::union_pw_multi_aff manage(__isl_take isl_union_pw_multi_aff *ptr) { - return union_pw_multi_aff(ptr); -} - -isl::union_pw_multi_aff give(__isl_take isl_union_pw_multi_aff *ptr) { - return manage(ptr); -} - -union_pw_multi_aff::union_pw_multi_aff() - : ptr(nullptr) {} - -union_pw_multi_aff::union_pw_multi_aff(const isl::union_pw_multi_aff &obj) - : ptr(obj.copy()) {} - -union_pw_multi_aff::union_pw_multi_aff(std::nullptr_t) - : ptr(nullptr) {} - -union_pw_multi_aff::union_pw_multi_aff(__isl_take isl_union_pw_multi_aff *ptr) - : ptr(ptr) {} - -union_pw_multi_aff::union_pw_multi_aff(isl::pw_multi_aff pma) { - auto res = isl_union_pw_multi_aff_from_pw_multi_aff(pma.release()); - ptr = res; -} - -union_pw_multi_aff::union_pw_multi_aff(isl::union_set uset) { - auto res = isl_union_pw_multi_aff_from_domain(uset.release()); - ptr = res; -} - -union_pw_multi_aff::union_pw_multi_aff(isl::union_map umap) { - auto res = isl_union_pw_multi_aff_from_union_map(umap.release()); - ptr = res; -} - -union_pw_multi_aff::union_pw_multi_aff(isl::ctx ctx, const std::string &str) { - auto res = isl_union_pw_multi_aff_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -union_pw_multi_aff::union_pw_multi_aff(isl::union_pw_aff upa) { - auto res = isl_union_pw_multi_aff_from_union_pw_aff(upa.release()); - ptr = res; -} - -union_pw_multi_aff &union_pw_multi_aff::operator=(isl::union_pw_multi_aff obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -union_pw_multi_aff::~union_pw_multi_aff() { - if (ptr) - isl_union_pw_multi_aff_free(ptr); -} - -__isl_give isl_union_pw_multi_aff *union_pw_multi_aff::copy() const & { - return isl_union_pw_multi_aff_copy(ptr); -} - -__isl_keep isl_union_pw_multi_aff *union_pw_multi_aff::get() const { - return ptr; -} - -__isl_give isl_union_pw_multi_aff *union_pw_multi_aff::release() { - isl_union_pw_multi_aff *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_union_pw_multi_aff *union_pw_multi_aff::keep() const { - return get(); -} - -__isl_give isl_union_pw_multi_aff *union_pw_multi_aff::take() { - return release(); -} - -union_pw_multi_aff::operator bool() const { - return !is_null(); -} - -isl::ctx union_pw_multi_aff::get_ctx() const { - return isl::ctx(isl_union_pw_multi_aff_get_ctx(ptr)); -} - -bool union_pw_multi_aff::is_null() const { - return ptr == nullptr; -} - -std::string union_pw_multi_aff::to_str() const { - char *Tmp = isl_union_pw_multi_aff_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const union_pw_multi_aff &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::union_pw_multi_aff union_pw_multi_aff::add(isl::union_pw_multi_aff upma2) const { - auto res = isl_union_pw_multi_aff_add(copy(), upma2.release()); - return manage(res); -} - -isl::union_pw_multi_aff union_pw_multi_aff::flat_range_product(isl::union_pw_multi_aff upma2) const { - auto res = isl_union_pw_multi_aff_flat_range_product(copy(), upma2.release()); - return manage(res); -} - -isl::union_pw_multi_aff union_pw_multi_aff::pullback(isl::union_pw_multi_aff upma2) const { - auto res = isl_union_pw_multi_aff_pullback_union_pw_multi_aff(copy(), upma2.release()); - return manage(res); -} - -isl::union_pw_multi_aff union_pw_multi_aff::union_add(isl::union_pw_multi_aff upma2) const { - auto res = isl_union_pw_multi_aff_union_add(copy(), upma2.release()); - return manage(res); -} - -// implementations for isl::union_set -isl::union_set manage(__isl_take isl_union_set *ptr) { - return union_set(ptr); -} - -isl::union_set give(__isl_take isl_union_set *ptr) { - return manage(ptr); -} - -union_set::union_set() - : ptr(nullptr) {} - -union_set::union_set(const isl::union_set &obj) - : ptr(obj.copy()) {} - -union_set::union_set(std::nullptr_t) - : ptr(nullptr) {} - -union_set::union_set(__isl_take isl_union_set *ptr) - : ptr(ptr) {} - -union_set::union_set(isl::basic_set bset) { - auto res = isl_union_set_from_basic_set(bset.release()); - ptr = res; -} - -union_set::union_set(isl::set set) { - auto res = isl_union_set_from_set(set.release()); - ptr = res; -} - -union_set::union_set(isl::point pnt) { - auto res = isl_union_set_from_point(pnt.release()); - ptr = res; -} - -union_set::union_set(isl::ctx ctx, const std::string &str) { - auto res = isl_union_set_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -union_set &union_set::operator=(isl::union_set obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -union_set::~union_set() { - if (ptr) - isl_union_set_free(ptr); -} - -__isl_give isl_union_set *union_set::copy() const & { - return isl_union_set_copy(ptr); -} - -__isl_keep isl_union_set *union_set::get() const { - return ptr; -} - -__isl_give isl_union_set *union_set::release() { - isl_union_set *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_union_set *union_set::keep() const { - return get(); -} - -__isl_give isl_union_set *union_set::take() { - return release(); -} - -union_set::operator bool() const { - return !is_null(); -} - -isl::ctx union_set::get_ctx() const { - return isl::ctx(isl_union_set_get_ctx(ptr)); -} - -bool union_set::is_null() const { - return ptr == nullptr; -} - -std::string union_set::to_str() const { - char *Tmp = isl_union_set_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const union_set &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::union_set union_set::affine_hull() const { - auto res = isl_union_set_affine_hull(copy()); - return manage(res); -} - -isl::union_set union_set::apply(isl::union_map umap) const { - auto res = isl_union_set_apply(copy(), umap.release()); - return manage(res); -} - -isl::union_set union_set::coalesce() const { - auto res = isl_union_set_coalesce(copy()); - return manage(res); -} - -isl::union_set union_set::compute_divs() const { - auto res = isl_union_set_compute_divs(copy()); - return manage(res); -} - -isl::union_set union_set::detect_equalities() const { - auto res = isl_union_set_detect_equalities(copy()); - return manage(res); -} - -isl::stat union_set::foreach_point(std::function<isl::stat(isl::point)> &&fn) const { - auto fn_lambda = [](isl_point *arg_0, void *arg_1) -> isl_stat { - auto *func = (std::function<isl::stat(isl::point)> *)arg_1; - isl::stat ret = (*func)(isl::manage(arg_0)); - return isl_stat(ret); - }; - auto res = isl_union_set_foreach_point(get(), fn_lambda, &fn); - return isl::stat(res); -} - -isl::stat union_set::foreach_set(std::function<isl::stat(isl::set)> &&fn) const { - auto fn_lambda = [](isl_set *arg_0, void *arg_1) -> isl_stat { - auto *func = (std::function<isl::stat(isl::set)> *)arg_1; - isl::stat ret = (*func)(isl::manage(arg_0)); - return isl_stat(ret); - }; - auto res = isl_union_set_foreach_set(get(), fn_lambda, &fn); - return isl::stat(res); -} - -isl::union_set union_set::gist(isl::union_set context) const { - auto res = isl_union_set_gist(copy(), context.release()); - return manage(res); -} - -isl::union_set union_set::gist_params(isl::set set) const { - auto res = isl_union_set_gist_params(copy(), set.release()); - return manage(res); -} - -isl::union_map union_set::identity() const { - auto res = isl_union_set_identity(copy()); - return manage(res); -} - -isl::union_set union_set::intersect(isl::union_set uset2) const { - auto res = isl_union_set_intersect(copy(), uset2.release()); - return manage(res); -} - -isl::union_set union_set::intersect_params(isl::set set) const { - auto res = isl_union_set_intersect_params(copy(), set.release()); - return manage(res); -} - -isl::boolean union_set::is_empty() const { - auto res = isl_union_set_is_empty(get()); - return res; -} - -isl::boolean union_set::is_equal(const isl::union_set &uset2) const { - auto res = isl_union_set_is_equal(get(), uset2.get()); - return res; -} - -isl::boolean union_set::is_strict_subset(const isl::union_set &uset2) const { - auto res = isl_union_set_is_strict_subset(get(), uset2.get()); - return res; -} - -isl::boolean union_set::is_subset(const isl::union_set &uset2) const { - auto res = isl_union_set_is_subset(get(), uset2.get()); - return res; -} - -isl::union_set union_set::lexmax() const { - auto res = isl_union_set_lexmax(copy()); - return manage(res); -} - -isl::union_set union_set::lexmin() const { - auto res = isl_union_set_lexmin(copy()); - return manage(res); -} - -isl::union_set union_set::polyhedral_hull() const { - auto res = isl_union_set_polyhedral_hull(copy()); - return manage(res); -} - -isl::point union_set::sample_point() const { - auto res = isl_union_set_sample_point(copy()); - return manage(res); -} - -isl::union_set union_set::subtract(isl::union_set uset2) const { - auto res = isl_union_set_subtract(copy(), uset2.release()); - return manage(res); -} - -isl::union_set union_set::unite(isl::union_set uset2) const { - auto res = isl_union_set_union(copy(), uset2.release()); - return manage(res); -} - -isl::union_map union_set::unwrap() const { - auto res = isl_union_set_unwrap(copy()); - return manage(res); -} - -// implementations for isl::val -isl::val manage(__isl_take isl_val *ptr) { - return val(ptr); -} - -isl::val give(__isl_take isl_val *ptr) { - return manage(ptr); -} - -val::val() - : ptr(nullptr) {} - -val::val(const isl::val &obj) - : ptr(obj.copy()) {} - -val::val(std::nullptr_t) - : ptr(nullptr) {} - -val::val(__isl_take isl_val *ptr) - : ptr(ptr) {} - -val::val(isl::ctx ctx, long i) { - auto res = isl_val_int_from_si(ctx.release(), i); - ptr = res; -} - -val::val(isl::ctx ctx, const std::string &str) { - auto res = isl_val_read_from_str(ctx.release(), str.c_str()); - ptr = res; -} - -val &val::operator=(isl::val obj) { - std::swap(this->ptr, obj.ptr); - return *this; -} - -val::~val() { - if (ptr) - isl_val_free(ptr); -} - -__isl_give isl_val *val::copy() const & { - return isl_val_copy(ptr); -} - -__isl_keep isl_val *val::get() const { - return ptr; -} - -__isl_give isl_val *val::release() { - isl_val *tmp = ptr; - ptr = nullptr; - return tmp; -} - -__isl_keep isl_val *val::keep() const { - return get(); -} - -__isl_give isl_val *val::take() { - return release(); -} - -val::operator bool() const { - return !is_null(); -} - -isl::ctx val::get_ctx() const { - return isl::ctx(isl_val_get_ctx(ptr)); -} - -bool val::is_null() const { - return ptr == nullptr; -} - -std::string val::to_str() const { - char *Tmp = isl_val_to_str(get()); - if (!Tmp) - return ""; - std::string S(Tmp); - free(Tmp); - return S; -} - -inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, - const val &Obj) { - OS << Obj.to_str(); - return OS; -} - -isl::val val::two_exp() const { - auto res = isl_val_2exp(copy()); - return manage(res); -} - -isl::val val::abs() const { - auto res = isl_val_abs(copy()); - return manage(res); -} - -isl::boolean val::abs_eq(const isl::val &v2) const { - auto res = isl_val_abs_eq(get(), v2.get()); - return res; -} - -isl::val val::add(isl::val v2) const { - auto res = isl_val_add(copy(), v2.release()); - return manage(res); -} - -isl::val val::add_ui(unsigned long v2) const { - auto res = isl_val_add_ui(copy(), v2); - return manage(res); -} - -isl::val val::ceil() const { - auto res = isl_val_ceil(copy()); - return manage(res); -} - -int val::cmp_si(long i) const { - auto res = isl_val_cmp_si(get(), i); - return res; -} - -isl::val val::div(isl::val v2) const { - auto res = isl_val_div(copy(), v2.release()); - return manage(res); -} - -isl::boolean val::eq(const isl::val &v2) const { - auto res = isl_val_eq(get(), v2.get()); - return res; -} - -isl::val val::floor() const { - auto res = isl_val_floor(copy()); - return manage(res); -} - -isl::val val::gcd(isl::val v2) const { - auto res = isl_val_gcd(copy(), v2.release()); - return manage(res); -} - -isl::boolean val::ge(const isl::val &v2) const { - auto res = isl_val_ge(get(), v2.get()); - return res; -} - -isl::boolean val::gt(const isl::val &v2) const { - auto res = isl_val_gt(get(), v2.get()); - return res; -} - -isl::val val::infty(isl::ctx ctx) { - auto res = isl_val_infty(ctx.release()); - return manage(res); -} - -isl::val val::inv() const { - auto res = isl_val_inv(copy()); - return manage(res); -} - -isl::boolean val::is_divisible_by(const isl::val &v2) const { - auto res = isl_val_is_divisible_by(get(), v2.get()); - return res; -} - -isl::boolean val::is_infty() const { - auto res = isl_val_is_infty(get()); - return res; -} - -isl::boolean val::is_int() const { - auto res = isl_val_is_int(get()); - return res; -} - -isl::boolean val::is_nan() const { - auto res = isl_val_is_nan(get()); - return res; -} - -isl::boolean val::is_neg() const { - auto res = isl_val_is_neg(get()); - return res; -} - -isl::boolean val::is_neginfty() const { - auto res = isl_val_is_neginfty(get()); - return res; -} - -isl::boolean val::is_negone() const { - auto res = isl_val_is_negone(get()); - return res; -} - -isl::boolean val::is_nonneg() const { - auto res = isl_val_is_nonneg(get()); - return res; -} - -isl::boolean val::is_nonpos() const { - auto res = isl_val_is_nonpos(get()); - return res; -} - -isl::boolean val::is_one() const { - auto res = isl_val_is_one(get()); - return res; -} - -isl::boolean val::is_pos() const { - auto res = isl_val_is_pos(get()); - return res; -} - -isl::boolean val::is_rat() const { - auto res = isl_val_is_rat(get()); - return res; -} - -isl::boolean val::is_zero() const { - auto res = isl_val_is_zero(get()); - return res; -} - -isl::boolean val::le(const isl::val &v2) const { - auto res = isl_val_le(get(), v2.get()); - return res; -} - -isl::boolean val::lt(const isl::val &v2) const { - auto res = isl_val_lt(get(), v2.get()); - return res; -} - -isl::val val::max(isl::val v2) const { - auto res = isl_val_max(copy(), v2.release()); - return manage(res); -} - -isl::val val::min(isl::val v2) const { - auto res = isl_val_min(copy(), v2.release()); - return manage(res); -} - -isl::val val::mod(isl::val v2) const { - auto res = isl_val_mod(copy(), v2.release()); - return manage(res); -} - -isl::val val::mul(isl::val v2) const { - auto res = isl_val_mul(copy(), v2.release()); - return manage(res); -} - -isl::val val::nan(isl::ctx ctx) { - auto res = isl_val_nan(ctx.release()); - return manage(res); -} - -isl::boolean val::ne(const isl::val &v2) const { - auto res = isl_val_ne(get(), v2.get()); - return res; -} - -isl::val val::neg() const { - auto res = isl_val_neg(copy()); - return manage(res); -} - -isl::val val::neginfty(isl::ctx ctx) { - auto res = isl_val_neginfty(ctx.release()); - return manage(res); -} - -isl::val val::negone(isl::ctx ctx) { - auto res = isl_val_negone(ctx.release()); - return manage(res); -} - -isl::val val::one(isl::ctx ctx) { - auto res = isl_val_one(ctx.release()); - return manage(res); -} - -int val::sgn() const { - auto res = isl_val_sgn(get()); - return res; -} - -isl::val val::sub(isl::val v2) const { - auto res = isl_val_sub(copy(), v2.release()); - return manage(res); -} - -isl::val val::sub_ui(unsigned long v2) const { - auto res = isl_val_sub_ui(copy(), v2); - return manage(res); -} - -isl::val val::trunc() const { - auto res = isl_val_trunc(copy()); - return manage(res); -} - -isl::val val::zero(isl::ctx ctx) { - auto res = isl_val_zero(ctx.release()); - return manage(res); -} - -} // namespace noexceptions -} // namespace isl - -#endif /* ISL_CPP_NOEXCEPTIONS */ |
