Struct isl_rs::Map

source · [−]

pub struct Map {
    pub ptr: uintptr_t,
}

Expand description

Wraps isl_map.

Fields

ptr: uintptr_t

Implementations

source

impl Map

source

pub fn domain_tuple_dim(&self) -> i32

Wraps isl_map_domain_tuple_dim.

source

pub fn range_tuple_dim(&self) -> i32

Wraps isl_map_range_tuple_dim.

source

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

Wraps isl_map_dim.

source

pub fn get_ctx(&self) -> Context

Wraps isl_map_get_ctx.

source

pub fn get_space(&self) -> Space

Wraps isl_map_get_space.

source

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

Wraps isl_map_has_tuple_name.

source

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

Wraps isl_map_get_tuple_name.

source

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

Wraps isl_map_set_tuple_name.

source

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

Wraps isl_map_has_dim_name.

source

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

Wraps isl_map_get_dim_name.

source

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

Wraps isl_map_set_dim_name.

source

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

Wraps isl_map_set_dim_id.

source

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

Wraps isl_map_has_dim_id.

source

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

Wraps isl_map_get_dim_id.

source

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

Wraps isl_map_set_domain_tuple_id.

source

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

Wraps isl_map_set_range_tuple_id.

source

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

Wraps isl_map_set_tuple_id.

source

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

Wraps isl_map_reset_tuple_id.

source

pub fn has_domain_tuple_id(&self) -> bool

Wraps isl_map_has_domain_tuple_id.

source

pub fn has_range_tuple_id(&self) -> bool

Wraps isl_map_has_range_tuple_id.

source

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

Wraps isl_map_has_tuple_id.

source

pub fn get_domain_tuple_id(&self) -> Id

Wraps isl_map_get_domain_tuple_id.

source

pub fn get_range_tuple_id(&self) -> Id

Wraps isl_map_get_range_tuple_id.

source

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

Wraps isl_map_get_tuple_id.

source

pub fn reset_user(self) -> Map

Wraps isl_map_reset_user.

source

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

Wraps isl_map_find_dim_by_id.

source

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

Wraps isl_map_find_dim_by_name.

source

pub fn remove_redundancies(self) -> Map

Wraps isl_map_remove_redundancies.

source

pub fn simple_hull(self) -> BasicMap

Wraps isl_map_simple_hull.

source

pub fn unshifted_simple_hull(self) -> BasicMap

Wraps isl_map_unshifted_simple_hull.

source

pub fn plain_unshifted_simple_hull(self) -> BasicMap

Wraps isl_map_plain_unshifted_simple_hull.

source

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

Wraps isl_map_read_from_str.

source

pub fn dump(&self)

Wraps isl_map_dump.

source

pub fn to_str(&self) -> &str

Wraps isl_map_to_str.

source

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

Wraps isl_map_sum.

source

pub fn neg(self) -> Map

Wraps isl_map_neg.

source

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

Wraps isl_map_floordiv_val.

source

pub fn lexmin(self) -> Map

Wraps isl_map_lexmin.

source

pub fn lexmax(self) -> Map

Wraps isl_map_lexmax.

source

pub fn universe(space: Space) -> Map

Wraps isl_map_universe.

source

pub fn nat_universe(space: Space) -> Map

Wraps isl_map_nat_universe.

source

pub fn empty(space: Space) -> Map

Wraps isl_map_empty.

source

pub fn identity(space: Space) -> Map

Wraps isl_map_identity.

source

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

Wraps isl_map_lex_lt_first.

source

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

Wraps isl_map_lex_le_first.

source

pub fn lex_lt(set_space: Space) -> Map

Wraps isl_map_lex_lt.

source

pub fn lex_le(set_space: Space) -> Map

Wraps isl_map_lex_le.

source

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

Wraps isl_map_lex_gt_first.

source

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

Wraps isl_map_lex_ge_first.

source

pub fn lex_gt(set_space: Space) -> Map

Wraps isl_map_lex_gt.

source

pub fn lex_ge(set_space: Space) -> Map

Wraps isl_map_lex_ge.

source

pub fn free(self) -> Map

Wraps isl_map_free.

source

pub fn copy(&self) -> Map

Wraps isl_map_copy.

source

pub fn reverse(self) -> Map

Wraps isl_map_reverse.

source

pub fn range_reverse(self) -> Map

Wraps isl_map_range_reverse.

source

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

Wraps isl_map_union.

source

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

Wraps isl_map_union_disjoint.

source

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

Wraps isl_map_intersect_domain.

source

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

Wraps isl_map_intersect_range.

source

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

Wraps isl_map_intersect_domain_factor_domain.

