// Automatically generated by isl_bindings_generator.
// LICENSE: MIT

use crate::bindings::{Aff, BasicSet, Context, DimType, Id, LocalSpace, Map, Mat, Space, Val};
use libc::uintptr_t;
use std::ffi::{CStr, CString};
use std::os::raw::c_char;

/// Wraps `isl_basic_map`.
pub struct BasicMap {
    pub ptr: uintptr_t,
}

extern "C" {

    fn isl_basic_map_total_dim(bmap: uintptr_t) -> i32;

    fn isl_basic_map_dim(bmap: uintptr_t, type_: DimType) -> i32;

    fn isl_basic_map_get_ctx(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_get_space(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_get_div(bmap: uintptr_t, pos: i32) -> uintptr_t;

    fn isl_basic_map_get_local_space(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_set_tuple_name(bmap: uintptr_t, type_: DimType, s: *const c_char)
                                    -> uintptr_t;

    fn isl_basic_map_get_tuple_name(bmap: uintptr_t, type_: DimType) -> *const c_char;

    fn isl_basic_map_get_dim_name(bmap: uintptr_t, type_: DimType, pos: u32) -> *const c_char;

    fn isl_basic_map_set_dim_name(bmap: uintptr_t, type_: DimType, pos: u32, s: *const c_char)
                                  -> uintptr_t;

    fn isl_basic_map_set_tuple_id(bmap: uintptr_t, type_: DimType, id: uintptr_t) -> uintptr_t;

    fn isl_basic_map_has_dim_id(bmap: uintptr_t, type_: DimType, pos: u32) -> i32;

    fn isl_basic_map_find_dim_by_name(bmap: uintptr_t, type_: DimType, name: *const c_char) -> i32;

    fn isl_basic_map_is_rational(bmap: uintptr_t) -> i32;

    fn isl_basic_map_identity(space: uintptr_t) -> uintptr_t;

    fn isl_basic_map_free(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_copy(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_equal(space: uintptr_t, n_equal: u32) -> uintptr_t;

    fn isl_basic_map_less_at(space: uintptr_t, pos: u32) -> uintptr_t;

    fn isl_basic_map_more_at(space: uintptr_t, pos: u32) -> uintptr_t;

    fn isl_basic_map_empty(space: uintptr_t) -> uintptr_t;

    fn isl_basic_map_universe(space: uintptr_t) -> uintptr_t;

    fn isl_basic_map_nat_universe(space: uintptr_t) -> uintptr_t;

    fn isl_basic_map_remove_redundancies(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_intersect_domain(bmap: uintptr_t, bset: uintptr_t) -> uintptr_t;

    fn isl_basic_map_intersect_range(bmap: uintptr_t, bset: uintptr_t) -> uintptr_t;

    fn isl_basic_map_intersect(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_union(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_apply_domain(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_apply_range(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_affine_hull(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_reverse(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_domain(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_range(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_domain_map(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_range_map(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_remove_dims(bmap: uintptr_t, type_: DimType, first: u32, n: u32) -> uintptr_t;

    fn isl_basic_map_eliminate(bmap: uintptr_t, type_: DimType, first: u32, n: u32) -> uintptr_t;

    fn isl_basic_map_sample(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_detect_equalities(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_read_from_str(ctx: uintptr_t, str_: *const c_char) -> uintptr_t;

    fn isl_basic_map_dump(bmap: uintptr_t);

    fn isl_basic_map_to_str(bmap: uintptr_t) -> *const c_char;

    fn isl_basic_map_fix_si(bmap: uintptr_t, type_: DimType, pos: u32, value: i32) -> uintptr_t;

    fn isl_basic_map_fix_val(bmap: uintptr_t, type_: DimType, pos: u32, v: uintptr_t) -> uintptr_t;

    fn isl_basic_map_lower_bound_si(bmap: uintptr_t, type_: DimType, pos: u32, value: i32)
                                    -> uintptr_t;

    fn isl_basic_map_upper_bound_si(bmap: uintptr_t, type_: DimType, pos: u32, value: i32)
                                    -> uintptr_t;

    fn isl_basic_map_sum(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_neg(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_is_equal(bmap1: uintptr_t, bmap2: uintptr_t) -> i32;

    fn isl_basic_map_is_disjoint(bmap1: uintptr_t, bmap2: uintptr_t) -> i32;

    fn isl_basic_map_lexmin(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_lexmax(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_plain_get_val_if_fixed(bmap: uintptr_t, type_: DimType, pos: u32)
                                            -> uintptr_t;

    fn isl_basic_map_image_is_bounded(bmap: uintptr_t) -> i32;

    fn isl_basic_map_plain_is_universe(bmap: uintptr_t) -> i32;

    fn isl_basic_map_is_universe(bmap: uintptr_t) -> i32;

    fn isl_basic_map_plain_is_empty(bmap: uintptr_t) -> i32;

    fn isl_basic_map_is_empty(bmap: uintptr_t) -> i32;

    fn isl_basic_map_is_subset(bmap1: uintptr_t, bmap2: uintptr_t) -> i32;

    fn isl_basic_map_is_strict_subset(bmap1: uintptr_t, bmap2: uintptr_t) -> i32;

    fn isl_basic_map_product(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_domain_product(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_range_product(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_flat_product(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_flat_range_product(bmap1: uintptr_t, bmap2: uintptr_t) -> uintptr_t;

    fn isl_basic_map_deltas(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_deltas_map(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_add_dims(bmap: uintptr_t, type_: DimType, n: u32) -> uintptr_t;

    fn isl_basic_map_insert_dims(bmap: uintptr_t, type_: DimType, pos: u32, n: u32) -> uintptr_t;

    fn isl_basic_map_move_dims(bmap: uintptr_t, dst_type: DimType, dst_pos: u32,
                               src_type: DimType, src_pos: u32, n: u32)
                               -> uintptr_t;

    fn isl_basic_map_project_out(bmap: uintptr_t, type_: DimType, first: u32, n: u32) -> uintptr_t;

    fn isl_basic_map_remove_divs(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_remove_divs_involving_dims(bmap: uintptr_t, type_: DimType, first: u32,
                                                n: u32)
                                                -> uintptr_t;

    fn isl_basic_map_equate(bmap: uintptr_t, type1: DimType, pos1: i32, type2: DimType, pos2: i32)
                            -> uintptr_t;

    fn isl_basic_map_order_ge(bmap: uintptr_t, type1: DimType, pos1: i32, type2: DimType,
                              pos2: i32)
                              -> uintptr_t;

    fn isl_basic_map_order_gt(bmap: uintptr_t, type1: DimType, pos1: i32, type2: DimType,
                              pos2: i32)
                              -> uintptr_t;

    fn isl_basic_map_wrap(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_flatten(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_flatten_domain(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_flatten_range(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_from_domain(bset: uintptr_t) -> uintptr_t;

    fn isl_basic_map_from_range(bset: uintptr_t) -> uintptr_t;

    fn isl_basic_map_from_domain_and_range(domain: uintptr_t, range: uintptr_t) -> uintptr_t;

    fn isl_basic_map_is_single_valued(bmap: uintptr_t) -> i32;

    fn isl_basic_map_can_zip(bmap: uintptr_t) -> i32;

    fn isl_basic_map_zip(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_can_curry(bmap: uintptr_t) -> i32;

    fn isl_basic_map_curry(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_can_uncurry(bmap: uintptr_t) -> i32;

    fn isl_basic_map_uncurry(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_compute_divs(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_drop_constraints_involving_dims(bmap: uintptr_t, type_: DimType, first: u32,
                                                     n: u32)
                                                     -> uintptr_t;

    fn isl_basic_map_drop_constraints_not_involving_dims(bmap: uintptr_t, type_: DimType,
                                                         first: u32, n: u32)
                                                         -> uintptr_t;

    fn isl_basic_map_involves_dims(bmap: uintptr_t, type_: DimType, first: u32, n: u32) -> i32;

    fn isl_basic_map_gist_domain(bmap: uintptr_t, context: uintptr_t) -> uintptr_t;

    fn isl_basic_map_gist(bmap: uintptr_t, context: uintptr_t) -> uintptr_t;

    fn isl_basic_map_align_params(bmap: uintptr_t, model: uintptr_t) -> uintptr_t;

    fn isl_basic_map_drop_unused_params(bmap: uintptr_t) -> uintptr_t;

    fn isl_basic_map_equalities_matrix(bmap: uintptr_t, c1: DimType, c2: DimType, c3: DimType,
                                       c4: DimType, c5: DimType)
                                       -> uintptr_t;

    fn isl_basic_map_inequalities_matrix(bmap: uintptr_t, c1: DimType, c2: DimType, c3: DimType,
                                         c4: DimType, c5: DimType)
                                         -> uintptr_t;

    fn isl_basic_map_from_constraint_matrices(space: uintptr_t, eq: uintptr_t, ineq: uintptr_t,
                                              c1: DimType, c2: DimType, c3: DimType, c4: DimType,
                                              c5: DimType)
                                              -> uintptr_t;

    fn isl_basic_map_from_aff(aff: uintptr_t) -> uintptr_t;

}

impl BasicMap {
    /// Wraps `isl_basic_map_total_dim`.
    pub fn total_dim(&self) -> i32 {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_total_dim(bmap) };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_dim`.
    pub fn dim(&self, type_: DimType) -> i32 {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_dim(bmap, type_) };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_get_ctx`.
    pub fn get_ctx(&self) -> Context {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_get_ctx(bmap) };
        let isl_rs_result = Context { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_get_space`.
    pub fn get_space(&self) -> Space {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_get_space(bmap) };
        let isl_rs_result = Space { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_get_div`.
    pub fn get_div(&self, pos: i32) -> Aff {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_get_div(bmap, pos) };
        let isl_rs_result = Aff { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_get_local_space`.
    pub fn get_local_space(&self) -> LocalSpace {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_get_local_space(bmap) };
        let isl_rs_result = LocalSpace { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_set_tuple_name`.
    pub fn set_tuple_name(self, type_: DimType, s: &str) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let s = CString::new(s).unwrap();
        let s = s.as_ptr();
        let isl_rs_result = unsafe { isl_basic_map_set_tuple_name(bmap, type_, s) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_get_tuple_name`.
    pub fn get_tuple_name(&self, type_: DimType) -> &str {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_get_tuple_name(bmap, type_) };
        let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
        let isl_rs_result = isl_rs_result.to_str().unwrap();
        isl_rs_result
    }

    /// Wraps `isl_basic_map_get_dim_name`.
    pub fn get_dim_name(&self, type_: DimType, pos: u32) -> &str {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_get_dim_name(bmap, type_, pos) };
        let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
        let isl_rs_result = isl_rs_result.to_str().unwrap();
        isl_rs_result
    }

    /// Wraps `isl_basic_map_set_dim_name`.
    pub fn set_dim_name(self, type_: DimType, pos: u32, s: &str) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let s = CString::new(s).unwrap();
        let s = s.as_ptr();
        let isl_rs_result = unsafe { isl_basic_map_set_dim_name(bmap, type_, pos, s) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_set_tuple_id`.
    pub fn set_tuple_id(self, type_: DimType, id: Id) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let id = id.ptr;
        let isl_rs_result = unsafe { isl_basic_map_set_tuple_id(bmap, type_, id) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_has_dim_id`.
    pub fn has_dim_id(&self, type_: DimType, pos: u32) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_has_dim_id(bmap, type_, pos) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_find_dim_by_name`.
    pub fn find_dim_by_name(&self, type_: DimType, name: &str) -> i32 {
        let bmap = self;
        let bmap = bmap.ptr;
        let name = CString::new(name).unwrap();
        let name = name.as_ptr();
        let isl_rs_result = unsafe { isl_basic_map_find_dim_by_name(bmap, type_, name) };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_is_rational`.
    pub fn is_rational(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_is_rational(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_identity`.
    pub fn identity(space: Space) -> BasicMap {
        let space = space.ptr;
        let isl_rs_result = unsafe { isl_basic_map_identity(space) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_free`.
    pub fn free(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_free(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_copy`.
    pub fn copy(&self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_copy(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_equal`.
    pub fn equal(space: Space, n_equal: u32) -> BasicMap {
        let space = space.ptr;
        let isl_rs_result = unsafe { isl_basic_map_equal(space, n_equal) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_less_at`.
    pub fn less_at(space: Space, pos: u32) -> BasicMap {
        let space = space.ptr;
        let isl_rs_result = unsafe { isl_basic_map_less_at(space, pos) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_more_at`.
    pub fn more_at(space: Space, pos: u32) -> BasicMap {
        let space = space.ptr;
        let isl_rs_result = unsafe { isl_basic_map_more_at(space, pos) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_empty`.
    pub fn empty(space: Space) -> BasicMap {
        let space = space.ptr;
        let isl_rs_result = unsafe { isl_basic_map_empty(space) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_universe`.
    pub fn universe(space: Space) -> BasicMap {
        let space = space.ptr;
        let isl_rs_result = unsafe { isl_basic_map_universe(space) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_nat_universe`.
    pub fn nat_universe(space: Space) -> BasicMap {
        let space = space.ptr;
        let isl_rs_result = unsafe { isl_basic_map_nat_universe(space) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_remove_redundancies`.
    pub fn remove_redundancies(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_remove_redundancies(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_intersect_domain`.
    pub fn intersect_domain(self, bset: BasicSet) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let bset = bset.ptr;
        let isl_rs_result = unsafe { isl_basic_map_intersect_domain(bmap, bset) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_intersect_range`.
    pub fn intersect_range(self, bset: BasicSet) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let bset = bset.ptr;
        let isl_rs_result = unsafe { isl_basic_map_intersect_range(bmap, bset) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_intersect`.
    pub fn intersect(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_intersect(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_union`.
    pub fn union(self, bmap2: BasicMap) -> Map {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_union(bmap1, bmap2) };
        let isl_rs_result = Map { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_apply_domain`.
    pub fn apply_domain(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_apply_domain(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_apply_range`.
    pub fn apply_range(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_apply_range(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_affine_hull`.
    pub fn affine_hull(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_affine_hull(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_reverse`.
    pub fn reverse(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_reverse(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_domain`.
    pub fn domain(self) -> BasicSet {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_domain(bmap) };
        let isl_rs_result = BasicSet { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_range`.
    pub fn range(self) -> BasicSet {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_range(bmap) };
        let isl_rs_result = BasicSet { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_domain_map`.
    pub fn domain_map(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_domain_map(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_range_map`.
    pub fn range_map(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_range_map(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_remove_dims`.
    pub fn remove_dims(self, type_: DimType, first: u32, n: u32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_remove_dims(bmap, type_, first, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_eliminate`.
    pub fn eliminate(self, type_: DimType, first: u32, n: u32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_eliminate(bmap, type_, first, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_sample`.
    pub fn sample(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_sample(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_detect_equalities`.
    pub fn detect_equalities(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_detect_equalities(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_read_from_str`.
    pub fn read_from_str(ctx: &Context, str_: &str) -> BasicMap {
        let ctx = ctx.ptr;
        let str_ = CString::new(str_).unwrap();
        let str_ = str_.as_ptr();
        let isl_rs_result = unsafe { isl_basic_map_read_from_str(ctx, str_) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_dump`.
    pub fn dump(&self) {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_dump(bmap) };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_to_str`.
    pub fn to_str(&self) -> &str {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_to_str(bmap) };
        let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
        let isl_rs_result = isl_rs_result.to_str().unwrap();
        isl_rs_result
    }

    /// Wraps `isl_basic_map_fix_si`.
    pub fn fix_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_fix_si(bmap, type_, pos, value) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_fix_val`.
    pub fn fix_val(self, type_: DimType, pos: u32, v: Val) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let v = v.ptr;
        let isl_rs_result = unsafe { isl_basic_map_fix_val(bmap, type_, pos, v) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_lower_bound_si`.
    pub fn lower_bound_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_lower_bound_si(bmap, type_, pos, value) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_upper_bound_si`.
    pub fn upper_bound_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_upper_bound_si(bmap, type_, pos, value) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_sum`.
    pub fn sum(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_sum(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_neg`.
    pub fn neg(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_neg(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_is_equal`.
    pub fn is_equal(&self, bmap2: &BasicMap) -> bool {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_is_equal(bmap1, bmap2) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_is_disjoint`.
    pub fn is_disjoint(&self, bmap2: &BasicMap) -> bool {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_is_disjoint(bmap1, bmap2) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_lexmin`.
    pub fn lexmin(self) -> Map {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_lexmin(bmap) };
        let isl_rs_result = Map { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_lexmax`.
    pub fn lexmax(self) -> Map {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_lexmax(bmap) };
        let isl_rs_result = Map { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_plain_get_val_if_fixed`.
    pub fn plain_get_val_if_fixed(&self, type_: DimType, pos: u32) -> Val {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_plain_get_val_if_fixed(bmap, type_, pos) };
        let isl_rs_result = Val { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_image_is_bounded`.
    pub fn image_is_bounded(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_image_is_bounded(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_plain_is_universe`.
    pub fn plain_is_universe(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_plain_is_universe(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_is_universe`.
    pub fn is_universe(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_is_universe(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_plain_is_empty`.
    pub fn plain_is_empty(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_plain_is_empty(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_is_empty`.
    pub fn is_empty(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_is_empty(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_is_subset`.
    pub fn is_subset(&self, bmap2: &BasicMap) -> bool {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_is_subset(bmap1, bmap2) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_is_strict_subset`.
    pub fn is_strict_subset(&self, bmap2: &BasicMap) -> bool {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_is_strict_subset(bmap1, bmap2) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_product`.
    pub fn product(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_product(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_domain_product`.
    pub fn domain_product(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_domain_product(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_range_product`.
    pub fn range_product(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_range_product(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_flat_product`.
    pub fn flat_product(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_flat_product(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_flat_range_product`.
    pub fn flat_range_product(self, bmap2: BasicMap) -> BasicMap {
        let bmap1 = self;
        let bmap1 = bmap1.ptr;
        let bmap2 = bmap2.ptr;
        let isl_rs_result = unsafe { isl_basic_map_flat_range_product(bmap1, bmap2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_deltas`.
    pub fn deltas(self) -> BasicSet {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_deltas(bmap) };
        let isl_rs_result = BasicSet { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_deltas_map`.
    pub fn deltas_map(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_deltas_map(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_add_dims`.
    pub fn add_dims(self, type_: DimType, n: u32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_add_dims(bmap, type_, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_insert_dims`.
    pub fn insert_dims(self, type_: DimType, pos: u32, n: u32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_insert_dims(bmap, type_, pos, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_move_dims`.
    pub fn move_dims(self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32,
                     n: u32)
                     -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result =
            unsafe { isl_basic_map_move_dims(bmap, dst_type, dst_pos, src_type, src_pos, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_project_out`.
    pub fn project_out(self, type_: DimType, first: u32, n: u32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_project_out(bmap, type_, first, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_remove_divs`.
    pub fn remove_divs(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_remove_divs(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_remove_divs_involving_dims`.
    pub fn remove_divs_involving_dims(self, type_: DimType, first: u32, n: u32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result =
            unsafe { isl_basic_map_remove_divs_involving_dims(bmap, type_, first, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_equate`.
    pub fn equate(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_equate(bmap, type1, pos1, type2, pos2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_order_ge`.
    pub fn order_ge(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_order_ge(bmap, type1, pos1, type2, pos2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_order_gt`.
    pub fn order_gt(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_order_gt(bmap, type1, pos1, type2, pos2) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_wrap`.
    pub fn wrap(self) -> BasicSet {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_wrap(bmap) };
        let isl_rs_result = BasicSet { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_flatten`.
    pub fn flatten(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_flatten(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_flatten_domain`.
    pub fn flatten_domain(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_flatten_domain(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_flatten_range`.
    pub fn flatten_range(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_flatten_range(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_from_domain`.
    pub fn from_domain(bset: BasicSet) -> BasicMap {
        let bset = bset.ptr;
        let isl_rs_result = unsafe { isl_basic_map_from_domain(bset) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_from_range`.
    pub fn from_range(bset: BasicSet) -> BasicMap {
        let bset = bset.ptr;
        let isl_rs_result = unsafe { isl_basic_map_from_range(bset) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_from_domain_and_range`.
    pub fn from_domain_and_range(domain: BasicSet, range: BasicSet) -> BasicMap {
        let domain = domain.ptr;
        let range = range.ptr;
        let isl_rs_result = unsafe { isl_basic_map_from_domain_and_range(domain, range) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_is_single_valued`.
    pub fn is_single_valued(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_is_single_valued(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_can_zip`.
    pub fn can_zip(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_can_zip(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_zip`.
    pub fn zip(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_zip(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_can_curry`.
    pub fn can_curry(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_can_curry(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_curry`.
    pub fn curry(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_curry(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_can_uncurry`.
    pub fn can_uncurry(&self) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_can_uncurry(bmap) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_uncurry`.
    pub fn uncurry(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_uncurry(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_compute_divs`.
    pub fn compute_divs(self) -> Map {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_compute_divs(bmap) };
        let isl_rs_result = Map { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_drop_constraints_involving_dims`.
    pub fn drop_constraints_involving_dims(self, type_: DimType, first: u32, n: u32) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result =
            unsafe { isl_basic_map_drop_constraints_involving_dims(bmap, type_, first, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_drop_constraints_not_involving_dims`.
    pub fn drop_constraints_not_involving_dims(self, type_: DimType, first: u32, n: u32)
                                               -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result =
            unsafe { isl_basic_map_drop_constraints_not_involving_dims(bmap, type_, first, n) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_involves_dims`.
    pub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> bool {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_involves_dims(bmap, type_, first, n) };
        let isl_rs_result = match isl_rs_result {
            0 => false,
            1 => true,
            _ => panic!("Got isl_bool = -1"),
        };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_gist_domain`.
    pub fn gist_domain(self, context: BasicSet) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let context = context.ptr;
        let isl_rs_result = unsafe { isl_basic_map_gist_domain(bmap, context) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_gist`.
    pub fn gist(self, context: BasicMap) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let context = context.ptr;
        let isl_rs_result = unsafe { isl_basic_map_gist(bmap, context) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_align_params`.
    pub fn align_params(self, model: Space) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let model = model.ptr;
        let isl_rs_result = unsafe { isl_basic_map_align_params(bmap, model) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_drop_unused_params`.
    pub fn drop_unused_params(self) -> BasicMap {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_drop_unused_params(bmap) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_equalities_matrix`.
    pub fn equalities_matrix(&self, c1: DimType, c2: DimType, c3: DimType, c4: DimType,
                             c5: DimType)
                             -> Mat {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_equalities_matrix(bmap, c1, c2, c3, c4, c5) };
        let isl_rs_result = Mat { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_inequalities_matrix`.
    pub fn inequalities_matrix(&self, c1: DimType, c2: DimType, c3: DimType, c4: DimType,
                               c5: DimType)
                               -> Mat {
        let bmap = self;
        let bmap = bmap.ptr;
        let isl_rs_result = unsafe { isl_basic_map_inequalities_matrix(bmap, c1, c2, c3, c4, c5) };
        let isl_rs_result = Mat { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_from_constraint_matrices`.
    pub fn from_constraint_matrices(space: Space, eq: Mat, ineq: Mat, c1: DimType, c2: DimType,
                                    c3: DimType, c4: DimType, c5: DimType)
                                    -> BasicMap {
        let space = space.ptr;
        let eq = eq.ptr;
        let ineq = ineq.ptr;
        let isl_rs_result =
            unsafe { isl_basic_map_from_constraint_matrices(space, eq, ineq, c1, c2, c3, c4, c5) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }

    /// Wraps `isl_basic_map_from_aff`.
    pub fn from_aff(aff: Aff) -> BasicMap {
        let aff = aff.ptr;
        let isl_rs_result = unsafe { isl_basic_map_from_aff(aff) };
        let isl_rs_result = BasicMap { ptr: isl_rs_result };
        isl_rs_result
    }
}

impl Drop for BasicMap {
    fn drop(&mut self) {
        unsafe {
            isl_basic_map_free(self.ptr);
        }
    }
}