Struct UnionMap

Source
pub struct UnionMap {
    pub ptr: uintptr_t,
    pub should_free_on_drop: bool,
}
Expand description

Wraps isl_union_map.

Fields§

§ptr: uintptr_t§should_free_on_drop: bool

Implementations§

Source§

impl UnionMap

Source

pub fn plain_is_empty(&self) -> bool

Wraps isl_union_map_plain_is_empty.

Source

pub fn polyhedral_hull(self) -> UnionMap

Wraps isl_union_map_polyhedral_hull.

Source

pub fn fixed_power_val(self, exp: Val) -> UnionMap

Wraps isl_union_map_fixed_power_val.

Source

pub fn reset_user(self) -> UnionMap

Wraps isl_union_map_reset_user.

Source

pub fn preimage_domain_multi_aff(self, ma: MultiAff) -> UnionMap

Wraps isl_union_map_preimage_domain_multi_aff.

Source

pub fn add_map(self, map: Map) -> UnionMap

Wraps isl_union_map_add_map.

Source

pub fn list_reverse(list: UnionMapList) -> UnionMapList

Wraps isl_union_map_list_reverse.

Source

pub fn preimage_range_union_pw_multi_aff( self, upma: UnionPwMultiAff, ) -> UnionMap

Wraps isl_union_map_preimage_range_union_pw_multi_aff.

Source

pub fn gist_range(self, uset: UnionSet) -> UnionMap

Wraps isl_union_map_gist_range.

Source

pub fn gist_domain(self, uset: UnionSet) -> UnionMap

Wraps isl_union_map_gist_domain.

Source

pub fn reverse(self) -> UnionMap

Wraps isl_union_map_reverse.

Source

pub fn list_from_union_map(self) -> UnionMapList

Wraps isl_union_map_list_from_union_map.

Source

pub fn remove_redundancies(self) -> UnionMap

Wraps isl_union_map_remove_redundancies.

Source

