Struct BasicMap 

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

Wraps isl_basic_map.

Fields

ptr: uintptr_t

should_free_on_drop: bool

Implementations

impl BasicMap

pub fn add_constraint( self, constraint: Constraint, ) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_add_constraint.

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

Wraps isl_basic_map_add_dims.

pub fn affine_hull(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_affine_hull.

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

Wraps isl_basic_map_align_params.

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

Wraps isl_basic_map_apply_domain.

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

Wraps isl_basic_map_apply_range.

pub fn can_curry(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_can_curry.

pub fn can_uncurry(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_can_uncurry.

pub fn can_zip(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_can_zip.

pub fn compute_divs(self) -> Result<Map, LibISLError>

Wraps isl_basic_map_compute_divs.

pub fn copy(&self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_copy.

pub fn curry(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_curry.

pub fn deltas(self) -> Result<BasicSet, LibISLError>

Wraps isl_basic_map_deltas.

pub fn deltas_map(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_deltas_map.

pub fn detect_equalities(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_detect_equalities.

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

Wraps isl_basic_map_dim.

pub fn domain(self) -> Result<BasicSet, LibISLError>

Wraps isl_basic_map_domain.

pub fn domain_map(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_domain_map.

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

Wraps isl_basic_map_domain_product.

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

Wraps isl_basic_map_drop_constraints_involving_dims.

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

Wraps isl_basic_map_drop_constraints_not_involving_dims.

pub fn drop_unused_params(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_drop_unused_params.

pub fn dump(&self) -> Result<(), LibISLError>

Wraps isl_basic_map_dump.

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

Wraps isl_basic_map_eliminate.

pub fn empty(space: Space) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_empty.

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

Wraps isl_basic_map_equal.

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

Wraps isl_basic_map_equalities_matrix.

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

Wraps isl_basic_map_equate.

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

Wraps isl_basic_map_find_dim_by_name.

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

Wraps isl_basic_map_fix_si.

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

Wraps isl_basic_map_fix_val.

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

Wraps isl_basic_map_flat_product.

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

Wraps isl_basic_map_flat_range_product.

pub fn flatten(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_flatten.

pub fn flatten_domain(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_flatten_domain.

pub fn flatten_range(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_flatten_range.

pub fn free(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_free.

pub fn from_aff(aff: Aff) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_from_aff.

pub fn from_aff_list( domain_space: Space, list: AffList, ) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_from_aff_list.

pub fn from_constraint(constraint: Constraint) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_from_constraint.

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

Wraps isl_basic_map_from_constraint_matrices.

pub fn from_domain(bset: BasicSet) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_from_domain.

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

Wraps isl_basic_map_from_domain_and_range.

pub fn from_multi_aff(maff: MultiAff) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_from_multi_aff.

pub fn from_qpolynomial(qp: QPolynomial) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_from_qpolynomial.

pub fn from_range(bset: BasicSet) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_from_range.

pub fn get_constraint_list(&self) -> Result<ConstraintList, LibISLError>

Wraps isl_basic_map_get_constraint_list.

pub fn get_ctx(&self) -> Context

Wraps isl_basic_map_get_ctx.

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

Wraps isl_basic_map_get_dim_name.

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

Wraps isl_basic_map_get_div.

pub fn get_local_space(&self) -> Result<LocalSpace, LibISLError>

Wraps isl_basic_map_get_local_space.

pub fn get_space(&self) -> Result<Space, LibISLError>

Wraps isl_basic_map_get_space.

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

Wraps isl_basic_map_get_tuple_name.

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

Wraps isl_basic_map_gist.

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

Wraps isl_basic_map_gist_domain.

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

Wraps isl_basic_map_has_dim_id.

pub fn identity(space: Space) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_identity.

pub fn image_is_bounded(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_image_is_bounded.

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

Wraps isl_basic_map_inequalities_matrix.

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

Wraps isl_basic_map_insert_dims.

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

Wraps isl_basic_map_intersect.

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

Wraps isl_basic_map_intersect_domain.

pub fn intersect_params(self, bset: BasicSet) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_intersect_params.

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

Wraps isl_basic_map_intersect_range.

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

Wraps isl_basic_map_involves_dims.

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

Wraps isl_basic_map_is_disjoint.

pub fn is_empty(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_is_empty.

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

Wraps isl_basic_map_is_equal.

pub fn is_rational(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_is_rational.

pub fn is_single_valued(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_is_single_valued.

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

Wraps isl_basic_map_is_strict_subset.

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

Wraps isl_basic_map_is_subset.

pub fn is_universe(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_is_universe.

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

Wraps isl_basic_map_less_at.

pub fn lexmax(self) -> Result<Map, LibISLError>

Wraps isl_basic_map_lexmax.

pub fn lexmin(self) -> Result<Map, LibISLError>

Wraps isl_basic_map_lexmin.

pub fn lexmin_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError>

Wraps isl_basic_map_lexmin_pw_multi_aff.

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

Wraps isl_basic_map_lower_bound_si.

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

Wraps isl_basic_map_more_at.

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

Wraps isl_basic_map_move_dims.

pub fn n_constraint(&self) -> Result<i32, LibISLError>

Wraps isl_basic_map_n_constraint.

pub fn nat_universe(space: Space) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_nat_universe.

pub fn neg(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_neg.

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

Wraps isl_basic_map_order_ge.

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

Wraps isl_basic_map_order_gt.

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

Wraps isl_basic_map_plain_get_val_if_fixed.

pub fn plain_is_empty(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_plain_is_empty.

pub fn plain_is_universe(&self) -> Result<bool, LibISLError>

Wraps isl_basic_map_plain_is_universe.

pub fn preimage_domain_multi_aff( self, ma: MultiAff, ) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_preimage_domain_multi_aff.

pub fn preimage_range_multi_aff( self, ma: MultiAff, ) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_preimage_range_multi_aff.

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

Wraps isl_basic_map_product.

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

Wraps isl_basic_map_project_out.

pub fn range(self) -> Result<BasicSet, LibISLError>

Wraps isl_basic_map_range.

pub fn range_map(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_range_map.

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

Wraps isl_basic_map_range_product.

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

Wraps isl_basic_map_read_from_str.

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

Wraps isl_basic_map_remove_dims.

pub fn remove_divs(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_remove_divs.

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

Wraps isl_basic_map_remove_divs_involving_dims.

pub fn remove_redundancies(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_remove_redundancies.

pub fn reverse(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_reverse.

pub fn sample(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_sample.

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

Wraps isl_basic_map_set_dim_name.

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

Wraps isl_basic_map_set_tuple_id.

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

Wraps isl_basic_map_set_tuple_name.

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

Wraps isl_basic_map_sum.

pub fn to_list(self) -> Result<BasicMapList, LibISLError>

Wraps isl_basic_map_to_list.

pub fn to_str(&self) -> Result<&str, LibISLError>

Wraps isl_basic_map_to_str.

pub fn total_dim(&self) -> Result<i32, LibISLError>

Wraps isl_basic_map_total_dim.

pub fn uncurry(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_uncurry.

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

Wraps isl_basic_map_union.

pub fn universe(space: Space) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_universe.

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

Wraps isl_basic_map_upper_bound_si.

pub fn wrap(self) -> Result<BasicSet, LibISLError>

Wraps isl_basic_map_wrap.

pub fn zip(self) -> Result<BasicMap, LibISLError>

Wraps isl_basic_map_zip.

pub fn do_not_free_on_drop(&mut self)

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

Trait Implementations

impl Drop for BasicMap

fn drop(&mut self)

Executes the destructor for this type.