Struct UnionMap 

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

Wraps isl_union_map.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl UnionMap

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

Wraps isl_union_map_add_map.

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

Wraps isl_union_map_affine_hull.

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

Wraps isl_union_map_align_params.

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

Wraps isl_union_map_apply_domain.

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

Wraps isl_union_map_apply_range.

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

Wraps isl_union_map_as_map.

pub fn as_multi_union_pw_aff(self) -> Result<MultiUnionPwAff, LibISLError>

Wraps isl_union_map_as_multi_union_pw_aff.

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

Wraps isl_union_map_as_union_pw_multi_aff.

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

Wraps isl_union_map_bind_range.

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

Wraps isl_union_map_coalesce.

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

Wraps isl_union_map_compute_divs.

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

Wraps isl_union_map_contains.

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

Wraps isl_union_map_copy.

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

Wraps isl_union_map_curry.

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

Wraps isl_union_map_deltas.

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

Wraps isl_union_map_deltas_map.

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

Wraps isl_union_map_detect_equalities.

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

Wraps isl_union_map_dim.

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

Wraps isl_union_map_domain.

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

Wraps isl_union_map_domain_factor_domain.

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

Wraps isl_union_map_domain_factor_range.

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

Wraps isl_union_map_domain_map.

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

Wraps isl_union_map_domain_map_union_pw_multi_aff.

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

Wraps isl_union_map_domain_product.

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

Wraps isl_union_map_domain_reverse.

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

Wraps isl_union_map_drop_unused_params.

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

Wraps isl_union_map_dump.

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

Wraps isl_union_map_empty.

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

Wraps isl_union_map_empty_ctx.

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

Wraps isl_union_map_empty_space.

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

Wraps isl_union_map_eq_at_multi_union_pw_aff.

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

Wraps isl_union_map_extract_map.

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

Wraps isl_union_map_factor_domain.

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

Wraps isl_union_map_factor_range.

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

Wraps isl_union_map_find_dim_by_name.

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

Wraps isl_union_map_fixed_power_val.

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

Wraps isl_union_map_flat_domain_product.

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

Wraps isl_union_map_flat_range_product.

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

Wraps isl_union_map_free.

pub fn from_basic_map(bmap: BasicMap) -> Result<UnionMap, LibISLError>

Wraps isl_union_map_from_basic_map.

pub fn from_domain(uset: UnionSet) -> Result<UnionMap, LibISLError>

Wraps isl_union_map_from_domain.

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

Wraps isl_union_map_from_domain_and_range.

pub fn from_map(map: Map) -> Result<UnionMap, LibISLError>

Wraps isl_union_map_from_map.

pub fn from_multi_union_pw_aff( mupa: MultiUnionPwAff, ) -> Result<UnionMap, LibISLError>

Wraps isl_union_map_from_multi_union_pw_aff.

pub fn from_range(uset: UnionSet) -> Result<UnionMap, LibISLError>

Wraps isl_union_map_from_range.

pub fn from_union_pw_aff(upa: UnionPwAff) -> Result<UnionMap, LibISLError>

Wraps isl_union_map_from_union_pw_aff.

pub fn from_union_pw_multi_aff( upma: UnionPwMultiAff, ) -> Result<UnionMap, LibISLError>

Wraps isl_union_map_from_union_pw_multi_aff.

pub fn get_ctx(&self) -> Context

Wraps isl_union_map_get_ctx.

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

Wraps isl_union_map_get_dim_id.

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

Wraps isl_union_map_get_hash.

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

Wraps isl_union_map_get_map_list.

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

Wraps isl_union_map_get_space.

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

Wraps isl_union_map_gist.

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

Wraps isl_union_map_gist_domain.

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

Wraps isl_union_map_gist_params.

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

Wraps isl_union_map_gist_range.

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

Wraps isl_union_map_intersect.

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

Wraps isl_union_map_intersect_domain.

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

Wraps isl_union_map_intersect_domain_factor_domain.

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

Wraps isl_union_map_intersect_domain_factor_range.

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

Wraps isl_union_map_intersect_domain_space.

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

