pub struct PwQPolynomial {
pub ptr: uintptr_t,
pub should_free_on_drop: bool,
}
Expand description
Wraps isl_pw_qpolynomial
.
Fields§
§ptr: uintptr_t
§should_free_on_drop: bool
Implementations§
Source§impl PwQPolynomial
impl PwQPolynomial
Sourcepub fn plain_is_equal(&self, pwqp2: &PwQPolynomial) -> bool
pub fn plain_is_equal(&self, pwqp2: &PwQPolynomial) -> bool
Wraps isl_pw_qpolynomial_plain_is_equal
.
Sourcepub fn fold_to_union_pw_qpolynomial_fold(
pwf: PwQPolynomialFold,
) -> UnionPwQPolynomialFold
pub fn fold_to_union_pw_qpolynomial_fold( pwf: PwQPolynomialFold, ) -> UnionPwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_to_union_pw_qpolynomial_fold
.
Sourcepub fn fold_intersect_domain_wrapped_domain(
pwf: PwQPolynomialFold,
set: Set,
) -> PwQPolynomialFold
pub fn fold_intersect_domain_wrapped_domain( pwf: PwQPolynomialFold, set: Set, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_intersect_domain_wrapped_domain
.
Sourcepub fn intersect_params(self, set: Set) -> PwQPolynomial
pub fn intersect_params(self, set: Set) -> PwQPolynomial
Wraps isl_pw_qpolynomial_intersect_params
.
Sourcepub fn isa_qpolynomial(&self) -> bool
pub fn isa_qpolynomial(&self) -> bool
Wraps isl_pw_qpolynomial_isa_qpolynomial
.
Sourcepub fn fold_list_concat(
list1: PwQPolynomialFoldList,
list2: PwQPolynomialFoldList,
) -> PwQPolynomialFoldList
pub fn fold_list_concat( list1: PwQPolynomialFoldList, list2: PwQPolynomialFoldList, ) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_concat
.
Sourcepub fn as_qpolynomial(self) -> QPolynomial
pub fn as_qpolynomial(self) -> QPolynomial
Wraps isl_pw_qpolynomial_as_qpolynomial
.
Sourcepub fn fold_has_equal_space(
pwf1: &PwQPolynomialFold,
pwf2: &PwQPolynomialFold,
) -> bool
pub fn fold_has_equal_space( pwf1: &PwQPolynomialFold, pwf2: &PwQPolynomialFold, ) -> bool
Wraps isl_pw_qpolynomial_fold_has_equal_space
.
Sourcepub fn fold_n_piece(pwf: &PwQPolynomialFold) -> i32
pub fn fold_n_piece(pwf: &PwQPolynomialFold) -> i32
Wraps isl_pw_qpolynomial_fold_n_piece
.
Sourcepub fn fold_list_free(list: PwQPolynomialFoldList) -> PwQPolynomialFoldList
pub fn fold_list_free(list: PwQPolynomialFoldList) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_free
.
Sourcepub fn list_concat(
list1: PwQPolynomialList,
list2: PwQPolynomialList,
) -> PwQPolynomialList
pub fn list_concat( list1: PwQPolynomialList, list2: PwQPolynomialList, ) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_concat
.
Sourcepub fn list_set_pw_qpolynomial(
list: PwQPolynomialList,
index: i32,
el: PwQPolynomial,
) -> PwQPolynomialList
pub fn list_set_pw_qpolynomial( list: PwQPolynomialList, index: i32, el: PwQPolynomial, ) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_set_pw_qpolynomial
.
Sourcepub fn list_size(list: &PwQPolynomialList) -> i32
pub fn list_size(list: &PwQPolynomialList) -> i32
Wraps isl_pw_qpolynomial_list_size
.
Sourcepub fn list_clear(list: PwQPolynomialList) -> PwQPolynomialList
pub fn list_clear(list: PwQPolynomialList) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_clear
.
Sourcepub fn from_range(self) -> PwQPolynomial
pub fn from_range(self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_from_range
.
Sourcepub fn add_dims(self, type_: DimType, n: u32) -> PwQPolynomial
pub fn add_dims(self, type_: DimType, n: u32) -> PwQPolynomial
Wraps isl_pw_qpolynomial_add_dims
.
Sourcepub fn fold_get_ctx(pwf: &PwQPolynomialFold) -> Context
pub fn fold_get_ctx(pwf: &PwQPolynomialFold) -> Context
Wraps isl_pw_qpolynomial_fold_get_ctx
.
Sourcepub fn intersect_domain_wrapped_range(self, set: Set) -> PwQPolynomial
pub fn intersect_domain_wrapped_range(self, set: Set) -> PwQPolynomial
Wraps isl_pw_qpolynomial_intersect_domain_wrapped_range
.
Sourcepub fn scale_down_val(self, v: Val) -> PwQPolynomial
pub fn scale_down_val(self, v: Val) -> PwQPolynomial
Wraps isl_pw_qpolynomial_scale_down_val
.
Sourcepub fn to_union_pw_qpolynomial(self) -> UnionPwQPolynomial
pub fn to_union_pw_qpolynomial(self) -> UnionPwQPolynomial
Wraps isl_pw_qpolynomial_to_union_pw_qpolynomial
.
Sourcepub fn fix_val(self, type_: DimType, n: u32, v: Val) -> PwQPolynomial
pub fn fix_val(self, type_: DimType, n: u32, v: Val) -> PwQPolynomial
Wraps isl_pw_qpolynomial_fix_val
.
Sourcepub fn fold_scale_down_val(pwf: PwQPolynomialFold, v: Val) -> PwQPolynomialFold
pub fn fold_scale_down_val(pwf: PwQPolynomialFold, v: Val) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_scale_down_val
.
Sourcepub fn list_get_pw_qpolynomial(
list: &PwQPolynomialList,
index: i32,
) -> PwQPolynomial
pub fn list_get_pw_qpolynomial( list: &PwQPolynomialList, index: i32, ) -> PwQPolynomial
Wraps isl_pw_qpolynomial_list_get_pw_qpolynomial
.
Sourcepub fn fold_list_from_pw_qpolynomial_fold(
el: PwQPolynomialFold,
) -> PwQPolynomialFoldList
pub fn fold_list_from_pw_qpolynomial_fold( el: PwQPolynomialFold, ) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_from_pw_qpolynomial_fold
.
Sourcepub fn fold_add(
pwf1: PwQPolynomialFold,
pwf2: PwQPolynomialFold,
) -> PwQPolynomialFold
pub fn fold_add( pwf1: PwQPolynomialFold, pwf2: PwQPolynomialFold, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_add
.
Sourcepub fn project_domain_on_params(self) -> PwQPolynomial
pub fn project_domain_on_params(self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_project_domain_on_params
.
Sourcepub fn fold_list_get_pw_qpolynomial_fold(
list: &PwQPolynomialFoldList,
index: i32,
) -> PwQPolynomialFold
pub fn fold_list_get_pw_qpolynomial_fold( list: &PwQPolynomialFoldList, index: i32, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_list_get_pw_qpolynomial_fold
.
Sourcepub fn add(self, pwqp2: PwQPolynomial) -> PwQPolynomial
pub fn add(self, pwqp2: PwQPolynomial) -> PwQPolynomial
Wraps isl_pw_qpolynomial_add
.
Sourcepub fn fold_move_dims(
pwf: PwQPolynomialFold,
dst_type: DimType,
dst_pos: u32,
src_type: DimType,
src_pos: u32,
n: u32,
) -> PwQPolynomialFold
pub fn fold_move_dims( pwf: PwQPolynomialFold, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32, n: u32, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_move_dims
.
Sourcepub fn fold_min(pwf: PwQPolynomialFold) -> Val
pub fn fold_min(pwf: PwQPolynomialFold) -> Val
Wraps isl_pw_qpolynomial_fold_min
.
Sourcepub fn fold_add_disjoint(
pwf1: PwQPolynomialFold,
pwf2: PwQPolynomialFold,
) -> PwQPolynomialFold
pub fn fold_add_disjoint( pwf1: PwQPolynomialFold, pwf2: PwQPolynomialFold, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_add_disjoint
.
Sourcepub fn insert_dims(self, type_: DimType, first: u32, n: u32) -> PwQPolynomial
pub fn insert_dims(self, type_: DimType, first: u32, n: u32) -> PwQPolynomial
Wraps isl_pw_qpolynomial_insert_dims
.
Sourcepub fn alloc(set: Set, qp: QPolynomial) -> PwQPolynomial
pub fn alloc(set: Set, qp: QPolynomial) -> PwQPolynomial
Wraps isl_pw_qpolynomial_alloc
.
Sourcepub fn fold_involves_param_id(pwf: &PwQPolynomialFold, id: &Id) -> bool
pub fn fold_involves_param_id(pwf: &PwQPolynomialFold, id: &Id) -> bool
Wraps isl_pw_qpolynomial_fold_involves_param_id
.
Sourcepub fn copy(&self) -> PwQPolynomial
pub fn copy(&self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_copy
.
Sourcepub fn gist(self, context: Set) -> PwQPolynomial
pub fn gist(self, context: Set) -> PwQPolynomial
Wraps isl_pw_qpolynomial_gist
.
Sourcepub fn drop_unused_params(self) -> PwQPolynomial
pub fn drop_unused_params(self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_drop_unused_params
.
Sourcepub fn subtract_domain(self, set: Set) -> PwQPolynomial
pub fn subtract_domain(self, set: Set) -> PwQPolynomial
Wraps isl_pw_qpolynomial_subtract_domain
.
Sourcepub fn fold_list_size(list: &PwQPolynomialFoldList) -> i32
pub fn fold_list_size(list: &PwQPolynomialFoldList) -> i32
Wraps isl_pw_qpolynomial_fold_list_size
.
Sourcepub fn fold_zero(space: Space, type_: Fold) -> PwQPolynomialFold
pub fn fold_zero(space: Space, type_: Fold) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_zero
.
Sourcepub fn pow(self, exponent: u32) -> PwQPolynomial
pub fn pow(self, exponent: u32) -> PwQPolynomial
Wraps isl_pw_qpolynomial_pow
.
Sourcepub fn list_reverse(list: PwQPolynomialList) -> PwQPolynomialList
pub fn list_reverse(list: PwQPolynomialList) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_reverse
.
Sourcepub fn fold_alloc(
type_: Fold,
set: Set,
fold: QPolynomialFold,
) -> PwQPolynomialFold
pub fn fold_alloc( type_: Fold, set: Set, fold: QPolynomialFold, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_alloc
.
Sourcepub fn fold_from_pw_qpolynomial(
type_: Fold,
pwqp: PwQPolynomial,
) -> PwQPolynomialFold
pub fn fold_from_pw_qpolynomial( type_: Fold, pwqp: PwQPolynomial, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_from_pw_qpolynomial
.
Sourcepub fn fold_drop_unused_params(pwf: PwQPolynomialFold) -> PwQPolynomialFold
pub fn fold_drop_unused_params(pwf: PwQPolynomialFold) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_drop_unused_params
.
Sourcepub fn drop_dims(self, type_: DimType, first: u32, n: u32) -> PwQPolynomial
pub fn drop_dims(self, type_: DimType, first: u32, n: u32) -> PwQPolynomial
Wraps isl_pw_qpolynomial_drop_dims
.
Sourcepub fn fold_list_n_pw_qpolynomial_fold(list: &PwQPolynomialFoldList) -> i32
pub fn fold_list_n_pw_qpolynomial_fold(list: &PwQPolynomialFoldList) -> i32
Wraps isl_pw_qpolynomial_fold_list_n_pw_qpolynomial_fold
.
Sourcepub fn fold_eval(pwf: PwQPolynomialFold, pnt: Point) -> Val
pub fn fold_eval(pwf: PwQPolynomialFold, pnt: Point) -> Val
Wraps isl_pw_qpolynomial_fold_eval
.
Sourcepub fn fold_scale_val(pwf: PwQPolynomialFold, v: Val) -> PwQPolynomialFold
pub fn fold_scale_val(pwf: PwQPolynomialFold, v: Val) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_scale_val
.
Sourcepub fn fold_from_range(pwf: PwQPolynomialFold) -> PwQPolynomialFold
pub fn fold_from_range(pwf: PwQPolynomialFold) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_from_range
.
Sourcepub fn list_swap(
list: PwQPolynomialList,
pos1: u32,
pos2: u32,
) -> PwQPolynomialList
pub fn list_swap( list: PwQPolynomialList, pos1: u32, pos2: u32, ) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_swap
.
Sourcepub fn fold_intersect_domain(
pwf: PwQPolynomialFold,
set: Set,
) -> PwQPolynomialFold
pub fn fold_intersect_domain( pwf: PwQPolynomialFold, set: Set, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_intersect_domain
.
Sourcepub fn fold_isa_qpolynomial_fold(pwf: &PwQPolynomialFold) -> bool
pub fn fold_isa_qpolynomial_fold(pwf: &PwQPolynomialFold) -> bool
Wraps isl_pw_qpolynomial_fold_isa_qpolynomial_fold
.
Sourcepub fn fold_reset_user(pwf: PwQPolynomialFold) -> PwQPolynomialFold
pub fn fold_reset_user(pwf: PwQPolynomialFold) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_reset_user
.
Sourcepub fn get_domain_space(&self) -> Space
pub fn get_domain_space(&self) -> Space
Wraps isl_pw_qpolynomial_get_domain_space
.
Sourcepub fn fold_is_zero(pwf: &PwQPolynomialFold) -> bool
pub fn fold_is_zero(pwf: &PwQPolynomialFold) -> bool
Wraps isl_pw_qpolynomial_fold_is_zero
.
Sourcepub fn sub(self, pwqp2: PwQPolynomial) -> PwQPolynomial
pub fn sub(self, pwqp2: PwQPolynomial) -> PwQPolynomial
Wraps isl_pw_qpolynomial_sub
.
Sourcepub fn list_set_at(
list: PwQPolynomialList,
index: i32,
el: PwQPolynomial,
) -> PwQPolynomialList
pub fn list_set_at( list: PwQPolynomialList, index: i32, el: PwQPolynomial, ) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_set_at
.
Sourcepub fn set_dim_name(self, type_: DimType, pos: u32, s: &str) -> PwQPolynomial
pub fn set_dim_name(self, type_: DimType, pos: u32, s: &str) -> PwQPolynomial
Wraps isl_pw_qpolynomial_set_dim_name
.
Sourcepub fn list_drop(
list: PwQPolynomialList,
first: u32,
n: u32,
) -> PwQPolynomialList
pub fn list_drop( list: PwQPolynomialList, first: u32, n: u32, ) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_drop
.
Sourcepub fn fold_find_dim_by_name(
pwf: &PwQPolynomialFold,
type_: DimType,
name: &str,
) -> i32
pub fn fold_find_dim_by_name( pwf: &PwQPolynomialFold, type_: DimType, name: &str, ) -> i32
Wraps isl_pw_qpolynomial_fold_find_dim_by_name
.
Sourcepub fn list_n_pw_qpolynomial(list: &PwQPolynomialList) -> i32
pub fn list_n_pw_qpolynomial(list: &PwQPolynomialList) -> i32
Wraps isl_pw_qpolynomial_list_n_pw_qpolynomial
.
Sourcepub fn fold_read_from_str(ctx: &Context, str_: &str) -> PwQPolynomialFold
pub fn fold_read_from_str(ctx: &Context, str_: &str) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_read_from_str
.
Sourcepub fn fold_get_type(pwf: &PwQPolynomialFold) -> Fold
pub fn fold_get_type(pwf: &PwQPolynomialFold) -> Fold
Wraps isl_pw_qpolynomial_fold_get_type
.
Sourcepub fn list_get_ctx(list: &PwQPolynomialList) -> Context
pub fn list_get_ctx(list: &PwQPolynomialList) -> Context
Wraps isl_pw_qpolynomial_list_get_ctx
.
Sourcepub fn fold_drop_dims(
pwf: PwQPolynomialFold,
type_: DimType,
first: u32,
n: u32,
) -> PwQPolynomialFold
pub fn fold_drop_dims( pwf: PwQPolynomialFold, type_: DimType, first: u32, n: u32, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_drop_dims
.
Sourcepub fn domain_reverse(self) -> PwQPolynomial
pub fn domain_reverse(self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_domain_reverse
.
Sourcepub fn from_pw_aff(pwaff: PwAff) -> PwQPolynomial
pub fn from_pw_aff(pwaff: PwAff) -> PwQPolynomial
Wraps isl_pw_qpolynomial_from_pw_aff
.
Sourcepub fn fold_subtract_domain(
pwf: PwQPolynomialFold,
set: Set,
) -> PwQPolynomialFold
pub fn fold_subtract_domain( pwf: PwQPolynomialFold, set: Set, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_subtract_domain
.
Sourcepub fn fold_list_dump(list: &PwQPolynomialFoldList)
pub fn fold_list_dump(list: &PwQPolynomialFoldList)
Wraps isl_pw_qpolynomial_fold_list_dump
.
Sourcepub fn reset_user(self) -> PwQPolynomial
pub fn reset_user(self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_reset_user
.
Sourcepub fn move_dims(
self,
dst_type: DimType,
dst_pos: u32,
src_type: DimType,
src_pos: u32,
n: u32,
) -> PwQPolynomial
pub fn move_dims( self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32, n: u32, ) -> PwQPolynomial
Wraps isl_pw_qpolynomial_move_dims
.
Sourcepub fn list_alloc(ctx: &Context, n: i32) -> PwQPolynomialList
pub fn list_alloc(ctx: &Context, n: i32) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_alloc
.
Sourcepub fn list_free(list: PwQPolynomialList) -> PwQPolynomialList
pub fn list_free(list: PwQPolynomialList) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_free
.
Sourcepub fn fold_get_space(pwf: &PwQPolynomialFold) -> Space
pub fn fold_get_space(pwf: &PwQPolynomialFold) -> Space
Wraps isl_pw_qpolynomial_fold_get_space
.
Sourcepub fn fold_fold(
pwf1: PwQPolynomialFold,
pwf2: PwQPolynomialFold,
) -> PwQPolynomialFold
pub fn fold_fold( pwf1: PwQPolynomialFold, pwf2: PwQPolynomialFold, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_fold
.
Sourcepub fn split_periods(self, max_periods: i32) -> PwQPolynomial
pub fn split_periods(self, max_periods: i32) -> PwQPolynomial
Wraps isl_pw_qpolynomial_split_periods
.
Sourcepub fn fold_max(pwf: PwQPolynomialFold) -> Val
pub fn fold_max(pwf: PwQPolynomialFold) -> Val
Wraps isl_pw_qpolynomial_fold_max
.
Sourcepub fn reset_domain_space(self, space: Space) -> PwQPolynomial
pub fn reset_domain_space(self, space: Space) -> PwQPolynomial
Wraps isl_pw_qpolynomial_reset_domain_space
.
Sourcepub fn has_equal_space(&self, pwqp2: &PwQPolynomial) -> bool
pub fn has_equal_space(&self, pwqp2: &PwQPolynomial) -> bool
Wraps isl_pw_qpolynomial_has_equal_space
.
Sourcepub fn fold_from_qpolynomial_fold(fold: QPolynomialFold) -> PwQPolynomialFold
pub fn fold_from_qpolynomial_fold(fold: QPolynomialFold) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_from_qpolynomial_fold
.
Sourcepub fn fold_list_get_ctx(list: &PwQPolynomialFoldList) -> Context
pub fn fold_list_get_ctx(list: &PwQPolynomialFoldList) -> Context
Wraps isl_pw_qpolynomial_fold_list_get_ctx
.
Sourcepub fn involves_param_id(&self, id: &Id) -> bool
pub fn involves_param_id(&self, id: &Id) -> bool
Wraps isl_pw_qpolynomial_involves_param_id
.
Sourcepub fn gist_params(self, context: Set) -> PwQPolynomial
pub fn gist_params(self, context: Set) -> PwQPolynomial
Wraps isl_pw_qpolynomial_gist_params
.
Sourcepub fn find_dim_by_name(&self, type_: DimType, name: &str) -> i32
pub fn find_dim_by_name(&self, type_: DimType, name: &str) -> i32
Wraps isl_pw_qpolynomial_find_dim_by_name
.
Sourcepub fn fold_dim(pwf: &PwQPolynomialFold, type_: DimType) -> i32
pub fn fold_dim(pwf: &PwQPolynomialFold, type_: DimType) -> i32
Wraps isl_pw_qpolynomial_fold_dim
.
Sourcepub fn fold_list_set_pw_qpolynomial_fold(
list: PwQPolynomialFoldList,
index: i32,
el: PwQPolynomialFold,
) -> PwQPolynomialFoldList
pub fn fold_list_set_pw_qpolynomial_fold( list: PwQPolynomialFoldList, index: i32, el: PwQPolynomialFold, ) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_set_pw_qpolynomial_fold
.
Sourcepub fn fold_project_domain_on_params(
pwf: PwQPolynomialFold,
) -> PwQPolynomialFold
pub fn fold_project_domain_on_params( pwf: PwQPolynomialFold, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_project_domain_on_params
.
Sourcepub fn intersect_domain_wrapped_domain(self, set: Set) -> PwQPolynomial
pub fn intersect_domain_wrapped_domain(self, set: Set) -> PwQPolynomial
Wraps isl_pw_qpolynomial_intersect_domain_wrapped_domain
.
Sourcepub fn fold_list_reverse(list: PwQPolynomialFoldList) -> PwQPolynomialFoldList
pub fn fold_list_reverse(list: PwQPolynomialFoldList) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_reverse
.
Sourcepub fn from_qpolynomial(qp: QPolynomial) -> PwQPolynomial
pub fn from_qpolynomial(qp: QPolynomial) -> PwQPolynomial
Wraps isl_pw_qpolynomial_from_qpolynomial
.
Sourcepub fn fold_list_alloc(ctx: &Context, n: i32) -> PwQPolynomialFoldList
pub fn fold_list_alloc(ctx: &Context, n: i32) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_alloc
.
Sourcepub fn scale_val(self, v: Val) -> PwQPolynomial
pub fn scale_val(self, v: Val) -> PwQPolynomial
Wraps isl_pw_qpolynomial_scale_val
.
Sourcepub fn mul(self, pwqp2: PwQPolynomial) -> PwQPolynomial
pub fn mul(self, pwqp2: PwQPolynomial) -> PwQPolynomial
Wraps isl_pw_qpolynomial_mul
.
Sourcepub fn fold_get_domain_space(pwf: &PwQPolynomialFold) -> Space
pub fn fold_get_domain_space(pwf: &PwQPolynomialFold) -> Space
Wraps isl_pw_qpolynomial_fold_get_domain_space
.
Sourcepub fn list_dump(list: &PwQPolynomialList)
pub fn list_dump(list: &PwQPolynomialList)
Wraps isl_pw_qpolynomial_list_dump
.
Sourcepub fn fold_list_to_str(list: &PwQPolynomialFoldList) -> &str
pub fn fold_list_to_str(list: &PwQPolynomialFoldList) -> &str
Wraps isl_pw_qpolynomial_fold_list_to_str
.
Sourcepub fn fold_as_qpolynomial_fold(pwf: PwQPolynomialFold) -> QPolynomialFold
pub fn fold_as_qpolynomial_fold(pwf: PwQPolynomialFold) -> QPolynomialFold
Wraps isl_pw_qpolynomial_fold_as_qpolynomial_fold
.
Sourcepub fn list_insert(
list: PwQPolynomialList,
pos: u32,
el: PwQPolynomial,
) -> PwQPolynomialList
pub fn list_insert( list: PwQPolynomialList, pos: u32, el: PwQPolynomial, ) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_insert
.
Sourcepub fn fold_list_add(
list: PwQPolynomialFoldList,
el: PwQPolynomialFold,
) -> PwQPolynomialFoldList
pub fn fold_list_add( list: PwQPolynomialFoldList, el: PwQPolynomialFold, ) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_add
.
Sourcepub fn fold_list_insert(
list: PwQPolynomialFoldList,
pos: u32,
el: PwQPolynomialFold,
) -> PwQPolynomialFoldList
pub fn fold_list_insert( list: PwQPolynomialFoldList, pos: u32, el: PwQPolynomialFold, ) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_insert
.
Sourcepub fn fold_list_clear(list: PwQPolynomialFoldList) -> PwQPolynomialFoldList
pub fn fold_list_clear(list: PwQPolynomialFoldList) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_clear
.
Sourcepub fn fold_list_get_at(
list: &PwQPolynomialFoldList,
index: i32,
) -> PwQPolynomialFold
pub fn fold_list_get_at( list: &PwQPolynomialFoldList, index: i32, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_list_get_at
.
Sourcepub fn involves_nan(&self) -> bool
pub fn involves_nan(&self) -> bool
Wraps isl_pw_qpolynomial_involves_nan
.
Sourcepub fn intersect_domain(self, set: Set) -> PwQPolynomial
pub fn intersect_domain(self, set: Set) -> PwQPolynomial
Wraps isl_pw_qpolynomial_intersect_domain
.
Sourcepub fn to_list(self) -> PwQPolynomialList
pub fn to_list(self) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_to_list
.
Sourcepub fn read_from_str(ctx: &Context, str_: &str) -> PwQPolynomial
pub fn read_from_str(ctx: &Context, str_: &str) -> PwQPolynomial
Wraps isl_pw_qpolynomial_read_from_str
.
Sourcepub fn fold_copy(pwf: &PwQPolynomialFold) -> PwQPolynomialFold
pub fn fold_copy(pwf: &PwQPolynomialFold) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_copy
.
Sourcepub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> bool
pub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> bool
Wraps isl_pw_qpolynomial_involves_dims
.
Sourcepub fn fold_list_copy(list: &PwQPolynomialFoldList) -> PwQPolynomialFoldList
pub fn fold_list_copy(list: &PwQPolynomialFoldList) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_copy
.
Sourcepub fn fold_reset_space(
pwf: PwQPolynomialFold,
space: Space,
) -> PwQPolynomialFold
pub fn fold_reset_space( pwf: PwQPolynomialFold, space: Space, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_reset_space
.
Sourcepub fn list_get_at(list: &PwQPolynomialList, index: i32) -> PwQPolynomial
pub fn list_get_at(list: &PwQPolynomialList, index: i32) -> PwQPolynomial
Wraps isl_pw_qpolynomial_list_get_at
.
Sourcepub fn fold_involves_nan(pwf: &PwQPolynomialFold) -> bool
pub fn fold_involves_nan(pwf: &PwQPolynomialFold) -> bool
Wraps isl_pw_qpolynomial_fold_involves_nan
.
Sourcepub fn fold_dump(pwf: &PwQPolynomialFold)
pub fn fold_dump(pwf: &PwQPolynomialFold)
Wraps isl_pw_qpolynomial_fold_dump
.
Sourcepub fn fold_list_set_at(
list: PwQPolynomialFoldList,
index: i32,
el: PwQPolynomialFold,
) -> PwQPolynomialFoldList
pub fn fold_list_set_at( list: PwQPolynomialFoldList, index: i32, el: PwQPolynomialFold, ) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_set_at
.
Sourcepub fn list_add(list: PwQPolynomialList, el: PwQPolynomial) -> PwQPolynomialList
pub fn list_add(list: PwQPolynomialList, el: PwQPolynomial) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_add
.
Sourcepub fn fold_size(pwf: &PwQPolynomialFold) -> usize
pub fn fold_size(pwf: &PwQPolynomialFold) -> usize
Wraps isl_pw_qpolynomial_fold_size
.
Sourcepub fn fold_set_dim_name(
pwf: PwQPolynomialFold,
type_: DimType,
pos: u32,
s: &str,
) -> PwQPolynomialFold
pub fn fold_set_dim_name( pwf: PwQPolynomialFold, type_: DimType, pos: u32, s: &str, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_set_dim_name
.
Sourcepub fn fold_plain_is_equal(
pwf1: &PwQPolynomialFold,
pwf2: &PwQPolynomialFold,
) -> bool
pub fn fold_plain_is_equal( pwf1: &PwQPolynomialFold, pwf2: &PwQPolynomialFold, ) -> bool
Wraps isl_pw_qpolynomial_fold_plain_is_equal
.
Sourcepub fn list_copy(list: &PwQPolynomialList) -> PwQPolynomialList
pub fn list_copy(list: &PwQPolynomialList) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_copy
.
Sourcepub fn fold_coalesce(pwf: PwQPolynomialFold) -> PwQPolynomialFold
pub fn fold_coalesce(pwf: PwQPolynomialFold) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_coalesce
.
Sourcepub fn fold_to_list(el: PwQPolynomialFold) -> PwQPolynomialFoldList
pub fn fold_to_list(el: PwQPolynomialFold) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_to_list
.
Sourcepub fn fold_intersect_domain_wrapped_range(
pwf: PwQPolynomialFold,
set: Set,
) -> PwQPolynomialFold
pub fn fold_intersect_domain_wrapped_range( pwf: PwQPolynomialFold, set: Set, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_intersect_domain_wrapped_range
.
Sourcepub fn fold_intersect_params(
pwf: PwQPolynomialFold,
set: Set,
) -> PwQPolynomialFold
pub fn fold_intersect_params( pwf: PwQPolynomialFold, set: Set, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_intersect_params
.
Sourcepub fn coalesce(self) -> PwQPolynomial
pub fn coalesce(self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_coalesce
.
Sourcepub fn to_polynomial(self, sign: i32) -> PwQPolynomial
pub fn to_polynomial(self, sign: i32) -> PwQPolynomial
Wraps isl_pw_qpolynomial_to_polynomial
.
Sourcepub fn zero(space: Space) -> PwQPolynomial
pub fn zero(space: Space) -> PwQPolynomial
Wraps isl_pw_qpolynomial_zero
.
Sourcepub fn fold_domain(pwf: PwQPolynomialFold) -> Set
pub fn fold_domain(pwf: PwQPolynomialFold) -> Set
Wraps isl_pw_qpolynomial_fold_domain
.
Sourcepub fn neg(self) -> PwQPolynomial
pub fn neg(self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_neg
.
Sourcepub fn fold_list_drop(
list: PwQPolynomialFoldList,
first: u32,
n: u32,
) -> PwQPolynomialFoldList
pub fn fold_list_drop( list: PwQPolynomialFoldList, first: u32, n: u32, ) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_drop
.
Sourcepub fn fold_gist_params(
pwf: PwQPolynomialFold,
context: Set,
) -> PwQPolynomialFold
pub fn fold_gist_params( pwf: PwQPolynomialFold, context: Set, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_gist_params
.
Sourcepub fn split_dims(self, type_: DimType, first: u32, n: u32) -> PwQPolynomial
pub fn split_dims(self, type_: DimType, first: u32, n: u32) -> PwQPolynomial
Wraps isl_pw_qpolynomial_split_dims
.
Sourcepub fn fold_free(pwf: PwQPolynomialFold) -> PwQPolynomialFold
pub fn fold_free(pwf: PwQPolynomialFold) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_free
.
Sourcepub fn list_from_pw_qpolynomial(self) -> PwQPolynomialList
pub fn list_from_pw_qpolynomial(self) -> PwQPolynomialList
Wraps isl_pw_qpolynomial_list_from_pw_qpolynomial
.
Sourcepub fn free(self) -> PwQPolynomial
pub fn free(self) -> PwQPolynomial
Wraps isl_pw_qpolynomial_free
.
Sourcepub fn fold_fix_val(
pwf: PwQPolynomialFold,
type_: DimType,
n: u32,
v: Val,
) -> PwQPolynomialFold
pub fn fold_fix_val( pwf: PwQPolynomialFold, type_: DimType, n: u32, v: Val, ) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_fix_val
.
Sourcepub fn list_to_str(list: &PwQPolynomialList) -> &str
pub fn list_to_str(list: &PwQPolynomialList) -> &str
Wraps isl_pw_qpolynomial_list_to_str
.
Sourcepub fn fold_list_swap(
list: PwQPolynomialFoldList,
pos1: u32,
pos2: u32,
) -> PwQPolynomialFoldList
pub fn fold_list_swap( list: PwQPolynomialFoldList, pos1: u32, pos2: u32, ) -> PwQPolynomialFoldList
Wraps isl_pw_qpolynomial_fold_list_swap
.
Sourcepub fn add_disjoint(self, pwqp2: PwQPolynomial) -> PwQPolynomial
pub fn add_disjoint(self, pwqp2: PwQPolynomial) -> PwQPolynomial
Wraps isl_pw_qpolynomial_add_disjoint
.
Sourcepub fn fold_gist(pwf: PwQPolynomialFold, context: Set) -> PwQPolynomialFold
pub fn fold_gist(pwf: PwQPolynomialFold, context: Set) -> PwQPolynomialFold
Wraps isl_pw_qpolynomial_fold_gist
.
Sourcepub fn do_not_free_on_drop(&mut self)
pub fn do_not_free_on_drop(&mut self)
Does not call isl_pw_qpolynomial_free() on being dropped. (For internal use only.)