Struct Space

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

Wraps isl_space.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl Space

pub fn get_ctx(&self) -> Context

Wraps isl_space_get_ctx.

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

Wraps isl_space_unit.

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

Wraps isl_space_alloc.

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

Wraps isl_space_set_alloc.

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

Wraps isl_space_params_alloc.

pub fn copy(&self) -> Space

Wraps isl_space_copy.

pub fn free(self) -> Space

Wraps isl_space_free.

pub fn is_params(&self) -> bool

Wraps isl_space_is_params.

pub fn is_set(&self) -> bool

Wraps isl_space_is_set.

pub fn is_map(&self) -> bool

Wraps isl_space_is_map.

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

Wraps isl_space_add_param_id.

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

Wraps isl_space_set_tuple_name.

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

Wraps isl_space_has_tuple_name.

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

Wraps isl_space_get_tuple_name.

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

Wraps isl_space_set_domain_tuple_id.

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

Wraps isl_space_set_range_tuple_id.

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

Wraps isl_space_set_tuple_id.

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

Wraps isl_space_reset_tuple_id.

pub fn has_domain_tuple_id(&self) -> bool

Wraps isl_space_has_domain_tuple_id.

pub fn has_range_tuple_id(&self) -> bool

Wraps isl_space_has_range_tuple_id.

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

Wraps isl_space_has_tuple_id.

pub fn get_domain_tuple_id(&self) -> Id

Wraps isl_space_get_domain_tuple_id.

pub fn get_range_tuple_id(&self) -> Id

Wraps isl_space_get_range_tuple_id.

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

Wraps isl_space_get_tuple_id.

pub fn reset_user(self) -> Space

Wraps isl_space_reset_user.

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

Wraps isl_space_set_dim_id.

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

Wraps isl_space_has_dim_id.

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

Wraps isl_space_get_dim_id.

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

Wraps isl_space_find_dim_by_id.

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

Wraps isl_space_find_dim_by_name.

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

Wraps isl_space_has_dim_name.

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

Wraps isl_space_set_dim_name.

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

Wraps isl_space_get_dim_name.

pub fn extend(self, nparam: u32, n_in: u32, n_out: u32) -> Space

Wraps isl_space_extend.

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

Wraps isl_space_add_dims.

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.

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

Wraps isl_space_insert_dims.

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

Wraps isl_space_join.

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

Wraps isl_space_product.

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

Wraps isl_space_domain_product.

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

Wraps isl_space_range_product.

pub fn factor_domain(self) -> Space

Wraps isl_space_factor_domain.

pub fn factor_range(self) -> Space

Wraps isl_space_factor_range.

pub fn domain_factor_domain(self) -> Space

Wraps isl_space_domain_factor_domain.

pub fn domain_factor_range(self) -> Space

Wraps isl_space_domain_factor_range.

pub fn range_factor_domain(self) -> Space

Wraps isl_space_range_factor_domain.

pub fn range_factor_range(self) -> Space

Wraps isl_space_range_factor_range.

pub fn domain_wrapped_domain(self) -> Space

Wraps isl_space_domain_wrapped_domain.

pub fn domain_wrapped_range(self) -> Space

Wraps isl_space_domain_wrapped_range.

pub fn range_wrapped_domain(self) -> Space

Wraps isl_space_range_wrapped_domain.

pub fn range_wrapped_range(self) -> Space

Wraps isl_space_range_wrapped_range.

pub fn map_from_set(self) -> Space

Wraps isl_space_map_from_set.

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

Wraps isl_space_map_from_domain_and_range.

pub fn reverse(self) -> Space

Wraps isl_space_reverse.

pub fn wrapped_reverse(self) -> Space

Wraps isl_space_wrapped_reverse.

pub fn domain_reverse(self) -> Space

Wraps isl_space_domain_reverse.

pub fn range_reverse(self) -> Space

Wraps isl_space_range_reverse.

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

Wraps isl_space_drop_dims.

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

Wraps isl_space_drop_inputs.

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

Wraps isl_space_drop_outputs.

pub fn drop_all_params(self) -> Space

Wraps isl_space_drop_all_params.

pub fn domain(self) -> Space

Wraps isl_space_domain.

pub fn from_domain(self) -> Space

Wraps isl_space_from_domain.

pub fn range(self) -> Space

Wraps isl_space_range.

pub fn from_range(self) -> Space

Wraps isl_space_from_range.

pub fn domain_map(self) -> Space

Wraps isl_space_domain_map.

pub fn range_map(self) -> Space

Wraps isl_space_range_map.

pub fn params(self) -> Space

Wraps isl_space_params.

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

Wraps isl_space_add_unnamed_tuple_ui.

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

Wraps isl_space_add_named_tuple_id_ui.

pub fn set_from_params(self) -> Space

Wraps isl_space_set_from_params.

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

Wraps isl_space_align_params.

pub fn is_wrapping(&self) -> bool

Wraps isl_space_is_wrapping.

pub fn domain_is_wrapping(&self) -> bool

Wraps isl_space_domain_is_wrapping.

pub fn range_is_wrapping(&self) -> bool

Wraps isl_space_range_is_wrapping.

pub fn is_product(&self) -> bool

Wraps isl_space_is_product.

pub fn wrap(self) -> Space

Wraps isl_space_wrap.

pub fn unwrap(self) -> Space

Wraps isl_space_unwrap.

pub fn can_zip(&self) -> bool

Wraps isl_space_can_zip.

pub fn zip(self) -> Space

Wraps isl_space_zip.

pub fn can_curry(&self) -> bool

Wraps isl_space_can_curry.

pub fn curry(self) -> Space

Wraps isl_space_curry.

pub fn can_range_curry(&self) -> bool

Wraps isl_space_can_range_curry.

pub fn range_curry(self) -> Space

Wraps isl_space_range_curry.

pub fn can_uncurry(&self) -> bool

Wraps isl_space_can_uncurry.

pub fn uncurry(self) -> Space

Wraps isl_space_uncurry.

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

Wraps isl_space_is_domain.

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

Wraps isl_space_is_range.

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

Wraps isl_space_is_equal.

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

Wraps isl_space_has_equal_params.

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

Wraps isl_space_has_equal_tuples.

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

Wraps isl_space_tuple_is_equal.

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

Wraps isl_space_match.

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

Wraps isl_space_dim.

pub fn flatten_domain(self) -> Space

Wraps isl_space_flatten_domain.

pub fn flatten_range(self) -> Space

Wraps isl_space_flatten_range.

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

Wraps isl_space_read_from_str.

pub fn to_str(&self) -> &str

Wraps isl_space_to_str.

pub fn dump(&self)

Wraps isl_space_dump.

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 Space

fn drop(&mut self)

Executes the destructor for this type.