Struct BasicSet

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

Wraps isl_basic_set.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl BasicSet

pub fn n_dim(&self) -> i32

Wraps isl_basic_set_n_dim.

pub fn n_param(&self) -> i32

Wraps isl_basic_set_n_param.

pub fn total_dim(&self) -> i32

Wraps isl_basic_set_total_dim.

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

Wraps isl_basic_set_dim.

pub fn get_ctx(&self) -> Context

Wraps isl_basic_set_get_ctx.

pub fn get_space(&self) -> Space

Wraps isl_basic_set_get_space.

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

Wraps isl_basic_set_get_div.

pub fn get_local_space(&self) -> LocalSpace

Wraps isl_basic_set_get_local_space.

pub fn get_tuple_name(&self) -> &str

Wraps isl_basic_set_get_tuple_name.

pub fn set_tuple_name(self, s: &str) -> BasicSet

Wraps isl_basic_set_set_tuple_name.

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

Wraps isl_basic_set_get_dim_name.

pub fn set_dim_name(self, type_: DimType, pos: u32, s: &str) -> BasicSet

Wraps isl_basic_set_set_dim_name.

pub fn get_dim_id(&self, type_: DimType, pos: u32) -> Id

Wraps isl_basic_set_get_dim_id.

pub fn set_tuple_id(self, id: Id) -> BasicSet

Wraps isl_basic_set_set_tuple_id.

pub fn is_rational(&self) -> i32

Wraps isl_basic_set_is_rational.

pub fn free(self) -> BasicSet

Wraps isl_basic_set_free.

pub fn copy(&self) -> BasicSet

Wraps isl_basic_set_copy.

pub fn empty(space: Space) -> BasicSet

Wraps isl_basic_set_empty.

pub fn universe(space: Space) -> BasicSet

Wraps isl_basic_set_universe.

pub fn nat_universe(space: Space) -> BasicSet

Wraps isl_basic_set_nat_universe.

pub fn positive_orthant(space: Space) -> BasicSet

Wraps isl_basic_set_positive_orthant.

pub fn intersect(self, bset2: BasicSet) -> BasicSet

Wraps isl_basic_set_intersect.

pub fn intersect_params(self, bset2: BasicSet) -> BasicSet

Wraps isl_basic_set_intersect_params.

pub fn apply(self, bmap: BasicMap) -> BasicSet

Wraps isl_basic_set_apply.

pub fn affine_hull(self) -> BasicSet

Wraps isl_basic_set_affine_hull.

pub fn remove_dims(self, type_: DimType, first: u32, n: u32) -> BasicSet

Wraps isl_basic_set_remove_dims.

pub fn sample(self) -> BasicSet

Wraps isl_basic_set_sample.

pub fn detect_equalities(self) -> BasicSet

Wraps isl_basic_set_detect_equalities.

pub fn remove_redundancies(self) -> BasicSet

Wraps isl_basic_set_remove_redundancies.

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

Wraps isl_basic_set_read_from_str.

Examples found in repository

examples/hello_isl_basic_set.rs (line 5)

fn main() {
    let ctx = isl::Context::alloc();
    let bset = isl::BasicSet::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}");
    bset.dump();
    println!("Printed str is {}.", bset.to_str());
}

pub fn dump(&self)

Wraps isl_basic_set_dump.

Examples found in repository

examples/hello_isl_basic_set.rs (line 6)

fn main() {
    let ctx = isl::Context::alloc();
    let bset = isl::BasicSet::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}");
    bset.dump();
    println!("Printed str is {}.", bset.to_str());
}

pub fn fix_si(self, type_: DimType, pos: u32, value: i32) -> BasicSet

Wraps isl_basic_set_fix_si.

pub fn fix_val(self, type_: DimType, pos: u32, v: Val) -> BasicSet

Wraps isl_basic_set_fix_val.

pub fn lower_bound_val(self, type_: DimType, pos: u32, value: Val) -> BasicSet

Wraps isl_basic_set_lower_bound_val.

pub fn upper_bound_val(self, type_: DimType, pos: u32, value: Val) -> BasicSet

Wraps isl_basic_set_upper_bound_val.

pub fn is_equal(&self, bset2: &BasicSet) -> bool

Wraps isl_basic_set_is_equal.

pub fn is_disjoint(&self, bset2: &BasicSet) -> bool

Wraps isl_basic_set_is_disjoint.

pub fn lexmin(self) -> Set

Wraps isl_basic_set_lexmin.

pub fn lexmax(self) -> Set

Wraps isl_basic_set_lexmax.

pub fn union(self, bset2: BasicSet) -> Set

Wraps isl_basic_set_union.