source

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

Wraps isl_map_intersect_domain_factor_range.

source

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

Wraps isl_map_intersect_range_factor_domain.

source

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

Wraps isl_map_intersect_range_factor_range.

source

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

Wraps isl_map_intersect_domain_wrapped_domain.

source

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

Wraps isl_map_intersect_range_wrapped_domain.

source

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

Wraps isl_map_apply_domain.

source

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

Wraps isl_map_apply_range.

source

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

Wraps isl_map_product.

source

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

Wraps isl_map_domain_product.

source

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

Wraps isl_map_range_product.

source

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

Wraps isl_map_flat_product.

source

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

Wraps isl_map_flat_domain_product.

source

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

Wraps isl_map_flat_range_product.

source

pub fn domain_is_wrapping(&self) -> bool

Wraps isl_map_domain_is_wrapping.

source

pub fn range_is_wrapping(&self) -> bool

Wraps isl_map_range_is_wrapping.

source

pub fn is_product(&self) -> bool

Wraps isl_map_is_product.

source

pub fn factor_domain(self) -> Map

Wraps isl_map_factor_domain.

source

pub fn factor_range(self) -> Map

Wraps isl_map_factor_range.

source

pub fn domain_factor_domain(self) -> Map

Wraps isl_map_domain_factor_domain.

source

pub fn domain_factor_range(self) -> Map

Wraps isl_map_domain_factor_range.

source

pub fn range_factor_domain(self) -> Map

Wraps isl_map_range_factor_domain.

source

pub fn range_factor_range(self) -> Map

Wraps isl_map_range_factor_range.

source

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

Wraps isl_map_intersect.

source

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

Wraps isl_map_intersect_params.

source

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

Wraps isl_map_subtract.

source

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

Wraps isl_map_subtract_domain.

source

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

Wraps isl_map_subtract_range.

source

pub fn complement(self) -> Map

Wraps isl_map_complement.

source

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

Wraps isl_map_fix_input_si.

source

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

Wraps isl_map_fix_si.

source

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

Wraps isl_map_fix_val.

source

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

Wraps isl_map_lower_bound_si.

source

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

Wraps isl_map_lower_bound_val.

source

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

Wraps isl_map_upper_bound_si.

source

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

Wraps isl_map_upper_bound_val.

source

pub fn deltas(self) -> Set

Wraps isl_map_deltas.

source

pub fn deltas_map(self) -> Map

Wraps isl_map_deltas_map.

source

pub fn detect_equalities(self) -> Map

Wraps isl_map_detect_equalities.

source

pub fn affine_hull(self) -> BasicMap

Wraps isl_map_affine_hull.

source

pub fn convex_hull(self) -> BasicMap

Wraps isl_map_convex_hull.

source

pub fn polyhedral_hull(self) -> BasicMap

Wraps isl_map_polyhedral_hull.

source

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

Wraps isl_map_add_dims.

source

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

Wraps isl_map_insert_dims.

source

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.

source

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

Wraps isl_map_project_out.

source

pub fn project_out_all_params(self) -> Map

Wraps isl_map_project_out_all_params.

source

pub fn remove_unknown_divs(self) -> Map

Wraps isl_map_remove_unknown_divs.

source

pub fn remove_divs(self) -> Map

Wraps isl_map_remove_divs.

source

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

Wraps isl_map_eliminate.

source

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

Wraps isl_map_remove_dims.

source

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

Wraps isl_map_remove_divs_involving_dims.

source

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

Wraps isl_map_remove_inputs.

source

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

Wraps isl_map_order_ge.

source

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

Wraps isl_map_order_le.

source

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

Wraps isl_map_equate.

source

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

Wraps isl_map_oppose.

source

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

Wraps isl_map_order_lt.

source

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

Wraps isl_map_order_gt.

source

pub fn wrap(self) -> Set

Wraps isl_map_wrap.

source

pub fn flatten(self) -> Map

Wraps isl_map_flatten.

source

pub fn flatten_domain(self) -> Map

Wraps isl_map_flatten_domain.

source

pub fn flatten_range(self) -> Map

Wraps isl_map_flatten_range.

source

pub fn params(self) -> Set

Wraps isl_map_params.

source

pub fn domain(self) -> Set

Wraps isl_map_domain.

source

pub fn range(self) -> Set

Wraps isl_map_range.

source

pub fn domain_map(self) -> Map

Wraps isl_map_domain_map.

source

pub fn range_map(self) -> Map

Wraps isl_map_range_map.

source

pub fn from_basic_map(bmap: BasicMap) -> Map

Wraps isl_map_from_basic_map.

source

