pub struct Map {
pub ptr: uintptr_t,
pub should_free_on_drop: bool,
}Expand description
Wraps isl_map.
Fields§
§ptr: uintptr_t§should_free_on_drop: boolImplementations§
Source§impl Map
impl Map
Sourcepub fn add_constraint(self, constraint: Constraint) -> Result<Map, LibISLError>
pub fn add_constraint(self, constraint: Constraint) -> Result<Map, LibISLError>
Wraps isl_map_add_constraint.
Sourcepub fn add_dims(self, type_: DimType, n: u32) -> Result<Map, LibISLError>
pub fn add_dims(self, type_: DimType, n: u32) -> Result<Map, LibISLError>
Wraps isl_map_add_dims.
Sourcepub fn affine_hull(self) -> Result<BasicMap, LibISLError>
pub fn affine_hull(self) -> Result<BasicMap, LibISLError>
Wraps isl_map_affine_hull.
Sourcepub fn align_divs(self) -> Result<Map, LibISLError>
pub fn align_divs(self) -> Result<Map, LibISLError>
Wraps isl_map_align_divs.
Sourcepub fn align_params(self, model: Space) -> Result<Map, LibISLError>
pub fn align_params(self, model: Space) -> Result<Map, LibISLError>
Wraps isl_map_align_params.
Sourcepub fn apply_domain(self, map2: Map) -> Result<Map, LibISLError>
pub fn apply_domain(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_apply_domain.
Sourcepub fn apply_range(self, map2: Map) -> Result<Map, LibISLError>
pub fn apply_range(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_apply_range.
Sourcepub fn as_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>
pub fn as_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>
Wraps isl_map_as_pw_multi_aff.
Sourcepub fn bind_domain(self, tuple: MultiId) -> Result<Set, LibISLError>
pub fn bind_domain(self, tuple: MultiId) -> Result<Set, LibISLError>
Wraps isl_map_bind_domain.
Sourcepub fn bind_range(self, tuple: MultiId) -> Result<Set, LibISLError>
pub fn bind_range(self, tuple: MultiId) -> Result<Set, LibISLError>
Wraps isl_map_bind_range.
Sourcepub fn can_curry(&self) -> Result<bool, LibISLError>
pub fn can_curry(&self) -> Result<bool, LibISLError>
Wraps isl_map_can_curry.
Sourcepub fn can_range_curry(&self) -> Result<bool, LibISLError>
pub fn can_range_curry(&self) -> Result<bool, LibISLError>
Wraps isl_map_can_range_curry.
Sourcepub fn can_uncurry(&self) -> Result<bool, LibISLError>
pub fn can_uncurry(&self) -> Result<bool, LibISLError>
Wraps isl_map_can_uncurry.
Sourcepub fn can_zip(&self) -> Result<bool, LibISLError>
pub fn can_zip(&self) -> Result<bool, LibISLError>
Wraps isl_map_can_zip.
Sourcepub fn coalesce(self) -> Result<Map, LibISLError>
pub fn coalesce(self) -> Result<Map, LibISLError>
Wraps isl_map_coalesce.
Sourcepub fn complement(self) -> Result<Map, LibISLError>
pub fn complement(self) -> Result<Map, LibISLError>
Wraps isl_map_complement.
Sourcepub fn compute_divs(self) -> Result<Map, LibISLError>
pub fn compute_divs(self) -> Result<Map, LibISLError>
Wraps isl_map_compute_divs.
Sourcepub fn convex_hull(self) -> Result<BasicMap, LibISLError>
pub fn convex_hull(self) -> Result<BasicMap, LibISLError>
Wraps isl_map_convex_hull.
Sourcepub fn copy(&self) -> Result<Map, LibISLError>
pub fn copy(&self) -> Result<Map, LibISLError>
Wraps isl_map_copy.
Sourcepub fn curry(self) -> Result<Map, LibISLError>
pub fn curry(self) -> Result<Map, LibISLError>
Wraps isl_map_curry.
Sourcepub fn deltas(self) -> Result<Set, LibISLError>
pub fn deltas(self) -> Result<Set, LibISLError>
Wraps isl_map_deltas.
Sourcepub fn deltas_map(self) -> Result<Map, LibISLError>
pub fn deltas_map(self) -> Result<Map, LibISLError>
Wraps isl_map_deltas_map.
Sourcepub fn detect_equalities(self) -> Result<Map, LibISLError>
pub fn detect_equalities(self) -> Result<Map, LibISLError>
Wraps isl_map_detect_equalities.
Sourcepub fn domain(self) -> Result<Set, LibISLError>
pub fn domain(self) -> Result<Set, LibISLError>
Wraps isl_map_domain.
Sourcepub fn domain_factor_domain(self) -> Result<Map, LibISLError>
pub fn domain_factor_domain(self) -> Result<Map, LibISLError>
Wraps isl_map_domain_factor_domain.
Sourcepub fn domain_factor_range(self) -> Result<Map, LibISLError>
pub fn domain_factor_range(self) -> Result<Map, LibISLError>
Wraps isl_map_domain_factor_range.
Sourcepub fn domain_is_wrapping(&self) -> Result<bool, LibISLError>
pub fn domain_is_wrapping(&self) -> Result<bool, LibISLError>
Wraps isl_map_domain_is_wrapping.
Sourcepub fn domain_map(self) -> Result<Map, LibISLError>
pub fn domain_map(self) -> Result<Map, LibISLError>
Wraps isl_map_domain_map.
Sourcepub fn domain_product(self, map2: Map) -> Result<Map, LibISLError>
pub fn domain_product(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_domain_product.
Sourcepub fn domain_reverse(self) -> Result<Map, LibISLError>
pub fn domain_reverse(self) -> Result<Map, LibISLError>
Wraps isl_map_domain_reverse.
Sourcepub fn domain_tuple_dim(&self) -> Result<i32, LibISLError>
pub fn domain_tuple_dim(&self) -> Result<i32, LibISLError>
Wraps isl_map_domain_tuple_dim.
Sourcepub fn drop_constraints_involving_dims(
self,
type_: DimType,
first: u32,
n: u32,
) -> Result<Map, LibISLError>
pub fn drop_constraints_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Map, LibISLError>
Wraps isl_map_drop_constraints_involving_dims.
Sourcepub fn drop_constraints_not_involving_dims(
self,
type_: DimType,
first: u32,
n: u32,
) -> Result<Map, LibISLError>
pub fn drop_constraints_not_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Map, LibISLError>
Wraps isl_map_drop_constraints_not_involving_dims.
Sourcepub fn drop_unused_params(self) -> Result<Map, LibISLError>
pub fn drop_unused_params(self) -> Result<Map, LibISLError>
Wraps isl_map_drop_unused_params.
Sourcepub fn dump(&self) -> Result<(), LibISLError>
pub fn dump(&self) -> Result<(), LibISLError>
Wraps isl_map_dump.
Sourcepub fn eliminate(
self,
type_: DimType,
first: u32,
n: u32,
) -> Result<Map, LibISLError>
pub fn eliminate( self, type_: DimType, first: u32, n: u32, ) -> Result<Map, LibISLError>
Wraps isl_map_eliminate.
Sourcepub fn eq_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
pub fn eq_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
Wraps isl_map_eq_at_multi_pw_aff.
Sourcepub fn equate(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32,
) -> Result<Map, LibISLError>
pub fn equate( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_equate.
Sourcepub fn factor_domain(self) -> Result<Map, LibISLError>
pub fn factor_domain(self) -> Result<Map, LibISLError>
Wraps isl_map_factor_domain.
Sourcepub fn factor_range(self) -> Result<Map, LibISLError>
pub fn factor_range(self) -> Result<Map, LibISLError>
Wraps isl_map_factor_range.
Sourcepub fn find_dim_by_id(
&self,
type_: DimType,
id: &Id,
) -> Result<i32, LibISLError>
pub fn find_dim_by_id( &self, type_: DimType, id: &Id, ) -> Result<i32, LibISLError>
Wraps isl_map_find_dim_by_id.
Sourcepub fn find_dim_by_name(
&self,
type_: DimType,
name: &str,
) -> Result<i32, LibISLError>
pub fn find_dim_by_name( &self, type_: DimType, name: &str, ) -> Result<i32, LibISLError>
Wraps isl_map_find_dim_by_name.
Sourcepub fn fix_input_si(self, input: u32, value: i32) -> Result<Map, LibISLError>
pub fn fix_input_si(self, input: u32, value: i32) -> Result<Map, LibISLError>
Wraps isl_map_fix_input_si.
Sourcepub fn fix_si(
self,
type_: DimType,
pos: u32,
value: i32,
) -> Result<Map, LibISLError>
pub fn fix_si( self, type_: DimType, pos: u32, value: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_fix_si.
Sourcepub fn fix_val(
self,
type_: DimType,
pos: u32,
v: Val,
) -> Result<Map, LibISLError>
pub fn fix_val( self, type_: DimType, pos: u32, v: Val, ) -> Result<Map, LibISLError>
Wraps isl_map_fix_val.
Sourcepub fn fixed_power_val(self, exp: Val) -> Result<Map, LibISLError>
pub fn fixed_power_val(self, exp: Val) -> Result<Map, LibISLError>
Wraps isl_map_fixed_power_val.
Sourcepub fn flat_domain_product(self, map2: Map) -> Result<Map, LibISLError>
pub fn flat_domain_product(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_flat_domain_product.
Sourcepub fn flat_product(self, map2: Map) -> Result<Map, LibISLError>
pub fn flat_product(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_flat_product.
Sourcepub fn flat_range_product(self, map2: Map) -> Result<Map, LibISLError>
pub fn flat_range_product(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_flat_range_product.
Sourcepub fn flatten(self) -> Result<Map, LibISLError>
pub fn flatten(self) -> Result<Map, LibISLError>
Wraps isl_map_flatten.
Sourcepub fn flatten_domain(self) -> Result<Map, LibISLError>
pub fn flatten_domain(self) -> Result<Map, LibISLError>
Wraps isl_map_flatten_domain.
Sourcepub fn flatten_range(self) -> Result<Map, LibISLError>
pub fn flatten_range(self) -> Result<Map, LibISLError>
Wraps isl_map_flatten_range.
Sourcepub fn floordiv_val(self, d: Val) -> Result<Map, LibISLError>
pub fn floordiv_val(self, d: Val) -> Result<Map, LibISLError>
Wraps isl_map_floordiv_val.
Sourcepub fn free(self) -> Result<Map, LibISLError>
pub fn free(self) -> Result<Map, LibISLError>
Wraps isl_map_free.
Sourcepub fn from_basic_map(bmap: BasicMap) -> Result<Map, LibISLError>
pub fn from_basic_map(bmap: BasicMap) -> Result<Map, LibISLError>
Wraps isl_map_from_basic_map.
Sourcepub fn from_domain(set: Set) -> Result<Map, LibISLError>
pub fn from_domain(set: Set) -> Result<Map, LibISLError>
Wraps isl_map_from_domain.
Sourcepub fn from_domain_and_range(
domain: Set,
range: Set,
) -> Result<Map, LibISLError>
pub fn from_domain_and_range( domain: Set, range: Set, ) -> Result<Map, LibISLError>
Wraps isl_map_from_domain_and_range.
Sourcepub fn from_multi_aff(maff: MultiAff) -> Result<Map, LibISLError>
pub fn from_multi_aff(maff: MultiAff) -> Result<Map, LibISLError>
Wraps isl_map_from_multi_aff.
Sourcepub fn from_multi_pw_aff(mpa: MultiPwAff) -> Result<Map, LibISLError>
pub fn from_multi_pw_aff(mpa: MultiPwAff) -> Result<Map, LibISLError>
Wraps isl_map_from_multi_pw_aff.
Sourcepub fn from_pw_aff(pwaff: PwAff) -> Result<Map, LibISLError>
pub fn from_pw_aff(pwaff: PwAff) -> Result<Map, LibISLError>
Wraps isl_map_from_pw_aff.
Sourcepub fn from_pw_multi_aff(pma: PwMultiAff) -> Result<Map, LibISLError>
pub fn from_pw_multi_aff(pma: PwMultiAff) -> Result<Map, LibISLError>
Wraps isl_map_from_pw_multi_aff.
Sourcepub fn from_range(set: Set) -> Result<Map, LibISLError>
pub fn from_range(set: Set) -> Result<Map, LibISLError>
Wraps isl_map_from_range.
Sourcepub fn from_union_map(umap: UnionMap) -> Result<Map, LibISLError>
pub fn from_union_map(umap: UnionMap) -> Result<Map, LibISLError>
Wraps isl_map_from_union_map.
Sourcepub fn get_basic_map_list(&self) -> Result<BasicMapList, LibISLError>
pub fn get_basic_map_list(&self) -> Result<BasicMapList, LibISLError>
Wraps isl_map_get_basic_map_list.
Sourcepub fn get_dim_id(&self, type_: DimType, pos: u32) -> Result<Id, LibISLError>
pub fn get_dim_id(&self, type_: DimType, pos: u32) -> Result<Id, LibISLError>
Wraps isl_map_get_dim_id.
Sourcepub fn get_dim_name(
&self,
type_: DimType,
pos: u32,
) -> Result<&str, LibISLError>
pub fn get_dim_name( &self, type_: DimType, pos: u32, ) -> Result<&str, LibISLError>
Wraps isl_map_get_dim_name.
Sourcepub fn get_domain_tuple_id(&self) -> Result<Id, LibISLError>
pub fn get_domain_tuple_id(&self) -> Result<Id, LibISLError>
Wraps isl_map_get_domain_tuple_id.
Sourcepub fn get_hash(&self) -> Result<u32, LibISLError>
pub fn get_hash(&self) -> Result<u32, LibISLError>
Wraps isl_map_get_hash.
Sourcepub fn get_range_lattice_tile(&self) -> Result<FixedBox, LibISLError>
pub fn get_range_lattice_tile(&self) -> Result<FixedBox, LibISLError>
Wraps isl_map_get_range_lattice_tile.
Sourcepub fn get_range_simple_fixed_box_hull(&self) -> Result<FixedBox, LibISLError>
pub fn get_range_simple_fixed_box_hull(&self) -> Result<FixedBox, LibISLError>
Wraps isl_map_get_range_simple_fixed_box_hull.
Sourcepub fn get_range_stride_info(&self, pos: i32) -> Result<StrideInfo, LibISLError>
pub fn get_range_stride_info(&self, pos: i32) -> Result<StrideInfo, LibISLError>
Wraps isl_map_get_range_stride_info.
Sourcepub fn get_range_tuple_id(&self) -> Result<Id, LibISLError>
pub fn get_range_tuple_id(&self) -> Result<Id, LibISLError>
Wraps isl_map_get_range_tuple_id.
Sourcepub fn get_space(&self) -> Result<Space, LibISLError>
pub fn get_space(&self) -> Result<Space, LibISLError>
Wraps isl_map_get_space.
Sourcepub fn get_tuple_id(&self, type_: DimType) -> Result<Id, LibISLError>
pub fn get_tuple_id(&self, type_: DimType) -> Result<Id, LibISLError>
Wraps isl_map_get_tuple_id.
Sourcepub fn get_tuple_name(&self, type_: DimType) -> Result<&str, LibISLError>
pub fn get_tuple_name(&self, type_: DimType) -> Result<&str, LibISLError>
Wraps isl_map_get_tuple_name.
Sourcepub fn gist_basic_map(self, context: BasicMap) -> Result<Map, LibISLError>
pub fn gist_basic_map(self, context: BasicMap) -> Result<Map, LibISLError>
Wraps isl_map_gist_basic_map.
Sourcepub fn gist_domain(self, context: Set) -> Result<Map, LibISLError>
pub fn gist_domain(self, context: Set) -> Result<Map, LibISLError>
Wraps isl_map_gist_domain.
Sourcepub fn gist_params(self, context: Set) -> Result<Map, LibISLError>
pub fn gist_params(self, context: Set) -> Result<Map, LibISLError>
Wraps isl_map_gist_params.
Sourcepub fn gist_range(self, context: Set) -> Result<Map, LibISLError>
pub fn gist_range(self, context: Set) -> Result<Map, LibISLError>
Wraps isl_map_gist_range.
Sourcepub fn has_dim_id(&self, type_: DimType, pos: u32) -> Result<bool, LibISLError>
pub fn has_dim_id(&self, type_: DimType, pos: u32) -> Result<bool, LibISLError>
Wraps isl_map_has_dim_id.
Sourcepub fn has_dim_name(
&self,
type_: DimType,
pos: u32,
) -> Result<bool, LibISLError>
pub fn has_dim_name( &self, type_: DimType, pos: u32, ) -> Result<bool, LibISLError>
Wraps isl_map_has_dim_name.
Sourcepub fn has_domain_tuple_id(&self) -> Result<bool, LibISLError>
pub fn has_domain_tuple_id(&self) -> Result<bool, LibISLError>
Wraps isl_map_has_domain_tuple_id.
Sourcepub fn has_equal_space(&self, map2: &Map) -> Result<bool, LibISLError>
pub fn has_equal_space(&self, map2: &Map) -> Result<bool, LibISLError>
Wraps isl_map_has_equal_space.
Sourcepub fn has_range_tuple_id(&self) -> Result<bool, LibISLError>
pub fn has_range_tuple_id(&self) -> Result<bool, LibISLError>
Wraps isl_map_has_range_tuple_id.
Sourcepub fn has_tuple_id(&self, type_: DimType) -> Result<bool, LibISLError>
pub fn has_tuple_id(&self, type_: DimType) -> Result<bool, LibISLError>
Wraps isl_map_has_tuple_id.
Sourcepub fn has_tuple_name(&self, type_: DimType) -> Result<bool, LibISLError>
pub fn has_tuple_name(&self, type_: DimType) -> Result<bool, LibISLError>
Wraps isl_map_has_tuple_name.
Sourcepub fn insert_dims(
self,
type_: DimType,
pos: u32,
n: u32,
) -> Result<Map, LibISLError>
pub fn insert_dims( self, type_: DimType, pos: u32, n: u32, ) -> Result<Map, LibISLError>
Wraps isl_map_insert_dims.
Sourcepub fn intersect_domain(self, set: Set) -> Result<Map, LibISLError>
pub fn intersect_domain(self, set: Set) -> Result<Map, LibISLError>
Wraps isl_map_intersect_domain.
Sourcepub fn intersect_domain_factor_domain(
self,
factor: Map,
) -> Result<Map, LibISLError>
pub fn intersect_domain_factor_domain( self, factor: Map, ) -> Result<Map, LibISLError>
Wraps isl_map_intersect_domain_factor_domain.
Sourcepub fn intersect_domain_factor_range(
self,
factor: Map,
) -> Result<Map, LibISLError>
pub fn intersect_domain_factor_range( self, factor: Map, ) -> Result<Map, LibISLError>
Wraps isl_map_intersect_domain_factor_range.
Sourcepub fn intersect_domain_wrapped_domain(
self,
domain: Set,
) -> Result<Map, LibISLError>
pub fn intersect_domain_wrapped_domain( self, domain: Set, ) -> Result<Map, LibISLError>
Wraps isl_map_intersect_domain_wrapped_domain.
Sourcepub fn intersect_params(self, params: Set) -> Result<Map, LibISLError>
pub fn intersect_params(self, params: Set) -> Result<Map, LibISLError>
Wraps isl_map_intersect_params.
Sourcepub fn intersect_range(self, set: Set) -> Result<Map, LibISLError>
pub fn intersect_range(self, set: Set) -> Result<Map, LibISLError>
Wraps isl_map_intersect_range.
Sourcepub fn intersect_range_factor_domain(
self,
factor: Map,
) -> Result<Map, LibISLError>
pub fn intersect_range_factor_domain( self, factor: Map, ) -> Result<Map, LibISLError>
Wraps isl_map_intersect_range_factor_domain.
Sourcepub fn intersect_range_factor_range(
self,
factor: Map,
) -> Result<Map, LibISLError>
pub fn intersect_range_factor_range( self, factor: Map, ) -> Result<Map, LibISLError>
Wraps isl_map_intersect_range_factor_range.
Sourcepub fn intersect_range_wrapped_domain(
self,
domain: Set,
) -> Result<Map, LibISLError>
pub fn intersect_range_wrapped_domain( self, domain: Set, ) -> Result<Map, LibISLError>
Wraps isl_map_intersect_range_wrapped_domain.
Sourcepub fn involves_dims(
&self,
type_: DimType,
first: u32,
n: u32,
) -> Result<bool, LibISLError>
pub fn involves_dims( &self, type_: DimType, first: u32, n: u32, ) -> Result<bool, LibISLError>
Wraps isl_map_involves_dims.
Sourcepub fn is_bijective(&self) -> Result<bool, LibISLError>
pub fn is_bijective(&self) -> Result<bool, LibISLError>
Wraps isl_map_is_bijective.
Sourcepub fn is_disjoint(&self, map2: &Map) -> Result<bool, LibISLError>
pub fn is_disjoint(&self, map2: &Map) -> Result<bool, LibISLError>
Wraps isl_map_is_disjoint.
Sourcepub fn is_empty(&self) -> Result<bool, LibISLError>
pub fn is_empty(&self) -> Result<bool, LibISLError>
Wraps isl_map_is_empty.
Sourcepub fn is_identity(&self) -> Result<bool, LibISLError>
pub fn is_identity(&self) -> Result<bool, LibISLError>
Wraps isl_map_is_identity.
Sourcepub fn is_injective(&self) -> Result<bool, LibISLError>
pub fn is_injective(&self) -> Result<bool, LibISLError>
Wraps isl_map_is_injective.
Sourcepub fn is_product(&self) -> Result<bool, LibISLError>
pub fn is_product(&self) -> Result<bool, LibISLError>
Wraps isl_map_is_product.
Sourcepub fn is_single_valued(&self) -> Result<bool, LibISLError>
pub fn is_single_valued(&self) -> Result<bool, LibISLError>
Wraps isl_map_is_single_valued.
Sourcepub fn is_strict_subset(&self, map2: &Map) -> Result<bool, LibISLError>
pub fn is_strict_subset(&self, map2: &Map) -> Result<bool, LibISLError>
Wraps isl_map_is_strict_subset.
Sourcepub fn is_translation(&self) -> Result<i32, LibISLError>
pub fn is_translation(&self) -> Result<i32, LibISLError>
Wraps isl_map_is_translation.
Sourcepub fn lex_ge_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
pub fn lex_ge_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
Wraps isl_map_lex_ge_at_multi_pw_aff.
Sourcepub fn lex_ge_first(space: Space, n: u32) -> Result<Map, LibISLError>
pub fn lex_ge_first(space: Space, n: u32) -> Result<Map, LibISLError>
Wraps isl_map_lex_ge_first.
Sourcepub fn lex_ge_map(self, map2: Map) -> Result<Map, LibISLError>
pub fn lex_ge_map(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_lex_ge_map.
Sourcepub fn lex_gt_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
pub fn lex_gt_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
Wraps isl_map_lex_gt_at_multi_pw_aff.
Sourcepub fn lex_gt_first(space: Space, n: u32) -> Result<Map, LibISLError>
pub fn lex_gt_first(space: Space, n: u32) -> Result<Map, LibISLError>
Wraps isl_map_lex_gt_first.
Sourcepub fn lex_gt_map(self, map2: Map) -> Result<Map, LibISLError>
pub fn lex_gt_map(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_lex_gt_map.
Sourcepub fn lex_le_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
pub fn lex_le_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
Wraps isl_map_lex_le_at_multi_pw_aff.
Sourcepub fn lex_le_first(space: Space, n: u32) -> Result<Map, LibISLError>
pub fn lex_le_first(space: Space, n: u32) -> Result<Map, LibISLError>
Wraps isl_map_lex_le_first.
Sourcepub fn lex_le_map(self, map2: Map) -> Result<Map, LibISLError>
pub fn lex_le_map(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_lex_le_map.
Sourcepub fn lex_lt_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
pub fn lex_lt_at_multi_pw_aff(self, mpa: MultiPwAff) -> Result<Map, LibISLError>
Wraps isl_map_lex_lt_at_multi_pw_aff.
Sourcepub fn lex_lt_first(space: Space, n: u32) -> Result<Map, LibISLError>
pub fn lex_lt_first(space: Space, n: u32) -> Result<Map, LibISLError>
Wraps isl_map_lex_lt_first.
Sourcepub fn lex_lt_map(self, map2: Map) -> Result<Map, LibISLError>
pub fn lex_lt_map(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_lex_lt_map.
Sourcepub fn lexmax(self) -> Result<Map, LibISLError>
pub fn lexmax(self) -> Result<Map, LibISLError>
Wraps isl_map_lexmax.
Sourcepub fn lexmax_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>
pub fn lexmax_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>
Wraps isl_map_lexmax_pw_multi_aff.
Sourcepub fn lexmin(self) -> Result<Map, LibISLError>
pub fn lexmin(self) -> Result<Map, LibISLError>
Wraps isl_map_lexmin.
Sourcepub fn lexmin_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>
pub fn lexmin_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>
Wraps isl_map_lexmin_pw_multi_aff.
Sourcepub fn lower_bound_multi_pw_aff(
self,
lower: MultiPwAff,
) -> Result<Map, LibISLError>
pub fn lower_bound_multi_pw_aff( self, lower: MultiPwAff, ) -> Result<Map, LibISLError>
Wraps isl_map_lower_bound_multi_pw_aff.
Sourcepub fn lower_bound_si(
self,
type_: DimType,
pos: u32,
value: i32,
) -> Result<Map, LibISLError>
pub fn lower_bound_si( self, type_: DimType, pos: u32, value: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_lower_bound_si.
Sourcepub fn lower_bound_val(
self,
type_: DimType,
pos: u32,
value: Val,
) -> Result<Map, LibISLError>
pub fn lower_bound_val( self, type_: DimType, pos: u32, value: Val, ) -> Result<Map, LibISLError>
Wraps isl_map_lower_bound_val.
Sourcepub fn make_disjoint(self) -> Result<Map, LibISLError>
pub fn make_disjoint(self) -> Result<Map, LibISLError>
Wraps isl_map_make_disjoint.
Sourcepub fn max_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError>
pub fn max_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError>
Wraps isl_map_max_multi_pw_aff.
Sourcepub fn min_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError>
pub fn min_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError>
Wraps isl_map_min_multi_pw_aff.
Sourcepub fn move_dims(
self,
dst_type: DimType,
dst_pos: u32,
src_type: DimType,
src_pos: u32,
n: u32,
) -> Result<Map, LibISLError>
pub fn move_dims( self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32, n: u32, ) -> Result<Map, LibISLError>
Wraps isl_map_move_dims.
Sourcepub fn n_basic_map(&self) -> Result<i32, LibISLError>
pub fn n_basic_map(&self) -> Result<i32, LibISLError>
Wraps isl_map_n_basic_map.
Sourcepub fn nat_universe(space: Space) -> Result<Map, LibISLError>
pub fn nat_universe(space: Space) -> Result<Map, LibISLError>
Wraps isl_map_nat_universe.
Sourcepub fn neg(self) -> Result<Map, LibISLError>
pub fn neg(self) -> Result<Map, LibISLError>
Wraps isl_map_neg.
Sourcepub fn oppose(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32,
) -> Result<Map, LibISLError>
pub fn oppose( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_oppose.
Sourcepub fn order_ge(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32,
) -> Result<Map, LibISLError>
pub fn order_ge( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_order_ge.
Sourcepub fn order_gt(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32,
) -> Result<Map, LibISLError>
pub fn order_gt( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_order_gt.
Sourcepub fn order_le(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32,
) -> Result<Map, LibISLError>
pub fn order_le( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_order_le.
Sourcepub fn order_lt(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32,
) -> Result<Map, LibISLError>
pub fn order_lt( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_order_lt.
Sourcepub fn params(self) -> Result<Set, LibISLError>
pub fn params(self) -> Result<Set, LibISLError>
Wraps isl_map_params.
Sourcepub fn plain_get_val_if_fixed(
&self,
type_: DimType,
pos: u32,
) -> Result<Val, LibISLError>
pub fn plain_get_val_if_fixed( &self, type_: DimType, pos: u32, ) -> Result<Val, LibISLError>
Wraps isl_map_plain_get_val_if_fixed.
Sourcepub fn plain_is_empty(&self) -> Result<bool, LibISLError>
pub fn plain_is_empty(&self) -> Result<bool, LibISLError>
Wraps isl_map_plain_is_empty.
Sourcepub fn plain_is_equal(&self, map2: &Map) -> Result<bool, LibISLError>
pub fn plain_is_equal(&self, map2: &Map) -> Result<bool, LibISLError>
Wraps isl_map_plain_is_equal.
Sourcepub fn plain_is_injective(&self) -> Result<bool, LibISLError>
pub fn plain_is_injective(&self) -> Result<bool, LibISLError>
Wraps isl_map_plain_is_injective.
Sourcepub fn plain_is_single_valued(&self) -> Result<bool, LibISLError>
pub fn plain_is_single_valued(&self) -> Result<bool, LibISLError>
Wraps isl_map_plain_is_single_valued.
Sourcepub fn plain_is_universe(&self) -> Result<bool, LibISLError>
pub fn plain_is_universe(&self) -> Result<bool, LibISLError>
Wraps isl_map_plain_is_universe.
Sourcepub fn plain_unshifted_simple_hull(self) -> Result<BasicMap, LibISLError>
pub fn plain_unshifted_simple_hull(self) -> Result<BasicMap, LibISLError>
Wraps isl_map_plain_unshifted_simple_hull.
Sourcepub fn polyhedral_hull(self) -> Result<BasicMap, LibISLError>
pub fn polyhedral_hull(self) -> Result<BasicMap, LibISLError>
Wraps isl_map_polyhedral_hull.
Sourcepub fn preimage_domain_multi_aff(self, ma: MultiAff) -> Result<Map, LibISLError>
pub fn preimage_domain_multi_aff(self, ma: MultiAff) -> Result<Map, LibISLError>
Wraps isl_map_preimage_domain_multi_aff.
Sourcepub fn preimage_domain_multi_pw_aff(
self,
mpa: MultiPwAff,
) -> Result<Map, LibISLError>
pub fn preimage_domain_multi_pw_aff( self, mpa: MultiPwAff, ) -> Result<Map, LibISLError>
Wraps isl_map_preimage_domain_multi_pw_aff.
Sourcepub fn preimage_domain_pw_multi_aff(
self,
pma: PwMultiAff,
) -> Result<Map, LibISLError>
pub fn preimage_domain_pw_multi_aff( self, pma: PwMultiAff, ) -> Result<Map, LibISLError>
Wraps isl_map_preimage_domain_pw_multi_aff.
Sourcepub fn preimage_range_multi_aff(self, ma: MultiAff) -> Result<Map, LibISLError>
pub fn preimage_range_multi_aff(self, ma: MultiAff) -> Result<Map, LibISLError>
Wraps isl_map_preimage_range_multi_aff.
Sourcepub fn preimage_range_pw_multi_aff(
self,
pma: PwMultiAff,
) -> Result<Map, LibISLError>
pub fn preimage_range_pw_multi_aff( self, pma: PwMultiAff, ) -> Result<Map, LibISLError>
Wraps isl_map_preimage_range_pw_multi_aff.
Sourcepub fn project_out(
self,
type_: DimType,
first: u32,
n: u32,
) -> Result<Map, LibISLError>
pub fn project_out( self, type_: DimType, first: u32, n: u32, ) -> Result<Map, LibISLError>
Wraps isl_map_project_out.
Sourcepub fn project_out_all_params(self) -> Result<Map, LibISLError>
pub fn project_out_all_params(self) -> Result<Map, LibISLError>
Wraps isl_map_project_out_all_params.
Sourcepub fn project_out_param_id(self, id: Id) -> Result<Map, LibISLError>
pub fn project_out_param_id(self, id: Id) -> Result<Map, LibISLError>
Wraps isl_map_project_out_param_id.
Sourcepub fn project_out_param_id_list(self, list: IdList) -> Result<Map, LibISLError>
pub fn project_out_param_id_list(self, list: IdList) -> Result<Map, LibISLError>
Wraps isl_map_project_out_param_id_list.
Sourcepub fn range(self) -> Result<Set, LibISLError>
pub fn range(self) -> Result<Set, LibISLError>
Wraps isl_map_range.
Sourcepub fn range_curry(self) -> Result<Map, LibISLError>
pub fn range_curry(self) -> Result<Map, LibISLError>
Wraps isl_map_range_curry.
Sourcepub fn range_factor_domain(self) -> Result<Map, LibISLError>
pub fn range_factor_domain(self) -> Result<Map, LibISLError>
Wraps isl_map_range_factor_domain.
Sourcepub fn range_factor_range(self) -> Result<Map, LibISLError>
pub fn range_factor_range(self) -> Result<Map, LibISLError>
Wraps isl_map_range_factor_range.
Sourcepub fn range_is_wrapping(&self) -> Result<bool, LibISLError>
pub fn range_is_wrapping(&self) -> Result<bool, LibISLError>
Wraps isl_map_range_is_wrapping.
Sourcepub fn range_map(self) -> Result<Map, LibISLError>
pub fn range_map(self) -> Result<Map, LibISLError>
Wraps isl_map_range_map.
Sourcepub fn range_product(self, map2: Map) -> Result<Map, LibISLError>
pub fn range_product(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_range_product.
Sourcepub fn range_reverse(self) -> Result<Map, LibISLError>
pub fn range_reverse(self) -> Result<Map, LibISLError>
Wraps isl_map_range_reverse.
Sourcepub fn range_tuple_dim(&self) -> Result<i32, LibISLError>
pub fn range_tuple_dim(&self) -> Result<i32, LibISLError>
Wraps isl_map_range_tuple_dim.
Sourcepub fn read_from_str(ctx: &Context, str_: &str) -> Result<Map, LibISLError>
pub fn read_from_str(ctx: &Context, str_: &str) -> Result<Map, LibISLError>
Wraps isl_map_read_from_str.
Sourcepub fn remove_dims(
self,
type_: DimType,
first: u32,
n: u32,
) -> Result<Map, LibISLError>
pub fn remove_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Map, LibISLError>
Wraps isl_map_remove_dims.
Sourcepub fn remove_divs(self) -> Result<Map, LibISLError>
pub fn remove_divs(self) -> Result<Map, LibISLError>
Wraps isl_map_remove_divs.
Sourcepub fn remove_divs_involving_dims(
self,
type_: DimType,
first: u32,
n: u32,
) -> Result<Map, LibISLError>
pub fn remove_divs_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Result<Map, LibISLError>
Wraps isl_map_remove_divs_involving_dims.
Sourcepub fn remove_inputs(self, first: u32, n: u32) -> Result<Map, LibISLError>
pub fn remove_inputs(self, first: u32, n: u32) -> Result<Map, LibISLError>
Wraps isl_map_remove_inputs.
Sourcepub fn remove_redundancies(self) -> Result<Map, LibISLError>
pub fn remove_redundancies(self) -> Result<Map, LibISLError>
Wraps isl_map_remove_redundancies.
Sourcepub fn remove_unknown_divs(self) -> Result<Map, LibISLError>
pub fn remove_unknown_divs(self) -> Result<Map, LibISLError>
Wraps isl_map_remove_unknown_divs.
Sourcepub fn reset_tuple_id(self, type_: DimType) -> Result<Map, LibISLError>
pub fn reset_tuple_id(self, type_: DimType) -> Result<Map, LibISLError>
Wraps isl_map_reset_tuple_id.
Sourcepub fn reset_user(self) -> Result<Map, LibISLError>
pub fn reset_user(self) -> Result<Map, LibISLError>
Wraps isl_map_reset_user.
Sourcepub fn reverse(self) -> Result<Map, LibISLError>
pub fn reverse(self) -> Result<Map, LibISLError>
Wraps isl_map_reverse.
Sourcepub fn sample(self) -> Result<BasicMap, LibISLError>
pub fn sample(self) -> Result<BasicMap, LibISLError>
Wraps isl_map_sample.
Sourcepub fn set_dim_id(
self,
type_: DimType,
pos: u32,
id: Id,
) -> Result<Map, LibISLError>
pub fn set_dim_id( self, type_: DimType, pos: u32, id: Id, ) -> Result<Map, LibISLError>
Wraps isl_map_set_dim_id.
Sourcepub fn set_dim_name(
self,
type_: DimType,
pos: u32,
s: &str,
) -> Result<Map, LibISLError>
pub fn set_dim_name( self, type_: DimType, pos: u32, s: &str, ) -> Result<Map, LibISLError>
Wraps isl_map_set_dim_name.
Sourcepub fn set_domain_tuple_id(self, id: Id) -> Result<Map, LibISLError>
pub fn set_domain_tuple_id(self, id: Id) -> Result<Map, LibISLError>
Wraps isl_map_set_domain_tuple_id.
Sourcepub fn set_range_tuple_id(self, id: Id) -> Result<Map, LibISLError>
pub fn set_range_tuple_id(self, id: Id) -> Result<Map, LibISLError>
Wraps isl_map_set_range_tuple_id.
Sourcepub fn set_tuple_id(self, type_: DimType, id: Id) -> Result<Map, LibISLError>
pub fn set_tuple_id(self, type_: DimType, id: Id) -> Result<Map, LibISLError>
Wraps isl_map_set_tuple_id.
Sourcepub fn set_tuple_name(self, type_: DimType, s: &str) -> Result<Map, LibISLError>
pub fn set_tuple_name(self, type_: DimType, s: &str) -> Result<Map, LibISLError>
Wraps isl_map_set_tuple_name.
Sourcepub fn simple_hull(self) -> Result<BasicMap, LibISLError>
pub fn simple_hull(self) -> Result<BasicMap, LibISLError>
Wraps isl_map_simple_hull.
Sourcepub fn subtract_domain(self, dom: Set) -> Result<Map, LibISLError>
pub fn subtract_domain(self, dom: Set) -> Result<Map, LibISLError>
Wraps isl_map_subtract_domain.
Sourcepub fn subtract_range(self, dom: Set) -> Result<Map, LibISLError>
pub fn subtract_range(self, dom: Set) -> Result<Map, LibISLError>
Wraps isl_map_subtract_range.
Sourcepub fn to_list(self) -> Result<MapList, LibISLError>
pub fn to_list(self) -> Result<MapList, LibISLError>
Wraps isl_map_to_list.
Sourcepub fn to_str(&self) -> Result<&str, LibISLError>
pub fn to_str(&self) -> Result<&str, LibISLError>
Wraps isl_map_to_str.
Sourcepub fn to_union_map(self) -> Result<UnionMap, LibISLError>
pub fn to_union_map(self) -> Result<UnionMap, LibISLError>
Wraps isl_map_to_union_map.
Sourcepub fn uncurry(self) -> Result<Map, LibISLError>
pub fn uncurry(self) -> Result<Map, LibISLError>
Wraps isl_map_uncurry.
Sourcepub fn union_disjoint(self, map2: Map) -> Result<Map, LibISLError>
pub fn union_disjoint(self, map2: Map) -> Result<Map, LibISLError>
Wraps isl_map_union_disjoint.
Sourcepub fn unshifted_simple_hull(self) -> Result<BasicMap, LibISLError>
pub fn unshifted_simple_hull(self) -> Result<BasicMap, LibISLError>
Wraps isl_map_unshifted_simple_hull.
Sourcepub fn unshifted_simple_hull_from_map_list(
self,
list: MapList,
) -> Result<BasicMap, LibISLError>
pub fn unshifted_simple_hull_from_map_list( self, list: MapList, ) -> Result<BasicMap, LibISLError>
Wraps isl_map_unshifted_simple_hull_from_map_list.
Sourcepub fn upper_bound_multi_pw_aff(
self,
upper: MultiPwAff,
) -> Result<Map, LibISLError>
pub fn upper_bound_multi_pw_aff( self, upper: MultiPwAff, ) -> Result<Map, LibISLError>
Wraps isl_map_upper_bound_multi_pw_aff.
Sourcepub fn upper_bound_si(
self,
type_: DimType,
pos: u32,
value: i32,
) -> Result<Map, LibISLError>
pub fn upper_bound_si( self, type_: DimType, pos: u32, value: i32, ) -> Result<Map, LibISLError>
Wraps isl_map_upper_bound_si.
Sourcepub fn upper_bound_val(
self,
type_: DimType,
pos: u32,
value: Val,
) -> Result<Map, LibISLError>
pub fn upper_bound_val( self, type_: DimType, pos: u32, value: Val, ) -> Result<Map, LibISLError>
Wraps isl_map_upper_bound_val.
Sourcepub fn wrap(self) -> Result<Set, LibISLError>
pub fn wrap(self) -> Result<Set, LibISLError>
Wraps isl_map_wrap.
Sourcepub fn zip(self) -> Result<Map, LibISLError>
pub fn zip(self) -> Result<Map, LibISLError>
Wraps isl_map_zip.
Sourcepub fn do_not_free_on_drop(&mut self)
pub fn do_not_free_on_drop(&mut self)
Does not call isl_map_free() on being dropped. (For internal use only.)