Struct isl_rs::BasicMap

source · [−]

pub struct BasicMap {
    pub ptr: uintptr_t,
}

Expand description

Wraps isl_basic_map.

Fields

ptr: uintptr_t

Implementations

source

impl BasicMap

source

pub fn total_dim(&self) -> i32

Wraps isl_basic_map_total_dim.

source

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

Wraps isl_basic_map_dim.

source

pub fn get_ctx(&self) -> Context

Wraps isl_basic_map_get_ctx.

source

pub fn get_space(&self) -> Space

Wraps isl_basic_map_get_space.

source

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

Wraps isl_basic_map_get_div.

source

pub fn get_local_space(&self) -> LocalSpace

Wraps isl_basic_map_get_local_space.

source

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

Wraps isl_basic_map_set_tuple_name.

source

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

Wraps isl_basic_map_get_tuple_name.

source

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

Wraps isl_basic_map_get_dim_name.

source

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

Wraps isl_basic_map_set_dim_name.

source

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

Wraps isl_basic_map_set_tuple_id.

source

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

Wraps isl_basic_map_has_dim_id.

source

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

Wraps isl_basic_map_find_dim_by_name.

source

pub fn is_rational(&self) -> bool

Wraps isl_basic_map_is_rational.

source

pub fn identity(space: Space) -> BasicMap

Wraps isl_basic_map_identity.

source

pub fn free(self) -> BasicMap

Wraps isl_basic_map_free.

source

pub fn copy(&self) -> BasicMap

Wraps isl_basic_map_copy.

source

pub fn equal(space: Space, n_equal: u32) -> BasicMap

Wraps isl_basic_map_equal.

source

pub fn less_at(space: Space, pos: u32) -> BasicMap

Wraps isl_basic_map_less_at.

source

pub fn more_at(space: Space, pos: u32) -> BasicMap

Wraps isl_basic_map_more_at.

source

pub fn empty(space: Space) -> BasicMap

Wraps isl_basic_map_empty.

source

pub fn universe(space: Space) -> BasicMap

Wraps isl_basic_map_universe.

source

pub fn nat_universe(space: Space) -> BasicMap

Wraps isl_basic_map_nat_universe.

source

pub fn remove_redundancies(self) -> BasicMap

Wraps isl_basic_map_remove_redundancies.

source

pub fn intersect_domain(self, bset: BasicSet) -> BasicMap

Wraps isl_basic_map_intersect_domain.

source

pub fn intersect_range(self, bset: BasicSet) -> BasicMap

Wraps isl_basic_map_intersect_range.

source