pub fn lex_le_union_map(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_lex_le_union_map.

Source

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

Wraps isl_union_map_list_to_str.

Source

pub fn range_curry(self) -> UnionMap

Wraps isl_union_map_range_curry.

Source

pub fn list_clear(list: UnionMapList) -> UnionMapList

Wraps isl_union_map_list_clear.

Source

pub fn intersect_domain(self, uset: UnionSet) -> UnionMap

Wraps isl_union_map_intersect_domain.

Source

pub fn from_range(uset: UnionSet) -> UnionMap

Wraps isl_union_map_from_range.

Source

pub fn list_get_union_map(list: &UnionMapList, index: i32) -> UnionMap

Wraps isl_union_map_list_get_union_map.

Source

pub fn preimage_range_pw_multi_aff(self, pma: PwMultiAff) -> UnionMap

Wraps isl_union_map_preimage_range_pw_multi_aff.

Source

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

Wraps isl_union_map_list_swap.

Source

pub fn project_out_all_params(self) -> UnionMap

Wraps isl_union_map_project_out_all_params.

Source

pub fn intersect_range_factor_range(self, factor: UnionMap) -> UnionMap

Wraps isl_union_map_intersect_range_factor_range.

Source

pub fn is_injective(&self) -> bool

Wraps isl_union_map_is_injective.

Source

pub fn is_strict_subset(&self, umap2: &UnionMap) -> bool

Wraps isl_union_map_is_strict_subset.

Source

pub fn intersect_range_factor_domain(self, factor: UnionMap) -> UnionMap

Wraps isl_union_map_intersect_range_factor_domain.

Source

pub fn domain_factor_domain(self) -> UnionMap

Wraps isl_union_map_domain_factor_domain.

Source

pub fn project_out_param_id_list(self, list: IdList) -> UnionMap

Wraps isl_union_map_project_out_param_id_list.

Source

pub fn from_domain(uset: UnionSet) -> UnionMap

Wraps isl_union_map_from_domain.

Source

pub fn eq_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap

Wraps isl_union_map_eq_at_multi_union_pw_aff.

Source

pub fn from_domain_and_range(domain: UnionSet, range: UnionSet) -> UnionMap

Wraps isl_union_map_from_domain_and_range.

Source

pub fn compute_divs(self) -> UnionMap

Wraps isl_union_map_compute_divs.

Source

pub fn intersect_range_space(self, space: Space) -> UnionMap

Wraps isl_union_map_intersect_range_space.

Source

pub fn range_map(self) -> UnionMap

Wraps isl_union_map_range_map.

Source

pub fn bind_range(self, tuple: MultiId) -> UnionSet

Wraps isl_union_map_bind_range.

Source

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

Wraps isl_union_map_contains.

Source

pub fn is_subset(&self, umap2: &UnionMap) -> bool

Wraps isl_union_map_is_subset.

Source

pub fn wrap(self) -> UnionSet

Wraps isl_union_map_wrap.

Source

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

Wraps isl_union_map_read_from_str.

Source

pub fn domain_reverse(self) -> UnionMap

Wraps isl_union_map_domain_reverse.

Source

pub fn lexmax(self) -> UnionMap

Wraps isl_union_map_lexmax.

Source

pub fn intersect_domain_factor_domain(self, factor: UnionMap) -> UnionMap

Wraps isl_union_map_intersect_domain_factor_domain.

Source

pub fn coalesce(self) -> UnionMap

Wraps isl_union_map_coalesce.

Source

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

Wraps isl_union_map_list_concat.

Source

pub fn from_multi_union_pw_aff(mupa: MultiUnionPwAff) -> UnionMap

Wraps isl_union_map_from_multi_union_pw_aff.

Source

pub fn universe(self) -> UnionMap

Wraps isl_union_map_universe.

Source

pub fn flat_domain_product(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_flat_domain_product.

Source

pub fn list_n_union_map(list: &UnionMapList) -> i32

Wraps isl_union_map_list_n_union_map.

Source

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

Wraps isl_union_map_involves_dims.

Source

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

Wraps isl_union_map_list_drop.

Source

pub fn apply_range(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_apply_range.

Source

pub fn curry(self) -> UnionMap

Wraps isl_union_map_curry.

Source

pub fn union(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_union.

Source

pub fn intersect_domain_factor_range(self, factor: UnionMap) -> UnionMap

Wraps isl_union_map_intersect_domain_factor_range.

Source

pub fn list_insert(list: UnionMapList, pos: u32, el: UnionMap) -> UnionMapList

Wraps isl_union_map_list_insert.

Source

pub fn list_dump(list: &UnionMapList)

Wraps isl_union_map_list_dump.

Source

pub fn list_set_union_map( list: UnionMapList, index: i32, el: UnionMap, ) -> UnionMapList

Wraps isl_union_map_list_set_union_map.

Source

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

Wraps isl_union_map_align_params.

Source

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

Wraps isl_union_map_dim.

Source

pub fn subtract_domain(self, dom: UnionSet) -> UnionMap

Wraps isl_union_map_subtract_domain.

Source

pub fn free(self) -> UnionMap

Wraps isl_union_map_free.

Source

pub fn copy(&self) -> UnionMap

Wraps isl_union_map_copy.

Source

pub fn subtract(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_subtract.

Source

pub fn lex_le_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap

Wraps isl_union_map_lex_le_at_multi_union_pw_aff.

Source

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

Wraps isl_union_map_gist.

Source

pub fn get_hash(&self) -> u32

Wraps isl_union_map_get_hash.

Source

pub fn factor_domain(self) -> UnionMap

Wraps isl_union_map_factor_domain.

Source

pub fn lex_ge_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap

Wraps isl_union_map_lex_ge_at_multi_union_pw_aff.

Source

pub fn empty_space(space: Space) -> UnionMap

Wraps isl_union_map_empty_space.

Source

pub fn n_map(&self) -> i32

Wraps isl_union_map_n_map.

Source

pub fn extract_map(&self, space: Space) -> Map

Wraps isl_union_map_extract_map.

Source

pub fn from_basic_map(bmap: BasicMap) -> UnionMap

Wraps isl_union_map_from_basic_map.

Source

pub fn isa_map(&self) -> bool

Wraps isl_union_map_isa_map.

Source

pub fn is_equal(&self, umap2: &UnionMap) -> bool

Wraps isl_union_map_is_equal.

Source

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

Wraps isl_union_map_find_dim_by_name.

Source

pub fn factor_range(self) -> UnionMap

Wraps isl_union_map_factor_range.

Source

pub fn intersect_domain_space(self, space: Space) -> UnionMap

Wraps isl_union_map_intersect_domain_space.

Source

pub fn list_add(list: UnionMapList, el: UnionMap) -> UnionMapList

Wraps isl_union_map_list_add.

Source

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

Wraps isl_union_map_list_copy.

Source

pub fn as_union_pw_multi_aff(self) -> UnionPwMultiAff

Wraps isl_union_map_as_union_pw_multi_aff.

Source

pub fn from_union_pw_aff(upa: UnionPwAff) -> UnionMap

Wraps isl_union_map_from_union_pw_aff.

Source

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

Wraps isl_union_map_get_dim_id.

Source

pub fn apply_domain(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_apply_domain.

Source

pub fn range_factor_domain(self) -> UnionMap

Wraps isl_union_map_range_factor_domain.

Source

pub fn domain_map_union_pw_multi_aff(self) -> UnionPwMultiAff

Wraps isl_union_map_domain_map_union_pw_multi_aff.

Source

pub fn lex_gt_union_map(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_lex_gt_union_map.

Source

pub fn zip(self) -> UnionMap

Wraps isl_union_map_zip.

Source

pub fn list_free(list: UnionMapList) -> UnionMapList

Wraps isl_union_map_list_free.

Source

pub fn range_factor_range(self) -> UnionMap

Wraps isl_union_map_range_factor_range.

Source

pub fn domain(self) -> UnionSet

Wraps isl_union_map_domain.

Source

pub fn intersect(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_intersect.

Source

pub fn project_out_param_id(self, id: Id) -> UnionMap

Wraps isl_union_map_project_out_param_id.

Source

pub fn range_reverse(self) -> UnionMap

Wraps isl_union_map_range_reverse.

Source

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

Wraps isl_union_map_empty_ctx.

Source

pub fn range_product(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_range_product.

Source

pub fn intersect_domain_union_set(self, uset: UnionSet) -> UnionMap

Wraps isl_union_map_intersect_domain_union_set.

Source

pub fn is_identity(&self) -> bool

Wraps isl_union_map_is_identity.

Source

pub fn preimage_domain_union_pw_multi_aff( self, upma: UnionPwMultiAff, ) -> UnionMap

Wraps isl_union_map_preimage_domain_union_pw_multi_aff.

Source

pub fn lex_lt_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap

Wraps isl_union_map_lex_lt_at_multi_union_pw_aff.

Source

pub fn affine_hull(self) -> UnionMap

Wraps isl_union_map_affine_hull.

Source

pub fn drop_unused_params(self) -> UnionMap

Wraps isl_union_map_drop_unused_params.

Source

pub fn lex_lt_union_map(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_lex_lt_union_map.

Source

pub fn domain_factor_range(self) -> UnionMap

Wraps isl_union_map_domain_factor_range.

Source

pub fn dump(&self)

Wraps isl_union_map_dump.

Source

pub fn preimage_range_multi_aff(self, ma: MultiAff) -> UnionMap

Wraps isl_union_map_preimage_range_multi_aff.

Source

pub fn remove_divs(self) -> UnionMap

Wraps isl_union_map_remove_divs.

Source

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

Wraps isl_union_map_list_alloc.

Source

pub fn list_get_at(list: &UnionMapList, index: i32) -> UnionMap

Wraps isl_union_map_list_get_at.

Source

pub fn domain_map(self) -> UnionMap

Wraps isl_union_map_domain_map.

Source

pub fn intersect_range_union_set(self, uset: UnionSet) -> UnionMap

Wraps isl_union_map_intersect_range_union_set.

Source

pub fn get_map_list(&self) -> MapList

Wraps isl_union_map_get_map_list.

Source

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

Wraps isl_union_map_gist_params.

Source

pub fn deltas_map(self) -> UnionMap

Wraps isl_union_map_deltas_map.

Source

pub fn subtract_range(self, dom: UnionSet) -> UnionMap

Wraps isl_union_map_subtract_range.

Source

pub fn get_ctx(&self) -> Context

Wraps isl_union_map_get_ctx.

Source

pub fn as_map(self) -> Map

Wraps isl_union_map_as_map.

Source

pub fn from_union_pw_multi_aff(upma: UnionPwMultiAff) -> UnionMap

Wraps isl_union_map_from_union_pw_multi_aff.

Source

pub fn is_single_valued(&self) -> bool

Wraps isl_union_map_is_single_valued.

Source

pub fn is_bijective(&self) -> bool

Wraps isl_union_map_is_bijective.

Source

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

Wraps isl_union_map_intersect_params.

Source

pub fn is_disjoint(&self, umap2: &UnionMap) -> bool

Wraps isl_union_map_is_disjoint.

Source

pub fn intersect_domain_wrapped_domain_union_set( self, domain: UnionSet, ) -> UnionMap

Wraps isl_union_map_intersect_domain_wrapped_domain_union_set.

Source

pub fn uncurry(self) -> UnionMap

Wraps isl_union_map_uncurry.

Source

pub fn empty(space: Space) -> UnionMap

Wraps isl_union_map_empty.

Source

pub fn as_multi_union_pw_aff(self) -> MultiUnionPwAff

Wraps isl_union_map_as_multi_union_pw_aff.

Source

pub fn sample(self) -> BasicMap

Wraps isl_union_map_sample.

Source

pub fn lexmin(self) -> UnionMap

Wraps isl_union_map_lexmin.

Source

pub fn to_list(self) -> UnionMapList

Wraps isl_union_map_to_list.

Source

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

Wraps isl_union_map_list_get_ctx.

Source

pub fn product(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_product.

Source

pub fn from_map(map: Map) -> UnionMap

Wraps isl_union_map_from_map.

Source

pub fn domain_product(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_domain_product.

Source

pub fn plain_unshifted_simple_hull(self) -> UnionMap

Wraps isl_union_map_plain_unshifted_simple_hull.

Source

pub fn lex_ge_union_map(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_lex_ge_union_map.

Source

pub fn intersect_range(self, uset: UnionSet) -> UnionMap

Wraps isl_union_map_intersect_range.

Source

pub fn flat_range_product(self, umap2: UnionMap) -> UnionMap

Wraps isl_union_map_flat_range_product.

Source

pub fn to_str(&self) -> &str

Wraps isl_union_map_to_str.

Source

pub fn get_space(&self) -> Space

Wraps isl_union_map_get_space.

Source

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

Wraps isl_union_map_project_out.

Source

pub fn simple_hull(self) -> UnionMap

Wraps isl_union_map_simple_hull.

Source

pub fn plain_is_injective(&self) -> bool

Wraps isl_union_map_plain_is_injective.

Source

pub fn is_empty(&self) -> bool

Wraps isl_union_map_is_empty.

Source

pub fn detect_equalities(self) -> UnionMap

Wraps isl_union_map_detect_equalities.

Source

pub fn list_set_at(list: UnionMapList, index: i32, el: UnionMap) -> UnionMapList

Wraps isl_union_map_list_set_at.

Source

pub fn deltas(self) -> UnionSet

Wraps isl_union_map_deltas.

Source

pub fn range(self) -> UnionSet

Wraps isl_union_map_range.

Source

pub fn lex_gt_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap

Wraps isl_union_map_lex_gt_at_multi_union_pw_aff.

Source

pub fn preimage_domain_multi_pw_aff(self, mpa: MultiPwAff) -> UnionMap

Wraps isl_union_map_preimage_domain_multi_pw_aff.

Source

pub fn intersect_range_wrapped_domain_union_set( self, domain: UnionSet, ) -> UnionMap

Wraps isl_union_map_intersect_range_wrapped_domain_union_set.

Source

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

Wraps isl_union_map_list_size.

Source

pub fn preimage_domain_pw_multi_aff(self, pma: PwMultiAff) -> UnionMap

Wraps isl_union_map_preimage_domain_pw_multi_aff.

Source

pub fn params(self) -> Set

Wraps isl_union_map_params.

Source

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations§

Source§

impl Drop for UnionMap

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.