Struct Map

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

Wraps isl_map.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl Map

pub fn domain_tuple_dim(&self) -> i32

Wraps isl_map_domain_tuple_dim.

pub fn range_tuple_dim(&self) -> i32

Wraps isl_map_range_tuple_dim.

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

Wraps isl_map_dim.

pub fn get_ctx(&self) -> Context

Wraps isl_map_get_ctx.

pub fn get_space(&self) -> Space

Wraps isl_map_get_space.

pub fn has_tuple_name(&self, type_: DimType) -> bool

Wraps isl_map_has_tuple_name.

pub fn get_tuple_name(&self, type_: DimType) -> &str

Wraps isl_map_get_tuple_name.

pub fn set_tuple_name(self, type_: DimType, s: &str) -> Map

Wraps isl_map_set_tuple_name.

pub fn has_dim_name(&self, type_: DimType, pos: u32) -> bool

Wraps isl_map_has_dim_name.

pub fn get_dim_name(&self, type_: DimType, pos: u32) -> &str

Wraps isl_map_get_dim_name.

pub fn set_dim_name(self, type_: DimType, pos: u32, s: &str) -> Map

Wraps isl_map_set_dim_name.

pub fn set_dim_id(self, type_: DimType, pos: u32, id: Id) -> Map

Wraps isl_map_set_dim_id.

pub fn has_dim_id(&self, type_: DimType, pos: u32) -> bool

Wraps isl_map_has_dim_id.

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

Wraps isl_map_get_dim_id.

pub fn set_domain_tuple_id(self, id: Id) -> Map

Wraps isl_map_set_domain_tuple_id.

pub fn set_range_tuple_id(self, id: Id) -> Map

Wraps isl_map_set_range_tuple_id.

pub fn set_tuple_id(self, type_: DimType, id: Id) -> Map

Wraps isl_map_set_tuple_id.

pub fn reset_tuple_id(self, type_: DimType) -> Map

Wraps isl_map_reset_tuple_id.

pub fn has_domain_tuple_id(&self) -> bool

Wraps isl_map_has_domain_tuple_id.

pub fn has_range_tuple_id(&self) -> bool

Wraps isl_map_has_range_tuple_id.

pub fn has_tuple_id(&self, type_: DimType) -> bool

Wraps isl_map_has_tuple_id.

pub fn get_domain_tuple_id(&self) -> Id

Wraps isl_map_get_domain_tuple_id.

pub fn get_range_tuple_id(&self) -> Id

Wraps isl_map_get_range_tuple_id.

pub fn get_tuple_id(&self, type_: DimType) -> Id

Wraps isl_map_get_tuple_id.

pub fn reset_user(self) -> Map

Wraps isl_map_reset_user.

pub fn find_dim_by_id(&self, type_: DimType, id: &Id) -> i32

Wraps isl_map_find_dim_by_id.

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

Wraps isl_map_find_dim_by_name.

pub fn remove_redundancies(self) -> Map

Wraps isl_map_remove_redundancies.

pub fn simple_hull(self) -> BasicMap

Wraps isl_map_simple_hull.

pub fn unshifted_simple_hull(self) -> BasicMap

Wraps isl_map_unshifted_simple_hull.

pub fn plain_unshifted_simple_hull(self) -> BasicMap

Wraps isl_map_plain_unshifted_simple_hull.

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

Wraps isl_map_read_from_str.

pub fn dump(&self)

Wraps isl_map_dump.

pub fn to_str(&self) -> &str

Wraps isl_map_to_str.

pub fn sum(self, map2: Map) -> Map

Wraps isl_map_sum.

pub fn neg(self) -> Map

Wraps isl_map_neg.

pub fn floordiv_val(self, d: Val) -> Map

Wraps isl_map_floordiv_val.

pub fn lexmin(self) -> Map

Wraps isl_map_lexmin.

pub fn lexmax(self) -> Map

Wraps isl_map_lexmax.

pub fn universe(space: Space) -> Map

Wraps isl_map_universe.

pub fn nat_universe(space: Space) -> Map

Wraps isl_map_nat_universe.

pub fn empty(space: Space) -> Map

Wraps isl_map_empty.

pub fn identity(space: Space) -> Map

Wraps isl_map_identity.

pub fn lex_lt_first(space: Space, n: u32) -> Map

Wraps isl_map_lex_lt_first.