pub fn intersect(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_intersect.

source

pub fn union(self, bmap2: BasicMap) -> Map

Wraps isl_basic_map_union.

source

pub fn apply_domain(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_apply_domain.

source

pub fn apply_range(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_apply_range.

source

pub fn affine_hull(self) -> BasicMap

Wraps isl_basic_map_affine_hull.

source

pub fn reverse(self) -> BasicMap

Wraps isl_basic_map_reverse.

source

pub fn domain(self) -> BasicSet

Wraps isl_basic_map_domain.

source

pub fn range(self) -> BasicSet

Wraps isl_basic_map_range.

source

pub fn domain_map(self) -> BasicMap

Wraps isl_basic_map_domain_map.

source

pub fn range_map(self) -> BasicMap

Wraps isl_basic_map_range_map.

source

pub fn remove_dims(self, type_: DimType, first: u32, n: u32) -> BasicMap

Wraps isl_basic_map_remove_dims.

source

pub fn eliminate(self, type_: DimType, first: u32, n: u32) -> BasicMap

Wraps isl_basic_map_eliminate.

source

pub fn sample(self) -> BasicMap

Wraps isl_basic_map_sample.

source

pub fn detect_equalities(self) -> BasicMap

Wraps isl_basic_map_detect_equalities.

source

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

Wraps isl_basic_map_read_from_str.

source

pub fn dump(&self)

Wraps isl_basic_map_dump.

source

pub fn to_str(&self) -> &str

Wraps isl_basic_map_to_str.

source

pub fn fix_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap

Wraps isl_basic_map_fix_si.

source

pub fn fix_val(self, type_: DimType, pos: u32, v: Val) -> BasicMap

Wraps isl_basic_map_fix_val.

source

pub fn lower_bound_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap

Wraps isl_basic_map_lower_bound_si.

source

pub fn upper_bound_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap

Wraps isl_basic_map_upper_bound_si.

source

pub fn sum(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_sum.

source

pub fn neg(self) -> BasicMap

Wraps isl_basic_map_neg.

source

pub fn is_equal(&self, bmap2: &BasicMap) -> bool

Wraps isl_basic_map_is_equal.

source

pub fn is_disjoint(&self, bmap2: &BasicMap) -> bool

Wraps isl_basic_map_is_disjoint.

source

pub fn lexmin(self) -> Map

Wraps isl_basic_map_lexmin.

source

pub fn lexmax(self) -> Map

Wraps isl_basic_map_lexmax.

source

pub fn plain_get_val_if_fixed(&self, type_: DimType, pos: u32) -> Val

Wraps isl_basic_map_plain_get_val_if_fixed.

source

pub fn image_is_bounded(&self) -> bool

Wraps isl_basic_map_image_is_bounded.

source

pub fn plain_is_universe(&self) -> bool

Wraps isl_basic_map_plain_is_universe.

source

pub fn is_universe(&self) -> bool

Wraps isl_basic_map_is_universe.

source

pub fn plain_is_empty(&self) -> bool

Wraps isl_basic_map_plain_is_empty.

source

pub fn is_empty(&self) -> bool

Wraps isl_basic_map_is_empty.

source

pub fn is_subset(&self, bmap2: &BasicMap) -> bool

Wraps isl_basic_map_is_subset.

source

pub fn is_strict_subset(&self, bmap2: &BasicMap) -> bool

Wraps isl_basic_map_is_strict_subset.

source

pub fn product(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_product.

source

pub fn domain_product(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_domain_product.

source

pub fn range_product(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_range_product.

source

pub fn flat_product(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_flat_product.

source

pub fn flat_range_product(self, bmap2: BasicMap) -> BasicMap

Wraps isl_basic_map_flat_range_product.

source

pub fn deltas(self) -> BasicSet

Wraps isl_basic_map_deltas.

source

pub fn deltas_map(self) -> BasicMap

Wraps isl_basic_map_deltas_map.

source

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

Wraps isl_basic_map_add_dims.

source

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

Wraps isl_basic_map_insert_dims.

source

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

Wraps isl_basic_map_move_dims.

source

pub fn project_out(self, type_: DimType, first: u32, n: u32) -> BasicMap

Wraps isl_basic_map_project_out.

source

pub fn remove_divs(self) -> BasicMap

Wraps isl_basic_map_remove_divs.

source

pub fn remove_divs_involving_dims(
    self,
    type_: DimType,
    first: u32,
    n: u32
) -> BasicMap

Wraps isl_basic_map_remove_divs_involving_dims.

source

pub fn equate(
    self,
    type1: DimType,
    pos1: i32,
    type2: DimType,
    pos2: i32
) -> BasicMap

Wraps isl_basic_map_equate.

source

pub fn order_ge(
    self,
    type1: DimType,
    pos1: i32,
    type2: DimType,
    pos2: i32
) -> BasicMap

Wraps isl_basic_map_order_ge.

source

pub fn order_gt(
    self,
    type1: DimType,
    pos1: i32,
    type2: DimType,
    pos2: i32
) -> BasicMap

Wraps isl_basic_map_order_gt.

source

pub fn wrap(self) -> BasicSet

Wraps isl_basic_map_wrap.

source

pub fn flatten(self) -> BasicMap

Wraps isl_basic_map_flatten.

source

pub fn flatten_domain(self) -> BasicMap

Wraps isl_basic_map_flatten_domain.

source

pub fn flatten_range(self) -> BasicMap

Wraps isl_basic_map_flatten_range.

source

pub fn from_domain(bset: BasicSet) -> BasicMap

Wraps isl_basic_map_from_domain.

source

pub fn from_range(bset: BasicSet) -> BasicMap

Wraps isl_basic_map_from_range.

source

pub fn from_domain_and_range(domain: BasicSet, range: BasicSet) -> BasicMap

Wraps isl_basic_map_from_domain_and_range.

source

pub fn is_single_valued(&self) -> bool

Wraps isl_basic_map_is_single_valued.

source

pub fn can_zip(&self) -> bool

Wraps isl_basic_map_can_zip.

source

pub fn zip(self) -> BasicMap

Wraps isl_basic_map_zip.

source

pub fn can_curry(&self) -> bool

Wraps isl_basic_map_can_curry.

source

pub fn curry(self) -> BasicMap

Wraps isl_basic_map_curry.

source

pub fn can_uncurry(&self) -> bool

Wraps isl_basic_map_can_uncurry.

source

pub fn uncurry(self) -> BasicMap

Wraps isl_basic_map_uncurry.

source

pub fn compute_divs(self) -> Map

Wraps isl_basic_map_compute_divs.

source

pub fn drop_constraints_involving_dims(
    self,
    type_: DimType,
    first: u32,
    n: u32
) -> BasicMap

Wraps isl_basic_map_drop_constraints_involving_dims.

source

pub fn drop_constraints_not_involving_dims(
    self,
    type_: DimType,
    first: u32,
    n: u32
) -> BasicMap

Wraps isl_basic_map_drop_constraints_not_involving_dims.

source

pub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> bool

Wraps isl_basic_map_involves_dims.

source

pub fn gist_domain(self, context: BasicSet) -> BasicMap

Wraps isl_basic_map_gist_domain.

source

pub fn gist(self, context: BasicMap) -> BasicMap

Wraps isl_basic_map_gist.

source

pub fn align_params(self, model: Space) -> BasicMap

Wraps isl_basic_map_align_params.

source

pub fn drop_unused_params(self) -> BasicMap

Wraps isl_basic_map_drop_unused_params.

source

pub fn equalities_matrix(
    &self,
    c1: DimType,
    c2: DimType,
    c3: DimType,
    c4: DimType,
    c5: DimType
) -> Mat

Wraps isl_basic_map_equalities_matrix.

source

pub fn inequalities_matrix(
    &self,
    c1: DimType,
    c2: DimType,
    c3: DimType,
    c4: DimType,
    c5: DimType
) -> Mat

Wraps isl_basic_map_inequalities_matrix.

source

pub fn from_constraint_matrices(
    space: Space,
    eq: Mat,
    ineq: Mat,
    c1: DimType,
    c2: DimType,
    c3: DimType,
    c4: DimType,
    c5: DimType
) -> BasicMap

Wraps isl_basic_map_from_constraint_matrices.

source

pub fn from_aff(aff: Aff) -> BasicMap

Wraps isl_basic_map_from_aff.

Trait Implementations

source

impl Drop for BasicMap

source

fn drop(&mut self)

Executes the destructor for this type. Read more

Auto Trait Implementations

impl RefUnwindSafe for BasicMap

impl Send for BasicMap

impl Sync for BasicMap

impl Unpin for BasicMap

impl UnwindSafe for BasicMap

Blanket Implementations

source

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

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

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

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

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

const: unstable · source

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

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

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

const: unstable · 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 for Twhere
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

source

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

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

Struct isl_rs::BasicMap

Fields

Implementations

impl BasicMap

pub fn total_dim(&self) -> i32

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

pub fn get_ctx(&self) -> Context

pub fn get_space(&self) -> Space

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

pub fn get_local_space(&self) -> LocalSpace

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

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

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

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

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

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

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

pub fn is_rational(&self) -> bool

pub fn identity(space: Space) -> BasicMap

pub fn free(self) -> BasicMap

pub fn copy(&self) -> BasicMap

pub fn equal(space: Space, n_equal: u32) -> BasicMap

pub fn less_at(space: Space, pos: u32) -> BasicMap

pub fn more_at(space: Space, pos: u32) -> BasicMap

pub fn empty(space: Space) -> BasicMap

pub fn universe(space: Space) -> BasicMap

pub fn nat_universe(space: Space) -> BasicMap

pub fn remove_redundancies(self) -> BasicMap

pub fn intersect_domain(self, bset: BasicSet) -> BasicMap

pub fn intersect_range(self, bset: BasicSet) -> BasicMap

pub fn intersect(self, bmap2: BasicMap) -> BasicMap

pub fn union(self, bmap2: BasicMap) -> Map

pub fn apply_domain(self, bmap2: BasicMap) -> BasicMap

pub fn apply_range(self, bmap2: BasicMap) -> BasicMap

pub fn affine_hull(self) -> BasicMap

pub fn reverse(self) -> BasicMap

pub fn domain(self) -> BasicSet

pub fn range(self) -> BasicSet

pub fn domain_map(self) -> BasicMap

pub fn range_map(self) -> BasicMap

pub fn remove_dims(self, type_: DimType, first: u32, n: u32) -> BasicMap

pub fn eliminate(self, type_: DimType, first: u32, n: u32) -> BasicMap

pub fn sample(self) -> BasicMap

pub fn detect_equalities(self) -> BasicMap

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

pub fn dump(&self)

pub fn to_str(&self) -> &str

pub fn fix_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap

pub fn fix_val(self, type_: DimType, pos: u32, v: Val) -> BasicMap

pub fn lower_bound_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap

pub fn upper_bound_si(self, type_: DimType, pos: u32, value: i32) -> BasicMap

pub fn sum(self, bmap2: BasicMap) -> BasicMap

pub fn neg(self) -> BasicMap

pub fn is_equal(&self, bmap2: &BasicMap) -> bool

pub fn is_disjoint(&self, bmap2: &BasicMap) -> bool

pub fn lexmin(self) -> Map

pub fn lexmax(self) -> Map

pub fn plain_get_val_if_fixed(&self, type_: DimType, pos: u32) -> Val

pub fn image_is_bounded(&self) -> bool

pub fn plain_is_universe(&self) -> bool

pub fn is_universe(&self) -> bool

pub fn plain_is_empty(&self) -> bool

pub fn is_empty(&self) -> bool

pub fn is_subset(&self, bmap2: &BasicMap) -> bool

pub fn is_strict_subset(&self, bmap2: &BasicMap) -> bool

pub fn product(self, bmap2: BasicMap) -> BasicMap

pub fn domain_product(self, bmap2: BasicMap) -> BasicMap

pub fn range_product(self, bmap2: BasicMap) -> BasicMap

pub fn flat_product(self, bmap2: BasicMap) -> BasicMap

pub fn flat_range_product(self, bmap2: BasicMap) -> BasicMap

pub fn deltas(self) -> BasicSet

pub fn deltas_map(self) -> BasicMap

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

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

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

pub fn project_out(self, type_: DimType, first: u32, n: u32) -> BasicMap

pub fn remove_divs(self) -> BasicMap

pub fn remove_divs_involving_dims( self, type_: DimType, first: u32, n: u32) -> BasicMap

pub fn equate( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32) -> BasicMap

pub fn order_ge( self, type1: DimType, pos1: i32, type2: DimType, pos2: i32) -> BasicMap

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

pub fn remove_divs_involving_dims(
self,
type_: DimType,
first: u32,
n: u32
) -> BasicMap

pub fn equate(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32
) -> BasicMap

pub fn order_ge(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32
) -> BasicMap

pub fn order_gt(
self,
type1: DimType,
pos1: i32,
type2: DimType,
pos2: i32
) -> BasicMap

pub fn drop_constraints_involving_dims(
self,
type_: DimType,
first: u32,
n: u32
) -> BasicMap

pub fn drop_constraints_not_involving_dims(
self,
type_: DimType,
first: u32,
n: u32
) -> BasicMap

pub fn equalities_matrix(
&self,
c1: DimType,
c2: DimType,
c3: DimType,
c4: DimType,
c5: DimType
) -> Mat

pub fn inequalities_matrix(
&self,
c1: DimType,
c2: DimType,
c3: DimType,
c4: DimType,
c5: DimType
) -> Mat

pub fn from_constraint_matrices(
space: Space,
eq: Mat,
ineq: Mat,
c1: DimType,
c2: DimType,
c3: DimType,
c4: DimType,
c5: DimType
) -> BasicMap

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

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

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

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

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

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