Struct Mat

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

Wraps isl_mat.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl Mat

pub fn drop_cols(self, col: u32, n: u32) -> Mat

Wraps isl_mat_drop_cols.

pub fn col_add(&self, dst_col: i32, src_col: i32)

Wraps isl_mat_col_add.

pub fn concat(self, bot: Mat) -> Mat

Wraps isl_mat_concat.

pub fn rows(&self) -> i32

Wraps isl_mat_rows.

pub fn right_kernel(self) -> Mat

Wraps isl_mat_right_kernel.

pub fn drop_rows(self, row: u32, n: u32) -> Mat

Wraps isl_mat_drop_rows.

pub fn cols(&self) -> i32

Wraps isl_mat_cols.

pub fn get_ctx(&self) -> Context

Wraps isl_mat_get_ctx.

pub fn swap_rows(self, i: u32, j: u32) -> Mat

Wraps isl_mat_swap_rows.

pub fn transpose(self) -> Mat

Wraps isl_mat_transpose.

pub fn move_cols(self, dst_col: u32, src_col: u32, n: u32) -> Mat

Wraps isl_mat_move_cols.

pub fn diagonal(self, mat2: Mat) -> Mat

Wraps isl_mat_diagonal.

pub fn normalize(self) -> Mat

Wraps isl_mat_normalize.

pub fn row_basis(self) -> Mat

Wraps isl_mat_row_basis.

pub fn extend(self, n_row: u32, n_col: u32) -> Mat

Wraps isl_mat_extend.

pub fn add_zero_rows(self, n: u32) -> Mat

Wraps isl_mat_add_zero_rows.

pub fn insert_zero_cols(self, first: u32, n: u32) -> Mat

Wraps isl_mat_insert_zero_cols.

pub fn swap_cols(self, i: u32, j: u32) -> Mat

Wraps isl_mat_swap_cols.

pub fn lin_to_aff(self) -> Mat

Wraps isl_mat_lin_to_aff.

pub fn unimodular_complete(self, row: i32) -> Mat

Wraps isl_mat_unimodular_complete.

pub fn insert_cols(self, col: u32, n: u32) -> Mat

Wraps isl_mat_insert_cols.

pub fn add_zero_cols(self, n: u32) -> Mat

Wraps isl_mat_add_zero_cols.

pub fn vec_product(self, vec: Vec) -> Vec

Wraps isl_mat_vec_product.

pub fn vec_inverse_product(self, vec: Vec) -> Vec

Wraps isl_mat_vec_inverse_product.

pub fn from_row_vec(vec: Vec) -> Mat

Wraps isl_mat_from_row_vec.

pub fn get_element_val(&self, row: i32, col: i32) -> Val

Wraps isl_mat_get_element_val.

pub fn initial_non_zero_cols(&self) -> i32

Wraps isl_mat_initial_non_zero_cols.

pub fn insert_rows(self, row: u32, n: u32) -> Mat

Wraps isl_mat_insert_rows.

pub fn inverse_product(self, right: Mat) -> Mat

Wraps isl_mat_inverse_product.

pub fn copy(&self) -> Mat

Wraps isl_mat_copy.

pub fn identity(ctx: &Context, n_row: u32) -> Mat

Wraps isl_mat_identity.

pub fn row_basis_extension(self, mat2: Mat) -> Mat

Wraps isl_mat_row_basis_extension.

pub fn is_equal(&self, mat2: &Mat) -> bool

Wraps isl_mat_is_equal.

pub fn product(self, right: Mat) -> Mat

Wraps isl_mat_product.

pub fn vec_concat(self, bot: Vec) -> Mat

Wraps isl_mat_vec_concat.

pub fn aff_direct_sum(self, right: Mat) -> Mat

Wraps isl_mat_aff_direct_sum.

pub fn set_element_val(self, row: i32, col: i32, v: Val) -> Mat

Wraps isl_mat_set_element_val.

pub fn insert_zero_rows(self, row: u32, n: u32) -> Mat

Wraps isl_mat_insert_zero_rows.

pub fn free(self) -> Mat

Wraps isl_mat_free.

pub fn normalize_row(self, row: i32) -> Mat

Wraps isl_mat_normalize_row.

pub fn right_inverse(self) -> Mat

Wraps isl_mat_right_inverse.

pub fn alloc(ctx: &Context, n_row: u32, n_col: u32) -> Mat

Wraps isl_mat_alloc.

pub fn add_rows(self, n: u32) -> Mat

Wraps isl_mat_add_rows.

pub fn has_linearly_independent_rows(&self, mat2: &Mat) -> bool

Wraps isl_mat_has_linearly_independent_rows.

pub fn rank(&self) -> i32

Wraps isl_mat_rank.

pub fn set_element_si(self, row: i32, col: i32, v: i32) -> Mat

Wraps isl_mat_set_element_si.

pub fn dump(&self)

Wraps isl_mat_dump.

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations

impl Drop for Mat

fn drop(&mut self)

Executes the destructor for this type.