Struct Set 

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

Wraps isl_set.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl Set

pub fn add_constraint(self, constraint: Constraint) -> Result<Set, LibISLError>

Wraps isl_set_add_constraint.

pub fn add_dims(self, type_: DimType, n: u32) -> Result<Set, LibISLError>

Wraps isl_set_add_dims.

pub fn affine_hull(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_affine_hull.

pub fn align_divs(self) -> Result<Set, LibISLError>

Wraps isl_set_align_divs.

pub fn align_params(self, model: Space) -> Result<Set, LibISLError>

Wraps isl_set_align_params.

pub fn apply(self, map: Map) -> Result<Set, LibISLError>

Wraps isl_set_apply.

pub fn as_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>

Wraps isl_set_as_pw_multi_aff.

pub fn bind(self, tuple: MultiId) -> Result<Set, LibISLError>

Wraps isl_set_bind.

pub fn bounded_simple_hull(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_bounded_simple_hull.

pub fn box_from_points(pnt1: Point, pnt2: Point) -> Result<Set, LibISLError>

Wraps isl_set_box_from_points.

pub fn coalesce(self) -> Result<Set, LibISLError>

Wraps isl_set_coalesce.

pub fn coefficients(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_coefficients.

pub fn complement(self) -> Result<Set, LibISLError>

Wraps isl_set_complement.

pub fn compute_divs(self) -> Result<Set, LibISLError>

Wraps isl_set_compute_divs.

pub fn convex_hull(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_convex_hull.

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

Wraps isl_set_copy.

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

Wraps isl_set_count_val.

pub fn detect_equalities(self) -> Result<Set, LibISLError>

Wraps isl_set_detect_equalities.

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

Wraps isl_set_dim.

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

Wraps isl_set_dim_has_any_lower_bound.

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

Wraps isl_set_dim_has_any_upper_bound.

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

Wraps isl_set_dim_has_lower_bound.

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

Wraps isl_set_dim_has_upper_bound.

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

Wraps isl_set_dim_is_bounded.

pub fn dim_max(self, pos: i32) -> Result<PwAff, LibISLError>

Wraps isl_set_dim_max.

pub fn dim_max_val(self, pos: i32) -> Result<Val, LibISLError>

Wraps isl_set_dim_max_val.

pub fn dim_min(self, pos: i32) -> Result<PwAff, LibISLError>

Wraps isl_set_dim_min.

pub fn dim_min_val(self, pos: i32) -> Result<Val, LibISLError>

Wraps isl_set_dim_min_val.

pub fn drop_constraints_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_drop_constraints_involving_dims.

pub fn drop_constraints_not_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_drop_constraints_not_involving_dims.

pub fn drop_unused_params(self) -> Result<Set, LibISLError>

Wraps isl_set_drop_unused_params.

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

Wraps isl_set_dump.

Examples found in repository

examples/hash_isl_set.rs (line 6)

fn main() {
    let ctx = isl::Context::alloc();
    let set = isl::Set::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}").unwrap();
    set.dump().unwrap();
    println!("set.get_hash() is {}.", set.get_hash().unwrap());
}

pub fn eliminate( self, type_: DimType, first: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_eliminate.

pub fn eliminate_dims(self, first: u32, n: u32) -> Result<Set, LibISLError>

Wraps isl_set_eliminate_dims.

pub fn empty(space: Space) -> Result<Set, LibISLError>

Wraps isl_set_empty.

pub fn equate( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Result<Set, LibISLError>

Wraps isl_set_equate.

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

Wraps isl_set_find_dim_by_id.

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

Wraps isl_set_find_dim_by_name.

pub fn fix_dim_si(self, dim: u32, value: i32) -> Result<Set, LibISLError>

Wraps isl_set_fix_dim_si.

pub fn fix_si( self, type_: DimType, pos: u32, value: i32, ) -> Result<Set, LibISLError>

Wraps isl_set_fix_si.

pub fn fix_val( self, type_: DimType, pos: u32, v: Val, ) -> Result<Set, LibISLError>

Wraps isl_set_fix_val.

pub fn flat_product(self, set2: Set) -> Result<Set, LibISLError>

Wraps isl_set_flat_product.

pub fn flatten(self) -> Result<Set, LibISLError>

Wraps isl_set_flatten.

pub fn flatten_map(self) -> Result<Map, LibISLError>

Wraps isl_set_flatten_map.

pub fn follows_at(&self, set2: &Set, pos: i32) -> Result<i32, LibISLError>

Wraps isl_set_follows_at.

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

Wraps isl_set_free.

pub fn from_basic_set(bset: BasicSet) -> Result<Set, LibISLError>

Wraps isl_set_from_basic_set.

pub fn from_multi_aff(ma: MultiAff) -> Result<Set, LibISLError>

Wraps isl_set_from_multi_aff.

pub fn from_multi_pw_aff(mpa: MultiPwAff) -> Result<Set, LibISLError>

Wraps isl_set_from_multi_pw_aff.

pub fn from_params(self) -> Result<Set, LibISLError>

Wraps isl_set_from_params.

pub fn from_point(pnt: Point) -> Result<Set, LibISLError>

Wraps isl_set_from_point.

pub fn from_pw_aff(pwaff: PwAff) -> Result<Set, LibISLError>

Wraps isl_set_from_pw_aff.

pub fn from_pw_multi_aff(pma: PwMultiAff) -> Result<Set, LibISLError>

Wraps isl_set_from_pw_multi_aff.

pub fn from_union_set(uset: UnionSet) -> Result<Set, LibISLError>

Wraps isl_set_from_union_set.

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

Wraps isl_set_get_basic_set_list.

pub fn get_ctx(&self) -> Context

Wraps isl_set_get_ctx.

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

Wraps isl_set_get_dim_id.

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

Wraps isl_set_get_dim_name.

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

Wraps isl_set_get_hash.

Examples found in repository

examples/hash_isl_set.rs (line 7)

fn main() {
    let ctx = isl::Context::alloc();
    let set = isl::Set::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}").unwrap();
    set.dump().unwrap();
    println!("set.get_hash() is {}.", set.get_hash().unwrap());
}

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

Wraps isl_set_get_lattice_tile.

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

Wraps isl_set_get_plain_multi_val_if_fixed.

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

Wraps isl_set_get_simple_fixed_box_hull.

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

Wraps isl_set_get_space.

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

Wraps isl_set_get_stride.

pub fn get_stride_info(&self, pos: i32) -> Result<StrideInfo, LibISLError>

Wraps isl_set_get_stride_info.

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

Wraps isl_set_get_tuple_id.

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

Wraps isl_set_get_tuple_name.

pub fn gist(self, context: Set) -> Result<Set, LibISLError>

Wraps isl_set_gist.

pub fn gist_basic_set(self, context: BasicSet) -> Result<Set, LibISLError>

Wraps isl_set_gist_basic_set.

pub fn gist_params(self, context: Set) -> Result<Set, LibISLError>

Wraps isl_set_gist_params.

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

Wraps isl_set_has_dim_id.

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

Wraps isl_set_has_dim_name.

pub fn has_equal_space(&self, set2: &Set) -> Result<bool, LibISLError>

Wraps isl_set_has_equal_space.

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

Wraps isl_set_has_tuple_id.

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

Wraps isl_set_has_tuple_name.

pub fn identity(self) -> Result<Map, LibISLError>

Wraps isl_set_identity.

pub fn indicator_function(self) -> Result<PwAff, LibISLError>

Wraps isl_set_indicator_function.

pub fn insert_dims( self, type_: DimType, pos: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_insert_dims.

pub fn insert_domain(self, domain: Space) -> Result<Map, LibISLError>

Wraps isl_set_insert_domain.

pub fn intersect(self, set2: Set) -> Result<Set, LibISLError>

Wraps isl_set_intersect.

pub fn intersect_factor_domain(self, domain: Set) -> Result<Set, LibISLError>

Wraps isl_set_intersect_factor_domain.

pub fn intersect_factor_range(self, range: Set) -> Result<Set, LibISLError>

Wraps isl_set_intersect_factor_range.

pub fn intersect_params(self, params: Set) -> Result<Set, LibISLError>

Wraps isl_set_intersect_params.

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

Wraps isl_set_involves_dims.

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

Wraps isl_set_involves_locals.

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

Wraps isl_set_is_bounded.

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

Wraps isl_set_is_box.

pub fn is_disjoint(&self, set2: &Set) -> Result<bool, LibISLError>

Wraps isl_set_is_disjoint.

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

Wraps isl_set_is_empty.

pub fn is_equal(&self, set2: &Set) -> Result<bool, LibISLError>

Wraps isl_set_is_equal.

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

Wraps isl_set_is_params.

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

Wraps isl_set_is_singleton.

pub fn is_strict_subset(&self, set2: &Set) -> Result<bool, LibISLError>

Wraps isl_set_is_strict_subset.

pub fn is_subset(&self, set2: &Set) -> Result<bool, LibISLError>

Wraps isl_set_is_subset.

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

Wraps isl_set_is_wrapping.

pub fn lex_ge_set(self, set2: Set) -> Result<Map, LibISLError>

Wraps isl_set_lex_ge_set.

pub fn lex_gt_set(self, set2: Set) -> Result<Map, LibISLError>

Wraps isl_set_lex_gt_set.

pub fn lex_le_set(self, set2: Set) -> Result<Map, LibISLError>

Wraps isl_set_lex_le_set.

pub fn lex_lt_set(self, set2: Set) -> Result<Map, LibISLError>

Wraps isl_set_lex_lt_set.

pub fn lexmax(self) -> Result<Set, LibISLError>

Wraps isl_set_lexmax.

pub fn lexmax_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>

Wraps isl_set_lexmax_pw_multi_aff.

pub fn lexmin(self) -> Result<Set, LibISLError>

Wraps isl_set_lexmin.

pub fn lexmin_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>

Wraps isl_set_lexmin_pw_multi_aff.

pub fn lift(self) -> Result<Set, LibISLError>

Wraps isl_set_lift.

pub fn lower_bound_multi_pw_aff( self, lower: MultiPwAff, ) -> Result<Set, LibISLError>

Wraps isl_set_lower_bound_multi_pw_aff.

pub fn lower_bound_multi_val(self, lower: MultiVal) -> Result<Set, LibISLError>

Wraps isl_set_lower_bound_multi_val.

pub fn lower_bound_si( self, type_: DimType, pos: u32, value: i32, ) -> Result<Set, LibISLError>

Wraps isl_set_lower_bound_si.

pub fn lower_bound_val( self, type_: DimType, pos: u32, value: Val, ) -> Result<Set, LibISLError>

Wraps isl_set_lower_bound_val.

pub fn make_disjoint(self) -> Result<Set, LibISLError>

Wraps isl_set_make_disjoint.

pub fn max_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError>

Wraps isl_set_max_multi_pw_aff.

pub fn max_val(&self, obj: &Aff) -> Result<Val, LibISLError>

Wraps isl_set_max_val.

pub fn min_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError>

Wraps isl_set_min_multi_pw_aff.

pub fn min_val(&self, obj: &Aff) -> Result<Val, LibISLError>

Wraps isl_set_min_val.

pub fn move_dims( self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_move_dims.

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

Wraps isl_set_n_basic_set.

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

Wraps isl_set_n_dim.

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

Wraps isl_set_n_param.

pub fn nat_universe(space: Space) -> Result<Set, LibISLError>

Wraps isl_set_nat_universe.

pub fn neg(self) -> Result<Set, LibISLError>

Wraps isl_set_neg.

pub fn param_pw_aff_on_domain_id(self, id: Id) -> Result<PwAff, LibISLError>

Wraps isl_set_param_pw_aff_on_domain_id.

pub fn params(self) -> Result<Set, LibISLError>

Wraps isl_set_params.

pub fn plain_cmp(&self, set2: &Set) -> Result<i32, LibISLError>

Wraps isl_set_plain_cmp.

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

Wraps isl_set_plain_get_val_if_fixed.

pub fn plain_is_disjoint(&self, set2: &Set) -> Result<bool, LibISLError>

Wraps isl_set_plain_is_disjoint.

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

Wraps isl_set_plain_is_empty.

pub fn plain_is_equal(&self, set2: &Set) -> Result<bool, LibISLError>

Wraps isl_set_plain_is_equal.

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

Wraps isl_set_plain_is_universe.

pub fn plain_unshifted_simple_hull(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_plain_unshifted_simple_hull.

pub fn polyhedral_hull(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_polyhedral_hull.

pub fn preimage_multi_aff(self, ma: MultiAff) -> Result<Set, LibISLError>

Wraps isl_set_preimage_multi_aff.

pub fn preimage_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Set, LibISLError>

Wraps isl_set_preimage_multi_pw_aff.

pub fn preimage_pw_multi_aff(self, pma: PwMultiAff) -> Result<Set, LibISLError>

Wraps isl_set_preimage_pw_multi_aff.

pub fn product(self, set2: Set) -> Result<Set, LibISLError>

Wraps isl_set_product.

pub fn project_onto_map( self, type_: DimType, first: u32, n: u32, ) -> Result<Map, LibISLError>

Wraps isl_set_project_onto_map.

pub fn project_out( self, type_: DimType, first: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_project_out.

pub fn project_out_all_params(self) -> Result<Set, LibISLError>

Wraps isl_set_project_out_all_params.

pub fn project_out_param_id(self, id: Id) -> Result<Set, LibISLError>

Wraps isl_set_project_out_param_id.

pub fn project_out_param_id_list(self, list: IdList) -> Result<Set, LibISLError>

Wraps isl_set_project_out_param_id_list.

pub fn pw_aff_on_domain_val(self, v: Val) -> Result<PwAff, LibISLError>

Wraps isl_set_pw_aff_on_domain_val.

pub fn pw_multi_aff_on_domain_multi_val( self, mv: MultiVal, ) -> Result<PwMultiAff, LibISLError>

Wraps isl_set_pw_multi_aff_on_domain_multi_val.

pub fn read_from_str(ctx: &Context, str_: &str) -> Result<Set, LibISLError>

Wraps isl_set_read_from_str.

Examples found in repository

examples/hash_isl_set.rs (line 5)

fn main() {
    let ctx = isl::Context::alloc();
    let set = isl::Set::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}").unwrap();
    set.dump().unwrap();
    println!("set.get_hash() is {}.", set.get_hash().unwrap());
}

pub fn remove_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_remove_dims.

pub fn remove_divs(self) -> Result<Set, LibISLError>

Wraps isl_set_remove_divs.

pub fn remove_divs_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_remove_divs_involving_dims.

pub fn remove_redundancies(self) -> Result<Set, LibISLError>

Wraps isl_set_remove_redundancies.

pub fn remove_unknown_divs(self) -> Result<Set, LibISLError>

Wraps isl_set_remove_unknown_divs.

pub fn reset_space(self, space: Space) -> Result<Set, LibISLError>

Wraps isl_set_reset_space.

pub fn reset_tuple_id(self) -> Result<Set, LibISLError>

Wraps isl_set_reset_tuple_id.

pub fn reset_user(self) -> Result<Set, LibISLError>

Wraps isl_set_reset_user.

pub fn sample(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_sample.

pub fn sample_point(self) -> Result<Point, LibISLError>

Wraps isl_set_sample_point.

pub fn set_dim_id( self, type_: DimType, pos: u32, id: Id, ) -> Result<Set, LibISLError>

Wraps isl_set_set_dim_id.

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

Wraps isl_set_set_dim_name.

pub fn set_tuple_id(self, id: Id) -> Result<Set, LibISLError>

Wraps isl_set_set_tuple_id.

pub fn set_tuple_name(self, s: &str) -> Result<Set, LibISLError>

Wraps isl_set_set_tuple_name.

pub fn simple_hull(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_simple_hull.

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

Wraps isl_set_size.

pub fn solutions(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_solutions.

pub fn split_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Set, LibISLError>

Wraps isl_set_split_dims.

pub fn subtract(self, set2: Set) -> Result<Set, LibISLError>

Wraps isl_set_subtract.

pub fn sum(self, set2: Set) -> Result<Set, LibISLError>

Wraps isl_set_sum.

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

Wraps isl_set_to_list.

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

Wraps isl_set_to_str.

pub fn to_union_set(self) -> Result<UnionSet, LibISLError>

Wraps isl_set_to_union_set.

pub fn translation(self) -> Result<Map, LibISLError>

Wraps isl_set_translation.

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

Wraps isl_set_tuple_dim.

pub fn unbind_params(self, tuple: MultiId) -> Result<Set, LibISLError>

Wraps isl_set_unbind_params.

pub fn unbind_params_insert_domain( self, domain: MultiId, ) -> Result<Map, LibISLError>

Wraps isl_set_unbind_params_insert_domain.

pub fn union(self, set2: Set) -> Result<Set, LibISLError>

Wraps isl_set_union.

pub fn union_disjoint(self, set2: Set) -> Result<Set, LibISLError>

Wraps isl_set_union_disjoint.

pub fn universe(space: Space) -> Result<Set, LibISLError>

Wraps isl_set_universe.

pub fn unshifted_simple_hull(self) -> Result<BasicSet, LibISLError>

Wraps isl_set_unshifted_simple_hull.

pub fn unshifted_simple_hull_from_set_list( self, list: SetList, ) -> Result<BasicSet, LibISLError>

Wraps isl_set_unshifted_simple_hull_from_set_list.

pub fn unwrap(self) -> Result<Map, LibISLError>

Wraps isl_set_unwrap.

pub fn upper_bound_multi_pw_aff( self, upper: MultiPwAff, ) -> Result<Set, LibISLError>

Wraps isl_set_upper_bound_multi_pw_aff.

pub fn upper_bound_multi_val(self, upper: MultiVal) -> Result<Set, LibISLError>

Wraps isl_set_upper_bound_multi_val.

pub fn upper_bound_si( self, type_: DimType, pos: u32, value: i32, ) -> Result<Set, LibISLError>

Wraps isl_set_upper_bound_si.

pub fn upper_bound_val( self, type_: DimType, pos: u32, value: Val, ) -> Result<Set, LibISLError>

Wraps isl_set_upper_bound_val.

pub fn wrapped_domain_map(self) -> Result<Map, LibISLError>

Wraps isl_set_wrapped_domain_map.

pub fn wrapped_reverse(self) -> Result<Set, LibISLError>

Wraps isl_set_wrapped_reverse.

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations

impl Drop for Set

fn drop(&mut self)

Executes the destructor for this type.