Struct UnionSet

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

Wraps isl_union_set.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl UnionSet

pub fn get_space(&self) -> Space

Wraps isl_union_set_get_space.

pub fn coalesce(self) -> UnionSet

Wraps isl_union_set_coalesce.

pub fn polyhedral_hull(self) -> UnionSet

Wraps isl_union_set_polyhedral_hull.

pub fn from_basic_set(bset: BasicSet) -> UnionSet

Wraps isl_union_set_from_basic_set.

pub fn empty(space: Space) -> UnionSet

Wraps isl_union_set_empty.

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

Wraps isl_union_set_gist.

pub fn lexmin(self) -> UnionSet

Wraps isl_union_set_lexmin.

pub fn empty_space(space: Space) -> UnionSet

Wraps isl_union_set_empty_space.

pub fn list_n_union_set(list: &UnionSetList) -> i32

Wraps isl_union_set_list_n_union_set.

pub fn unwrap(self) -> UnionMap

Wraps isl_union_set_unwrap.

pub fn wrapped_domain_map(self) -> UnionMap

Wraps isl_union_set_wrapped_domain_map.

pub fn preimage_multi_aff(self, ma: MultiAff) -> UnionSet

Wraps isl_union_set_preimage_multi_aff.

pub fn affine_hull(self) -> UnionSet

Wraps isl_union_set_affine_hull.

pub fn intersect(self, uset2: UnionSet) -> UnionSet

Wraps isl_union_set_intersect.

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

Wraps isl_union_set_read_from_str.

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

Wraps isl_union_set_list_copy.

pub fn identity_union_pw_multi_aff(self) -> UnionPwMultiAff

Wraps isl_union_set_identity_union_pw_multi_aff.

pub fn get_basic_set_list(&self) -> BasicSetList

Wraps isl_union_set_get_basic_set_list.

pub fn contains(&self, space: &Space) -> bool

Wraps isl_union_set_contains.

pub fn solutions(self) -> UnionSet

Wraps isl_union_set_solutions.

pub fn gist_params(self, set: Set) -> UnionSet

Wraps isl_union_set_gist_params.

pub fn extract_set(&self, space: Space) -> Set

Wraps isl_union_set_extract_set.

pub fn lift(self) -> UnionSet

Wraps isl_union_set_lift.

pub fn list_add(list: UnionSetList, el: UnionSet) -> UnionSetList

Wraps isl_union_set_list_add.

pub fn get_hash(&self) -> u32

Wraps isl_union_set_get_hash.

pub fn is_empty(&self) -> bool

Wraps isl_union_set_is_empty.

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

Wraps isl_union_set_list_drop.

pub fn product(self, uset2: UnionSet) -> UnionSet

Wraps isl_union_set_product.

pub fn list_size(list: &UnionSetList) -> i32

Wraps isl_union_set_list_size.

pub fn list_reverse(list: UnionSetList) -> UnionSetList

Wraps isl_union_set_list_reverse.

pub fn apply(self, umap: UnionMap) -> UnionSet

Wraps isl_union_set_apply.

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

Wraps isl_union_set_dim.

pub fn reset_user(self) -> UnionSet

Wraps isl_union_set_reset_user.

pub fn list_set_union_set( list: UnionSetList, index: i32, el: UnionSet, ) -> UnionSetList

Wraps isl_union_set_list_set_union_set.

pub fn identity(self) -> UnionMap

Wraps isl_union_set_identity.

pub fn union(self, uset2: UnionSet) -> UnionSet

Wraps isl_union_set_union.

pub fn lexmax(self) -> UnionSet

Wraps isl_union_set_lexmax.

pub fn drop_unused_params(self) -> UnionSet

Wraps isl_union_set_drop_unused_params.

pub fn isa_set(&self) -> bool

Wraps isl_union_set_isa_set.

pub fn sample(self) -> BasicSet

Wraps isl_union_set_sample.

pub fn remove_redundancies(self) -> UnionSet

Wraps isl_union_set_remove_redundancies.

pub fn project_out_all_params(self) -> UnionSet

Wraps isl_union_set_project_out_all_params.

pub fn list_union(list: UnionSetList) -> UnionSet

Wraps isl_union_set_list_union.

pub fn plain_unshifted_simple_hull(self) -> UnionSet

Wraps isl_union_set_plain_unshifted_simple_hull.

pub fn simple_hull(self) -> UnionSet

Wraps isl_union_set_simple_hull.

pub fn list_from_union_set(self) -> UnionSetList

Wraps isl_union_set_list_from_union_set.

pub fn lex_gt_union_set(self, uset2: UnionSet) -> UnionMap

Wraps isl_union_set_lex_gt_union_set.

pub fn to_list(self) -> UnionSetList

Wraps isl_union_set_to_list.

pub fn list_dump(list: &UnionSetList)

Wraps isl_union_set_list_dump.

