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
impl UnionMap
Sourcepub fn plain_is_empty(&self) -> bool
pub fn plain_is_empty(&self) -> bool
Wraps isl_union_map_plain_is_empty
.
Sourcepub fn polyhedral_hull(self) -> UnionMap
pub fn polyhedral_hull(self) -> UnionMap
Wraps isl_union_map_polyhedral_hull
.
Sourcepub fn fixed_power_val(self, exp: Val) -> UnionMap
pub fn fixed_power_val(self, exp: Val) -> UnionMap
Wraps isl_union_map_fixed_power_val
.
Sourcepub fn reset_user(self) -> UnionMap
pub fn reset_user(self) -> UnionMap
Wraps isl_union_map_reset_user
.
Sourcepub fn preimage_domain_multi_aff(self, ma: MultiAff) -> UnionMap
pub fn preimage_domain_multi_aff(self, ma: MultiAff) -> UnionMap
Wraps isl_union_map_preimage_domain_multi_aff
.
Sourcepub fn list_reverse(list: UnionMapList) -> UnionMapList
pub fn list_reverse(list: UnionMapList) -> UnionMapList
Wraps isl_union_map_list_reverse
.
Sourcepub fn preimage_range_union_pw_multi_aff(
self,
upma: UnionPwMultiAff,
) -> UnionMap
pub fn preimage_range_union_pw_multi_aff( self, upma: UnionPwMultiAff, ) -> UnionMap
Wraps isl_union_map_preimage_range_union_pw_multi_aff
.
Sourcepub fn gist_range(self, uset: UnionSet) -> UnionMap
pub fn gist_range(self, uset: UnionSet) -> UnionMap
Wraps isl_union_map_gist_range
.
Sourcepub fn gist_domain(self, uset: UnionSet) -> UnionMap
pub fn gist_domain(self, uset: UnionSet) -> UnionMap
Wraps isl_union_map_gist_domain
.
Sourcepub fn list_from_union_map(self) -> UnionMapList
pub fn list_from_union_map(self) -> UnionMapList
Wraps isl_union_map_list_from_union_map
.
Sourcepub fn remove_redundancies(self) -> UnionMap
pub fn remove_redundancies(self) -> UnionMap
Wraps isl_union_map_remove_redundancies
.
Sourcepub fn lex_le_union_map(self, umap2: UnionMap) -> UnionMap
pub fn lex_le_union_map(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_lex_le_union_map
.
Sourcepub fn list_to_str(list: &UnionMapList) -> &str
pub fn list_to_str(list: &UnionMapList) -> &str
Wraps isl_union_map_list_to_str
.
Sourcepub fn range_curry(self) -> UnionMap
pub fn range_curry(self) -> UnionMap
Wraps isl_union_map_range_curry
.
Sourcepub fn list_clear(list: UnionMapList) -> UnionMapList
pub fn list_clear(list: UnionMapList) -> UnionMapList
Wraps isl_union_map_list_clear
.
Sourcepub fn intersect_domain(self, uset: UnionSet) -> UnionMap
pub fn intersect_domain(self, uset: UnionSet) -> UnionMap
Wraps isl_union_map_intersect_domain
.
Sourcepub fn from_range(uset: UnionSet) -> UnionMap
pub fn from_range(uset: UnionSet) -> UnionMap
Wraps isl_union_map_from_range
.
Sourcepub fn list_get_union_map(list: &UnionMapList, index: i32) -> UnionMap
pub fn list_get_union_map(list: &UnionMapList, index: i32) -> UnionMap
Wraps isl_union_map_list_get_union_map
.
Sourcepub fn preimage_range_pw_multi_aff(self, pma: PwMultiAff) -> UnionMap
pub fn preimage_range_pw_multi_aff(self, pma: PwMultiAff) -> UnionMap
Wraps isl_union_map_preimage_range_pw_multi_aff
.
Sourcepub fn list_swap(list: UnionMapList, pos1: u32, pos2: u32) -> UnionMapList
pub fn list_swap(list: UnionMapList, pos1: u32, pos2: u32) -> UnionMapList
Wraps isl_union_map_list_swap
.
Sourcepub fn project_out_all_params(self) -> UnionMap
pub fn project_out_all_params(self) -> UnionMap
Wraps isl_union_map_project_out_all_params
.
Sourcepub fn intersect_range_factor_range(self, factor: UnionMap) -> UnionMap
pub fn intersect_range_factor_range(self, factor: UnionMap) -> UnionMap
Wraps isl_union_map_intersect_range_factor_range
.
Sourcepub fn is_injective(&self) -> bool
pub fn is_injective(&self) -> bool
Wraps isl_union_map_is_injective
.
Sourcepub fn is_strict_subset(&self, umap2: &UnionMap) -> bool
pub fn is_strict_subset(&self, umap2: &UnionMap) -> bool
Wraps isl_union_map_is_strict_subset
.
Sourcepub fn intersect_range_factor_domain(self, factor: UnionMap) -> UnionMap
pub fn intersect_range_factor_domain(self, factor: UnionMap) -> UnionMap
Wraps isl_union_map_intersect_range_factor_domain
.
Sourcepub fn domain_factor_domain(self) -> UnionMap
pub fn domain_factor_domain(self) -> UnionMap
Wraps isl_union_map_domain_factor_domain
.
Sourcepub fn project_out_param_id_list(self, list: IdList) -> UnionMap
pub fn project_out_param_id_list(self, list: IdList) -> UnionMap
Wraps isl_union_map_project_out_param_id_list
.
Sourcepub fn from_domain(uset: UnionSet) -> UnionMap
pub fn from_domain(uset: UnionSet) -> UnionMap
Wraps isl_union_map_from_domain
.
Sourcepub fn eq_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
pub fn eq_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
Wraps isl_union_map_eq_at_multi_union_pw_aff
.
Sourcepub fn from_domain_and_range(domain: UnionSet, range: UnionSet) -> UnionMap
pub fn from_domain_and_range(domain: UnionSet, range: UnionSet) -> UnionMap
Wraps isl_union_map_from_domain_and_range
.
Sourcepub fn compute_divs(self) -> UnionMap
pub fn compute_divs(self) -> UnionMap
Wraps isl_union_map_compute_divs
.
Sourcepub fn intersect_range_space(self, space: Space) -> UnionMap
pub fn intersect_range_space(self, space: Space) -> UnionMap
Wraps isl_union_map_intersect_range_space
.
Sourcepub fn bind_range(self, tuple: MultiId) -> UnionSet
pub fn bind_range(self, tuple: MultiId) -> UnionSet
Wraps isl_union_map_bind_range
.
Sourcepub fn read_from_str(ctx: &Context, str_: &str) -> UnionMap
pub fn read_from_str(ctx: &Context, str_: &str) -> UnionMap
Wraps isl_union_map_read_from_str
.
Sourcepub fn domain_reverse(self) -> UnionMap
pub fn domain_reverse(self) -> UnionMap
Wraps isl_union_map_domain_reverse
.
Sourcepub fn intersect_domain_factor_domain(self, factor: UnionMap) -> UnionMap
pub fn intersect_domain_factor_domain(self, factor: UnionMap) -> UnionMap
Wraps isl_union_map_intersect_domain_factor_domain
.
Sourcepub fn list_concat(list1: UnionMapList, list2: UnionMapList) -> UnionMapList
pub fn list_concat(list1: UnionMapList, list2: UnionMapList) -> UnionMapList
Wraps isl_union_map_list_concat
.
Sourcepub fn from_multi_union_pw_aff(mupa: MultiUnionPwAff) -> UnionMap
pub fn from_multi_union_pw_aff(mupa: MultiUnionPwAff) -> UnionMap
Wraps isl_union_map_from_multi_union_pw_aff
.
Sourcepub fn flat_domain_product(self, umap2: UnionMap) -> UnionMap
pub fn flat_domain_product(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_flat_domain_product
.
Sourcepub fn list_n_union_map(list: &UnionMapList) -> i32
pub fn list_n_union_map(list: &UnionMapList) -> i32
Wraps isl_union_map_list_n_union_map
.
Sourcepub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> bool
pub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> bool
Wraps isl_union_map_involves_dims
.
Sourcepub fn list_drop(list: UnionMapList, first: u32, n: u32) -> UnionMapList
pub fn list_drop(list: UnionMapList, first: u32, n: u32) -> UnionMapList
Wraps isl_union_map_list_drop
.
Sourcepub fn apply_range(self, umap2: UnionMap) -> UnionMap
pub fn apply_range(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_apply_range
.
Sourcepub fn intersect_domain_factor_range(self, factor: UnionMap) -> UnionMap
pub fn intersect_domain_factor_range(self, factor: UnionMap) -> UnionMap
Wraps isl_union_map_intersect_domain_factor_range
.
Sourcepub fn list_insert(list: UnionMapList, pos: u32, el: UnionMap) -> UnionMapList
pub fn list_insert(list: UnionMapList, pos: u32, el: UnionMap) -> UnionMapList
Wraps isl_union_map_list_insert
.
Sourcepub fn list_dump(list: &UnionMapList)
pub fn list_dump(list: &UnionMapList)
Wraps isl_union_map_list_dump
.
Sourcepub fn list_set_union_map(
list: UnionMapList,
index: i32,
el: UnionMap,
) -> UnionMapList
pub fn list_set_union_map( list: UnionMapList, index: i32, el: UnionMap, ) -> UnionMapList
Wraps isl_union_map_list_set_union_map
.
Sourcepub fn align_params(self, model: Space) -> UnionMap
pub fn align_params(self, model: Space) -> UnionMap
Wraps isl_union_map_align_params
.
Sourcepub fn subtract_domain(self, dom: UnionSet) -> UnionMap
pub fn subtract_domain(self, dom: UnionSet) -> UnionMap
Wraps isl_union_map_subtract_domain
.
Sourcepub fn lex_le_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
pub fn lex_le_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
Wraps isl_union_map_lex_le_at_multi_union_pw_aff
.
Sourcepub fn factor_domain(self) -> UnionMap
pub fn factor_domain(self) -> UnionMap
Wraps isl_union_map_factor_domain
.
Sourcepub fn lex_ge_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
pub fn lex_ge_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
Wraps isl_union_map_lex_ge_at_multi_union_pw_aff
.
Sourcepub fn empty_space(space: Space) -> UnionMap
pub fn empty_space(space: Space) -> UnionMap
Wraps isl_union_map_empty_space
.
Sourcepub fn extract_map(&self, space: Space) -> Map
pub fn extract_map(&self, space: Space) -> Map
Wraps isl_union_map_extract_map
.
Sourcepub fn from_basic_map(bmap: BasicMap) -> UnionMap
pub fn from_basic_map(bmap: BasicMap) -> UnionMap
Wraps isl_union_map_from_basic_map
.
Sourcepub fn find_dim_by_name(&self, type_: DimType, name: &str) -> i32
pub fn find_dim_by_name(&self, type_: DimType, name: &str) -> i32
Wraps isl_union_map_find_dim_by_name
.
Sourcepub fn factor_range(self) -> UnionMap
pub fn factor_range(self) -> UnionMap
Wraps isl_union_map_factor_range
.
Sourcepub fn intersect_domain_space(self, space: Space) -> UnionMap
pub fn intersect_domain_space(self, space: Space) -> UnionMap
Wraps isl_union_map_intersect_domain_space
.
Sourcepub fn list_add(list: UnionMapList, el: UnionMap) -> UnionMapList
pub fn list_add(list: UnionMapList, el: UnionMap) -> UnionMapList
Wraps isl_union_map_list_add
.
Sourcepub fn list_copy(list: &UnionMapList) -> UnionMapList
pub fn list_copy(list: &UnionMapList) -> UnionMapList
Wraps isl_union_map_list_copy
.
Sourcepub fn as_union_pw_multi_aff(self) -> UnionPwMultiAff
pub fn as_union_pw_multi_aff(self) -> UnionPwMultiAff
Wraps isl_union_map_as_union_pw_multi_aff
.
Sourcepub fn from_union_pw_aff(upa: UnionPwAff) -> UnionMap
pub fn from_union_pw_aff(upa: UnionPwAff) -> UnionMap
Wraps isl_union_map_from_union_pw_aff
.
Sourcepub fn get_dim_id(&self, type_: DimType, pos: u32) -> Id
pub fn get_dim_id(&self, type_: DimType, pos: u32) -> Id
Wraps isl_union_map_get_dim_id
.
Sourcepub fn apply_domain(self, umap2: UnionMap) -> UnionMap
pub fn apply_domain(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_apply_domain
.
Sourcepub fn range_factor_domain(self) -> UnionMap
pub fn range_factor_domain(self) -> UnionMap
Wraps isl_union_map_range_factor_domain
.
Sourcepub fn domain_map_union_pw_multi_aff(self) -> UnionPwMultiAff
pub fn domain_map_union_pw_multi_aff(self) -> UnionPwMultiAff
Wraps isl_union_map_domain_map_union_pw_multi_aff
.
Sourcepub fn lex_gt_union_map(self, umap2: UnionMap) -> UnionMap
pub fn lex_gt_union_map(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_lex_gt_union_map
.
Sourcepub fn list_free(list: UnionMapList) -> UnionMapList
pub fn list_free(list: UnionMapList) -> UnionMapList
Wraps isl_union_map_list_free
.
Sourcepub fn range_factor_range(self) -> UnionMap
pub fn range_factor_range(self) -> UnionMap
Wraps isl_union_map_range_factor_range
.
Sourcepub fn project_out_param_id(self, id: Id) -> UnionMap
pub fn project_out_param_id(self, id: Id) -> UnionMap
Wraps isl_union_map_project_out_param_id
.
Sourcepub fn range_reverse(self) -> UnionMap
pub fn range_reverse(self) -> UnionMap
Wraps isl_union_map_range_reverse
.
Sourcepub fn range_product(self, umap2: UnionMap) -> UnionMap
pub fn range_product(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_range_product
.
Sourcepub fn intersect_domain_union_set(self, uset: UnionSet) -> UnionMap
pub fn intersect_domain_union_set(self, uset: UnionSet) -> UnionMap
Wraps isl_union_map_intersect_domain_union_set
.
Sourcepub fn is_identity(&self) -> bool
pub fn is_identity(&self) -> bool
Wraps isl_union_map_is_identity
.
Sourcepub fn preimage_domain_union_pw_multi_aff(
self,
upma: UnionPwMultiAff,
) -> UnionMap
pub fn preimage_domain_union_pw_multi_aff( self, upma: UnionPwMultiAff, ) -> UnionMap
Wraps isl_union_map_preimage_domain_union_pw_multi_aff
.
Sourcepub fn lex_lt_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
pub fn lex_lt_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
Wraps isl_union_map_lex_lt_at_multi_union_pw_aff
.
Sourcepub fn affine_hull(self) -> UnionMap
pub fn affine_hull(self) -> UnionMap
Wraps isl_union_map_affine_hull
.
Sourcepub fn drop_unused_params(self) -> UnionMap
pub fn drop_unused_params(self) -> UnionMap
Wraps isl_union_map_drop_unused_params
.
Sourcepub fn lex_lt_union_map(self, umap2: UnionMap) -> UnionMap
pub fn lex_lt_union_map(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_lex_lt_union_map
.
Sourcepub fn domain_factor_range(self) -> UnionMap
pub fn domain_factor_range(self) -> UnionMap
Wraps isl_union_map_domain_factor_range
.
Sourcepub fn preimage_range_multi_aff(self, ma: MultiAff) -> UnionMap
pub fn preimage_range_multi_aff(self, ma: MultiAff) -> UnionMap
Wraps isl_union_map_preimage_range_multi_aff
.
Sourcepub fn remove_divs(self) -> UnionMap
pub fn remove_divs(self) -> UnionMap
Wraps isl_union_map_remove_divs
.
Sourcepub fn list_alloc(ctx: &Context, n: i32) -> UnionMapList
pub fn list_alloc(ctx: &Context, n: i32) -> UnionMapList
Wraps isl_union_map_list_alloc
.
Sourcepub fn list_get_at(list: &UnionMapList, index: i32) -> UnionMap
pub fn list_get_at(list: &UnionMapList, index: i32) -> UnionMap
Wraps isl_union_map_list_get_at
.
Sourcepub fn domain_map(self) -> UnionMap
pub fn domain_map(self) -> UnionMap
Wraps isl_union_map_domain_map
.
Sourcepub fn intersect_range_union_set(self, uset: UnionSet) -> UnionMap
pub fn intersect_range_union_set(self, uset: UnionSet) -> UnionMap
Wraps isl_union_map_intersect_range_union_set
.
Sourcepub fn get_map_list(&self) -> MapList
pub fn get_map_list(&self) -> MapList
Wraps isl_union_map_get_map_list
.
Sourcepub fn gist_params(self, set: Set) -> UnionMap
pub fn gist_params(self, set: Set) -> UnionMap
Wraps isl_union_map_gist_params
.
Sourcepub fn deltas_map(self) -> UnionMap
pub fn deltas_map(self) -> UnionMap
Wraps isl_union_map_deltas_map
.
Sourcepub fn subtract_range(self, dom: UnionSet) -> UnionMap
pub fn subtract_range(self, dom: UnionSet) -> UnionMap
Wraps isl_union_map_subtract_range
.
Sourcepub fn from_union_pw_multi_aff(upma: UnionPwMultiAff) -> UnionMap
pub fn from_union_pw_multi_aff(upma: UnionPwMultiAff) -> UnionMap
Wraps isl_union_map_from_union_pw_multi_aff
.
Sourcepub fn is_single_valued(&self) -> bool
pub fn is_single_valued(&self) -> bool
Wraps isl_union_map_is_single_valued
.
Sourcepub fn is_bijective(&self) -> bool
pub fn is_bijective(&self) -> bool
Wraps isl_union_map_is_bijective
.
Sourcepub fn intersect_params(self, set: Set) -> UnionMap
pub fn intersect_params(self, set: Set) -> UnionMap
Wraps isl_union_map_intersect_params
.
Sourcepub fn is_disjoint(&self, umap2: &UnionMap) -> bool
pub fn is_disjoint(&self, umap2: &UnionMap) -> bool
Wraps isl_union_map_is_disjoint
.
Sourcepub fn intersect_domain_wrapped_domain_union_set(
self,
domain: UnionSet,
) -> UnionMap
pub fn intersect_domain_wrapped_domain_union_set( self, domain: UnionSet, ) -> UnionMap
Wraps isl_union_map_intersect_domain_wrapped_domain_union_set
.
Sourcepub fn as_multi_union_pw_aff(self) -> MultiUnionPwAff
pub fn as_multi_union_pw_aff(self) -> MultiUnionPwAff
Wraps isl_union_map_as_multi_union_pw_aff
.
Sourcepub fn to_list(self) -> UnionMapList
pub fn to_list(self) -> UnionMapList
Wraps isl_union_map_to_list
.
Sourcepub fn list_get_ctx(list: &UnionMapList) -> Context
pub fn list_get_ctx(list: &UnionMapList) -> Context
Wraps isl_union_map_list_get_ctx
.
Sourcepub fn domain_product(self, umap2: UnionMap) -> UnionMap
pub fn domain_product(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_domain_product
.
Sourcepub fn plain_unshifted_simple_hull(self) -> UnionMap
pub fn plain_unshifted_simple_hull(self) -> UnionMap
Wraps isl_union_map_plain_unshifted_simple_hull
.
Sourcepub fn lex_ge_union_map(self, umap2: UnionMap) -> UnionMap
pub fn lex_ge_union_map(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_lex_ge_union_map
.
Sourcepub fn intersect_range(self, uset: UnionSet) -> UnionMap
pub fn intersect_range(self, uset: UnionSet) -> UnionMap
Wraps isl_union_map_intersect_range
.
Sourcepub fn flat_range_product(self, umap2: UnionMap) -> UnionMap
pub fn flat_range_product(self, umap2: UnionMap) -> UnionMap
Wraps isl_union_map_flat_range_product
.
Sourcepub fn project_out(self, type_: DimType, first: u32, n: u32) -> UnionMap
pub fn project_out(self, type_: DimType, first: u32, n: u32) -> UnionMap
Wraps isl_union_map_project_out
.
Sourcepub fn simple_hull(self) -> UnionMap
pub fn simple_hull(self) -> UnionMap
Wraps isl_union_map_simple_hull
.
Sourcepub fn plain_is_injective(&self) -> bool
pub fn plain_is_injective(&self) -> bool
Wraps isl_union_map_plain_is_injective
.
Sourcepub fn detect_equalities(self) -> UnionMap
pub fn detect_equalities(self) -> UnionMap
Wraps isl_union_map_detect_equalities
.
Sourcepub fn list_set_at(list: UnionMapList, index: i32, el: UnionMap) -> UnionMapList
pub fn list_set_at(list: UnionMapList, index: i32, el: UnionMap) -> UnionMapList
Wraps isl_union_map_list_set_at
.
Sourcepub fn lex_gt_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
pub fn lex_gt_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) -> UnionMap
Wraps isl_union_map_lex_gt_at_multi_union_pw_aff
.
Sourcepub fn preimage_domain_multi_pw_aff(self, mpa: MultiPwAff) -> UnionMap
pub fn preimage_domain_multi_pw_aff(self, mpa: MultiPwAff) -> UnionMap
Wraps isl_union_map_preimage_domain_multi_pw_aff
.
Sourcepub fn intersect_range_wrapped_domain_union_set(
self,
domain: UnionSet,
) -> UnionMap
pub fn intersect_range_wrapped_domain_union_set( self, domain: UnionSet, ) -> UnionMap
Wraps isl_union_map_intersect_range_wrapped_domain_union_set
.
Sourcepub fn list_size(list: &UnionMapList) -> i32
pub fn list_size(list: &UnionMapList) -> i32
Wraps isl_union_map_list_size
.
Sourcepub fn preimage_domain_pw_multi_aff(self, pma: PwMultiAff) -> UnionMap
pub fn preimage_domain_pw_multi_aff(self, pma: PwMultiAff) -> UnionMap
Wraps isl_union_map_preimage_domain_pw_multi_aff
.
Sourcepub fn do_not_free_on_drop(&mut self)
pub fn do_not_free_on_drop(&mut self)
Does not call isl_union_map_free() on being dropped. (For internal use only.)