use super::{
Context, DimType, Error, Id, LibISLError, Point, PwAff, PwQPolynomialList, QPolynomial, Set,
Space, UnionPwQPolynomial, Val,
};
use libc::uintptr_t;
use std::ffi::{CStr, CString};
use std::os::raw::c_char;
pub struct PwQPolynomial {
pub ptr: uintptr_t,
pub should_free_on_drop: bool,
}
extern "C" {
fn isl_pw_qpolynomial_add(pwqp1: uintptr_t, pwqp2: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_add_dims(pwqp: uintptr_t, type_: i32, n: u32) -> uintptr_t;
fn isl_pw_qpolynomial_add_disjoint(pwqp1: uintptr_t, pwqp2: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_alloc(set: uintptr_t, qp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_as_qpolynomial(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_coalesce(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_copy(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_dim(pwqp: uintptr_t, type_: i32) -> i32;
fn isl_pw_qpolynomial_domain(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_domain_reverse(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_drop_dims(pwqp: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_pw_qpolynomial_drop_unused_params(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_dump(pwqp: uintptr_t) -> ();
fn isl_pw_qpolynomial_eval(pwqp: uintptr_t, pnt: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_find_dim_by_name(pwqp: uintptr_t, type_: i32, name: *const c_char)
-> i32;
fn isl_pw_qpolynomial_fix_val(pwqp: uintptr_t, type_: i32, n: u32, v: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_free(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_from_pw_aff(pwaff: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_from_qpolynomial(qp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_from_range(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_get_ctx(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_get_domain_space(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_get_space(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_gist(pwqp: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_gist_params(pwqp: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_has_equal_space(pwqp1: uintptr_t, pwqp2: uintptr_t) -> i32;
fn isl_pw_qpolynomial_insert_dims(pwqp: uintptr_t, type_: i32, first: u32, n: u32)
-> uintptr_t;
fn isl_pw_qpolynomial_intersect_domain(pwpq: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_intersect_domain_wrapped_domain(pwpq: uintptr_t, set: uintptr_t)
-> uintptr_t;
fn isl_pw_qpolynomial_intersect_domain_wrapped_range(pwpq: uintptr_t, set: uintptr_t)
-> uintptr_t;
fn isl_pw_qpolynomial_intersect_params(pwpq: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_involves_dims(pwqp: uintptr_t, type_: i32, first: u32, n: u32) -> i32;
fn isl_pw_qpolynomial_involves_nan(pwqp: uintptr_t) -> i32;
fn isl_pw_qpolynomial_involves_param_id(pwqp: uintptr_t, id: uintptr_t) -> i32;
fn isl_pw_qpolynomial_is_zero(pwqp: uintptr_t) -> i32;
fn isl_pw_qpolynomial_isa_qpolynomial(pwqp: uintptr_t) -> i32;
fn isl_pw_qpolynomial_max(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_min(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_move_dims(pwqp: uintptr_t, dst_type: i32, dst_pos: u32, src_type: i32,
src_pos: u32, n: u32)
-> uintptr_t;
fn isl_pw_qpolynomial_mul(pwqp1: uintptr_t, pwqp2: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_n_piece(pwqp: uintptr_t) -> i32;
fn isl_pw_qpolynomial_neg(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_plain_is_equal(pwqp1: uintptr_t, pwqp2: uintptr_t) -> i32;
fn isl_pw_qpolynomial_pow(pwqp: uintptr_t, exponent: u32) -> uintptr_t;
fn isl_pw_qpolynomial_project_domain_on_params(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_read_from_str(ctx: uintptr_t, str_: *const c_char) -> uintptr_t;
fn isl_pw_qpolynomial_reset_domain_space(pwqp: uintptr_t, space: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_reset_user(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_scale_down_val(pwqp: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_scale_val(pwqp: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_set_dim_name(pwqp: uintptr_t, type_: i32, pos: u32, s: *const c_char)
-> uintptr_t;
fn isl_pw_qpolynomial_split_dims(pwqp: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_pw_qpolynomial_split_periods(pwqp: uintptr_t, max_periods: i32) -> uintptr_t;
fn isl_pw_qpolynomial_sub(pwqp1: uintptr_t, pwqp2: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_subtract_domain(pwpq: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_to_list(el: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_to_polynomial(pwqp: uintptr_t, sign: i32) -> uintptr_t;
fn isl_pw_qpolynomial_to_str(pwqp: uintptr_t) -> *const c_char;
fn isl_pw_qpolynomial_to_union_pw_qpolynomial(pwqp: uintptr_t) -> uintptr_t;
fn isl_pw_qpolynomial_zero(space: uintptr_t) -> uintptr_t;
}
impl PwQPolynomial {
pub fn add(self, pwqp2: PwQPolynomial) -> Result<PwQPolynomial, LibISLError> {
let pwqp1 = self;
let isl_rs_ctx = pwqp1.get_ctx();
let mut pwqp1 = pwqp1;
pwqp1.do_not_free_on_drop();
let pwqp1 = pwqp1.ptr;
let mut pwqp2 = pwqp2;
pwqp2.do_not_free_on_drop();
let pwqp2 = pwqp2.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_add(pwqp1, pwqp2) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_qpolynomial_add_dims(pwqp, type_, n) };
let isl_rs_result = PwQPolynomial { 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_disjoint(self, pwqp2: PwQPolynomial) -> Result<PwQPolynomial, LibISLError> {
let pwqp1 = self;
let isl_rs_ctx = pwqp1.get_ctx();
let mut pwqp1 = pwqp1;
pwqp1.do_not_free_on_drop();
let pwqp1 = pwqp1.ptr;
let mut pwqp2 = pwqp2;
pwqp2.do_not_free_on_drop();
let pwqp2 = pwqp2.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_add_disjoint(pwqp1, pwqp2) };
let isl_rs_result = PwQPolynomial { 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 alloc(set: Set, qp: QPolynomial) -> Result<PwQPolynomial, LibISLError> {
let isl_rs_ctx = set.get_ctx();
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let mut qp = qp;
qp.do_not_free_on_drop();
let qp = qp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_alloc(set, qp) };
let isl_rs_result = PwQPolynomial { 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_qpolynomial(self) -> Result<QPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_as_qpolynomial(pwqp) };
let isl_rs_result = QPolynomial { 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 coalesce(self) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_coalesce(pwqp) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_copy(pwqp) };
let isl_rs_result = PwQPolynomial { 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 pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_qpolynomial_dim(pwqp, 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 domain(self) -> Result<Set, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_domain(pwqp) };
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_reverse(self) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_domain_reverse(pwqp) };
let isl_rs_result = PwQPolynomial { 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_dims(self, type_: DimType, first: u32, n: u32)
-> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_qpolynomial_drop_dims(pwqp, type_, first, n) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_drop_unused_params(pwqp) };
let isl_rs_result = PwQPolynomial { 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 pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_dump(pwqp) };
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 eval(self, pnt: Point) -> Result<Val, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let mut pnt = pnt;
pnt.do_not_free_on_drop();
let pnt = pnt.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_eval(pwqp, pnt) };
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 find_dim_by_name(&self, type_: DimType, name: &str) -> Result<i32, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let type_ = type_.to_i32();
let name = CString::new(name).unwrap();
let name = name.as_ptr();
let isl_rs_result = unsafe { isl_pw_qpolynomial_find_dim_by_name(pwqp, 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_val(self, type_: DimType, n: u32, v: Val) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.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_pw_qpolynomial_fix_val(pwqp, type_, n, v) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_free(pwqp) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, 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_pw_qpolynomial_from_pw_aff(pwaff) };
let isl_rs_result = PwQPolynomial { 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_qpolynomial(qp: QPolynomial) -> Result<PwQPolynomial, LibISLError> {
let isl_rs_ctx = qp.get_ctx();
let mut qp = qp;
qp.do_not_free_on_drop();
let qp = qp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_from_qpolynomial(qp) };
let isl_rs_result = PwQPolynomial { 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(self) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_from_range(pwqp) };
let isl_rs_result = PwQPolynomial { 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 pwqp = self;
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_get_ctx(pwqp) };
let isl_rs_result = Context { ptr: isl_rs_result,
should_free_on_drop: false };
isl_rs_result
}
pub fn get_domain_space(&self) -> Result<Space, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_get_domain_space(pwqp) };
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_space(&self) -> Result<Space, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_get_space(pwqp) };
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 gist(self, context: Set) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_gist(pwqp, context) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_gist_params(pwqp, context) };
let isl_rs_result = PwQPolynomial { 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_equal_space(&self, pwqp2: &PwQPolynomial) -> Result<bool, LibISLError> {
let pwqp1 = self;
let isl_rs_ctx = pwqp1.get_ctx();
let pwqp1 = pwqp1.ptr;
let pwqp2 = pwqp2.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_has_equal_space(pwqp1, pwqp2) };
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 insert_dims(self, type_: DimType, first: u32, n: u32)
-> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_qpolynomial_insert_dims(pwqp, type_, first, n) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, LibISLError> {
let pwpq = self;
let isl_rs_ctx = pwpq.get_ctx();
let mut pwpq = pwpq;
pwpq.do_not_free_on_drop();
let pwpq = pwpq.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_intersect_domain(pwpq, set) };
let isl_rs_result = PwQPolynomial { 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, set: Set) -> Result<PwQPolynomial, LibISLError> {
let pwpq = self;
let isl_rs_ctx = pwpq.get_ctx();
let mut pwpq = pwpq;
pwpq.do_not_free_on_drop();
let pwpq = pwpq.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result =
unsafe { isl_pw_qpolynomial_intersect_domain_wrapped_domain(pwpq, set) };
let isl_rs_result = PwQPolynomial { 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_range(self, set: Set) -> Result<PwQPolynomial, LibISLError> {
let pwpq = self;
let isl_rs_ctx = pwpq.get_ctx();
let mut pwpq = pwpq;
pwpq.do_not_free_on_drop();
let pwpq = pwpq.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_intersect_domain_wrapped_range(pwpq, set) };
let isl_rs_result = PwQPolynomial { 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, set: Set) -> Result<PwQPolynomial, LibISLError> {
let pwpq = self;
let isl_rs_ctx = pwpq.get_ctx();
let mut pwpq = pwpq;
pwpq.do_not_free_on_drop();
let pwpq = pwpq.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_intersect_params(pwpq, set) };
let isl_rs_result = PwQPolynomial { 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 pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_qpolynomial_involves_dims(pwqp, 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 involves_nan(&self) -> Result<bool, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_involves_nan(pwqp) };
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 involves_param_id(&self, id: &Id) -> Result<bool, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let id = id.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_involves_param_id(pwqp, id) };
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_zero(&self) -> Result<bool, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_is_zero(pwqp) };
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 isa_qpolynomial(&self) -> Result<bool, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_isa_qpolynomial(pwqp) };
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 max(self) -> Result<Val, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_max(pwqp) };
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 min(self) -> Result<Val, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_min(pwqp) };
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 move_dims(self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32,
n: u32)
-> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let dst_type = dst_type.to_i32();
let src_type = src_type.to_i32();
let isl_rs_result =
unsafe { isl_pw_qpolynomial_move_dims(pwqp, dst_type, dst_pos, src_type, src_pos, n) };
let isl_rs_result = PwQPolynomial { 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 mul(self, pwqp2: PwQPolynomial) -> Result<PwQPolynomial, LibISLError> {
let pwqp1 = self;
let isl_rs_ctx = pwqp1.get_ctx();
let mut pwqp1 = pwqp1;
pwqp1.do_not_free_on_drop();
let pwqp1 = pwqp1.ptr;
let mut pwqp2 = pwqp2;
pwqp2.do_not_free_on_drop();
let pwqp2 = pwqp2.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_mul(pwqp1, pwqp2) };
let isl_rs_result = PwQPolynomial { 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_piece(&self) -> Result<i32, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_n_piece(pwqp) };
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<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_neg(pwqp) };
let isl_rs_result = PwQPolynomial { 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_equal(&self, pwqp2: &PwQPolynomial) -> Result<bool, LibISLError> {
let pwqp1 = self;
let isl_rs_ctx = pwqp1.get_ctx();
let pwqp1 = pwqp1.ptr;
let pwqp2 = pwqp2.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_plain_is_equal(pwqp1, pwqp2) };
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 pow(self, exponent: u32) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_pow(pwqp, exponent) };
let isl_rs_result = PwQPolynomial { 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_domain_on_params(self) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_project_domain_on_params(pwqp) };
let isl_rs_result = PwQPolynomial { 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 read_from_str(ctx: &Context, str_: &str) -> Result<PwQPolynomial, 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_pw_qpolynomial_read_from_str(ctx, str_) };
let isl_rs_result = PwQPolynomial { 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_domain_space(self, space: Space) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_reset_domain_space(pwqp, space) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_reset_user(pwqp) };
let isl_rs_result = PwQPolynomial { 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 scale_down_val(self, v: Val) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_scale_down_val(pwqp, v) };
let isl_rs_result = PwQPolynomial { 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 scale_val(self, v: Val) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_scale_val(pwqp, v) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let type_ = type_.to_i32();
let s = CString::new(s).unwrap();
let s = s.as_ptr();
let isl_rs_result = unsafe { isl_pw_qpolynomial_set_dim_name(pwqp, type_, pos, s) };
let isl_rs_result = PwQPolynomial { 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 split_dims(self, type_: DimType, first: u32, n: u32)
-> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_qpolynomial_split_dims(pwqp, type_, first, n) };
let isl_rs_result = PwQPolynomial { 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 split_periods(self, max_periods: i32) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_split_periods(pwqp, max_periods) };
let isl_rs_result = PwQPolynomial { 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 sub(self, pwqp2: PwQPolynomial) -> Result<PwQPolynomial, LibISLError> {
let pwqp1 = self;
let isl_rs_ctx = pwqp1.get_ctx();
let mut pwqp1 = pwqp1;
pwqp1.do_not_free_on_drop();
let pwqp1 = pwqp1.ptr;
let mut pwqp2 = pwqp2;
pwqp2.do_not_free_on_drop();
let pwqp2 = pwqp2.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_sub(pwqp1, pwqp2) };
let isl_rs_result = PwQPolynomial { 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, set: Set) -> Result<PwQPolynomial, LibISLError> {
let pwpq = self;
let isl_rs_ctx = pwpq.get_ctx();
let mut pwpq = pwpq;
pwpq.do_not_free_on_drop();
let pwpq = pwpq.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_subtract_domain(pwpq, set) };
let isl_rs_result = PwQPolynomial { 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<PwQPolynomialList, 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_pw_qpolynomial_to_list(el) };
let isl_rs_result = PwQPolynomialList { 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_polynomial(self, sign: i32) -> Result<PwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_to_polynomial(pwqp, sign) };
let isl_rs_result = PwQPolynomial { 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 pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_to_str(pwqp) };
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_pw_qpolynomial(self) -> Result<UnionPwQPolynomial, LibISLError> {
let pwqp = self;
let isl_rs_ctx = pwqp.get_ctx();
let mut pwqp = pwqp;
pwqp.do_not_free_on_drop();
let pwqp = pwqp.ptr;
let isl_rs_result = unsafe { isl_pw_qpolynomial_to_union_pw_qpolynomial(pwqp) };
let isl_rs_result = UnionPwQPolynomial { 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 zero(space: Space) -> Result<PwQPolynomial, 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_pw_qpolynomial_zero(space) };
let isl_rs_result = PwQPolynomial { 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 PwQPolynomial {
fn drop(&mut self) {
if self.should_free_on_drop {
unsafe {
isl_pw_qpolynomial_free(self.ptr);
}
}
}
}