pub fn compare_at(&self, bset2: &BasicSet, pos: i32) -> i32

Wraps isl_basic_set_compare_at.

pub fn params(self) -> BasicSet

Wraps isl_basic_set_params.

pub fn from_params(self) -> BasicSet

Wraps isl_basic_set_from_params.

pub fn plain_is_universe(&self) -> bool

Wraps isl_basic_set_plain_is_universe.

pub fn is_universe(&self) -> bool

Wraps isl_basic_set_is_universe.

pub fn plain_is_empty(&self) -> bool

Wraps isl_basic_set_plain_is_empty.

pub fn is_empty(&self) -> bool

Wraps isl_basic_set_is_empty.

pub fn is_bounded(&self) -> bool

Wraps isl_basic_set_is_bounded.

pub fn is_subset(&self, bset2: &BasicSet) -> bool

Wraps isl_basic_set_is_subset.

pub fn plain_is_equal(&self, bset2: &BasicSet) -> bool

Wraps isl_basic_set_plain_is_equal.

pub fn to_set(self) -> Set

Wraps isl_basic_set_to_set.

pub fn sample_point(self) -> Point

Wraps isl_basic_set_sample_point.

pub fn flat_product(self, bset2: BasicSet) -> BasicSet

Wraps isl_basic_set_flat_product.

pub fn insert_dims(self, type_: DimType, pos: u32, n: u32) -> BasicSet

Wraps isl_basic_set_insert_dims.

pub fn add_dims(self, type_: DimType, n: u32) -> BasicSet

Wraps isl_basic_set_add_dims.

pub fn move_dims( self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32, n: u32, ) -> BasicSet

Wraps isl_basic_set_move_dims.

pub fn project_out(self, type_: DimType, first: u32, n: u32) -> BasicSet

Wraps isl_basic_set_project_out.

pub fn remove_divs(self) -> BasicSet

Wraps isl_basic_set_remove_divs.

pub fn eliminate(self, type_: DimType, first: u32, n: u32) -> BasicSet

Wraps isl_basic_set_eliminate.

pub fn remove_divs_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> BasicSet

Wraps isl_basic_set_remove_divs_involving_dims.

pub fn remove_unknown_divs(self) -> BasicSet

Wraps isl_basic_set_remove_unknown_divs.

pub fn drop_constraints_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> BasicSet

Wraps isl_basic_set_drop_constraints_involving_dims.

pub fn drop_constraints_not_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> BasicSet

Wraps isl_basic_set_drop_constraints_not_involving_dims.

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

Wraps isl_basic_set_involves_dims.

pub fn neg(self) -> BasicSet

Wraps isl_basic_set_neg.

pub fn compute_divs(self) -> Set

Wraps isl_basic_set_compute_divs.

pub fn gist(self, context: BasicSet) -> BasicSet

Wraps isl_basic_set_gist.

pub fn from_point(pnt: Point) -> BasicSet

Wraps isl_basic_set_from_point.

pub fn box_from_points(pnt1: Point, pnt2: Point) -> BasicSet

Wraps isl_basic_set_box_from_points.

pub fn lift(self) -> BasicSet

Wraps isl_basic_set_lift.

pub fn align_params(self, model: Space) -> BasicSet

Wraps isl_basic_set_align_params.

pub fn drop_unused_params(self) -> BasicSet

Wraps isl_basic_set_drop_unused_params.

pub fn equalities_matrix( &self, c1: DimType, c2: DimType, c3: DimType, c4: DimType, ) -> Mat

Wraps isl_basic_set_equalities_matrix.

pub fn inequalities_matrix( &self, c1: DimType, c2: DimType, c3: DimType, c4: DimType, ) -> Mat

Wraps isl_basic_set_inequalities_matrix.

pub fn from_constraint_matrices( space: Space, eq: Mat, ineq: Mat, c1: DimType, c2: DimType, c3: DimType, c4: DimType, ) -> BasicSet

Wraps isl_basic_set_from_constraint_matrices.

pub fn reduced_basis(&self) -> Mat

Wraps isl_basic_set_reduced_basis.

pub fn coefficients(self) -> BasicSet

Wraps isl_basic_set_coefficients.

pub fn solutions(self) -> BasicSet

Wraps isl_basic_set_solutions.

pub fn to_str(&self) -> &str

Wraps isl_basic_set_to_str.

Examples found in repository

examples/hello_isl_basic_set.rs (line 7)

fn main() {
    let ctx = isl::Context::alloc();
    let bset = isl::BasicSet::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}");
    bset.dump();
    println!("Printed str is {}.", bset.to_str());
}

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 BasicSet

fn drop(&mut self)

Executes the destructor for this type.