Struct Constraint

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

Wraps isl_constraint.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl Constraint

pub fn get_ctx(&self) -> Context

Wraps isl_constraint_get_ctx.

pub fn alloc_equality(ls: LocalSpace) -> Constraint

Wraps isl_constraint_alloc_equality.

pub fn alloc_inequality(ls: LocalSpace) -> Constraint

Wraps isl_constraint_alloc_inequality.

pub fn copy(&self) -> Constraint

Wraps isl_constraint_copy.

pub fn free(self) -> Constraint

Wraps isl_constraint_free.

pub fn is_equal(&self, constraint2: &Constraint) -> i32

Wraps isl_constraint_is_equal.

pub fn get_space(&self) -> Space

Wraps isl_constraint_get_space.

pub fn get_local_space(&self) -> LocalSpace

Wraps isl_constraint_get_local_space.

pub fn dim(&self, type_: DimType) -> i32

Wraps isl_constraint_dim.

pub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> bool

Wraps isl_constraint_involves_dims.

pub fn get_dim_name(&self, type_: DimType, pos: u32) -> &str

Wraps isl_constraint_get_dim_name.

pub fn get_constant_val(&self) -> Val

Wraps isl_constraint_get_constant_val.

pub fn get_coefficient_val(&self, type_: DimType, pos: i32) -> Val

Wraps isl_constraint_get_coefficient_val.

pub fn set_constant_si(self, v: i32) -> Constraint

Wraps isl_constraint_set_constant_si.

pub fn set_constant_val(self, v: Val) -> Constraint

Wraps isl_constraint_set_constant_val.

pub fn set_coefficient_si(self, type_: DimType, pos: i32, v: i32) -> Constraint

Wraps isl_constraint_set_coefficient_si.

pub fn set_coefficient_val(self, type_: DimType, pos: i32, v: Val) -> Constraint

Wraps isl_constraint_set_coefficient_val.

pub fn get_div(&self, pos: i32) -> Aff

Wraps isl_constraint_get_div.

pub fn negate(self) -> Constraint

Wraps isl_constraint_negate.

pub fn is_equality(&self) -> bool

Wraps isl_constraint_is_equality.

pub fn is_div_constraint(&self) -> bool

Wraps isl_constraint_is_div_constraint.

pub fn is_lower_bound(&self, type_: DimType, pos: u32) -> bool

Wraps isl_constraint_is_lower_bound.

pub fn is_upper_bound(&self, type_: DimType, pos: u32) -> bool

Wraps isl_constraint_is_upper_bound.

pub fn get_bound(&self, type_: DimType, pos: i32) -> Aff

Wraps isl_constraint_get_bound.

pub fn get_aff(&self) -> Aff

Wraps isl_constraint_get_aff.

pub fn plain_cmp(&self, c2: &Constraint) -> i32

Wraps isl_constraint_plain_cmp.

pub fn cmp_last_non_zero(&self, c2: &Constraint) -> i32

Wraps isl_constraint_cmp_last_non_zero.

pub fn dump(&self)

Wraps isl_constraint_dump.

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations

impl Drop for Constraint

fn drop(&mut self)

Executes the destructor for this type.