Struct Val

pub struct Val {
    pub ptr: uintptr_t,
    pub should_free_on_drop: bool,
}

Wraps isl_val.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl Val

pub fn is_infty(&self) -> bool

Wraps isl_val_is_infty.

pub fn list_size(list: &ValList) -> i32

Wraps isl_val_list_size.

pub fn get_den_val(&self) -> Val

Wraps isl_val_get_den_val.

pub fn copy(&self) -> Val

Wraps isl_val_copy.

pub fn list_get_at(list: &ValList, index: i32) -> Val

Wraps isl_val_list_get_at.

pub fn get_den_si(&self) -> i64

Wraps isl_val_get_den_si.

pub fn cmp_si(&self, i: i64) -> i32

Wraps isl_val_cmp_si.

pub fn dump(&self)

Wraps isl_val_dump.

pub fn int_from_ui(ctx: &Context, u: u64) -> Val

Wraps isl_val_int_from_ui.

pub fn gt_si(&self, i: i64) -> bool

Wraps isl_val_gt_si.

pub fn to_exp(self) -> Val

Wraps isl_val_2exp.

pub fn inv(self) -> Val

Wraps isl_val_inv.

pub fn div(self, v2: Val) -> Val

Wraps isl_val_div.

pub fn abs_eq(&self, v2: &Val) -> bool

Wraps isl_val_abs_eq.

pub fn lt(&self, v2: &Val) -> bool

Wraps isl_val_lt.

pub fn n_abs_num_chunks(&self, size: usize) -> i32

Wraps isl_val_n_abs_num_chunks.

pub fn list_n_val(list: &ValList) -> i32

Wraps isl_val_list_n_val.

pub fn to_str(&self) -> &str

Wraps isl_val_to_str.

pub fn list_read_from_str(ctx: &Context, str_: &str) -> ValList

Wraps isl_val_list_read_from_str.

pub fn ne(&self, v2: &Val) -> bool

Wraps isl_val_ne.

pub fn list_concat(list1: ValList, list2: ValList) -> ValList

Wraps isl_val_list_concat.

pub fn list_clear(list: ValList) -> ValList

Wraps isl_val_list_clear.

pub fn list_dump(list: &ValList)

Wraps isl_val_list_dump.

pub fn nan(ctx: &Context) -> Val

Wraps isl_val_nan.

pub fn infty(ctx: &Context) -> Val

Wraps isl_val_infty.

pub fn sgn(&self) -> i32

Wraps isl_val_sgn.

pub fn neg(self) -> Val

Wraps isl_val_neg.

pub fn is_nan(&self) -> bool

Wraps isl_val_is_nan.

pub fn is_one(&self) -> bool

Wraps isl_val_is_one.

pub fn neginfty(ctx: &Context) -> Val

Wraps isl_val_neginfty.

pub fn list_set_at(list: ValList, index: i32, el: Val) -> ValList

Wraps isl_val_list_set_at.

pub fn int_from_si(ctx: &Context, i: i64) -> Val

Wraps isl_val_int_from_si.

pub fn mul(self, v2: Val) -> Val

Wraps isl_val_mul.

pub fn get_ctx(&self) -> Context

Wraps isl_val_get_ctx.

pub fn mul_ui(self, v2: u64) -> Val

Wraps isl_val_mul_ui.

pub fn max(self, v2: Val) -> Val

Wraps isl_val_max.

pub fn list_add(list: ValList, el: Val) -> ValList

Wraps isl_val_list_add.

pub fn floor(self) -> Val

Wraps isl_val_floor.

pub fn is_int(&self) -> bool

Wraps isl_val_is_int.

pub fn one(ctx: &Context) -> Val

Wraps isl_val_one.

pub fn ceil(self) -> Val

Wraps isl_val_ceil.

pub fn add(self, v2: Val) -> Val

Wraps isl_val_add.

pub fn is_negone(&self) -> bool

Wraps isl_val_is_negone.

pub fn min(self, v2: Val) -> Val

Wraps isl_val_min.

pub fn get_hash(&self) -> u32

