Struct Context

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

Wraps isl_ctx.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl Context

pub fn alloc() -> Context

Wraps isl_ctx_alloc.

Examples found in repository

examples/hash_isl_set.rs (line 4)

fn main() {
    let ctx = isl::Context::alloc();
    let set = isl::Set::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}");
    set.dump();
    println!("set.get_hash() is {}.", set.get_hash());
}

examples/hello_isl_basic_set.rs (line 4)

fn main() {
    let ctx = isl::Context::alloc();
    let bset = isl::BasicSet::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}");
    bset.dump();
    println!("Printed str is {}.", bset.to_str());
}

pub fn incref(&self)

Wraps isl_ctx_ref.

pub fn deref(&self)

Wraps isl_ctx_deref.

pub fn free(&self)

Wraps isl_ctx_free.

pub fn abort(&self)

Wraps isl_ctx_abort.

pub fn resume(&self)

Wraps isl_ctx_resume.

pub fn aborted(&self) -> i32

Wraps isl_ctx_aborted.

pub fn set_max_operations(&self, max_operations: u64)

Wraps isl_ctx_set_max_operations.

pub fn get_max_operations(&self) -> u64

Wraps isl_ctx_get_max_operations.

pub fn reset_operations(&self)

Wraps isl_ctx_reset_operations.

pub fn last_error_msg(&self) -> &str

Wraps isl_ctx_last_error_msg.

pub fn last_error_file(&self) -> &str

Wraps isl_ctx_last_error_file.

pub fn last_error_line(&self) -> i32

Wraps isl_ctx_last_error_line.

pub fn reset_error(&self)

Wraps isl_ctx_reset_error.

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 Context

fn drop(&mut self)

Executes the destructor for this type.