pub fn lex_le_first(space: Space, n: u32) -> Map

Wraps isl_map_lex_le_first.

pub fn lex_lt(set_space: Space) -> Map

Wraps isl_map_lex_lt.

pub fn lex_le(set_space: Space) -> Map

Wraps isl_map_lex_le.

pub fn lex_gt_first(space: Space, n: u32) -> Map

Wraps isl_map_lex_gt_first.

pub fn lex_ge_first(space: Space, n: u32) -> Map

Wraps isl_map_lex_ge_first.

pub fn lex_gt(set_space: Space) -> Map

Wraps isl_map_lex_gt.

pub fn lex_ge(set_space: Space) -> Map

Wraps isl_map_lex_ge.

pub fn free(self) -> Map

Wraps isl_map_free.

pub fn copy(&self) -> Map

Wraps isl_map_copy.

pub fn reverse(self) -> Map

Wraps isl_map_reverse.

pub fn range_reverse(self) -> Map

Wraps isl_map_range_reverse.

pub fn union(self, map2: Map) -> Map

Wraps isl_map_union.

pub fn union_disjoint(self, map2: Map) -> Map

Wraps isl_map_union_disjoint.

pub fn intersect_domain(self, set: Set) -> Map

Wraps isl_map_intersect_domain.

pub fn intersect_range(self, set: Set) -> Map

Wraps isl_map_intersect_range.

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

Wraps isl_map_intersect_domain_factor_domain.

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

Wraps isl_map_intersect_domain_factor_range.

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

Wraps isl_map_intersect_range_factor_domain.

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

Wraps isl_map_intersect_range_factor_range.

pub fn intersect_domain_wrapped_domain(self, domain: Set) -> Map

Wraps isl_map_intersect_domain_wrapped_domain.

pub fn intersect_range_wrapped_domain(self, domain: Set) -> Map

Wraps isl_map_intersect_range_wrapped_domain.

pub fn apply_domain(self, map2: Map) -> Map

Wraps isl_map_apply_domain.

pub fn apply_range(self, map2: Map) -> Map

Wraps isl_map_apply_range.

pub fn product(self, map2: Map) -> Map

Wraps isl_map_product.

pub fn domain_product(self, map2: Map) -> Map

Wraps isl_map_domain_product.

pub fn range_product(self, map2: Map) -> Map

Wraps isl_map_range_product.

pub fn flat_product(self, map2: Map) -> Map

Wraps isl_map_flat_product.

pub fn flat_domain_product(self, map2: Map) -> Map

Wraps isl_map_flat_domain_product.

pub fn flat_range_product(self, map2: Map) -> Map

Wraps isl_map_flat_range_product.

pub fn domain_is_wrapping(&self) -> bool

Wraps isl_map_domain_is_wrapping.

pub fn range_is_wrapping(&self) -> bool

Wraps isl_map_range_is_wrapping.

pub fn is_product(&self) -> bool

Wraps isl_map_is_product.

pub fn factor_domain(self) -> Map

Wraps isl_map_factor_domain.

pub fn factor_range(self) -> Map

Wraps isl_map_factor_range.

pub fn domain_factor_domain(self) -> Map

Wraps isl_map_domain_factor_domain.

pub fn domain_factor_range(self) -> Map

Wraps isl_map_domain_factor_range.

pub fn range_factor_domain(self) -> Map

Wraps isl_map_range_factor_domain.

pub fn range_factor_range(self) -> Map

Wraps isl_map_range_factor_range.

pub fn intersect(self, map2: Map) -> Map

Wraps isl_map_intersect.

pub fn intersect_params(self, params: Set) -> Map

Wraps isl_map_intersect_params.

pub fn subtract(self, map2: Map) -> Map

Wraps isl_map_subtract.

pub fn subtract_domain(self, dom: Set) -> Map

Wraps isl_map_subtract_domain.

pub fn subtract_range(self, dom: Set) -> Map

Wraps isl_map_subtract_range.

pub fn complement(self) -> Map

Wraps isl_map_complement.

pub fn fix_input_si(self, input: u32, value: i32) -> Map

Wraps isl_map_fix_input_si.

pub fn fix_si(self, type_: DimType, pos: u32, value: i32) -> Map

Wraps isl_map_fix_si.

pub fn fix_val(self, type_: DimType, pos: u32, v: Val) -> Map

Wraps isl_map_fix_val.

