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 alloc_equality(ls: LocalSpace) -> Result<Constraint, LibISLError>

Wraps isl_constraint_alloc_equality.

pub fn alloc_inequality(ls: LocalSpace) -> Result<Constraint, LibISLError>

Wraps isl_constraint_alloc_inequality.

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

Wraps isl_constraint_cmp_last_non_zero.

pub fn copy(&self) -> Result<Constraint, LibISLError>

Wraps isl_constraint_copy.

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

Wraps isl_constraint_dim.

pub fn dump(&self) -> Result<(), LibISLError>

Wraps isl_constraint_dump.

pub fn free(self) -> Result<Constraint, LibISLError>

Wraps isl_constraint_free.

pub fn get_aff(&self) -> Result<Aff, LibISLError>

Wraps isl_constraint_get_aff.

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

Wraps isl_constraint_get_bound.

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

Wraps isl_constraint_get_coefficient_val.

pub fn get_constant_val(&self) -> Result<Val, LibISLError>

Wraps isl_constraint_get_constant_val.

pub fn get_ctx(&self) -> Context

Wraps isl_constraint_get_ctx.

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

Wraps isl_constraint_get_dim_name.

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

Wraps isl_constraint_get_div.

pub fn get_local_space(&self) -> Result<LocalSpace, LibISLError>

Wraps isl_constraint_get_local_space.

pub fn get_space(&self) -> Result<Space, LibISLError>

Wraps isl_constraint_get_space.

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

Wraps isl_constraint_involves_dims.

pub fn is_div_constraint(&self) -> Result<bool, LibISLError>

Wraps isl_constraint_is_div_constraint.

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

Wraps isl_constraint_is_equal.

pub fn is_equality(&self) -> Result<bool, LibISLError>

Wraps isl_constraint_is_equality.

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

Wraps isl_constraint_is_lower_bound.

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

Wraps isl_constraint_is_upper_bound.

pub fn negate(self) -> Result<Constraint, LibISLError>

Wraps isl_constraint_negate.

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

Wraps isl_constraint_plain_cmp.

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

Wraps isl_constraint_set_coefficient_si.

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

Wraps isl_constraint_set_coefficient_val.

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

Wraps isl_constraint_set_constant_si.

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

Wraps isl_constraint_set_constant_val.

pub fn to_list(self) -> Result<ConstraintList, LibISLError>

Wraps isl_constraint_to_list.

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.