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 list_size(list: &ConstraintList) -> i32

Wraps isl_constraint_list_size.

pub fn get_ctx(&self) -> Context

Wraps isl_constraint_get_ctx.

pub fn list_dump(list: &ConstraintList)

Wraps isl_constraint_list_dump.

pub fn list_insert( list: ConstraintList, pos: u32, el: Constraint, ) -> ConstraintList

Wraps isl_constraint_list_insert.

pub fn is_equality(&self) -> bool

Wraps isl_constraint_is_equality.

pub fn to_list(self) -> ConstraintList

Wraps isl_constraint_to_list.

pub fn alloc_inequality(ls: LocalSpace) -> Constraint

Wraps isl_constraint_alloc_inequality.

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

Wraps isl_constraint_dim.

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

Wraps isl_constraint_set_coefficient_val.

pub fn list_n_constraint(list: &ConstraintList) -> i32

Wraps isl_constraint_list_n_constraint.

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

Wraps isl_constraint_plain_cmp.

pub fn get_constant_val(&self) -> Val

Wraps isl_constraint_get_constant_val.

pub fn list_add(list: ConstraintList, el: Constraint) -> ConstraintList

Wraps isl_constraint_list_add.

pub fn list_from_constraint(self) -> ConstraintList

Wraps isl_constraint_list_from_constraint.

pub fn dump(&self)

Wraps isl_constraint_dump.

pub fn negate(self) -> Constraint

Wraps isl_constraint_negate.

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

Wraps isl_constraint_is_lower_bound.

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

Wraps isl_constraint_get_coefficient_val.

pub fn list_set_at( list: ConstraintList, index: i32, el: Constraint, ) -> ConstraintList

Wraps isl_constraint_list_set_at.

pub fn list_set_constraint( list: ConstraintList, index: i32, el: Constraint, ) -> ConstraintList

Wraps isl_constraint_list_set_constraint.

pub fn get_space(&self) -> Space

Wraps isl_constraint_get_space.

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

Wraps isl_constraint_involves_dims.

pub fn list_reverse(list: ConstraintList) -> ConstraintList

Wraps isl_constraint_list_reverse.

pub fn free(self) -> Constraint

Wraps isl_constraint_free.

pub fn is_div_constraint(&self) -> bool

Wraps isl_constraint_is_div_constraint.

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

Wraps isl_constraint_list_get_ctx.

pub fn alloc_equality(ls: LocalSpace) -> Constraint

Wraps isl_constraint_alloc_equality.

pub fn list_clear(list: ConstraintList) -> ConstraintList

Wraps isl_constraint_list_clear.

pub fn get_aff(&self) -> Aff

Wraps isl_constraint_get_aff.

pub fn list_get_constraint(list: &ConstraintList, index: i32) -> Constraint

Wraps isl_constraint_list_get_constraint.

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

Wraps isl_constraint_set_coefficient_si.

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

Wraps isl_constraint_is_equal.

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

Wraps isl_constraint_set_constant_si.

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

Wraps isl_constraint_list_swap.

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

Wraps isl_constraint_list_alloc.

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

Wraps isl_constraint_get_dim_name.

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

Wraps isl_constraint_list_concat.

pub fn list_get_at(list: &ConstraintList, index: i32) -> Constraint

Wraps isl_constraint_list_get_at.

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

Wraps isl_constraint_list_copy.

pub fn get_local_space(&self) -> LocalSpace

Wraps isl_constraint_get_local_space.

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

Wraps isl_constraint_set_constant_val.

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

Wraps isl_constraint_is_upper_bound.

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

Wraps isl_constraint_list_drop.

pub fn list_free(list: ConstraintList) -> ConstraintList

Wraps isl_constraint_list_free.

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

Wraps isl_constraint_get_bound.

pub fn copy(&self) -> Constraint

Wraps isl_constraint_copy.

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

Wraps isl_constraint_list_to_str.

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

Wraps isl_constraint_get_div.

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

Wraps isl_constraint_cmp_last_non_zero.

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations

impl Drop for Constraint

fn drop(&mut self)

Executes the destructor for this type.