use super::{
Aff, BasicMap, BasicMapList, Constraint, Context, DimType, Error, FixedBox, Id, IdList,
LibISLError, MapList, MultiAff, MultiId, MultiPwAff, PwAff, PwMultiAff, Set, Space, StrideInfo,
UnionMap, Val,
};
use libc::uintptr_t;
use std::ffi::{CStr, CString};
use std::os::raw::c_char;
pub struct Map {
pub ptr: uintptr_t,
pub should_free_on_drop: bool,
}
extern "C" {
fn isl_map_add_constraint(map: uintptr_t, constraint: uintptr_t) -> uintptr_t;
fn isl_map_add_dims(map: uintptr_t, type_: i32, n: u32) -> uintptr_t;
fn isl_map_affine_hull(map: uintptr_t) -> uintptr_t;
fn isl_map_align_divs(map: uintptr_t) -> uintptr_t;
fn isl_map_align_params(map: uintptr_t, model: uintptr_t) -> uintptr_t;
fn isl_map_apply_domain(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_apply_range(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_as_pw_multi_aff(map: uintptr_t) -> uintptr_t;
fn isl_map_bind_domain(map: uintptr_t, tuple: uintptr_t) -> uintptr_t;
fn isl_map_bind_range(map: uintptr_t, tuple: uintptr_t) -> uintptr_t;
fn isl_map_can_curry(map: uintptr_t) -> i32;
fn isl_map_can_range_curry(map: uintptr_t) -> i32;
fn isl_map_can_uncurry(map: uintptr_t) -> i32;
fn isl_map_can_zip(map: uintptr_t) -> i32;
fn isl_map_coalesce(map: uintptr_t) -> uintptr_t;
fn isl_map_complement(map: uintptr_t) -> uintptr_t;
fn isl_map_compute_divs(map: uintptr_t) -> uintptr_t;
fn isl_map_convex_hull(map: uintptr_t) -> uintptr_t;
fn isl_map_copy(map: uintptr_t) -> uintptr_t;
fn isl_map_curry(map: uintptr_t) -> uintptr_t;
fn isl_map_deltas(map: uintptr_t) -> uintptr_t;
fn isl_map_deltas_map(map: uintptr_t) -> uintptr_t;
fn isl_map_detect_equalities(map: uintptr_t) -> uintptr_t;
fn isl_map_dim(map: uintptr_t, type_: i32) -> i32;
fn isl_map_dim_max(map: uintptr_t, pos: i32) -> uintptr_t;
fn isl_map_dim_min(map: uintptr_t, pos: i32) -> uintptr_t;
fn isl_map_domain(bmap: uintptr_t) -> uintptr_t;
fn isl_map_domain_factor_domain(map: uintptr_t) -> uintptr_t;
fn isl_map_domain_factor_range(map: uintptr_t) -> uintptr_t;
fn isl_map_domain_is_wrapping(map: uintptr_t) -> i32;
fn isl_map_domain_map(map: uintptr_t) -> uintptr_t;
fn isl_map_domain_product(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_domain_reverse(map: uintptr_t) -> uintptr_t;
fn isl_map_domain_tuple_dim(map: uintptr_t) -> i32;
fn isl_map_drop_constraints_involving_dims(map: uintptr_t, type_: i32, first: u32, n: u32)
-> uintptr_t;
fn isl_map_drop_constraints_not_involving_dims(map: uintptr_t, type_: i32, first: u32, n: u32)
-> uintptr_t;
fn isl_map_drop_unused_params(map: uintptr_t) -> uintptr_t;
fn isl_map_dump(map: uintptr_t) -> ();
fn isl_map_eliminate(map: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_map_empty(space: uintptr_t) -> uintptr_t;
fn isl_map_eq_at_multi_pw_aff(map: uintptr_t, mpa: uintptr_t) -> uintptr_t;
fn isl_map_equate(map: uintptr_t, type1: i32, pos1: i32, type2: i32, pos2: i32) -> uintptr_t;
fn isl_map_factor_domain(map: uintptr_t) -> uintptr_t;
fn isl_map_factor_range(map: uintptr_t) -> uintptr_t;
fn isl_map_find_dim_by_id(map: uintptr_t, type_: i32, id: uintptr_t) -> i32;
fn isl_map_find_dim_by_name(map: uintptr_t, type_: i32, name: *const c_char) -> i32;
fn isl_map_fix_input_si(map: uintptr_t, input: u32, value: i32) -> uintptr_t;
fn isl_map_fix_si(map: uintptr_t, type_: i32, pos: u32, value: i32) -> uintptr_t;
fn isl_map_fix_val(map: uintptr_t, type_: i32, pos: u32, v: uintptr_t) -> uintptr_t;
fn isl_map_fixed_power_val(map: uintptr_t, exp: uintptr_t) -> uintptr_t;
fn isl_map_flat_domain_product(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_flat_product(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_flat_range_product(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_flatten(map: uintptr_t) -> uintptr_t;
fn isl_map_flatten_domain(map: uintptr_t) -> uintptr_t;
fn isl_map_flatten_range(map: uintptr_t) -> uintptr_t;
fn isl_map_floordiv_val(map: uintptr_t, d: uintptr_t) -> uintptr_t;
fn isl_map_free(map: uintptr_t) -> uintptr_t;
fn isl_map_from_aff(aff: uintptr_t) -> uintptr_t;
fn isl_map_from_basic_map(bmap: uintptr_t) -> uintptr_t;
fn isl_map_from_domain(set: uintptr_t) -> uintptr_t;
fn isl_map_from_domain_and_range(domain: uintptr_t, range: uintptr_t) -> uintptr_t;
fn isl_map_from_multi_aff(maff: uintptr_t) -> uintptr_t;
fn isl_map_from_multi_pw_aff(mpa: uintptr_t) -> uintptr_t;
fn isl_map_from_pw_aff(pwaff: uintptr_t) -> uintptr_t;
fn isl_map_from_pw_multi_aff(pma: uintptr_t) -> uintptr_t;
fn isl_map_from_range(set: uintptr_t) -> uintptr_t;
fn isl_map_from_union_map(umap: uintptr_t) -> uintptr_t;
fn isl_map_get_basic_map_list(map: uintptr_t) -> uintptr_t;
fn isl_map_get_ctx(map: uintptr_t) -> uintptr_t;
fn isl_map_get_dim_id(map: uintptr_t, type_: i32, pos: u32) -> uintptr_t;
fn isl_map_get_dim_name(map: uintptr_t, type_: i32, pos: u32) -> *const c_char;
fn isl_map_get_domain_tuple_id(map: uintptr_t) -> uintptr_t;
fn isl_map_get_hash(map: uintptr_t) -> u32;
fn isl_map_get_range_lattice_tile(map: uintptr_t) -> uintptr_t;
fn isl_map_get_range_simple_fixed_box_hull(map: uintptr_t) -> uintptr_t;
fn isl_map_get_range_stride_info(map: uintptr_t, pos: i32) -> uintptr_t;
fn isl_map_get_range_tuple_id(map: uintptr_t) -> uintptr_t;
fn isl_map_get_space(map: uintptr_t) -> uintptr_t;
fn isl_map_get_tuple_id(map: uintptr_t, type_: i32) -> uintptr_t;
fn isl_map_get_tuple_name(map: uintptr_t, type_: i32) -> *const c_char;
fn isl_map_gist(map: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_map_gist_basic_map(map: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_map_gist_domain(map: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_map_gist_params(map: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_map_gist_range(map: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_map_has_dim_id(map: uintptr_t, type_: i32, pos: u32) -> i32;
fn isl_map_has_dim_name(map: uintptr_t, type_: i32, pos: u32) -> i32;
fn isl_map_has_domain_tuple_id(map: uintptr_t) -> i32;
fn isl_map_has_equal_space(map1: uintptr_t, map2: uintptr_t) -> i32;
fn isl_map_has_range_tuple_id(map: uintptr_t) -> i32;
fn isl_map_has_tuple_id(map: uintptr_t, type_: i32) -> i32;
fn isl_map_has_tuple_name(map: uintptr_t, type_: i32) -> i32;
fn isl_map_identity(space: uintptr_t) -> uintptr_t;
fn isl_map_insert_dims(map: uintptr_t, type_: i32, pos: u32, n: u32) -> uintptr_t;
fn isl_map_intersect(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_intersect_domain(map: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_map_intersect_domain_factor_domain(map: uintptr_t, factor: uintptr_t) -> uintptr_t;
fn isl_map_intersect_domain_factor_range(map: uintptr_t, factor: uintptr_t) -> uintptr_t;
fn isl_map_intersect_domain_wrapped_domain(map: uintptr_t, domain: uintptr_t) -> uintptr_t;
fn isl_map_intersect_params(map: uintptr_t, params: uintptr_t) -> uintptr_t;
fn isl_map_intersect_range(map: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_map_intersect_range_factor_domain(map: uintptr_t, factor: uintptr_t) -> uintptr_t;
fn isl_map_intersect_range_factor_range(map: uintptr_t, factor: uintptr_t) -> uintptr_t;
fn isl_map_intersect_range_wrapped_domain(map: uintptr_t, domain: uintptr_t) -> uintptr_t;
fn isl_map_involves_dims(map: uintptr_t, type_: i32, first: u32, n: u32) -> i32;
fn isl_map_is_bijective(map: uintptr_t) -> i32;
fn isl_map_is_disjoint(map1: uintptr_t, map2: uintptr_t) -> i32;
fn isl_map_is_empty(map: uintptr_t) -> i32;
fn isl_map_is_equal(map1: uintptr_t, map2: uintptr_t) -> i32;
fn isl_map_is_identity(map: uintptr_t) -> i32;
fn isl_map_is_injective(map: uintptr_t) -> i32;
fn isl_map_is_product(map: uintptr_t) -> i32;
fn isl_map_is_single_valued(map: uintptr_t) -> i32;
fn isl_map_is_strict_subset(map1: uintptr_t, map2: uintptr_t) -> i32;
fn isl_map_is_subset(map1: uintptr_t, map2: uintptr_t) -> i32;
fn isl_map_is_translation(map: uintptr_t) -> i32;
fn isl_map_lex_ge(set_space: uintptr_t) -> uintptr_t;
fn isl_map_lex_ge_at_multi_pw_aff(map: uintptr_t, mpa: uintptr_t) -> uintptr_t;
fn isl_map_lex_ge_first(space: uintptr_t, n: u32) -> uintptr_t;
fn isl_map_lex_ge_map(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_lex_gt(set_space: uintptr_t) -> uintptr_t;
fn isl_map_lex_gt_at_multi_pw_aff(map: uintptr_t, mpa: uintptr_t) -> uintptr_t;
fn isl_map_lex_gt_first(space: uintptr_t, n: u32) -> uintptr_t;
fn isl_map_lex_gt_map(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_lex_le(set_space: uintptr_t) -> uintptr_t;
fn isl_map_lex_le_at_multi_pw_aff(map: uintptr_t, mpa: uintptr_t) -> uintptr_t;
fn isl_map_lex_le_first(space: uintptr_t, n: u32) -> uintptr_t;
fn isl_map_lex_le_map(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_lex_lt(set_space: uintptr_t) -> uintptr_t;
fn isl_map_lex_lt_at_multi_pw_aff(map: uintptr_t, mpa: uintptr_t) -> uintptr_t;
fn isl_map_lex_lt_first(space: uintptr_t, n: u32) -> uintptr_t;
fn isl_map_lex_lt_map(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_lexmax(map: uintptr_t) -> uintptr_t;
fn isl_map_lexmax_pw_multi_aff(map: uintptr_t) -> uintptr_t;
fn isl_map_lexmin(map: uintptr_t) -> uintptr_t;
fn isl_map_lexmin_pw_multi_aff(map: uintptr_t) -> uintptr_t;
fn isl_map_lower_bound_multi_pw_aff(map: uintptr_t, lower: uintptr_t) -> uintptr_t;
fn isl_map_lower_bound_si(map: uintptr_t, type_: i32, pos: u32, value: i32) -> uintptr_t;
fn isl_map_lower_bound_val(map: uintptr_t, type_: i32, pos: u32, value: uintptr_t)
-> uintptr_t;
fn isl_map_make_disjoint(map: uintptr_t) -> uintptr_t;
fn isl_map_max_multi_pw_aff(map: uintptr_t) -> uintptr_t;
fn isl_map_min_multi_pw_aff(map: uintptr_t) -> uintptr_t;
fn isl_map_move_dims(map: uintptr_t, dst_type: i32, dst_pos: u32, src_type: i32, src_pos: u32,
n: u32)
-> uintptr_t;
fn isl_map_n_basic_map(map: uintptr_t) -> i32;
fn isl_map_nat_universe(space: uintptr_t) -> uintptr_t;
fn isl_map_neg(map: uintptr_t) -> uintptr_t;
fn isl_map_oppose(map: uintptr_t, type1: i32, pos1: i32, type2: i32, pos2: i32) -> uintptr_t;
fn isl_map_order_ge(map: uintptr_t, type1: i32, pos1: i32, type2: i32, pos2: i32) -> uintptr_t;
fn isl_map_order_gt(map: uintptr_t, type1: i32, pos1: i32, type2: i32, pos2: i32) -> uintptr_t;
fn isl_map_order_le(map: uintptr_t, type1: i32, pos1: i32, type2: i32, pos2: i32) -> uintptr_t;
fn isl_map_order_lt(map: uintptr_t, type1: i32, pos1: i32, type2: i32, pos2: i32) -> uintptr_t;
fn isl_map_params(map: uintptr_t) -> uintptr_t;
fn isl_map_plain_get_val_if_fixed(map: uintptr_t, type_: i32, pos: u32) -> uintptr_t;
fn isl_map_plain_is_empty(map: uintptr_t) -> i32;
fn isl_map_plain_is_equal(map1: uintptr_t, map2: uintptr_t) -> i32;
fn isl_map_plain_is_injective(map: uintptr_t) -> i32;
fn isl_map_plain_is_single_valued(map: uintptr_t) -> i32;
fn isl_map_plain_is_universe(map: uintptr_t) -> i32;
fn isl_map_plain_unshifted_simple_hull(map: uintptr_t) -> uintptr_t;
fn isl_map_polyhedral_hull(map: uintptr_t) -> uintptr_t;
fn isl_map_preimage_domain_multi_aff(map: uintptr_t, ma: uintptr_t) -> uintptr_t;
fn isl_map_preimage_domain_multi_pw_aff(map: uintptr_t, mpa: uintptr_t) -> uintptr_t;
fn isl_map_preimage_domain_pw_multi_aff(map: uintptr_t, pma: uintptr_t) -> uintptr_t;
fn isl_map_preimage_range_multi_aff(map: uintptr_t, ma: uintptr_t) -> uintptr_t;
fn isl_map_preimage_range_pw_multi_aff(map: uintptr_t, pma: uintptr_t) -> uintptr_t;
fn isl_map_product(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_project_out(map: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_map_project_out_all_params(map: uintptr_t) -> uintptr_t;
fn isl_map_project_out_param_id(map: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_map_project_out_param_id_list(map: uintptr_t, list: uintptr_t) -> uintptr_t;
fn isl_map_range(map: uintptr_t) -> uintptr_t;
fn isl_map_range_curry(map: uintptr_t) -> uintptr_t;
fn isl_map_range_factor_domain(map: uintptr_t) -> uintptr_t;
fn isl_map_range_factor_range(map: uintptr_t) -> uintptr_t;
fn isl_map_range_is_wrapping(map: uintptr_t) -> i32;
fn isl_map_range_map(map: uintptr_t) -> uintptr_t;
fn isl_map_range_product(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_range_reverse(map: uintptr_t) -> uintptr_t;
fn isl_map_range_tuple_dim(map: uintptr_t) -> i32;
fn isl_map_read_from_str(ctx: uintptr_t, str_: *const c_char) -> uintptr_t;
fn isl_map_remove_dims(map: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_map_remove_divs(map: uintptr_t) -> uintptr_t;
fn isl_map_remove_divs_involving_dims(map: uintptr_t, type_: i32, first: u32, n: u32)
-> uintptr_t;
fn isl_map_remove_inputs(map: uintptr_t, first: u32, n: u32) -> uintptr_t;
fn isl_map_remove_redundancies(map: uintptr_t) -> uintptr_t;
fn isl_map_remove_unknown_divs(map: uintptr_t) -> uintptr_t;
fn isl_map_reset_tuple_id(map: uintptr_t, type_: i32) -> uintptr_t;
fn isl_map_reset_user(map: uintptr_t) -> uintptr_t;
fn isl_map_reverse(map: uintptr_t) -> uintptr_t;
fn isl_map_sample(map: uintptr_t) -> uintptr_t;
fn isl_map_set_dim_id(map: uintptr_t, type_: i32, pos: u32, id: uintptr_t) -> uintptr_t;
fn isl_map_set_dim_name(map: uintptr_t, type_: i32, pos: u32, s: *const c_char) -> uintptr_t;
fn isl_map_set_domain_tuple_id(map: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_map_set_range_tuple_id(map: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_map_set_tuple_id(map: uintptr_t, type_: i32, id: uintptr_t) -> uintptr_t;
fn isl_map_set_tuple_name(map: uintptr_t, type_: i32, s: *const c_char) -> uintptr_t;
fn isl_map_simple_hull(map: uintptr_t) -> uintptr_t;
fn isl_map_subtract(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_subtract_domain(map: uintptr_t, dom: uintptr_t) -> uintptr_t;
fn isl_map_subtract_range(map: uintptr_t, dom: uintptr_t) -> uintptr_t;
fn isl_map_sum(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_to_list(el: uintptr_t) -> uintptr_t;
fn isl_map_to_str(map: uintptr_t) -> *const c_char;
fn isl_map_to_union_map(map: uintptr_t) -> uintptr_t;
fn isl_map_uncurry(map: uintptr_t) -> uintptr_t;
fn isl_map_union(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_union_disjoint(map1: uintptr_t, map2: uintptr_t) -> uintptr_t;
fn isl_map_universe(space: uintptr_t) -> uintptr_t;
fn isl_map_unshifted_simple_hull(map: uintptr_t) -> uintptr_t;
fn isl_map_unshifted_simple_hull_from_map_list(map: uintptr_t, list: uintptr_t) -> uintptr_t;
fn isl_map_upper_bound_multi_pw_aff(map: uintptr_t, upper: uintptr_t) -> uintptr_t;
fn isl_map_upper_bound_si(map: uintptr_t, type_: i32, pos: u32, value: i32) -> uintptr_t;
fn isl_map_upper_bound_val(map: uintptr_t, type_: i32, pos: u32, value: uintptr_t)
-> uintptr_t;
fn isl_map_wrap(map: uintptr_t) -> uintptr_t;
fn isl_map_zip(map: uintptr_t) -> uintptr_t;
}
impl Map {
pub fn add_constraint(self, constraint: Constraint) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut constraint = constraint;
constraint.do_not_free_on_drop();
let constraint = constraint.ptr;
let isl_rs_result = unsafe { isl_map_add_constraint(map, constraint) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_dims(self, type_: DimType, n: u32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_add_dims(map, type_, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn affine_hull(self) -> Result<BasicMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_affine_hull(map) };
let isl_rs_result = BasicMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn align_divs(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_align_divs(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn align_params(self, model: Space) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut model = model;
model.do_not_free_on_drop();
let model = model.ptr;
let isl_rs_result = unsafe { isl_map_align_params(map, model) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn apply_domain(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_apply_domain(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn apply_range(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_apply_range(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn as_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_as_pw_multi_aff(map) };
let isl_rs_result = PwMultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn bind_domain(self, tuple: MultiId) -> Result<Set, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut tuple = tuple;
tuple.do_not_free_on_drop();
let tuple = tuple.ptr;
let isl_rs_result = unsafe { isl_map_bind_domain(map, tuple) };
let isl_rs_result = Set { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn bind_range(self, tuple: MultiId) -> Result<Set, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut tuple = tuple;
tuple.do_not_free_on_drop();
let tuple = tuple.ptr;
let isl_rs_result = unsafe { isl_map_bind_range(map, tuple) };
let isl_rs_result = Set { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn can_curry(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_can_curry(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn can_range_curry(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_can_range_curry(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn can_uncurry(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_can_uncurry(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn can_zip(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_can_zip(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn coalesce(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_coalesce(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn complement(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_complement(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn compute_divs(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_compute_divs(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn convex_hull(self) -> Result<BasicMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_convex_hull(map) };
let isl_rs_result = BasicMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn copy(&self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_copy(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn curry(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_curry(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn deltas(self) -> Result<Set, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_deltas(map) };
let isl_rs_result = Set { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn deltas_map(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_deltas_map(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn detect_equalities(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_detect_equalities(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn dim(&self, type_: DimType) -> Result<i32, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_dim(map, type_) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn dim_max(self, pos: i32) -> Result<PwAff, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_dim_max(map, pos) };
let isl_rs_result = PwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn dim_min(self, pos: i32) -> Result<PwAff, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_dim_min(map, pos) };
let isl_rs_result = PwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain(self) -> Result<Set, LibISLError> {
let bmap = self;
let isl_rs_ctx = bmap.get_ctx();
let mut bmap = bmap;
bmap.do_not_free_on_drop();
let bmap = bmap.ptr;
let isl_rs_result = unsafe { isl_map_domain(bmap) };
let isl_rs_result = Set { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_factor_domain(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_domain_factor_domain(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_factor_range(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_domain_factor_range(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_is_wrapping(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_domain_is_wrapping(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_map(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_domain_map(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_product(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_domain_product(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_reverse(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_domain_reverse(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_tuple_dim(&self) -> Result<i32, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_domain_tuple_dim(map) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn drop_constraints_involving_dims(self, type_: DimType, first: u32, n: u32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result =
unsafe { isl_map_drop_constraints_involving_dims(map, type_, first, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn drop_constraints_not_involving_dims(self, type_: DimType, first: u32, n: u32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result =
unsafe { isl_map_drop_constraints_not_involving_dims(map, type_, first, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn drop_unused_params(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_drop_unused_params(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn dump(&self) -> Result<(), LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_dump(map) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn eliminate(self, type_: DimType, first: u32, n: u32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_eliminate(map, type_, first, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn empty(space: Space) -> Result<Map, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_map_empty(space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn eq_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut mpa = mpa;
mpa.do_not_free_on_drop();
let mpa = mpa.ptr;
let isl_rs_result = unsafe { isl_map_eq_at_multi_pw_aff(map, mpa) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn equate(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type1 = type1.to_i32();
let type2 = type2.to_i32();
let isl_rs_result = unsafe { isl_map_equate(map, type1, pos1, type2, pos2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn factor_domain(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_factor_domain(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn factor_range(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_factor_range(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn find_dim_by_id(&self, type_: DimType, id: &Id) -> Result<i32, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let id = id.ptr;
let isl_rs_result = unsafe { isl_map_find_dim_by_id(map, type_, id) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn find_dim_by_name(&self, type_: DimType, name: &str) -> Result<i32, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let name = CString::new(name).unwrap();
let name = name.as_ptr();
let isl_rs_result = unsafe { isl_map_find_dim_by_name(map, type_, name) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn fix_input_si(self, input: u32, value: i32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_fix_input_si(map, input, value) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn fix_si(self, type_: DimType, pos: u32, value: i32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_fix_si(map, type_, pos, value) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn fix_val(self, type_: DimType, pos: u32, v: Val) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_map_fix_val(map, type_, pos, v) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn fixed_power_val(self, exp: Val) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut exp = exp;
exp.do_not_free_on_drop();
let exp = exp.ptr;
let isl_rs_result = unsafe { isl_map_fixed_power_val(map, exp) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn flat_domain_product(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_flat_domain_product(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn flat_product(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_flat_product(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn flat_range_product(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_flat_range_product(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn flatten(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_flatten(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn flatten_domain(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_flatten_domain(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn flatten_range(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_flatten_range(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn floordiv_val(self, d: Val) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut d = d;
d.do_not_free_on_drop();
let d = d.ptr;
let isl_rs_result = unsafe { isl_map_floordiv_val(map, d) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn free(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_free(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_aff(aff: Aff) -> Result<Map, LibISLError> {
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_map_from_aff(aff) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_basic_map(bmap: BasicMap) -> Result<Map, LibISLError> {
let isl_rs_ctx = bmap.get_ctx();
let mut bmap = bmap;
bmap.do_not_free_on_drop();
let bmap = bmap.ptr;
let isl_rs_result = unsafe { isl_map_from_basic_map(bmap) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_domain(set: Set) -> Result<Map, LibISLError> {
let isl_rs_ctx = set.get_ctx();
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_map_from_domain(set) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_domain_and_range(domain: Set, range: Set) -> Result<Map, LibISLError> {
let isl_rs_ctx = domain.get_ctx();
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let mut range = range;
range.do_not_free_on_drop();
let range = range.ptr;
let isl_rs_result = unsafe { isl_map_from_domain_and_range(domain, range) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_multi_aff(maff: MultiAff) -> Result<Map, LibISLError> {
let isl_rs_ctx = maff.get_ctx();
let mut maff = maff;
maff.do_not_free_on_drop();
let maff = maff.ptr;
let isl_rs_result = unsafe { isl_map_from_multi_aff(maff) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_multi_pw_aff(mpa: MultiPwAff) -> Result<Map, LibISLError> {
let isl_rs_ctx = mpa.get_ctx();
let mut mpa = mpa;
mpa.do_not_free_on_drop();
let mpa = mpa.ptr;
let isl_rs_result = unsafe { isl_map_from_multi_pw_aff(mpa) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_pw_aff(pwaff: PwAff) -> Result<Map, LibISLError> {
let isl_rs_ctx = pwaff.get_ctx();
let mut pwaff = pwaff;
pwaff.do_not_free_on_drop();
let pwaff = pwaff.ptr;
let isl_rs_result = unsafe { isl_map_from_pw_aff(pwaff) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_pw_multi_aff(pma: PwMultiAff) -> Result<Map, LibISLError> {
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_map_from_pw_multi_aff(pma) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_range(set: Set) -> Result<Map, LibISLError> {
let isl_rs_ctx = set.get_ctx();
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_map_from_range(set) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_union_map(umap: UnionMap) -> Result<Map, LibISLError> {
let isl_rs_ctx = umap.get_ctx();
let mut umap = umap;
umap.do_not_free_on_drop();
let umap = umap.ptr;
let isl_rs_result = unsafe { isl_map_from_union_map(umap) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_basic_map_list(&self) -> Result<BasicMapList, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_basic_map_list(map) };
let isl_rs_result = BasicMapList { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_ctx(&self) -> Context {
let map = self;
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_ctx(map) };
let isl_rs_result = Context { ptr: isl_rs_result,
should_free_on_drop: false };
isl_rs_result
}
pub fn get_dim_id(&self, type_: DimType, pos: u32) -> Result<Id, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_get_dim_id(map, type_, pos) };
let isl_rs_result = Id { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_dim_name(&self, type_: DimType, pos: u32) -> Result<&str, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_get_dim_name(map, type_, pos) };
let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
let isl_rs_result = isl_rs_result.to_str().unwrap();
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_domain_tuple_id(&self) -> Result<Id, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_domain_tuple_id(map) };
let isl_rs_result = Id { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_hash(&self) -> Result<u32, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_hash(map) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_range_lattice_tile(&self) -> Result<FixedBox, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_range_lattice_tile(map) };
let isl_rs_result = FixedBox { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_range_simple_fixed_box_hull(&self) -> Result<FixedBox, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_range_simple_fixed_box_hull(map) };
let isl_rs_result = FixedBox { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_range_stride_info(&self, pos: i32) -> Result<StrideInfo, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_range_stride_info(map, pos) };
let isl_rs_result = StrideInfo { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_range_tuple_id(&self) -> Result<Id, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_range_tuple_id(map) };
let isl_rs_result = Id { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_space(&self) -> Result<Space, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_get_space(map) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_tuple_id(&self, type_: DimType) -> Result<Id, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_get_tuple_id(map, type_) };
let isl_rs_result = Id { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_tuple_name(&self, type_: DimType) -> Result<&str, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_get_tuple_name(map, type_) };
let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
let isl_rs_result = isl_rs_result.to_str().unwrap();
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn gist(self, context: Map) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_map_gist(map, context) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn gist_basic_map(self, context: BasicMap) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_map_gist_basic_map(map, context) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn gist_domain(self, context: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_map_gist_domain(map, context) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn gist_params(self, context: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_map_gist_params(map, context) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn gist_range(self, context: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_map_gist_range(map, context) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_dim_id(&self, type_: DimType, pos: u32) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_has_dim_id(map, type_, pos) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_dim_name(&self, type_: DimType, pos: u32) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_has_dim_name(map, type_, pos) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_domain_tuple_id(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_has_domain_tuple_id(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_equal_space(&self, map2: &Map) -> Result<bool, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let map1 = map1.ptr;
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_has_equal_space(map1, map2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_range_tuple_id(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_has_range_tuple_id(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_tuple_id(&self, type_: DimType) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_has_tuple_id(map, type_) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_tuple_name(&self, type_: DimType) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_has_tuple_name(map, type_) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn identity(space: Space) -> Result<Map, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_map_identity(space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn insert_dims(self, type_: DimType, pos: u32, n: u32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_insert_dims(map, type_, pos, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_intersect(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_domain(self, set: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_map_intersect_domain(map, set) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_domain_factor_domain(self, factor: Map) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut factor = factor;
factor.do_not_free_on_drop();
let factor = factor.ptr;
let isl_rs_result = unsafe { isl_map_intersect_domain_factor_domain(map, factor) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_domain_factor_range(self, factor: Map) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut factor = factor;
factor.do_not_free_on_drop();
let factor = factor.ptr;
let isl_rs_result = unsafe { isl_map_intersect_domain_factor_range(map, factor) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_domain_wrapped_domain(self, domain: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let isl_rs_result = unsafe { isl_map_intersect_domain_wrapped_domain(map, domain) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_params(self, params: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut params = params;
params.do_not_free_on_drop();
let params = params.ptr;
let isl_rs_result = unsafe { isl_map_intersect_params(map, params) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_range(self, set: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_map_intersect_range(map, set) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_range_factor_domain(self, factor: Map) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut factor = factor;
factor.do_not_free_on_drop();
let factor = factor.ptr;
let isl_rs_result = unsafe { isl_map_intersect_range_factor_domain(map, factor) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_range_factor_range(self, factor: Map) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut factor = factor;
factor.do_not_free_on_drop();
let factor = factor.ptr;
let isl_rs_result = unsafe { isl_map_intersect_range_factor_range(map, factor) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn intersect_range_wrapped_domain(self, domain: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let isl_rs_result = unsafe { isl_map_intersect_range_wrapped_domain(map, domain) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_involves_dims(map, type_, first, n) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_bijective(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_is_bijective(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_disjoint(&self, map2: &Map) -> Result<bool, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let map1 = map1.ptr;
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_is_disjoint(map1, map2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_empty(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_is_empty(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_equal(&self, map2: &Map) -> Result<bool, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let map1 = map1.ptr;
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_is_equal(map1, map2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_identity(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_is_identity(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_injective(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_is_injective(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_product(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_is_product(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_single_valued(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_is_single_valued(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_strict_subset(&self, map2: &Map) -> Result<bool, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let map1 = map1.ptr;
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_is_strict_subset(map1, map2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_subset(&self, map2: &Map) -> Result<bool, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let map1 = map1.ptr;
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_is_subset(map1, map2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_translation(&self) -> Result<i32, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_is_translation(map) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_ge(set_space: Space) -> Result<Map, LibISLError> {
let isl_rs_ctx = set_space.get_ctx();
let mut set_space = set_space;
set_space.do_not_free_on_drop();
let set_space = set_space.ptr;
let isl_rs_result = unsafe { isl_map_lex_ge(set_space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_ge_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut mpa = mpa;
mpa.do_not_free_on_drop();
let mpa = mpa.ptr;
let isl_rs_result = unsafe { isl_map_lex_ge_at_multi_pw_aff(map, mpa) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_ge_first(space: Space, n: u32) -> Result<Map, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_map_lex_ge_first(space, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_ge_map(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_lex_ge_map(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_gt(set_space: Space) -> Result<Map, LibISLError> {
let isl_rs_ctx = set_space.get_ctx();
let mut set_space = set_space;
set_space.do_not_free_on_drop();
let set_space = set_space.ptr;
let isl_rs_result = unsafe { isl_map_lex_gt(set_space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_gt_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut mpa = mpa;
mpa.do_not_free_on_drop();
let mpa = mpa.ptr;
let isl_rs_result = unsafe { isl_map_lex_gt_at_multi_pw_aff(map, mpa) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_gt_first(space: Space, n: u32) -> Result<Map, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_map_lex_gt_first(space, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_gt_map(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_lex_gt_map(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_le(set_space: Space) -> Result<Map, LibISLError> {
let isl_rs_ctx = set_space.get_ctx();
let mut set_space = set_space;
set_space.do_not_free_on_drop();
let set_space = set_space.ptr;
let isl_rs_result = unsafe { isl_map_lex_le(set_space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_le_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut mpa = mpa;
mpa.do_not_free_on_drop();
let mpa = mpa.ptr;
let isl_rs_result = unsafe { isl_map_lex_le_at_multi_pw_aff(map, mpa) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_le_first(space: Space, n: u32) -> Result<Map, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_map_lex_le_first(space, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_le_map(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_lex_le_map(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_lt(set_space: Space) -> Result<Map, LibISLError> {
let isl_rs_ctx = set_space.get_ctx();
let mut set_space = set_space;
set_space.do_not_free_on_drop();
let set_space = set_space.ptr;
let isl_rs_result = unsafe { isl_map_lex_lt(set_space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_lt_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut mpa = mpa;
mpa.do_not_free_on_drop();
let mpa = mpa.ptr;
let isl_rs_result = unsafe { isl_map_lex_lt_at_multi_pw_aff(map, mpa) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_lt_first(space: Space, n: u32) -> Result<Map, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_map_lex_lt_first(space, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lex_lt_map(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_lex_lt_map(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lexmax(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_lexmax(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lexmax_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_lexmax_pw_multi_aff(map) };
let isl_rs_result = PwMultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lexmin(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_lexmin(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lexmin_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_lexmin_pw_multi_aff(map) };
let isl_rs_result = PwMultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lower_bound_multi_pw_aff(self, lower: MultiPwAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut lower = lower;
lower.do_not_free_on_drop();
let lower = lower.ptr;
let isl_rs_result = unsafe { isl_map_lower_bound_multi_pw_aff(map, lower) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lower_bound_si(self, type_: DimType, pos: u32, value: i32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_lower_bound_si(map, type_, pos, value) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn lower_bound_val(self, type_: DimType, pos: u32, value: Val) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let mut value = value;
value.do_not_free_on_drop();
let value = value.ptr;
let isl_rs_result = unsafe { isl_map_lower_bound_val(map, type_, pos, value) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn make_disjoint(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_make_disjoint(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn max_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_max_multi_pw_aff(map) };
let isl_rs_result = MultiPwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn min_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_min_multi_pw_aff(map) };
let isl_rs_result = MultiPwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn move_dims(self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32,
n: u32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let dst_type = dst_type.to_i32();
let src_type = src_type.to_i32();
let isl_rs_result =
unsafe { isl_map_move_dims(map, dst_type, dst_pos, src_type, src_pos, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn n_basic_map(&self) -> Result<i32, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_n_basic_map(map) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn nat_universe(space: Space) -> Result<Map, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_map_nat_universe(space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn neg(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_neg(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn oppose(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type1 = type1.to_i32();
let type2 = type2.to_i32();
let isl_rs_result = unsafe { isl_map_oppose(map, type1, pos1, type2, pos2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn order_ge(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type1 = type1.to_i32();
let type2 = type2.to_i32();
let isl_rs_result = unsafe { isl_map_order_ge(map, type1, pos1, type2, pos2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn order_gt(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type1 = type1.to_i32();
let type2 = type2.to_i32();
let isl_rs_result = unsafe { isl_map_order_gt(map, type1, pos1, type2, pos2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn order_le(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type1 = type1.to_i32();
let type2 = type2.to_i32();
let isl_rs_result = unsafe { isl_map_order_le(map, type1, pos1, type2, pos2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn order_lt(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type1 = type1.to_i32();
let type2 = type2.to_i32();
let isl_rs_result = unsafe { isl_map_order_lt(map, type1, pos1, type2, pos2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn params(self) -> Result<Set, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_params(map) };
let isl_rs_result = Set { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn plain_get_val_if_fixed(&self, type_: DimType, pos: u32) -> Result<Val, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_plain_get_val_if_fixed(map, type_, pos) };
let isl_rs_result = Val { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn plain_is_empty(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_plain_is_empty(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn plain_is_equal(&self, map2: &Map) -> Result<bool, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let map1 = map1.ptr;
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_plain_is_equal(map1, map2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn plain_is_injective(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_plain_is_injective(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn plain_is_single_valued(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_plain_is_single_valued(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn plain_is_universe(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_plain_is_universe(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn plain_unshifted_simple_hull(self) -> Result<BasicMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_plain_unshifted_simple_hull(map) };
let isl_rs_result = BasicMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn polyhedral_hull(self) -> Result<BasicMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_polyhedral_hull(map) };
let isl_rs_result = BasicMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn preimage_domain_multi_aff(self, ma: MultiAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut ma = ma;
ma.do_not_free_on_drop();
let ma = ma.ptr;
let isl_rs_result = unsafe { isl_map_preimage_domain_multi_aff(map, ma) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn preimage_domain_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut mpa = mpa;
mpa.do_not_free_on_drop();
let mpa = mpa.ptr;
let isl_rs_result = unsafe { isl_map_preimage_domain_multi_pw_aff(map, mpa) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn preimage_domain_pw_multi_aff(self, pma: PwMultiAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_map_preimage_domain_pw_multi_aff(map, pma) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn preimage_range_multi_aff(self, ma: MultiAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut ma = ma;
ma.do_not_free_on_drop();
let ma = ma.ptr;
let isl_rs_result = unsafe { isl_map_preimage_range_multi_aff(map, ma) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn preimage_range_pw_multi_aff(self, pma: PwMultiAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_map_preimage_range_pw_multi_aff(map, pma) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn product(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_product(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn project_out(self, type_: DimType, first: u32, n: u32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_project_out(map, type_, first, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn project_out_all_params(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_project_out_all_params(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn project_out_param_id(self, id: Id) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_map_project_out_param_id(map, id) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn project_out_param_id_list(self, list: IdList) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut list = list;
list.do_not_free_on_drop();
let list = list.ptr;
let isl_rs_result = unsafe { isl_map_project_out_param_id_list(map, list) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range(self) -> Result<Set, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_range(map) };
let isl_rs_result = Set { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_curry(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_range_curry(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_factor_domain(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_range_factor_domain(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_factor_range(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_range_factor_range(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_is_wrapping(&self) -> Result<bool, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_range_is_wrapping(map) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_map(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_range_map(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_product(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_range_product(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_reverse(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_range_reverse(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_tuple_dim(&self) -> Result<i32, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_range_tuple_dim(map) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn read_from_str(ctx: &Context, str_: &str) -> Result<Map, LibISLError> {
let isl_rs_ctx = Context { ptr: ctx.ptr,
should_free_on_drop: false };
let ctx = ctx.ptr;
let str_ = CString::new(str_).unwrap();
let str_ = str_.as_ptr();
let isl_rs_result = unsafe { isl_map_read_from_str(ctx, str_) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn remove_dims(self, type_: DimType, first: u32, n: u32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_remove_dims(map, type_, first, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn remove_divs(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_remove_divs(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn remove_divs_involving_dims(self, type_: DimType, first: u32, n: u32)
-> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_remove_divs_involving_dims(map, type_, first, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn remove_inputs(self, first: u32, n: u32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_remove_inputs(map, first, n) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn remove_redundancies(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_remove_redundancies(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn remove_unknown_divs(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_remove_unknown_divs(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn reset_tuple_id(self, type_: DimType) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_reset_tuple_id(map, type_) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn reset_user(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_reset_user(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn reverse(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_reverse(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn sample(self) -> Result<BasicMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_sample(map) };
let isl_rs_result = BasicMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_dim_id(self, type_: DimType, pos: u32, id: Id) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_map_set_dim_id(map, type_, pos, id) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_dim_name(self, type_: DimType, pos: u32, s: &str) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let s = CString::new(s).unwrap();
let s = s.as_ptr();
let isl_rs_result = unsafe { isl_map_set_dim_name(map, type_, pos, s) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_domain_tuple_id(self, id: Id) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_map_set_domain_tuple_id(map, id) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_range_tuple_id(self, id: Id) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_map_set_range_tuple_id(map, id) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_tuple_id(self, type_: DimType, id: Id) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_map_set_tuple_id(map, type_, id) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_tuple_name(self, type_: DimType, s: &str) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let s = CString::new(s).unwrap();
let s = s.as_ptr();
let isl_rs_result = unsafe { isl_map_set_tuple_name(map, type_, s) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn simple_hull(self) -> Result<BasicMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_simple_hull(map) };
let isl_rs_result = BasicMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn subtract(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_subtract(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn subtract_domain(self, dom: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut dom = dom;
dom.do_not_free_on_drop();
let dom = dom.ptr;
let isl_rs_result = unsafe { isl_map_subtract_domain(map, dom) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn subtract_range(self, dom: Set) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut dom = dom;
dom.do_not_free_on_drop();
let dom = dom.ptr;
let isl_rs_result = unsafe { isl_map_subtract_range(map, dom) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn sum(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_sum(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn to_list(self) -> Result<MapList, LibISLError> {
let el = self;
let isl_rs_ctx = el.get_ctx();
let mut el = el;
el.do_not_free_on_drop();
let el = el.ptr;
let isl_rs_result = unsafe { isl_map_to_list(el) };
let isl_rs_result = MapList { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn to_str(&self) -> Result<&str, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_to_str(map) };
let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
let isl_rs_result = isl_rs_result.to_str().unwrap();
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn to_union_map(self) -> Result<UnionMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_to_union_map(map) };
let isl_rs_result = UnionMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn uncurry(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_uncurry(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn union(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_union(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn union_disjoint(self, map2: Map) -> Result<Map, LibISLError> {
let map1 = self;
let isl_rs_ctx = map1.get_ctx();
let mut map1 = map1;
map1.do_not_free_on_drop();
let map1 = map1.ptr;
let mut map2 = map2;
map2.do_not_free_on_drop();
let map2 = map2.ptr;
let isl_rs_result = unsafe { isl_map_union_disjoint(map1, map2) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn universe(space: Space) -> Result<Map, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_map_universe(space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn unshifted_simple_hull(self) -> Result<BasicMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_unshifted_simple_hull(map) };
let isl_rs_result = BasicMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn unshifted_simple_hull_from_map_list(self, list: MapList)
-> Result<BasicMap, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut list = list;
list.do_not_free_on_drop();
let list = list.ptr;
let isl_rs_result = unsafe { isl_map_unshifted_simple_hull_from_map_list(map, list) };
let isl_rs_result = BasicMap { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn upper_bound_multi_pw_aff(self, upper: MultiPwAff) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let mut upper = upper;
upper.do_not_free_on_drop();
let upper = upper.ptr;
let isl_rs_result = unsafe { isl_map_upper_bound_multi_pw_aff(map, upper) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn upper_bound_si(self, type_: DimType, pos: u32, value: i32) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_map_upper_bound_si(map, type_, pos, value) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn upper_bound_val(self, type_: DimType, pos: u32, value: Val) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let type_ = type_.to_i32();
let mut value = value;
value.do_not_free_on_drop();
let value = value.ptr;
let isl_rs_result = unsafe { isl_map_upper_bound_val(map, type_, pos, value) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn wrap(self) -> Result<Set, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_wrap(map) };
let isl_rs_result = Set { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zip(self) -> Result<Map, LibISLError> {
let map = self;
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_map_zip(map) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn do_not_free_on_drop(&mut self) {
self.should_free_on_drop = false;
}
}
impl Drop for Map {
fn drop(&mut self) {
if self.should_free_on_drop {
unsafe {
isl_map_free(self.ptr);
}
}
}
}