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 add_set(self, set: Set) -> Result<UnionSet, LibISLError>

Wraps isl_union_set_add_set.

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

Wraps isl_union_set_affine_hull.

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

Wraps isl_union_set_align_params.

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

Wraps isl_union_set_apply.

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

Wraps isl_union_set_as_set.

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

Wraps isl_union_set_coalesce.

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

Wraps isl_union_set_coefficients.

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

Wraps isl_union_set_compute_divs.

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

Wraps isl_union_set_compute_schedule.

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

Wraps isl_union_set_contains.

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

Wraps isl_union_set_copy.

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

Wraps isl_union_set_detect_equalities.

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

Wraps isl_union_set_dim.

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

Wraps isl_union_set_drop_unused_params.

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

Wraps isl_union_set_dump.

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

Wraps isl_union_set_empty.

pub fn empty_ctx(ctx: &Context) -> Result<UnionSet, LibISLError>

Wraps isl_union_set_empty_ctx.

pub fn empty_space(space: Space) -> Result<UnionSet, LibISLError>

Wraps isl_union_set_empty_space.

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

Wraps isl_union_set_extract_set.

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

Wraps isl_union_set_free.

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

Wraps isl_union_set_from_basic_set.

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

Wraps isl_union_set_from_point.

pub fn from_set(set: Set) -> Result<UnionSet, LibISLError>

Wraps isl_union_set_from_set.

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

Wraps isl_union_set_get_basic_set_list.

pub fn get_ctx(&self) -> Context

Wraps isl_union_set_get_ctx.

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

Wraps isl_union_set_get_hash.

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

Wraps isl_union_set_get_set_list.

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

Wraps isl_union_set_get_space.

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

Wraps isl_union_set_gist.

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

Wraps isl_union_set_gist_params.

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

Wraps isl_union_set_identity.

pub fn identity_union_pw_multi_aff(self) -> Result<UnionPwMultiAff, LibISLError>

Wraps isl_union_set_identity_union_pw_multi_aff.

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

Wraps isl_union_set_intersect.

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

Wraps isl_union_set_intersect_params.

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

Wraps isl_union_set_is_disjoint.

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

Wraps isl_union_set_is_empty.

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

Wraps isl_union_set_is_equal.

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

Wraps isl_union_set_is_params.

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

Wraps isl_union_set_is_strict_subset.

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

Wraps isl_union_set_is_subset.

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

Wraps isl_union_set_isa_set.

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

Wraps isl_union_set_lex_ge_union_set.

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

Wraps isl_union_set_lex_gt_union_set.

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

Wraps isl_union_set_lex_le_union_set.

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

Wraps isl_union_set_lex_lt_union_set.

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

Wraps isl_union_set_lexmax.

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

Wraps isl_union_set_lexmin.

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

Wraps isl_union_set_lift.

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

Wraps isl_union_set_min_multi_union_pw_aff.

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

Wraps isl_union_set_n_set.

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

Wraps isl_union_set_params.

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

Wraps isl_union_set_plain_unshifted_simple_hull.

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

Wraps isl_union_set_polyhedral_hull.

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

Wraps isl_union_set_preimage_multi_aff.

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

Wraps isl_union_set_preimage_pw_multi_aff.

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

Wraps isl_union_set_preimage_union_pw_multi_aff.

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

Wraps isl_union_set_product.

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

Wraps isl_union_set_project_out.

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

Wraps isl_union_set_project_out_all_params.

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

Wraps isl_union_set_read_from_str.

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

Wraps isl_union_set_remove_divs.

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

Wraps isl_union_set_remove_redundancies.

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

Wraps isl_union_set_reset_user.

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

Wraps isl_union_set_sample.

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

Wraps isl_union_set_sample_point.

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

Wraps isl_union_set_simple_hull.

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

Wraps isl_union_set_solutions.

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

Wraps isl_union_set_subtract.

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

Wraps isl_union_set_to_list.

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

Wraps isl_union_set_to_str.

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

Wraps isl_union_set_union.

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

Wraps isl_union_set_universe.

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

Wraps isl_union_set_unwrap.

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

Wraps isl_union_set_wrapped_domain_map.

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.