Wraps isl_union_map_intersect_domain_union_set.

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

Wraps isl_union_map_intersect_domain_wrapped_domain_union_set.

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

Wraps isl_union_map_intersect_params.

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

Wraps isl_union_map_intersect_range.

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

Wraps isl_union_map_intersect_range_factor_domain.

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

Wraps isl_union_map_intersect_range_factor_range.

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

Wraps isl_union_map_intersect_range_space.

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

Wraps isl_union_map_intersect_range_union_set.

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

Wraps isl_union_map_intersect_range_wrapped_domain_union_set.

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

Wraps isl_union_map_involves_dims.

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

Wraps isl_union_map_is_bijective.

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

Wraps isl_union_map_is_disjoint.

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

Wraps isl_union_map_is_empty.

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

Wraps isl_union_map_is_equal.

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

Wraps isl_union_map_is_identity.

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

Wraps isl_union_map_is_injective.

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

Wraps isl_union_map_is_single_valued.

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

Wraps isl_union_map_is_strict_subset.

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

Wraps isl_union_map_is_subset.

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

Wraps isl_union_map_isa_map.

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

Wraps isl_union_map_lex_ge_at_multi_union_pw_aff.

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

Wraps isl_union_map_lex_ge_union_map.

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

Wraps isl_union_map_lex_gt_at_multi_union_pw_aff.

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

Wraps isl_union_map_lex_gt_union_map.

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

Wraps isl_union_map_lex_le_at_multi_union_pw_aff.

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

Wraps isl_union_map_lex_le_union_map.

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

Wraps isl_union_map_lex_lt_at_multi_union_pw_aff.

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

Wraps isl_union_map_lex_lt_union_map.

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

Wraps isl_union_map_lexmax.

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

Wraps isl_union_map_lexmin.

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

Wraps isl_union_map_n_map.

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

Wraps isl_union_map_params.

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

Wraps isl_union_map_plain_is_empty.

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

Wraps isl_union_map_plain_is_injective.

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

Wraps isl_union_map_plain_unshifted_simple_hull.

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

Wraps isl_union_map_polyhedral_hull.

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

Wraps isl_union_map_preimage_domain_multi_aff.

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

Wraps isl_union_map_preimage_domain_multi_pw_aff.

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

Wraps isl_union_map_preimage_domain_pw_multi_aff.

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

Wraps isl_union_map_preimage_domain_union_pw_multi_aff.

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

Wraps isl_union_map_preimage_range_multi_aff.

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

Wraps isl_union_map_preimage_range_pw_multi_aff.

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

Wraps isl_union_map_preimage_range_union_pw_multi_aff.

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

Wraps isl_union_map_product.

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

Wraps isl_union_map_project_out.

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

Wraps isl_union_map_project_out_all_params.

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

Wraps isl_union_map_project_out_param_id.

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

Wraps isl_union_map_project_out_param_id_list.

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

Wraps isl_union_map_range.

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

Wraps isl_union_map_range_curry.

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

Wraps isl_union_map_range_factor_domain.

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

Wraps isl_union_map_range_factor_range.

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

Wraps isl_union_map_range_map.

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

Wraps isl_union_map_range_product.

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

Wraps isl_union_map_range_reverse.

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

Wraps isl_union_map_read_from_str.

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

Wraps isl_union_map_remove_divs.

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

Wraps isl_union_map_remove_redundancies.

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

Wraps isl_union_map_reset_user.

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

Wraps isl_union_map_reverse.

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

Wraps isl_union_map_sample.

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

Wraps isl_union_map_simple_hull.

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

Wraps isl_union_map_subtract.

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

Wraps isl_union_map_subtract_domain.

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

Wraps isl_union_map_subtract_range.

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

Wraps isl_union_map_to_list.

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

Wraps isl_union_map_to_str.

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

Wraps isl_union_map_uncurry.

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

Wraps isl_union_map_union.

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

Wraps isl_union_map_universe.

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

Wraps isl_union_map_wrap.

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

Wraps isl_union_map_zip.

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

impl Drop for UnionMap

fn drop(&mut self)

Executes the destructor for this type.