pub fn lower_bound_si(self, type_: DimType, pos: u32, value: i32) -> Map

Wraps isl_map_lower_bound_si.

pub fn lower_bound_val(self, type_: DimType, pos: u32, value: Val) -> Map

Wraps isl_map_lower_bound_val.

pub fn upper_bound_si(self, type_: DimType, pos: u32, value: i32) -> Map

Wraps isl_map_upper_bound_si.

pub fn upper_bound_val(self, type_: DimType, pos: u32, value: Val) -> Map

Wraps isl_map_upper_bound_val.

pub fn deltas(self) -> Set

Wraps isl_map_deltas.

pub fn deltas_map(self) -> Map

Wraps isl_map_deltas_map.

pub fn detect_equalities(self) -> Map

Wraps isl_map_detect_equalities.

pub fn affine_hull(self) -> BasicMap

Wraps isl_map_affine_hull.

pub fn convex_hull(self) -> BasicMap

Wraps isl_map_convex_hull.

pub fn polyhedral_hull(self) -> BasicMap

Wraps isl_map_polyhedral_hull.

pub fn add_dims(self, type_: DimType, n: u32) -> Map

Wraps isl_map_add_dims.

pub fn insert_dims(self, type_: DimType, pos: u32, n: u32) -> Map

Wraps isl_map_insert_dims.

pub fn move_dims( self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32, n: u32, ) -> Map

Wraps isl_map_move_dims.

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

Wraps isl_map_project_out.

pub fn project_out_all_params(self) -> Map

Wraps isl_map_project_out_all_params.

pub fn remove_unknown_divs(self) -> Map

Wraps isl_map_remove_unknown_divs.

pub fn remove_divs(self) -> Map

Wraps isl_map_remove_divs.

pub fn eliminate(self, type_: DimType, first: u32, n: u32) -> Map

Wraps isl_map_eliminate.

pub fn remove_dims(self, type_: DimType, first: u32, n: u32) -> Map

Wraps isl_map_remove_dims.

pub fn remove_divs_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Map

Wraps isl_map_remove_divs_involving_dims.

pub fn remove_inputs(self, first: u32, n: u32) -> Map

Wraps isl_map_remove_inputs.