pub fn dump(&self)

Wraps isl_union_set_dump.

pub fn lex_ge_union_set(self, uset2: UnionSet) -> UnionMap

Wraps isl_union_set_lex_ge_union_set.

pub fn as_set(self) -> Set

Wraps isl_union_set_as_set.

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

Wraps isl_union_set_list_concat.

pub fn sample_point(self) -> Point

Wraps isl_union_set_sample_point.

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

Wraps isl_union_set_list_swap.

pub fn min_multi_union_pw_aff(&self, obj: &MultiUnionPwAff) -> MultiVal

Wraps isl_union_set_min_multi_union_pw_aff.

pub fn preimage_union_pw_multi_aff(self, upma: UnionPwMultiAff) -> UnionSet

Wraps isl_union_set_preimage_union_pw_multi_aff.

pub fn n_set(&self) -> i32

Wraps isl_union_set_n_set.

pub fn is_strict_subset(&self, uset2: &UnionSet) -> bool

Wraps isl_union_set_is_strict_subset.

pub fn compute_schedule( self, validity: UnionMap, proximity: UnionMap, ) -> Schedule

Wraps isl_union_set_compute_schedule.

pub fn is_equal(&self, uset2: &UnionSet) -> bool

Wraps isl_union_set_is_equal.

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

Wraps isl_union_set_list_alloc.

pub fn is_subset(&self, uset2: &UnionSet) -> bool

Wraps isl_union_set_is_subset.

pub fn empty_ctx(ctx: &Context) -> UnionSet

Wraps isl_union_set_empty_ctx.

pub fn lex_le_union_set(self, uset2: UnionSet) -> UnionMap

Wraps isl_union_set_lex_le_union_set.

pub fn coefficients(self) -> UnionSet

Wraps isl_union_set_coefficients.

pub fn list_get_at(list: &UnionSetList, index: i32) -> UnionSet

Wraps isl_union_set_list_get_at.

pub fn detect_equalities(self) -> UnionSet

Wraps isl_union_set_detect_equalities.

pub fn list_set_at(list: UnionSetList, index: i32, el: UnionSet) -> UnionSetList

Wraps isl_union_set_list_set_at.

pub fn get_ctx(&self) -> Context

Wraps isl_union_set_get_ctx.

pub fn from_point(pnt: Point) -> UnionSet

Wraps isl_union_set_from_point.

pub fn is_disjoint(&self, uset2: &UnionSet) -> bool

Wraps isl_union_set_is_disjoint.

pub fn intersect_params(self, set: Set) -> UnionSet

Wraps isl_union_set_intersect_params.

pub fn list_free(list: UnionSetList) -> UnionSetList

Wraps isl_union_set_list_free.

pub fn universe(self) -> UnionSet

Wraps isl_union_set_universe.

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

Wraps isl_union_set_align_params.

pub fn from_set(set: Set) -> UnionSet

Wraps isl_union_set_from_set.

pub fn list_insert(list: UnionSetList, pos: u32, el: UnionSet) -> UnionSetList

Wraps isl_union_set_list_insert.

pub fn subtract(self, uset2: UnionSet) -> UnionSet

Wraps isl_union_set_subtract.

pub fn preimage_pw_multi_aff(self, pma: PwMultiAff) -> UnionSet

Wraps isl_union_set_preimage_pw_multi_aff.

pub fn get_set_list(&self) -> SetList

Wraps isl_union_set_get_set_list.

pub fn list_read_from_str(ctx: &Context, str_: &str) -> UnionSetList

Wraps isl_union_set_list_read_from_str.

pub fn add_set(self, set: Set) -> UnionSet

Wraps isl_union_set_add_set.

pub fn list_get_union_set(list: &UnionSetList, index: i32) -> UnionSet

Wraps isl_union_set_list_get_union_set.

pub fn params(self) -> Set

Wraps isl_union_set_params.

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

Wraps isl_union_set_project_out.

pub fn list_clear(list: UnionSetList) -> UnionSetList

Wraps isl_union_set_list_clear.

pub fn free(self) -> UnionSet

Wraps isl_union_set_free.

pub fn compute_divs(self) -> UnionSet

Wraps isl_union_set_compute_divs.

pub fn remove_divs(self) -> UnionSet

Wraps isl_union_set_remove_divs.

pub fn to_str(&self) -> &str

Wraps isl_union_set_to_str.

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

Wraps isl_union_set_list_get_ctx.

pub fn copy(&self) -> UnionSet

Wraps isl_union_set_copy.

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

Wraps isl_union_set_list_to_str.

pub fn is_params(&self) -> bool

Wraps isl_union_set_is_params.

pub fn lex_lt_union_set(self, uset2: UnionSet) -> UnionMap

Wraps isl_union_set_lex_lt_union_set.

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations

impl Drop for UnionSet

fn drop(&mut self)

Executes the destructor for this type.