Struct Space

Source
pub struct Space {
    pub ptr: uintptr_t,
    pub should_free_on_drop: bool,
}
Expand description

Wraps isl_space.

Fields§

§ptr: uintptr_t§should_free_on_drop: bool

Implementations§

Source§

impl Space

Source

pub fn dump(&self)

Wraps isl_space_dump.

Source

pub fn params(self) -> Space

Wraps isl_space_params.

Source

pub fn range_product(self, right: Space) -> Space

Wraps isl_space_range_product.

Source

pub fn add_param_id(self, id: Id) -> Space

Wraps isl_space_add_param_id.

Source

pub fn align_params(self, space2: Space) -> Space

Wraps isl_space_align_params.

Source

pub fn multi_val(self, list: ValList) -> MultiVal

Wraps isl_space_multi_val.

Source

pub fn has_domain_tuple_id(&self) -> bool

Wraps isl_space_has_domain_tuple_id.

Source

pub fn domain_map_pw_multi_aff(self) -> PwMultiAff

Wraps isl_space_domain_map_pw_multi_aff.

Source

pub fn params_alloc(ctx: &Context, nparam: u32) -> Space

Wraps isl_space_params_alloc.

Source

pub fn can_range_curry(&self) -> bool

Wraps isl_space_can_range_curry.

Source

pub fn domain_is_wrapping(&self) -> bool

Wraps isl_space_domain_is_wrapping.

Source

pub fn multi_aff_on_domain_multi_val(self, mv: MultiVal) -> MultiAff

Wraps isl_space_multi_aff_on_domain_multi_val.

Source

pub fn drop_outputs(self, first: u32, n: u32) -> Space

Wraps isl_space_drop_outputs.

Source

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

Wraps isl_space_get_tuple_id.

Source

pub fn multi_id(self, list: IdList) -> MultiId

Wraps isl_space_multi_id.

Source

pub fn multi_aff(self, list: AffList) -> MultiAff

Wraps isl_space_multi_aff.

Source

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

Wraps isl_space_find_dim_by_id.

Source

pub fn set_alloc(ctx: &Context, nparam: u32, dim: u32) -> Space

Wraps isl_space_set_alloc.

Source

pub fn product(self, right: Space) -> Space

Wraps isl_space_product.

Source

pub fn drop_inputs(self, first: u32, n: u32) -> Space

Wraps isl_space_drop_inputs.

Source

pub fn can_curry(&self) -> bool

Wraps isl_space_can_curry.

Source

pub fn is_params(&self) -> bool

Wraps isl_space_is_params.

Source

pub fn identity_pw_multi_aff_on_domain(self) -> PwMultiAff

Wraps isl_space_identity_pw_multi_aff_on_domain.

Source

pub fn join(self, right: Space) -> Space

Wraps isl_space_join.

Source

pub fn zero_multi_val(self) -> MultiVal

Wraps isl_space_zero_multi_val.

Source

pub fn free(self) -> Space

Wraps isl_space_free.

Source

pub fn drop_all_params(self) -> Space

Wraps isl_space_drop_all_params.

Source

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

Wraps isl_space_add_dims.

Source

pub fn add_named_tuple_id_ui(self, tuple_id: Id, dim: u32) -> Space

Wraps isl_space_add_named_tuple_id_ui.

Source

pub fn range_map_pw_multi_aff(self) -> PwMultiAff

Wraps isl_space_range_map_pw_multi_aff.

Source

pub fn get_domain_tuple_id(&self) -> Id

Wraps isl_space_get_domain_tuple_id.

Source

pub fn factor_range(self) -> Space

Wraps isl_space_factor_range.

Source

pub fn set_from_params(self) -> Space

Wraps isl_space_set_from_params.

Source

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

Wraps isl_space_set_tuple_id.

Source

pub fn reverse(self) -> Space

Wraps isl_space_reverse.

Source

pub fn get_ctx(&self) -> Context

Wraps isl_space_get_ctx.

Source

pub fn alloc(ctx: &Context, nparam: u32, n_in: u32, n_out: u32) -> Space