Wraps isl_val_get_hash.

pub fn list_copy(list: &ValList) -> ValList

Wraps isl_val_list_copy.

pub fn le(&self, v2: &Val) -> bool

Wraps isl_val_le.

pub fn list_to_str(list: &ValList) -> &str

Wraps isl_val_list_to_str.

pub fn trunc(self) -> Val

Wraps isl_val_trunc.

pub fn is_nonneg(&self) -> bool

Wraps isl_val_is_nonneg.

pub fn free(self) -> Val

Wraps isl_val_free.

pub fn is_pos(&self) -> bool

Wraps isl_val_is_pos.

pub fn eq(&self, v2: &Val) -> bool

Wraps isl_val_eq.

pub fn list_get_ctx(list: &ValList) -> Context

Wraps isl_val_list_get_ctx.

pub fn list_reverse(list: ValList) -> ValList

Wraps isl_val_list_reverse.

pub fn negone(ctx: &Context) -> Val

Wraps isl_val_negone.

pub fn ge(&self, v2: &Val) -> bool

Wraps isl_val_ge.

pub fn pow2(self) -> Val

Wraps isl_val_pow2.

pub fn eq_si(&self, i: i64) -> bool

Wraps isl_val_eq_si.

pub fn list_set_val(list: ValList, index: i32, el: Val) -> ValList

Wraps isl_val_list_set_val.

pub fn to_list(self) -> ValList

Wraps isl_val_to_list.

pub fn sub(self, v2: Val) -> Val

Wraps isl_val_sub.

pub fn list_free(list: ValList) -> ValList

Wraps isl_val_list_free.

pub fn get_d(&self) -> f64

Wraps isl_val_get_d.

pub fn is_divisible_by(&self, v2: &Val) -> bool

Wraps isl_val_is_divisible_by.

pub fn is_rat(&self) -> bool

Wraps isl_val_is_rat.

pub fn list_drop(list: ValList, first: u32, n: u32) -> ValList

Wraps isl_val_list_drop.

pub fn gcd(self, v2: Val) -> Val

Wraps isl_val_gcd.

pub fn div_ui(self, v2: u64) -> Val

Wraps isl_val_div_ui.

pub fn read_from_str(ctx: &Context, str_: &str) -> Val

Wraps isl_val_read_from_str.

pub fn is_neg(&self) -> bool

Wraps isl_val_is_neg.

pub fn get_num_si(&self) -> i64

Wraps isl_val_get_num_si.

pub fn is_nonpos(&self) -> bool

Wraps isl_val_is_nonpos.

pub fn is_zero(&self) -> bool

Wraps isl_val_is_zero.

pub fn add_ui(self, v2: u64) -> Val

Wraps isl_val_add_ui.

pub fn list_swap(list: ValList, pos1: u32, pos2: u32) -> ValList

Wraps isl_val_list_swap.

pub fn gt(&self, v2: &Val) -> bool

Wraps isl_val_gt.

pub fn is_neginfty(&self) -> bool

Wraps isl_val_is_neginfty.

pub fn list_get_val(list: &ValList, index: i32) -> Val

Wraps isl_val_list_get_val.

pub fn zero(ctx: &Context) -> Val

Wraps isl_val_zero.

pub fn mod_(self, v2: Val) -> Val

Wraps isl_val_mod.

pub fn abs(self) -> Val

Wraps isl_val_abs.

pub fn list_from_val(self) -> ValList

Wraps isl_val_list_from_val.

pub fn list_alloc(ctx: &Context, n: i32) -> ValList

Wraps isl_val_list_alloc.

pub fn list_insert(list: ValList, pos: u32, el: Val) -> ValList

Wraps isl_val_list_insert.

pub fn sub_ui(self, v2: u64) -> Val

Wraps isl_val_sub_ui.

pub fn set_si(self, i: i64) -> Val

Wraps isl_val_set_si.

pub fn do_not_free_on_drop(&mut self)

Does not call isl_val_free() on being dropped. (For internal use only.)

Trait Implementations

impl Drop for Val

fn drop(&mut self)

Executes the destructor for this type.