pub fn order_ge( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Map

Wraps isl_map_order_ge.

pub fn order_le( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Map

Wraps isl_map_order_le.

pub fn equate(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32) -> Map

Wraps isl_map_equate.

pub fn oppose(self, type1: DimType, pos1: i32, type2: DimType, pos2: i32) -> Map

Wraps isl_map_oppose.

pub fn order_lt( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Map

Wraps isl_map_order_lt.

pub fn order_gt( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32, ) -> Map

Wraps isl_map_order_gt.

pub fn wrap(self) -> Set

Wraps isl_map_wrap.

pub fn flatten(self) -> Map

Wraps isl_map_flatten.

pub fn flatten_domain(self) -> Map

Wraps isl_map_flatten_domain.

pub fn flatten_range(self) -> Map

Wraps isl_map_flatten_range.

pub fn params(self) -> Set

Wraps isl_map_params.

pub fn domain(self) -> Set

Wraps isl_map_domain.

pub fn range(self) -> Set

Wraps isl_map_range.

pub fn domain_map(self) -> Map

Wraps isl_map_domain_map.

pub fn range_map(self) -> Map

Wraps isl_map_range_map.

pub fn from_basic_map(bmap: BasicMap) -> Map

Wraps isl_map_from_basic_map.

pub fn from_domain(set: Set) -> Map

Wraps isl_map_from_domain.

pub fn from_range(set: Set) -> Map

Wraps isl_map_from_range.

pub fn from_domain_and_range(domain: Set, range: Set) -> Map

Wraps isl_map_from_domain_and_range.

pub fn sample(self) -> BasicMap

Wraps isl_map_sample.

pub fn plain_is_empty(&self) -> bool

Wraps isl_map_plain_is_empty.

pub fn plain_is_universe(&self) -> bool

Wraps isl_map_plain_is_universe.

pub fn is_empty(&self) -> bool

Wraps isl_map_is_empty.

pub fn is_subset(&self, map2: &Map) -> bool

Wraps isl_map_is_subset.

pub fn is_strict_subset(&self, map2: &Map) -> bool

Wraps isl_map_is_strict_subset.

pub fn is_equal(&self, map2: &Map) -> bool

Wraps isl_map_is_equal.

pub fn is_disjoint(&self, map2: &Map) -> bool

Wraps isl_map_is_disjoint.

pub fn plain_is_single_valued(&self) -> bool

Wraps isl_map_plain_is_single_valued.

pub fn is_single_valued(&self) -> bool

Wraps isl_map_is_single_valued.

pub fn plain_is_injective(&self) -> bool

Wraps isl_map_plain_is_injective.

pub fn is_injective(&self) -> bool

Wraps isl_map_is_injective.

pub fn is_bijective(&self) -> bool

Wraps isl_map_is_bijective.

pub fn is_identity(&self) -> bool

Wraps isl_map_is_identity.

pub fn is_translation(&self) -> i32

Wraps isl_map_is_translation.

pub fn has_equal_space(&self, map2: &Map) -> bool

Wraps isl_map_has_equal_space.

pub fn can_zip(&self) -> bool

Wraps isl_map_can_zip.

pub fn zip(self) -> Map

Wraps isl_map_zip.

pub fn can_curry(&self) -> bool

Wraps isl_map_can_curry.

pub fn curry(self) -> Map

Wraps isl_map_curry.

pub fn can_range_curry(&self) -> bool

Wraps isl_map_can_range_curry.

pub fn range_curry(self) -> Map

Wraps isl_map_range_curry.

pub fn can_uncurry(&self) -> bool

Wraps isl_map_can_uncurry.

pub fn uncurry(self) -> Map

Wraps isl_map_uncurry.

pub fn make_disjoint(self) -> Map

Wraps isl_map_make_disjoint.

pub fn compute_divs(self) -> Map

Wraps isl_map_compute_divs.

pub fn align_divs(self) -> Map

Wraps isl_map_align_divs.

pub fn drop_constraints_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Map

Wraps isl_map_drop_constraints_involving_dims.

pub fn drop_constraints_not_involving_dims( self, type_: DimType, first: u32, n: u32, ) -> Map

Wraps isl_map_drop_constraints_not_involving_dims.

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

Wraps isl_map_involves_dims.

pub fn plain_get_val_if_fixed(&self, type_: DimType, pos: u32) -> Val

Wraps isl_map_plain_get_val_if_fixed.

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

Wraps isl_map_gist.

pub fn gist_domain(self, context: Set) -> Map

Wraps isl_map_gist_domain.

pub fn gist_range(self, context: Set) -> Map

Wraps isl_map_gist_range.

pub fn gist_params(self, context: Set) -> Map

Wraps isl_map_gist_params.

pub fn gist_basic_map(self, context: BasicMap) -> Map

Wraps isl_map_gist_basic_map.

pub fn get_range_stride_info(&self, pos: i32) -> StrideInfo

Wraps isl_map_get_range_stride_info.

pub fn get_range_lattice_tile(&self) -> FixedBox

Wraps isl_map_get_range_lattice_tile.

pub fn get_range_simple_fixed_box_hull(&self) -> FixedBox

Wraps isl_map_get_range_simple_fixed_box_hull.

pub fn coalesce(self) -> Map

Wraps isl_map_coalesce.

pub fn plain_is_equal(&self, map2: &Map) -> bool

Wraps isl_map_plain_is_equal.

pub fn get_hash(&self) -> u32

Wraps isl_map_get_hash.

pub fn n_basic_map(&self) -> i32

Wraps isl_map_n_basic_map.

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

Wraps isl_map_fixed_power_val.

pub fn lex_le_map(self, map2: Map) -> Map

Wraps isl_map_lex_le_map.

pub fn lex_lt_map(self, map2: Map) -> Map

Wraps isl_map_lex_lt_map.

pub fn lex_ge_map(self, map2: Map) -> Map

Wraps isl_map_lex_ge_map.

pub fn lex_gt_map(self, map2: Map) -> Map

Wraps isl_map_lex_gt_map.

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

Wraps isl_map_align_params.

pub fn drop_unused_params(self) -> Map

Wraps isl_map_drop_unused_params.

pub fn from_aff(aff: Aff) -> Map

Wraps isl_map_from_aff.

pub fn dim_min(self, pos: i32) -> PwAff

Wraps isl_map_dim_min.

pub fn dim_max(self, pos: i32) -> PwAff

Wraps isl_map_dim_max.

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations

impl Drop for Map

fn drop(&mut self)

Executes the destructor for this type.