Struct Id

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

Wraps isl_id.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl Id

pub fn list_copy(list: &IdList) -> IdList

Wraps isl_id_list_copy.

pub fn list_reverse(list: IdList) -> IdList

Wraps isl_id_list_reverse.

pub fn copy(&self) -> Id

Wraps isl_id_copy.

pub fn list_size(list: &IdList) -> i32

Wraps isl_id_list_size.

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

Wraps isl_id_read_from_str.

pub fn list_drop(list: IdList, first: u32, n: u32) -> IdList

Wraps isl_id_list_drop.

pub fn dump(&self)

Wraps isl_id_dump.

pub fn list_read_from_str(ctx: &Context, str_: &str) -> IdList

Wraps isl_id_list_read_from_str.

pub fn get_free_user(&self)

Wraps isl_id_get_free_user.

pub fn get_ctx(&self) -> Context

Wraps isl_id_get_ctx.

pub fn list_concat(list1: IdList, list2: IdList) -> IdList

Wraps isl_id_list_concat.

pub fn to_ast_expr_read_from_str(ctx: &Context, str_: &str) -> IdToASTExpr

Wraps isl_id_to_ast_expr_read_from_str.

pub fn to_ast_expr_is_equal(hmap1: &IdToASTExpr, hmap2: &IdToASTExpr) -> bool

Wraps isl_id_to_ast_expr_is_equal.

pub fn list_n_id(list: &IdList) -> i32

Wraps isl_id_list_n_id.

pub fn to_ast_expr_get(hmap: &IdToASTExpr, key: Id) -> ASTExpr

Wraps isl_id_to_ast_expr_get.

pub fn list_from_id(self) -> IdList

Wraps isl_id_list_from_id.

pub fn list_set_id(list: IdList, index: i32, el: Id) -> IdList

Wraps isl_id_list_set_id.

pub fn to_ast_expr_drop(hmap: IdToASTExpr, key: Id) -> IdToASTExpr

Wraps isl_id_to_ast_expr_drop.

pub fn list_swap(list: IdList, pos1: u32, pos2: u32) -> IdList

Wraps isl_id_list_swap.

pub fn to_ast_expr_get_ctx(hmap: &IdToASTExpr) -> Context

Wraps isl_id_to_ast_expr_get_ctx.

pub fn list_dump(list: &IdList)

Wraps isl_id_list_dump.

pub fn list_get_ctx(list: &IdList) -> Context

Wraps isl_id_list_get_ctx.

pub fn to_list(self) -> IdList

Wraps isl_id_to_list.

pub fn to_ast_expr_copy(hmap: &IdToASTExpr) -> IdToASTExpr

Wraps isl_id_to_ast_expr_copy.

pub fn to_ast_expr_set(hmap: IdToASTExpr, key: Id, val: ASTExpr) -> IdToASTExpr

Wraps isl_id_to_ast_expr_set.

pub fn to_ast_expr_dump(hmap: &IdToASTExpr)

Wraps isl_id_to_ast_expr_dump.

pub fn list_set_at(list: IdList, index: i32, el: Id) -> IdList

Wraps isl_id_list_set_at.

pub fn to_ast_expr_alloc(ctx: &Context, min_size: i32) -> IdToASTExpr

Wraps isl_id_to_ast_expr_alloc.

pub fn list_get_at(list: &IdList, index: i32) -> Id

Wraps isl_id_list_get_at.

pub fn free(self) -> Id

Wraps isl_id_free.

pub fn get_hash(&self) -> u32

Wraps isl_id_get_hash.

pub fn to_ast_expr_to_str(hmap: &IdToASTExpr) -> &str

Wraps isl_id_to_ast_expr_to_str.

pub fn get_name(&self) -> &str

Wraps isl_id_get_name.

pub fn list_add(list: IdList, el: Id) -> IdList

Wraps isl_id_list_add.

pub fn list_clear(list: IdList) -> IdList

Wraps isl_id_list_clear.

pub fn list_get_id(list: &IdList, index: i32) -> Id

Wraps isl_id_list_get_id.

pub fn list_alloc(ctx: &Context, n: i32) -> IdList

Wraps isl_id_list_alloc.

pub fn to_ast_expr_has(hmap: &IdToASTExpr, key: &Id) -> bool

Wraps isl_id_to_ast_expr_has.

pub fn to_str(&self) -> &str

Wraps isl_id_to_str.

pub fn list_insert(list: IdList, pos: u32, el: Id) -> IdList

Wraps isl_id_list_insert.

pub fn list_to_str(list: &IdList) -> &str

Wraps isl_id_list_to_str.

pub fn list_free(list: IdList) -> IdList

Wraps isl_id_list_free.

pub fn to_ast_expr_free(hmap: IdToASTExpr) -> IdToASTExpr

Wraps isl_id_to_ast_expr_free.

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations

impl Drop for Id

fn drop(&mut self)

Executes the destructor for this type.