Wraps isl_space_alloc.

Source

pub fn identity_multi_aff_on_domain(self) -> MultiAff

Wraps isl_space_identity_multi_aff_on_domain.

Source

pub fn map_from_domain_and_range(self, range: Space) -> Space

Wraps isl_space_map_from_domain_and_range.

Source

pub fn domain_wrapped_domain(self) -> Space

Wraps isl_space_domain_wrapped_domain.

Source

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

Wraps isl_space_insert_dims.

Source

pub fn zip(self) -> Space

Wraps isl_space_zip.

Source

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

Wraps isl_space_set_dim_id.

Source

pub fn unit(ctx: &Context) -> Space

Wraps isl_space_unit.

Source

pub fn tuple_is_equal( &self, type1: DimType, space2: &Space, type2: DimType, ) -> bool

Wraps isl_space_tuple_is_equal.

Source

pub fn domain_factor_range(self) -> Space

Wraps isl_space_domain_factor_range.

Source

pub fn range_is_wrapping(&self) -> bool

Wraps isl_space_range_is_wrapping.

Source

pub fn drop_dims(self, type_: DimType, first: u32, num: u32) -> Space

Wraps isl_space_drop_dims.

Source

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

Wraps isl_space_set_dim_name.

Source

pub fn is_product(&self) -> bool

Wraps isl_space_is_product.

Source

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

Wraps isl_space_has_tuple_id.

Source

pub fn domain_map_multi_aff(self) -> MultiAff

Wraps isl_space_domain_map_multi_aff.

Source

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

Wraps isl_space_read_from_str.

Source

pub fn from_range(self) -> Space

Wraps isl_space_from_range.

Source

pub fn range(self) -> Space

Wraps isl_space_range.

Source

pub fn zero_multi_pw_aff(self) -> MultiPwAff

Wraps isl_space_zero_multi_pw_aff.

Source

pub fn param_aff_on_domain_id(self, id: Id) -> Aff

Wraps isl_space_param_aff_on_domain_id.

Source

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

Wraps isl_space_set_domain_tuple_id.

Source

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

Wraps isl_space_has_tuple_name.

Source

pub fn from_domain(self) -> Space

Wraps isl_space_from_domain.

Source

pub fn is_wrapping(&self) -> bool

Wraps isl_space_is_wrapping.

Source

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

Wraps isl_space_set_tuple_name.

Source

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

Wraps isl_space_move_dims.

Source

pub fn zero_multi_aff(self) -> MultiAff

Wraps isl_space_zero_multi_aff.

Source

pub fn identity_multi_pw_aff_on_domain(self) -> MultiPwAff

Wraps isl_space_identity_multi_pw_aff_on_domain.

Source

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

Wraps isl_space_has_dim_id.

Source

pub fn is_equal(&self, space2: &Space) -> bool

Wraps isl_space_is_equal.

Source

pub fn can_zip(&self) -> bool

Wraps isl_space_can_zip.

Source

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

Wraps isl_space_dim.

Source

pub fn to_str(&self) -> &str

Wraps isl_space_to_str.

Source

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

Wraps isl_space_get_dim_name.

Source

pub fn domain(self) -> Space

Wraps isl_space_domain.

Source

pub fn range_reverse(self) -> Space

Wraps isl_space_range_reverse.

Source

pub fn range_wrapped_domain(self) -> Space

Wraps isl_space_range_wrapped_domain.

Source

pub fn multi_pw_aff(self, list: PwAffList) -> MultiPwAff

Wraps isl_space_multi_pw_aff.

Source

pub fn flatten_domain(self) -> Space

Wraps isl_space_flatten_domain.

Source

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

Wraps isl_space_set_range_tuple_id.

Source

pub fn multi_union_pw_aff(self, list: UnionPwAffList) -> MultiUnionPwAff

Wraps isl_space_multi_union_pw_aff.

Source

pub fn unwrap(self) -> Space

Wraps isl_space_unwrap.

Source

pub fn factor_domain(self) -> Space

Wraps isl_space_factor_domain.