pub fn from_domain(set: Set) -> Map

Wraps isl_map_from_domain.

source

pub fn from_range(set: Set) -> Map

Wraps isl_map_from_range.

source

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

Wraps isl_map_from_domain_and_range.

source

pub fn sample(self) -> BasicMap

Wraps isl_map_sample.

source

pub fn plain_is_empty(&self) -> bool

Wraps isl_map_plain_is_empty.

source

pub fn plain_is_universe(&self) -> bool

Wraps isl_map_plain_is_universe.

source

pub fn is_empty(&self) -> bool

Wraps isl_map_is_empty.

source

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

Wraps isl_map_is_subset.

source

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

Wraps isl_map_is_strict_subset.

source

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

Wraps isl_map_is_equal.

source

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

Wraps isl_map_is_disjoint.

source

pub fn plain_is_single_valued(&self) -> bool

Wraps isl_map_plain_is_single_valued.

source

pub fn is_single_valued(&self) -> bool

Wraps isl_map_is_single_valued.

source

pub fn plain_is_injective(&self) -> bool

Wraps isl_map_plain_is_injective.

source

pub fn is_injective(&self) -> bool

Wraps isl_map_is_injective.

source

pub fn is_bijective(&self) -> bool

Wraps isl_map_is_bijective.

source

pub fn is_identity(&self) -> bool

Wraps isl_map_is_identity.

source

pub fn is_translation(&self) -> i32

Wraps isl_map_is_translation.

source

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

Wraps isl_map_has_equal_space.

source

pub fn can_zip(&self) -> bool

Wraps isl_map_can_zip.

source

pub fn zip(self) -> Map

Wraps isl_map_zip.

source

pub fn can_curry(&self) -> bool

Wraps isl_map_can_curry.

source

pub fn curry(self) -> Map

Wraps isl_map_curry.

source

pub fn can_range_curry(&self) -> bool

Wraps isl_map_can_range_curry.

source

pub fn range_curry(self) -> Map

Wraps isl_map_range_curry.

source

pub fn can_uncurry(&self) -> bool

Wraps isl_map_can_uncurry.

source

pub fn uncurry(self) -> Map

Wraps isl_map_uncurry.

source

pub fn make_disjoint(self) -> Map

Wraps isl_map_make_disjoint.

source

pub fn compute_divs(self) -> Map

Wraps isl_map_compute_divs.

source

pub fn align_divs(self) -> Map

Wraps isl_map_align_divs.

source

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

Wraps isl_map_drop_constraints_involving_dims.

source

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

Wraps isl_map_drop_constraints_not_involving_dims.

source

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

Wraps isl_map_involves_dims.

source

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

Wraps isl_map_plain_get_val_if_fixed.

source

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

Wraps isl_map_gist.

source

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

Wraps isl_map_gist_domain.

source

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

Wraps isl_map_gist_range.

source

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

Wraps isl_map_gist_params.

source

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

Wraps isl_map_gist_basic_map.

source

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

Wraps isl_map_get_range_stride_info.

source

pub fn get_range_lattice_tile(&self) -> FixedBox

Wraps isl_map_get_range_lattice_tile.

source

pub fn get_range_simple_fixed_box_hull(&self) -> FixedBox

Wraps isl_map_get_range_simple_fixed_box_hull.

source

pub fn coalesce(self) -> Map

Wraps isl_map_coalesce.

source

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

Wraps isl_map_plain_is_equal.

source

pub fn get_hash(&self) -> u32

Wraps isl_map_get_hash.

source

pub fn n_basic_map(&self) -> i32

Wraps isl_map_n_basic_map.

source

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

Wraps isl_map_fixed_power_val.

source

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

Wraps isl_map_lex_le_map.

source

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

Wraps isl_map_lex_lt_map.

source

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

Wraps isl_map_lex_ge_map.

source

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

Wraps isl_map_lex_gt_map.

source

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

Wraps isl_map_align_params.

source

pub fn drop_unused_params(self) -> Map

Wraps isl_map_drop_unused_params.

source

pub fn from_aff(aff: Aff) -> Map

Wraps isl_map_from_aff.

source

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

Wraps isl_map_dim_min.

source

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

Wraps isl_map_dim_max.

Trait Implementations

source

impl Drop for Map

source

fn drop(&mut self)

Executes the destructor for this type. Read more

Auto Trait Implementations

impl RefUnwindSafe for Map

impl Send for Map

impl Sync for Map

impl Unpin for Map

impl UnwindSafe for Map

Blanket Implementations

source

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

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

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

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

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

const: unstable · source

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

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

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

const: unstable · 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 for Twhere
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

source

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

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.