Struct LocalSpace

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

Wraps isl_local_space.

Fields§

§ptr: uintptr_t§should_free_on_drop: bool

Implementations§

Source§

impl LocalSpace

Source

pub fn get_ctx(&self) -> Context

Wraps isl_local_space_get_ctx.

Source

pub fn from_space(space: Space) -> LocalSpace

Wraps isl_local_space_from_space.

Source

pub fn copy(&self) -> LocalSpace

Wraps isl_local_space_copy.

Source

pub fn free(self) -> LocalSpace

Wraps isl_local_space_free.

Source

pub fn is_params(&self) -> bool

Wraps isl_local_space_is_params.

Source

pub fn is_set(&self) -> bool

Wraps isl_local_space_is_set.

Source

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

Wraps isl_local_space_set_tuple_id.

Source

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

Wraps isl_local_space_dim.

Source

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

Wraps isl_local_space_has_dim_name.

Source

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

Wraps isl_local_space_get_dim_name.

Source

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

Wraps isl_local_space_set_dim_name.

Source

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

Wraps isl_local_space_has_dim_id.

Source

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

Wraps isl_local_space_get_dim_id.

Source

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

Wraps isl_local_space_set_dim_id.

Source

pub fn get_space(&self) -> Space

Wraps isl_local_space_get_space.

Source

pub fn get_div(&self, pos: i32) -> Aff

Wraps isl_local_space_get_div.

Source

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

Wraps isl_local_space_find_dim_by_name.

Source

pub fn domain(self) -> LocalSpace

Wraps isl_local_space_domain.

Source

pub fn range(self) -> LocalSpace

Wraps isl_local_space_range.

Source

pub fn from_domain(self) -> LocalSpace

Wraps isl_local_space_from_domain.

Source

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

Wraps isl_local_space_add_dims.

Source

pub fn drop_dims(self, type_: DimType, first: u32, n: u32) -> LocalSpace

Wraps isl_local_space_drop_dims.

Source

pub fn insert_dims(self, type_: DimType, first: u32, n: u32) -> LocalSpace

Wraps isl_local_space_insert_dims.

Source

pub fn set_from_params(self) -> LocalSpace

Wraps isl_local_space_set_from_params.

Source

pub fn intersect(self, ls2: LocalSpace) -> LocalSpace

Wraps isl_local_space_intersect.

Source

pub fn wrap(self) -> LocalSpace

Wraps isl_local_space_wrap.

Source

pub fn is_equal(&self, ls2: &LocalSpace) -> bool

Wraps isl_local_space_is_equal.

Source

pub fn lifting(self) -> BasicMap

Wraps isl_local_space_lifting.

Source

pub fn flatten_domain(self) -> LocalSpace

Wraps isl_local_space_flatten_domain.

Source

pub fn flatten_range(self) -> LocalSpace

Wraps isl_local_space_flatten_range.

Source

pub fn dump(&self)

Wraps isl_local_space_dump.

Source

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations§

Source§

impl Drop for LocalSpace

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more

Auto Trait Implementations§

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.