Source

pub fn is_domain(&self, space2: &Space) -> bool

Wraps isl_space_is_domain.

Source

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

Wraps isl_space_has_dim_name.

Source

pub fn wrapped_reverse(self) -> Space

Wraps isl_space_wrapped_reverse.

Source

pub fn is_set(&self) -> bool

Wraps isl_space_is_set.

Source

pub fn can_uncurry(&self) -> bool

Wraps isl_space_can_uncurry.

Source

pub fn domain_map(self) -> Space

Wraps isl_space_domain_map.

Source

pub fn is_range(&self, space2: &Space) -> bool

Wraps isl_space_is_range.

Source

pub fn domain_factor_domain(self) -> Space

Wraps isl_space_domain_factor_domain.

Source

pub fn flatten_range(self) -> Space

Wraps isl_space_flatten_range.

Source

pub fn domain_reverse(self) -> Space

Wraps isl_space_domain_reverse.

Source

pub fn copy(&self) -> Space

Wraps isl_space_copy.

Source

pub fn curry(self) -> Space

Wraps isl_space_curry.

Source

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

Wraps isl_space_find_dim_by_name.

Source

pub fn range_curry(self) -> Space

Wraps isl_space_range_curry.

Source

pub fn range_factor_domain(self) -> Space

Wraps isl_space_range_factor_domain.

Source

pub fn universe_map(self) -> Map

Wraps isl_space_universe_map.

Source

pub fn zero_aff_on_domain(self) -> Aff

Wraps isl_space_zero_aff_on_domain.

Source

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

Wraps isl_space_reset_tuple_id.

Source

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

Wraps isl_space_get_dim_id.

Source

pub fn reset_user(self) -> Space

Wraps isl_space_reset_user.

Source

pub fn universe_set(self) -> Set

Wraps isl_space_universe_set.

Source

pub fn range_map(self) -> Space

Wraps isl_space_range_map.

Source

pub fn has_range_tuple_id(&self) -> bool

Wraps isl_space_has_range_tuple_id.

Source

pub fn add_unnamed_tuple_ui(self, dim: u32) -> Space

Wraps isl_space_add_unnamed_tuple_ui.

Source

pub fn zero_multi_union_pw_aff(self) -> MultiUnionPwAff

Wraps isl_space_zero_multi_union_pw_aff.

Source

pub fn range_map_multi_aff(self) -> MultiAff

Wraps isl_space_range_map_multi_aff.

Source

pub fn wrap(self) -> Space

Wraps isl_space_wrap.

Source

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

Wraps isl_space_get_tuple_name.

Source

pub fn match_(&self, type1: DimType, space2: &Space, type2: DimType) -> bool

Wraps isl_space_match.

Source

pub fn domain_product(self, right: Space) -> Space

Wraps isl_space_domain_product.

Source

pub fn map_from_set(self) -> Space

Wraps isl_space_map_from_set.

Source

pub fn has_equal_params(&self, space2: &Space) -> bool

Wraps isl_space_has_equal_params.

Source

pub fn has_equal_tuples(&self, space2: &Space) -> bool

Wraps isl_space_has_equal_tuples.

Source

pub fn get_range_tuple_id(&self) -> Id

Wraps isl_space_get_range_tuple_id.

Source

pub fn domain_wrapped_range(self) -> Space

Wraps isl_space_domain_wrapped_range.

Source

pub fn range_wrapped_range(self) -> Space

Wraps isl_space_range_wrapped_range.

Source

pub fn uncurry(self) -> Space

Wraps isl_space_uncurry.

Source

pub fn is_map(&self) -> bool

Wraps isl_space_is_map.

Source

pub fn range_factor_range(self) -> Space

Wraps isl_space_range_factor_range.

Source

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations§

Source§

impl Drop for Space

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more

Auto Trait Implementations§

§

impl Freeze for Space

§

impl RefUnwindSafe for Space

§

impl Send for Space

§

impl Sync for Space

§

impl Unpin for Space

§

impl UnwindSafe for Space

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

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<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.