Reference: Expression-like Objects

Quasi-Affine Expressions

Quasi-Affine Expression

class islpy.Aff(s=None, context=None)

__eq__() __hash__() __ne__() add() add_coefficient_val() add_constant_num_si() add_constant_val() add_dims() align_params() as_aff() as_map() bind_domain() bind_domain_wrapped_domain() bind_id() ceil() coalesce() coefficient_sgn() cond() copy() dim() div() domain() drop_dims() drop_unused_params() dump() eq_basic_set() eq_map() eq_set() eval() every_piece() find_dim_by_name() floor() foreach_piece() from_range() ge_basic_set() ge_map() ge_set() get_aggregate_domain() get_coefficient_val() get_coefficients_by_name() get_constant_val() get_ctx() get_denominator_val() get_dim_id() get_dim_name() get_div() get_domain_local_space() get_domain_space() get_id_dict() get_local_space() get_pieces() get_space() get_tuple_id() get_var_dict() get_var_ids() get_var_names() gist() gist_params() gt_basic_set() gt_map() gt_set() has_dim_id() has_tuple_id() insert_dims() insert_domain() intersect_domain() intersect_domain_wrapped_domain() intersect_domain_wrapped_range() intersect_params()

involves_dims() involves_locals() involves_nan() involves_param_id() is_cst() is_empty() is_equal() is_nan() isa_aff() le_basic_set() le_map() le_set() lt_basic_set() lt_map() lt_set() max() min() mod_val() move_dims() mul() n_piece() nan_on_domain() (static) nan_on_domain_space() (static) ne_set() neg() neg_basic_set() non_zero_set() nonneg_set() param_on_domain_space_id() (static) params() plain_cmp() plain_is_equal() plain_is_zero() pos_set() project_domain_on_params() pullback_aff() pullback_multi_aff() pullback_multi_pw_aff() pullback_pw_multi_aff() read_from_str() (static) reset_tuple_id() reset_user() scale_down_val() scale_val() set_coefficient_val() set_coefficients() set_coefficients_by_name() set_constant_val() set_dim_id() set_dim_name() set_tuple_id() sub() subtract_domain() tdiv_q() tdiv_r() to_str() to_union_pw_aff() unbind_params_insert_domain() union_add() union_max() union_min() val_on_domain() (static) val_on_domain_space() (static) var_on_domain() (static) zero_basic_set() zero_on_domain() (static) zero_on_domain_space() (static) zero_set()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Aff

add_coefficient_val(self, type, pos, v)

Parameters

• self – Aff

• type – dim_type

• pos – int

• v – Val

Returns

Aff

add_constant_num_si(self, v)

Parameters

• self – Aff

• v – int

Returns

Aff

add_constant_val(self, v)

Parameters

• self – Aff

• v – Val

Returns

Aff

add_dims(self, type, n)

Parameters

• self – Aff

• type – dim_type

• n – unsigned

Returns

Aff

align_params(self, model)

Parameters

• self – Aff

• model – Space

Returns

Aff

as_aff(self)

Parameters

self – PwAff

Returns

Aff

as_map(self)

Parameters

self – PwAff

Returns

Map

bind_domain(self, tuple)

Parameters

• self – PwAff

• tuple – MultiId

Returns

PwAff

bind_domain_wrapped_domain(self, tuple)

Parameters

• self – PwAff

• tuple – MultiId

Returns

PwAff

bind_id(self, id)

Parameters

• self – Aff

• id – Id

Returns

BasicSet

ceil(self)

Parameters

self – Aff

Returns

Aff

coalesce(self)

Parameters

self – PwAff

Returns

PwAff

coefficient_sgn(self, type, pos)

Parameters

• self – Aff

• type – dim_type

• pos – int

Returns

int

cond(self, pwaff_true, pwaff_false)

Parameters

• self – PwAff

• pwaff_true – PwAff

• pwaff_false – PwAff

Returns

PwAff

copy(self)

Parameters

self – Aff

Returns

Aff

dim(self, type)

Parameters

• self – Aff

• type – dim_type

Returns

isl_size

div(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Aff

domain(self)

Parameters

self – PwAff

Returns

Set

drop_dims(self, type, first, n)

Parameters

• self – Aff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Aff

drop_unused_params(self)

Parameters

self – PwAff

Returns

PwAff

dump(self)

Parameters

self – Aff

Returns

None

eq_basic_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

BasicSet

eq_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

eq_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Set

eval(self, pnt)

Parameters

• self – Aff

• pnt – Point

Returns

Val

every_piece(self, test)

Parameters

• self – PwAff

• test – callback(set, aff)

Returns

bool

find_dim_by_name(self, type, name)

Parameters

• self – Aff

• type – dim_type

• name – string

Returns

int

floor(self)

Parameters

self – Aff

Returns

Aff

foreach_piece(self, fn)

Parameters

• self – PwAff

• fn – callback(set, aff)

Returns

isl_stat

from_range(self)

Parameters

self – Aff

Returns

Aff

ge_basic_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

BasicSet

ge_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

ge_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Set

get_aggregate_domain()

Returns

a Set that is the union of the domains of all pieces

get_coefficient_val(self, type, pos)

Parameters

• self – Aff

• type – dim_type

• pos – int

Returns

Val

get_coefficients_by_name(dimtype=None, dim_to_name=None)

Return a dictionary mapping variable names to coefficients.

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

Changed in version 2011.3: New for Aff

get_constant_val(self)

Parameters

self – Aff

Returns

Val

get_ctx(self)

Parameters

self – Aff

Returns

Context

get_denominator_val(self)

Parameters

self – Aff

Returns

Val

get_dim_id(self, type, pos)

Parameters

• self – PwAff

• type – dim_type

• pos – unsigned

Returns

Id

get_dim_name(self, type, pos)

Parameters

• self – Aff

• type – dim_type

• pos – unsigned

Returns

string

get_div(self, pos)

Parameters

• self – Aff

• pos – int

Returns

Aff

get_domain_local_space(self)

Parameters

self – Aff

Returns

LocalSpace

get_domain_space(self)

Parameters

self – Aff

Returns

Space

get_id_dict(dimtype=None)

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_local_space(self)

Parameters

self – Aff

Returns

LocalSpace

get_pieces()

Returns

list of (Set, Aff)

get_space(self)

Parameters

self – Aff

Returns

Space

get_tuple_id(self, type)

Parameters

• self – PwAff

• type – dim_type

Returns

Id

get_var_dict(dimtype=None)

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

Return a list of dim names (in order) for dim_type dimtype.

gist(self, context)

Parameters

• self – Aff

• context – Set

Returns

Aff

gist_params(self, context)

Parameters

• self – Aff

• context – Set

Returns

Aff

gt_basic_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

BasicSet

gt_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

gt_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Set

has_dim_id(self, type, pos)

Parameters

• self – PwAff

• type – dim_type

• pos – unsigned

Returns

bool

has_tuple_id(self, type)

Parameters

• self – PwAff

• type – dim_type

Returns

bool

insert_dims(self, type, first, n)

Parameters

• self – Aff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Aff

insert_domain(self, domain)

Parameters

• self – PwAff

• domain – Space

Returns

PwAff

intersect_domain(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

intersect_domain_wrapped_domain(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

intersect_domain_wrapped_range(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

intersect_params(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

involves_dims(self, type, first, n)

Parameters

• self – Aff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

bool

involves_locals(self)

Parameters

self – Aff

Returns

bool

involves_nan(self)

Parameters

self – PwAff

Returns

bool

involves_param_id(self, id)

Parameters

• self – PwAff

• id – Id

Returns

bool

is_cst(self)

Parameters

self – Aff

Returns

bool

is_empty(self)

Parameters

self – PwAff

Returns

bool

is_equal(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

bool

is_nan(self)

Parameters

self – Aff

Returns

bool

isa_aff(self)

Parameters

self – PwAff

Returns

bool

le_basic_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

BasicSet

le_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

le_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Set

lt_basic_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

BasicSet

lt_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

lt_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Set

max(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

min(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

mod_val(self, mod)

Parameters

• self – Aff

• mod – Val

Returns

Aff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)

Parameters

• self – Aff

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns

Aff

mul(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Aff

n_piece(self)

Parameters

self – PwAff

Returns

isl_size

static nan_on_domain(ls)

Parameters

ls – LocalSpace

Returns

Aff

static nan_on_domain_space(space)

Parameters

space – Space

Returns

Aff

ne_set(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Set

neg(self)

Parameters

self – Aff

Returns

Aff

neg_basic_set(self)

Parameters

self – Aff

Returns

BasicSet

non_zero_set(self)

Parameters

self – PwAff

Returns

Set

nonneg_set(self)

Parameters

self – PwAff

Returns

Set

static param_on_domain_space_id(space, id)

Parameters

• space – Space

• id – Id

Returns

Aff

params(self)

Parameters

self – PwAff

Returns

Set

plain_cmp(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

int

plain_is_equal(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

bool

plain_is_zero(self)

Parameters

self – Aff

Returns

bool

pos_set(self)

Parameters

self – PwAff

Returns

Set

project_domain_on_params(self)

Parameters

self – Aff

Returns

Aff

pullback_aff(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Aff

pullback_multi_aff(self, ma)

Parameters

• self – Aff

• ma – MultiAff

Returns

Aff

pullback_multi_pw_aff(self, mpa)

Parameters

• self – PwAff

• mpa – MultiPwAff

Returns

PwAff

pullback_pw_multi_aff(self, pma)

Parameters

• self – PwAff

• pma – PwMultiAff

Returns

PwAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

Aff

reset_tuple_id(self, type)

Parameters

• self – PwAff

• type – dim_type

Returns

PwAff

reset_user(self)

Parameters

self – PwAff

Returns

PwAff

scale_down_val(self, v)

Parameters

• self – Aff

• v – Val

Returns

Aff

scale_val(self, v)

Parameters

• self – Aff

• v – Val

Returns

Aff

set_coefficient_val(self, type, pos, v)

Parameters

• self – Aff

• type – dim_type

• pos – int

• v – Val

Returns

Aff

set_coefficients(dim_tp, args)

Parameters

• dim_tp – dim_type

• args – list of coefficients, for indices 0..len(args)-1.

Changed in version 2011.3: New for Aff

set_coefficients_by_name(iterable, name_to_dim=None)

Set the coefficients and the constant.

Parameters

iterable – a dict or iterable of tuple instances mapping variable names to their coefficients. The constant is set to the value of the key ‘1’.

Changed in version 2011.3: New for Aff

set_constant_val(self, v)

Parameters

• self – Aff

• v – Val

Returns

Aff

set_dim_id(self, type, pos, id)

Parameters

• self – Aff

• type – dim_type

• pos – unsigned

• id – Id

Returns

Aff

set_dim_name(self, type, pos, s)

Parameters

• self – Aff

• type – dim_type

• pos – unsigned

• s – string

Returns

Aff

set_tuple_id(self, type, id)

Parameters

• self – Aff

• type – dim_type

• id – Id

Returns

Aff

property space

get_space(self)

Parameters

self – Aff

Returns

Space

sub(self, aff2)

Parameters

• self – Aff

• aff2 – Aff

Returns

Aff

subtract_domain(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

tdiv_q(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

PwAff

tdiv_r(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

PwAff

to_str(self)

Parameters

self – Aff

Returns

string

to_union_pw_aff(self)

Parameters

self – PwAff

Returns

UnionPwAff

unbind_params_insert_domain(self, domain)

Parameters

• self – Aff

• domain – MultiId

Returns

Aff

union_add(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

union_max(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

union_min(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

static val_on_domain(ls, val)

Parameters

• ls – LocalSpace

• val – Val

Returns

Aff

static val_on_domain_space(space, val)

Parameters

• space – Space

• val – Val

Returns

Aff

static var_on_domain(ls, type, pos)

Parameters

• ls – LocalSpace

• type – dim_type

• pos – unsigned

Returns

Aff

zero_basic_set(self)

Parameters

self – Aff

Returns

BasicSet

static zero_on_domain(ls)

Parameters

ls – LocalSpace

Returns

Aff

static zero_on_domain_space(space)

Parameters

space – Space

Returns

Aff

zero_set(self)

Parameters

self – PwAff

Returns

Set

Piecewise Quasi-Affine Expression

class islpy.PwAff(s=None, context=None)

__eq__() __hash__() __ne__() add() add_constant_val() add_dims() align_params() alloc() (static) as_aff() as_map() bind_domain() bind_domain_wrapped_domain() bind_id() ceil() coalesce() cond() copy() dim() div() domain() drop_dims() drop_unused_params() dump() empty() (static) eq_map() eq_set() eval() every_piece() find_dim_by_name() floor() foreach_piece() from_aff() (static) from_range() ge_map() ge_set() get_aggregate_domain() get_ctx() get_dim_id() get_dim_name() get_domain_space() get_id_dict() get_pieces() get_space() get_tuple_id() get_var_dict() get_var_ids() get_var_names() gist() gist_params() gt_map() gt_set() has_dim_id() has_tuple_id() insert_dims() insert_domain() intersect_domain()

intersect_domain_wrapped_domain() intersect_domain_wrapped_range() intersect_params() involves_dims() involves_nan() involves_param_id() is_cst() is_empty() is_equal() isa_aff() le_map() le_set() lt_map() lt_set() max() min() mod_val() move_dims() mul() n_piece() nan_on_domain() (static) nan_on_domain_space() (static) ne_set() neg() non_zero_set() nonneg_set() param_on_domain_id() (static) params() plain_cmp() plain_is_equal() pos_set() project_domain_on_params() pullback_multi_aff() pullback_multi_pw_aff() pullback_pw_multi_aff() read_from_str() (static) reset_tuple_id() reset_user() scale_down_val() scale_val() set_dim_id() set_tuple_id() sub() subtract_domain() tdiv_q() tdiv_r() to_str() to_union_pw_aff() union_add() union_max() union_min() val_on_domain() (static) var_on_domain() (static) zero_on_domain() (static) zero_set()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

add_constant_val(self, v)

Parameters

• self – PwAff

• v – Val

Returns

PwAff

add_dims(self, type, n)

Parameters

• self – PwAff

• type – dim_type

• n – unsigned

Returns

PwAff

align_params(self, model)

Parameters

• self – PwAff

• model – Space

Returns

PwAff

static alloc(set, aff)

Parameters

• set – Set

• aff – Aff

Returns

PwAff

as_aff(self)

Parameters

self – PwAff

Returns

Aff

as_map(self)

Parameters

self – PwAff

Returns

Map

bind_domain(self, tuple)

Parameters

• self – PwAff

• tuple – MultiId

Returns

PwAff

bind_domain_wrapped_domain(self, tuple)

Parameters

• self – PwAff

• tuple – MultiId

Returns

PwAff

bind_id(self, id)

Parameters

• self – PwAff

• id – Id

Returns

Set

ceil(self)

Parameters

self – PwAff

Returns

PwAff

coalesce(self)

Parameters

self – PwAff

Returns

PwAff

cond(self, pwaff_true, pwaff_false)

Parameters

• self – PwAff

• pwaff_true – PwAff

• pwaff_false – PwAff

Returns

PwAff

copy(self)

Parameters

self – PwAff

Returns

PwAff

dim(self, type)

Parameters

• self – PwAff

• type – dim_type

Returns

isl_size

div(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

PwAff

domain(self)

Parameters

self – PwAff

Returns

Set

drop_dims(self, type, first, n)

Parameters

• self – PwAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

PwAff

drop_unused_params(self)

Parameters

self – PwAff

Returns

PwAff

dump(self)

Parameters

self – PwAff

Returns

None

static empty(space)

Parameters

space – Space

Returns

PwAff

eq_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

eq_set(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

Set

eval(self, pnt)

Parameters

• self – PwAff

• pnt – Point

Returns

Val

every_piece(self, test)

Parameters

• self – PwAff

• test – callback(set, aff)

Returns

bool

find_dim_by_name(self, type, name)

Parameters

• self – PwAff

• type – dim_type

• name – string

Returns

int

floor(self)

Parameters

self – PwAff

Returns

PwAff

foreach_piece(self, fn)

Parameters

• self – PwAff

• fn – callback(set, aff)

Returns

isl_stat

static from_aff(aff)

Parameters

aff – Aff

Returns

PwAff

from_range(self)

Parameters

self – PwAff

Returns

PwAff

ge_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

ge_set(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

Set

get_aggregate_domain()

Returns

a Set that is the union of the domains of all pieces

get_ctx(self)

Parameters

self – PwAff

Returns

Context

get_dim_id(self, type, pos)

Parameters

• self – PwAff

• type – dim_type

• pos – unsigned

Returns

Id

get_dim_name(self, type, pos)

Parameters

• self – PwAff

• type – dim_type

• pos – unsigned

Returns

string

get_domain_space(self)

Parameters

self – PwAff

Returns

Space

get_id_dict(dimtype=None)

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_pieces()

Returns

list of (Set, Aff)

get_space(self)

Parameters

self – PwAff

Returns

Space

get_tuple_id(self, type)

Parameters

• self – PwAff

• type – dim_type

Returns

Id

get_var_dict(dimtype=None)

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

Return a list of dim names (in order) for dim_type dimtype.

gist(self, context)

Parameters

• self – PwAff

• context – Set

Returns

PwAff

gist_params(self, context)

Parameters

• self – PwAff

• context – Set

Returns

PwAff

gt_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

gt_set(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

Set

has_dim_id(self, type, pos)

Parameters

• self – PwAff

• type – dim_type

• pos – unsigned

Returns

bool

has_tuple_id(self, type)

Parameters

• self – PwAff

• type – dim_type

Returns

bool

insert_dims(self, type, first, n)

Parameters

• self – PwAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

PwAff

insert_domain(self, domain)

Parameters

• self – PwAff

• domain – Space

Returns

PwAff

intersect_domain(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

intersect_domain_wrapped_domain(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

intersect_domain_wrapped_range(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

intersect_params(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

involves_dims(self, type, first, n)

Parameters

• self – PwAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

bool

involves_nan(self)

Parameters

self – PwAff

Returns

bool

involves_param_id(self, id)

Parameters

• self – PwAff

• id – Id

Returns

bool

is_cst(self)

Parameters

self – PwAff

Returns

bool

is_empty(self)

Parameters

self – PwAff

Returns

bool

is_equal(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

bool

isa_aff(self)

Parameters

self – PwAff

Returns

bool

le_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

le_set(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

Set

lt_map(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

Map

lt_set(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

Set

max(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

min(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

mod_val(self, mod)

Parameters

• self – PwAff

• mod – Val

Returns

PwAff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)

Parameters

• self – PwAff

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns

PwAff

mul(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

n_piece(self)

Parameters

self – PwAff

Returns

isl_size

static nan_on_domain(ls)

Parameters

ls – LocalSpace

Returns

PwAff

static nan_on_domain_space(space)

Parameters

space – Space

Returns

PwAff

ne_set(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

Set

neg(self)

Parameters

self – PwAff

Returns

PwAff

non_zero_set(self)

Parameters

self – PwAff

Returns

Set

nonneg_set(self)

Parameters

self – PwAff

Returns

Set

static param_on_domain_id(domain, id)

Parameters

• domain – Set

• id – Id

Returns

PwAff

params(self)

Parameters

self – PwAff

Returns

Set

plain_cmp(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

int

plain_is_equal(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

bool

pos_set(self)

Parameters

self – PwAff

Returns

Set

project_domain_on_params(self)

Parameters

self – PwAff

Returns

PwAff

pullback_multi_aff(self, ma)

Parameters

• self – PwAff

• ma – MultiAff

Returns

PwAff

pullback_multi_pw_aff(self, mpa)

Parameters

• self – PwAff

• mpa – MultiPwAff

Returns

PwAff

pullback_pw_multi_aff(self, pma)

Parameters

• self – PwAff

• pma – PwMultiAff

Returns

PwAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

PwAff

reset_tuple_id(self, type)

Parameters

• self – PwAff

• type – dim_type

Returns

PwAff

reset_user(self)

Parameters

self – PwAff

Returns

PwAff

scale_down_val(self, f)

Parameters

• self – PwAff

• f – Val

Returns

PwAff

scale_val(self, v)

Parameters

• self – PwAff

• v – Val

Returns

PwAff

set_dim_id(self, type, pos, id)

Parameters

• self – PwAff

• type – dim_type

• pos – unsigned

• id – Id

Returns

PwAff

set_tuple_id(self, type, id)

Parameters

• self – PwAff

• type – dim_type

• id – Id

Returns

PwAff

property space

get_space(self)

Parameters

self – PwAff

Returns

Space

sub(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

subtract_domain(self, set)

Parameters

• self – PwAff

• set – Set

Returns

PwAff

tdiv_q(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

PwAff

tdiv_r(self, pa2)

Parameters

• self – PwAff

• pa2 – PwAff

Returns

PwAff

to_str(self)

Parameters

self – PwAff

Returns

string

to_union_pw_aff(self)

Parameters

self – PwAff

Returns

UnionPwAff

union_add(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

union_max(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

union_min(self, pwaff2)

Parameters

• self – PwAff

• pwaff2 – PwAff

Returns

PwAff

static val_on_domain(domain, v)

Parameters

• domain – Set

• v – Val

Returns

PwAff

static var_on_domain(ls, type, pos)

Parameters

• ls – LocalSpace

• type – dim_type

• pos – unsigned

Returns

PwAff

static zero_on_domain(ls)

Parameters

ls – LocalSpace

Returns

PwAff

zero_set(self)

Parameters

self – PwAff

Returns

Set

Union of Piecewise Quasi-Affine Expressions

class islpy.UnionPwAff(s=None, context=None)

__eq__() __hash__() __ne__() add() add_pw_aff() aff_on_domain() (static) align_params() bind_id() coalesce() copy() dim() domain() drop_dims() dump() empty() (static) empty_ctx() (static) empty_space() (static) every_pw_aff() extract_pw_aff() find_dim_by_name() floor() foreach_pw_aff() from_aff() (static) from_pw_aff() (static) get_ctx() get_id_dict() get_pw_aff_list() get_space() get_var_dict() get_var_ids() get_var_names()

gist() gist_params() intersect_domain() intersect_domain_space() intersect_domain_union_set() intersect_domain_wrapped_domain() intersect_domain_wrapped_range() intersect_params() involves_nan() max_val() min_val() mod_val() n_pw_aff() neg() param_on_domain_id() (static) plain_is_equal() pullback_union_pw_multi_aff() pw_aff_on_domain() (static) read_from_str() (static) reset_user() scale_down_val() scale_val() set_dim_name() sub() subtract_domain() subtract_domain_space() subtract_domain_union_set() to_str() union_add() val_on_domain() (static) zero_union_set()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

add(self, upa2)

Parameters

• self – UnionPwAff

• upa2 – UnionPwAff

Returns

UnionPwAff

add_pw_aff(self, pa)

Parameters

• self – UnionPwAff

• pa – PwAff

Returns

UnionPwAff

static aff_on_domain(domain, aff)

Parameters

• domain – UnionSet

• aff – Aff

Returns

UnionPwAff

align_params(self, model)

Parameters

• self – UnionPwAff

• model – Space

Returns

UnionPwAff

bind_id(self, id)

Parameters

• self – UnionPwAff

• id – Id

Returns

UnionSet

coalesce(self)

Parameters

self – UnionPwAff

Returns

UnionPwAff

copy(self)

Parameters

self – UnionPwAff

Returns

UnionPwAff

dim(self, type)

Parameters

• self – UnionPwAff

• type – dim_type

Returns

isl_size

domain(self)

Parameters

self – UnionPwAff

Returns

UnionSet

drop_dims(self, type, first, n)

Parameters

• self – UnionPwAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

UnionPwAff

dump(self)

Parameters

self – UnionPwAff

Returns

None

static empty(space)

Parameters

space – Space

Returns

UnionPwAff

static empty_ctx(ctx)

Parameters

ctx – Context

Returns

UnionPwAff

static empty_space(space)

Parameters

space – Space

Returns

UnionPwAff

every_pw_aff(self, test)

Parameters

• self – UnionPwAff

• test – callback(pa)

Returns

bool

extract_pw_aff(self, space)

Parameters

• self – UnionPwAff

• space – Space

Returns

PwAff

find_dim_by_name(self, type, name)

Parameters

• self – UnionPwAff

• type – dim_type

• name – string

Returns

int

floor(self)

Parameters

self – UnionPwAff

Returns

UnionPwAff

foreach_pw_aff(self, fn)

Parameters

• self – UnionPwAff

• fn – callback(pa)

Returns

isl_stat

static from_aff(aff)

Parameters

aff – Aff

Returns

UnionPwAff

static from_pw_aff(pa)

Parameters

pa – PwAff

Returns

UnionPwAff

get_ctx(self)

Parameters

self – UnionPwAff

Returns

Context

get_id_dict(dimtype=None)

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_pw_aff_list(self)

Parameters

self – UnionPwAff

Returns

PwAffList

get_space(self)

Parameters

self – UnionPwAff

Returns

Space

get_var_dict(dimtype=None)

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

Return a list of dim names (in order) for dim_type dimtype.

gist(self, context)

Parameters

• self – UnionPwAff

• context – UnionSet

Returns

UnionPwAff

gist_params(self, context)

Parameters

• self – UnionPwAff

• context – Set

Returns

UnionPwAff

intersect_domain(self, uset)

Parameters

• self – UnionPwAff

• uset – UnionSet

Returns

UnionPwAff

intersect_domain_space(self, space)

Parameters

• self – UnionPwAff

• space – Space

Returns

UnionPwAff

intersect_domain_union_set(self, uset)

Parameters

• self – UnionPwAff

• uset – UnionSet

Returns

UnionPwAff

intersect_domain_wrapped_domain(self, uset)

Parameters

• self – UnionPwAff

• uset – UnionSet

Returns

UnionPwAff

intersect_domain_wrapped_range(self, uset)

Parameters

• self – UnionPwAff

• uset – UnionSet

Returns

UnionPwAff

intersect_params(self, set)

Parameters

• self – UnionPwAff

• set – Set

Returns

UnionPwAff

involves_nan(self)

Parameters

self – UnionPwAff

Returns

bool

max_val(self)

Parameters

self – UnionPwAff

Returns

Val

min_val(self)

Parameters

self – UnionPwAff

Returns

Val

mod_val(self, f)

Parameters

• self – UnionPwAff

• f – Val

Returns

UnionPwAff

n_pw_aff(self)

Parameters

self – UnionPwAff

Returns

isl_size

neg(self)

Parameters

self – UnionPwAff

Returns

UnionPwAff

static param_on_domain_id(domain, id)

Parameters

• domain – UnionSet

• id – Id

Returns

UnionPwAff

plain_is_equal(self, upa2)

Parameters

• self – UnionPwAff

• upa2 – UnionPwAff

Returns

bool

pullback_union_pw_multi_aff(self, upma)

Parameters

• self – UnionPwAff

• upma – UnionPwMultiAff

Returns

UnionPwAff

static pw_aff_on_domain(domain, pa)

Parameters

• domain – UnionSet

• pa – PwAff

Returns

UnionPwAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

UnionPwAff

reset_user(self)

Parameters

self – UnionPwAff

Returns

UnionPwAff

scale_down_val(self, v)

Parameters

• self – UnionPwAff

• v – Val

Returns

UnionPwAff

scale_val(self, v)

Parameters

• self – UnionPwAff

• v – Val

Returns

UnionPwAff

set_dim_name(self, type, pos, s)

Parameters

• self – UnionPwAff

• type – dim_type

• pos – unsigned

• s – string

Returns

UnionPwAff

property space

get_space(self)

Parameters

self – UnionPwAff

Returns

Space

sub(self, upa2)

Parameters

• self – UnionPwAff

• upa2 – UnionPwAff

Returns

UnionPwAff

subtract_domain(self, uset)

Parameters

• self – UnionPwAff

• uset – UnionSet

Returns

UnionPwAff

subtract_domain_space(self, space)

Parameters

• self – UnionPwAff

• space – Space

Returns

UnionPwAff

subtract_domain_union_set(self, uset)

Parameters

• self – UnionPwAff

• uset – UnionSet

Returns

UnionPwAff

to_str(self)

Parameters

self – UnionPwAff

Returns

string

union_add(self, upa2)

Parameters

• self – UnionPwAff

• upa2 – UnionPwAff

Returns

UnionPwAff

static val_on_domain(domain, v)

Parameters

• domain – UnionSet

• v – Val

Returns

UnionPwAff

zero_union_set(self)

Parameters

self – UnionPwAff

Returns

UnionSet

Multiple Union of Piecewise Quasi-Affine Expressions

class islpy.MultiUnionPwAff(s=None, context=None)

__eq__() __hash__() __ne__() align_params() apply_aff() apply_multi_aff() apply_pw_aff() apply_pw_multi_aff() bind() coalesce() copy() dim() domain() drop_dims() dump() extract_multi_pw_aff() factor_range() find_dim_by_id() find_dim_by_name() flatten_range() floor() from_multi_aff() (static) from_multi_pw_aff() (static) from_range() from_union_map() (static) from_union_pw_aff() (static) from_union_pw_multi_aff() (static) get_ctx() get_dim_id() get_domain_space() get_tuple_id() get_tuple_name() get_union_pw_aff()

gist() gist_params() has_tuple_id() intersect_domain() intersect_params() intersect_range() max_multi_val() min_multi_val() mod_multi_val() multi_aff_on_domain() (static) multi_val_on_domain() (static) pullback_union_pw_multi_aff() pw_multi_aff_on_domain() (static) range_factor_domain() range_factor_range() range_is_wrapping() range_splice() read_from_str() (static) reset_tuple_id() reset_user() scale_down_multi_val() scale_down_val() scale_multi_val() scale_val() set_dim_id() set_dim_name() set_range_tuple_id() set_tuple_id() set_tuple_name() set_union_pw_aff() to_str() union_add() zero_union_set()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

align_params(self, model)

Parameters

• self – MultiUnionPwAff

• model – Space

Returns

MultiUnionPwAff

apply_aff(self, aff)

Parameters

• self – MultiUnionPwAff

• aff – Aff

Returns

UnionPwAff

apply_multi_aff(self, ma)

Parameters

• self – MultiUnionPwAff

• ma – MultiAff

Returns

MultiUnionPwAff

apply_pw_aff(self, pa)

Parameters

• self – MultiUnionPwAff

• pa – PwAff

Returns

UnionPwAff

apply_pw_multi_aff(self, pma)

Parameters

• self – MultiUnionPwAff

• pma – PwMultiAff

Returns

MultiUnionPwAff

bind(self, tuple)

Parameters

• self – MultiUnionPwAff

• tuple – MultiId

Returns

UnionSet

coalesce(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

copy(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

dim(self, type)

Parameters

• self – MultiUnionPwAff

• type – dim_type

Returns

isl_size

domain(self)

Parameters

self – MultiUnionPwAff

Returns

UnionSet

drop_dims(self, type, first, n)

Parameters

• self – MultiUnionPwAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

MultiUnionPwAff

dump(self)

Parameters

self – MultiUnionPwAff

Returns

None

extract_multi_pw_aff(self, space)

Parameters

• self – MultiUnionPwAff

• space – Space

Returns

MultiPwAff

factor_range(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

find_dim_by_id(self, type, id)

Parameters

• self – MultiUnionPwAff

• type – dim_type

• id – Id

Returns

int

find_dim_by_name(self, type, name)

Parameters

• self – MultiUnionPwAff

• type – dim_type

• name – string

Returns

int

flatten_range(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

floor(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

static from_multi_aff(ma)

Parameters

ma – MultiAff

Returns

MultiUnionPwAff

static from_multi_pw_aff(mpa)

Parameters

mpa – MultiPwAff

Returns

MultiUnionPwAff

from_range(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

static from_union_map(umap)

Parameters

umap – UnionMap

Returns

MultiUnionPwAff

static from_union_pw_aff(upa)

Parameters

upa – UnionPwAff

Returns

MultiUnionPwAff

static from_union_pw_multi_aff(upma)

Parameters

upma – UnionPwMultiAff

Returns

MultiUnionPwAff

get_ctx(self)

Parameters

self – MultiUnionPwAff

Returns

Context

get_dim_id(self, type, pos)

Parameters

• self – MultiUnionPwAff

• type – dim_type

• pos – unsigned

Returns

Id

get_domain_space(self)

Parameters

self – MultiUnionPwAff

Returns

Space

get_tuple_id(self, type)

Parameters

• self – MultiUnionPwAff

• type – dim_type

Returns

Id

get_tuple_name(self, type)

Parameters

• self – MultiUnionPwAff

• type – dim_type

Returns

string

get_union_pw_aff(self, pos)

Parameters

• self – MultiUnionPwAff

• pos – int

Returns

UnionPwAff

gist(self, context)

Parameters

• self – MultiUnionPwAff

• context – UnionSet

Returns

MultiUnionPwAff

gist_params(self, context)

Parameters

• self – MultiUnionPwAff

• context – Set

Returns

MultiUnionPwAff

has_tuple_id(self, type)

Parameters

• self – MultiUnionPwAff

• type – dim_type

Returns

bool

intersect_domain(self, uset)

Parameters

• self – MultiUnionPwAff

• uset – UnionSet

Returns

MultiUnionPwAff

intersect_params(self, params)

Parameters

• self – MultiUnionPwAff

• params – Set

Returns

MultiUnionPwAff

intersect_range(self, set)

Parameters

• self – MultiUnionPwAff

• set – Set

Returns

MultiUnionPwAff

max_multi_val(self)

Parameters

self – MultiUnionPwAff

Returns

MultiVal

min_multi_val(self)

Parameters

self – MultiUnionPwAff

Returns

MultiVal

mod_multi_val(self, mv)

Parameters

• self – MultiUnionPwAff

• mv – MultiVal

Returns

MultiUnionPwAff

static multi_aff_on_domain(domain, ma)

Parameters

• domain – UnionSet

• ma – MultiAff

Returns

MultiUnionPwAff

static multi_val_on_domain(domain, mv)

Parameters

• domain – UnionSet

• mv – MultiVal

Returns

MultiUnionPwAff

pullback_union_pw_multi_aff(self, upma)

Parameters

• self – MultiUnionPwAff

• upma – UnionPwMultiAff

Returns

MultiUnionPwAff

static pw_multi_aff_on_domain(domain, pma)

Parameters

• domain – UnionSet

• pma – PwMultiAff

Returns

MultiUnionPwAff

range_factor_domain(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

range_factor_range(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

range_is_wrapping(self)

Parameters

self – MultiUnionPwAff

Returns

bool

range_splice(self, pos, multi2)

Parameters

• self – MultiUnionPwAff

• pos – unsigned

• multi2 – MultiUnionPwAff

Returns

MultiUnionPwAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

MultiUnionPwAff

reset_tuple_id(self, type)

Parameters

• self – MultiUnionPwAff

• type – dim_type

Returns

MultiUnionPwAff

reset_user(self)

Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

scale_down_multi_val(self, mv)

Parameters

• self – MultiUnionPwAff

• mv – MultiVal

Returns

MultiUnionPwAff

scale_down_val(self, v)

Parameters

• self – MultiUnionPwAff

• v – Val

Returns

MultiUnionPwAff

scale_multi_val(self, mv)

Parameters

• self – MultiUnionPwAff

• mv – MultiVal

Returns

MultiUnionPwAff

scale_val(self, v)

Parameters

• self – MultiUnionPwAff

• v – Val

Returns

MultiUnionPwAff

set_dim_id(self, type, pos, id)

Parameters

• self – MultiUnionPwAff

• type – dim_type

• pos – unsigned

• id – Id

Returns

MultiUnionPwAff

set_dim_name(self, type, pos, s)

Parameters

• self – MultiUnionPwAff

• type – dim_type

• pos – unsigned

• s – string

Returns

MultiUnionPwAff

set_range_tuple_id(self, id)

Parameters

• self – MultiUnionPwAff

• id – Id

Returns

MultiUnionPwAff

set_tuple_id(self, type, id)

Parameters

• self – MultiUnionPwAff

• type – dim_type

• id – Id

Returns

MultiUnionPwAff

set_tuple_name(self, type, s)

Parameters

• self – MultiUnionPwAff

• type – dim_type

• s – string

Returns

MultiUnionPwAff

set_union_pw_aff(self, pos, el)

Parameters

• self – MultiUnionPwAff

• pos – int

• el – UnionPwAff

Returns

MultiUnionPwAff

to_str(self)

Parameters

self – MultiUnionPwAff

Returns

string

union_add(self, mupa2)

Parameters

• self – MultiUnionPwAff

• mupa2 – MultiUnionPwAff

Returns

MultiUnionPwAff

zero_union_set(self)

Parameters

self – MultiUnionPwAff

Returns

UnionSet

Multiple Affine Expressions

Multiple Affine Expression

class islpy.MultiAff(s=None, context=None)

__eq__() __hash__() __ne__() add_constant_multi_val() add_constant_val() add_dims() align_params() as_map() as_set() bind() copy() dim() domain_map() (static) drop_dims() dump() factor_range() find_dim_by_id() find_dim_by_name() flatten_domain() flatten_range() floor() from_aff() (static) from_range() get_aff() get_constant_multi_val() get_ctx() get_dim_id() get_domain_space() get_tuple_id() get_tuple_name() gist() gist_params() has_tuple_id() identity() (static) identity_multi_aff() identity_on_domain_space() (static) insert_dims()

involves_dims() lex_ge_set() lex_gt_set() lex_le_set() lex_lt_set() lift() mod_multi_val() move_dims() multi_val_on_domain_space() (static) multi_val_on_space() (static) plain_cmp() project_domain_on_params() project_out_map() (static) pullback_multi_aff() range_factor_domain() range_factor_range() range_is_wrapping() range_map() (static) range_splice() read_from_str() (static) reset_tuple_id() reset_user() scale_down_multi_val() scale_down_val() scale_multi_val() scale_val() set_aff() set_dim_id() set_dim_name() set_range_tuple_id() set_tuple_id() set_tuple_name() splice() to_multi_pw_aff() to_multi_union_pw_aff() to_pw_multi_aff() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

add_constant_multi_val(self, mv)

Parameters

• self – MultiAff

• mv – MultiVal

Returns

MultiAff

add_constant_val(self, v)

Parameters

• self – MultiAff

• v – Val

Returns

MultiAff

add_dims(self, type, n)

Parameters

• self – MultiAff

• type – dim_type

• n – unsigned

Returns

MultiAff

align_params(self, model)

Parameters

• self – MultiAff

• model – Space

Returns

MultiAff

as_map(self)

Parameters

self – MultiAff

Returns

Map

as_set(self)

Parameters

self – MultiAff

Returns

Set

bind(self, tuple)

Parameters

• self – MultiAff

• tuple – MultiId

Returns

BasicSet

copy(self)

Parameters

self – MultiAff

Returns

MultiAff

dim(self, type)

Parameters

• self – MultiAff

• type – dim_type

Returns

isl_size

static domain_map(space)

Parameters

space – Space

Returns

MultiAff

drop_dims(self, type, first, n)

Parameters

• self – MultiAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

MultiAff

dump(self)

Parameters

self – MultiAff

Returns

None

factor_range(self)

Parameters

self – MultiAff

Returns

MultiAff

find_dim_by_id(self, type, id)

Parameters

• self – MultiAff

• type – dim_type

• id – Id

Returns

int

find_dim_by_name(self, type, name)

Parameters

• self – MultiAff

• type – dim_type

• name – string

Returns

int

flatten_domain(self)

Parameters

self – MultiAff

Returns

MultiAff

flatten_range(self)

Parameters

self – MultiAff

Returns

MultiAff

floor(self)

Parameters

self – MultiAff

Returns

MultiAff

static from_aff(aff)

Parameters

aff – Aff

Returns

MultiAff

from_range(self)

Parameters

self – MultiAff

Returns

MultiAff

get_aff(self, pos)

Parameters

• self – MultiAff

• pos – int

Returns

Aff

get_constant_multi_val(self)

Parameters

self – MultiAff

Returns

MultiVal

get_ctx(self)

Parameters

self – MultiAff

Returns

Context

get_dim_id(self, type, pos)

Parameters

• self – MultiAff

• type – dim_type

• pos – unsigned

Returns

Id

get_domain_space(self)

Parameters

self – MultiAff

Returns

Space

get_tuple_id(self, type)

Parameters

• self – MultiAff

• type – dim_type

Returns

Id

get_tuple_name(self, type)

Parameters

• self – MultiAff

• type – dim_type

Returns

string

gist(self, context)

Parameters

• self – MultiAff

• context – Set

Returns

MultiAff

gist_params(self, context)

Parameters

• self – MultiAff

• context – Set

Returns

MultiAff

has_tuple_id(self, type)

Parameters

• self – MultiAff

• type – dim_type

Returns

bool

static identity(space)

Parameters

space – Space

Returns

MultiAff

identity_multi_aff(self)

Parameters

self – MultiAff

Returns

MultiAff

static identity_on_domain_space(space)

Parameters

space – Space

Returns

MultiAff

insert_dims(self, type, first, n)

Parameters

• self – MultiAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

MultiAff

involves_dims(self, type, first, n)

Parameters

• self – MultiAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

bool

lex_ge_set(self, ma2)

Parameters

• self – MultiAff

• ma2 – MultiAff

Returns

Set

lex_gt_set(self, ma2)

Parameters

• self – MultiAff

• ma2 – MultiAff

Returns

Set

lex_le_set(self, ma2)

Parameters

• self – MultiAff

• ma2 – MultiAff

Returns

Set

lex_lt_set(self, ma2)

Parameters

• self – MultiAff

• ma2 – MultiAff

Returns

Set

lift(self)

Parameters

self – MultiAff

Returns

tuple: (MultiAff, ls (LocalSpace))

mod_multi_val(self, mv)

Parameters

• self – MultiAff

• mv – MultiVal

Returns

MultiAff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)

Parameters

• self – MultiAff

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns

MultiAff

static multi_val_on_domain_space(space, mv)

Parameters

• space – Space

• mv – MultiVal

Returns

MultiAff

static multi_val_on_space(space, mv)

Parameters

• space – Space

• mv – MultiVal

Returns

MultiAff

plain_cmp(self, multi2)

Parameters

• self – MultiAff

• multi2 – MultiAff

Returns

int

project_domain_on_params(self)

Parameters

self – MultiAff

Returns

MultiAff

static project_out_map(space, type, first, n)

Parameters

• space – Space

• type – dim_type

• first – unsigned

• n – unsigned

Returns

MultiAff

pullback_multi_aff(self, ma2)

Parameters

• self – MultiAff

• ma2 – MultiAff

Returns

MultiAff

range_factor_domain(self)

Parameters

self – MultiAff

Returns

MultiAff

range_factor_range(self)

Parameters

self – MultiAff

Returns

MultiAff

range_is_wrapping(self)

Parameters

self – MultiAff

Returns

bool

static range_map(space)

Parameters

space – Space

Returns

MultiAff

range_splice(self, pos, multi2)

Parameters

• self – MultiAff

• pos – unsigned

• multi2 – MultiAff

Returns

MultiAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

MultiAff

reset_tuple_id(self, type)

Parameters

• self – MultiAff

• type – dim_type

Returns

MultiAff

reset_user(self)

Parameters

self – MultiAff

Returns

MultiAff

scale_down_multi_val(self, mv)

Parameters

• self – MultiAff

• mv – MultiVal

Returns

MultiAff

scale_down_val(self, v)

Parameters

• self – MultiAff

• v – Val

Returns

MultiAff

scale_multi_val(self, mv)

Parameters

• self – MultiAff

• mv – MultiVal

Returns

MultiAff

scale_val(self, v)

Parameters

• self – MultiAff

• v – Val

Returns

MultiAff

set_aff(self, pos, el)

Parameters

• self – MultiAff

• pos – int

• el – Aff

Returns

MultiAff

set_dim_id(self, type, pos, id)

Parameters

• self – MultiAff

• type – dim_type

• pos – unsigned

• id – Id

Returns

MultiAff

set_dim_name(self, type, pos, s)

Parameters

• self – MultiAff

• type – dim_type

• pos – unsigned

• s – string

Returns

MultiAff

set_range_tuple_id(self, id)

Parameters

• self – MultiAff

• id – Id

Returns

MultiAff

set_tuple_id(self, type, id)

Parameters

• self – MultiAff

• type – dim_type

• id – Id

Returns

MultiAff

set_tuple_name(self, type, s)

Parameters

• self – MultiAff

• type – dim_type

• s – string

Returns

MultiAff

splice(self, in_pos, out_pos, multi2)

Parameters

• self – MultiAff

• in_pos – unsigned

• out_pos – unsigned

• multi2 – MultiAff

Returns

MultiAff

to_multi_pw_aff(self)

Parameters

self – MultiAff

Returns

MultiPwAff

to_multi_union_pw_aff(self)

Parameters

self – MultiAff

Returns

MultiUnionPwAff

to_pw_multi_aff(self)

Parameters

self – MultiAff

Returns

PwMultiAff

to_str(self)

Parameters

self – MultiAff

Returns

string

Piecewise Multiple Affine Expression

class islpy.PwMultiAff(s=None, context=None)

__eq__() __hash__() __ne__() add() add_constant_multi_val() add_constant_val() align_params() alloc() (static) as_map() as_multi_aff() as_set() bind_domain() bind_domain_wrapped_domain() coalesce() copy() dim() domain() domain_map() (static) drop_dims() drop_unused_params() dump() empty() (static) every_piece() find_dim_by_name() fix_si() flat_range_product() foreach_piece() from_domain() (static) from_map() (static) from_multi_aff() (static) from_multi_pw_aff() (static) from_pw_aff() (static) from_set() (static) get_at() get_ctx() get_dim_id() get_dim_name() get_domain_space() get_id_dict() get_pw_aff() get_range_tuple_id() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_ids() get_var_names() gist() gist_params() has_range_tuple_id()

has_tuple_id() has_tuple_name() identity() (static) identity_on_domain_space() (static) insert_domain() intersect_domain() intersect_domain_wrapped_domain() intersect_domain_wrapped_range() intersect_params() involves_dims() involves_locals() involves_nan() involves_param_id() is_equal() isa_multi_aff() max_multi_val() min_multi_val() multi_val_on_domain() (static) n_piece() neg() plain_is_equal() preimage_domain_wrapped_domain_pw_multi_aff() product() project_domain_on_params() project_out_map() (static) pullback_multi_aff() pullback_pw_multi_aff() range_factor_domain() range_factor_range() range_map() (static) range_product() read_from_str() (static) reset_tuple_id() reset_user() scale_down_val() scale_multi_val() scale_val() set_dim_id() set_pw_aff() set_range_tuple_id() set_tuple_id() sub() subtract_domain() to_multi_pw_aff() to_str() to_union_pw_multi_aff() union_add() union_lexmax() union_lexmin() zero() (static)

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

add_constant_multi_val(self, mv)

Parameters

• self – PwMultiAff

• mv – MultiVal

Returns

PwMultiAff

add_constant_val(self, v)

Parameters

• self – PwMultiAff

• v – Val

Returns

PwMultiAff

align_params(self, model)

Parameters

• self – PwMultiAff

• model – Space

Returns

PwMultiAff

static alloc(set, maff)

Parameters

• set – Set

• maff – MultiAff

Returns

PwMultiAff

as_map(self)

Parameters

self – PwMultiAff

Returns

Map

as_multi_aff(self)

Parameters

self – PwMultiAff

Returns

MultiAff

as_set(self)

Parameters

self – PwMultiAff

Returns

Set

bind_domain(self, tuple)

Parameters

• self – PwMultiAff

• tuple – MultiId

Returns

PwMultiAff

bind_domain_wrapped_domain(self, tuple)

Parameters

• self – PwMultiAff

• tuple – MultiId

Returns

PwMultiAff

coalesce(self)

Parameters

self – PwMultiAff

Returns

PwMultiAff

copy(self)

Parameters

self – PwMultiAff

Returns

PwMultiAff

dim(self, type)

Parameters

• self – PwMultiAff

• type – dim_type

Returns

isl_size

domain(self)

Parameters

self – PwMultiAff

Returns

Set

static domain_map(space)

Parameters

space – Space

Returns

PwMultiAff

drop_dims(self, type, first, n)

Parameters

• self – PwMultiAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

PwMultiAff

drop_unused_params(self)

Parameters

self – PwMultiAff

Returns

PwMultiAff

dump(self)

Parameters

self – PwMultiAff

Returns

None

static empty(space)

Parameters

space – Space

Returns

PwMultiAff

every_piece(self, test)

Parameters

• self – PwMultiAff

• test – callback(set, ma)

Returns

bool

find_dim_by_name(self, type, name)

Parameters

• self – PwMultiAff

• type – dim_type

• name – string

Returns

int

fix_si(self, type, pos, value)

Parameters

• self – PwMultiAff

• type – dim_type

• pos – unsigned

• value – int

Returns

PwMultiAff

flat_range_product(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

foreach_piece(self, fn)

Parameters

• self – PwMultiAff

• fn – callback(set, maff)

Returns

isl_stat

static from_domain(set)

Parameters

set – Set

Returns

PwMultiAff

static from_map(map)

Parameters

map – Map

Returns

PwMultiAff

static from_multi_aff(ma)

Parameters

ma – MultiAff

Returns

PwMultiAff

static from_multi_pw_aff(mpa)

Parameters

mpa – MultiPwAff

Returns

PwMultiAff

static from_pw_aff(pa)

Parameters

pa – PwAff

Returns

PwMultiAff

static from_set(set)

Parameters

set – Set

Returns

PwMultiAff

get_at(self, pos)

Parameters

• self – PwMultiAff

• pos – int

Returns

PwAff

get_ctx(self)

Parameters

self – PwMultiAff

Returns

Context

get_dim_id(self, type, pos)

Parameters

• self – PwMultiAff

• type – dim_type

• pos – unsigned

Returns

Id

get_dim_name(self, type, pos)

Parameters

• self – PwMultiAff

• type – dim_type

• pos – unsigned

Returns

string

get_domain_space(self)

Parameters

self – PwMultiAff

Returns

Space

get_id_dict(dimtype=None)

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_pw_aff(self, pos)

Parameters

• self – PwMultiAff

• pos – int

Returns

PwAff

get_range_tuple_id(self)

Parameters

self – PwMultiAff

Returns

Id

get_space(self)

Parameters

self – PwMultiAff

Returns

Space

get_tuple_id(self, type)

Parameters

• self – PwMultiAff

• type – dim_type

Returns

Id

get_tuple_name(self, type)

Parameters

• self – PwMultiAff

• type – dim_type

Returns

string

get_var_dict(dimtype=None)

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

Return a list of dim names (in order) for dim_type dimtype.

gist(self, set)

Parameters

• self – PwMultiAff

• set – Set

Returns

PwMultiAff

gist_params(self, set)

Parameters

• self – PwMultiAff

• set – Set

Returns

PwMultiAff

has_range_tuple_id(self)

Parameters

self – PwMultiAff

Returns

bool

has_tuple_id(self, type)

Parameters

• self – PwMultiAff

• type – dim_type

Returns

bool

has_tuple_name(self, type)

Parameters

• self – PwMultiAff

• type – dim_type

Returns

bool

static identity(space)

Parameters

space – Space

Returns

PwMultiAff

static identity_on_domain_space(space)

Parameters

space – Space

Returns

PwMultiAff

insert_domain(self, domain)

Parameters

• self – PwMultiAff

• domain – Space

Returns

PwMultiAff

intersect_domain(self, set)

Parameters

• self – PwMultiAff

• set – Set

Returns

PwMultiAff

intersect_domain_wrapped_domain(self, set)

Parameters

• self – PwMultiAff

• set – Set

Returns

PwMultiAff

intersect_domain_wrapped_range(self, set)

Parameters

• self – PwMultiAff

• set – Set

Returns

PwMultiAff

intersect_params(self, set)

Parameters

• self – PwMultiAff

• set – Set

Returns

PwMultiAff

involves_dims(self, type, first, n)

Parameters

• self – PwMultiAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

bool

involves_locals(self)

Parameters

self – PwMultiAff

Returns

bool

involves_nan(self)

Parameters

self – PwMultiAff

Returns

bool

involves_param_id(self, id)

Parameters

• self – PwMultiAff

• id – Id

Returns

bool

is_equal(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

bool

isa_multi_aff(self)

Parameters

self – PwMultiAff

Returns

bool

max_multi_val(self)

Parameters

self – PwMultiAff

Returns

MultiVal

min_multi_val(self)

Parameters

self – PwMultiAff

Returns

MultiVal

static multi_val_on_domain(domain, mv)

Parameters

• domain – Set

• mv – MultiVal

Returns

PwMultiAff

n_piece(self)

Parameters

self – PwMultiAff

Returns

isl_size

neg(self)

Parameters

self – PwMultiAff

Returns

PwMultiAff

plain_is_equal(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

bool

preimage_domain_wrapped_domain_pw_multi_aff(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

product(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

project_domain_on_params(self)

Parameters

self – PwMultiAff

Returns

PwMultiAff

static project_out_map(space, type, first, n)

Parameters

• space – Space

• type – dim_type

• first – unsigned

• n – unsigned

Returns

PwMultiAff

pullback_multi_aff(self, ma)

Parameters

• self – PwMultiAff

• ma – MultiAff

Returns

PwMultiAff

pullback_pw_multi_aff(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

range_factor_domain(self)

Parameters

self – PwMultiAff

Returns

PwMultiAff

range_factor_range(self)

Parameters

self – PwMultiAff

Returns

PwMultiAff

static range_map(space)

Parameters

space – Space

Returns

PwMultiAff

range_product(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

PwMultiAff

reset_tuple_id(self, type)

Parameters

• self – PwMultiAff

• type – dim_type

Returns

PwMultiAff

reset_user(self)

Parameters

self – PwMultiAff

Returns

PwMultiAff

scale_down_val(self, v)

Parameters

• self – PwMultiAff

• v – Val

Returns

PwMultiAff

scale_multi_val(self, mv)

Parameters

• self – PwMultiAff

• mv – MultiVal

Returns

PwMultiAff

scale_val(self, v)

Parameters

• self – PwMultiAff

• v – Val

Returns

PwMultiAff

set_dim_id(self, type, pos, id)

Parameters

• self – PwMultiAff

• type – dim_type

• pos – unsigned

• id – Id

Returns

PwMultiAff

set_pw_aff(self, pos, pa)

Parameters

• self – PwMultiAff

• pos – unsigned

• pa – PwAff

Returns

PwMultiAff

set_range_tuple_id(self, id)

Parameters

• self – PwMultiAff

• id – Id

Returns

PwMultiAff

set_tuple_id(self, type, id)

Parameters

• self – PwMultiAff

• type – dim_type

• id – Id

Returns

PwMultiAff

property space

get_space(self)

Parameters

self – PwMultiAff

Returns

Space

sub(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

subtract_domain(self, set)

Parameters

• self – PwMultiAff

• set – Set

Returns

PwMultiAff

to_multi_pw_aff(self)

Parameters

self – PwMultiAff

Returns

MultiPwAff

to_str(self)

Parameters

self – PwMultiAff

Returns

string

to_union_pw_multi_aff(self)

Parameters

self – PwMultiAff

Returns

UnionPwMultiAff

union_add(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

union_lexmax(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

union_lexmin(self, pma2)

Parameters

• self – PwMultiAff

• pma2 – PwMultiAff

Returns

PwMultiAff

static zero(space)

Parameters

space – Space

Returns

PwMultiAff

Multiple Piecewise Affine Expression

class islpy.MultiPwAff(s=None, context=None)

__eq__() __hash__() __ne__() add_constant_multi_val() add_constant_val() add_dims() align_params() as_map() as_set() bind() coalesce() copy() dim() domain() drop_dims() dump() eq_map() factor_range() find_dim_by_id() find_dim_by_name() flatten_range() from_aff() (static) from_multi_aff() (static) from_pw_aff() (static) from_pw_multi_aff() (static) from_range() get_ctx() get_dim_id() get_domain_space() get_pw_aff() get_tuple_id() get_tuple_name() gist() gist_params() has_tuple_id() identity() (static) identity_multi_pw_aff() identity_on_domain_space() (static) insert_dims()

intersect_domain() intersect_params() involves_dims() involves_param_id() involves_param_id_list() is_cst() is_equal() lex_ge_map() lex_gt_map() lex_le_map() lex_lt_map() max_multi_val() min_multi_val() mod_multi_val() move_dims() project_domain_on_params() pullback_multi_aff() pullback_multi_pw_aff() pullback_pw_multi_aff() range_factor_domain() range_factor_range() range_is_wrapping() range_splice() read_from_str() (static) reset_tuple_id() reset_user() scale_down_multi_val() scale_down_val() scale_multi_val() scale_val() set_dim_id() set_dim_name() set_pw_aff() set_range_tuple_id() set_tuple_id() set_tuple_name() splice() to_str() union_add()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_constant_multi_val(self, mv)

Parameters

• self – MultiPwAff

• mv – MultiVal

Returns

MultiPwAff

add_constant_val(self, v)

Parameters

• self – MultiPwAff

• v – Val

Returns

MultiPwAff

add_dims(self, type, n)

Parameters

• self – MultiPwAff

• type – dim_type

• n – unsigned

Returns

MultiPwAff

align_params(self, model)

Parameters

• self – MultiPwAff

• model – Space

Returns

MultiPwAff

as_map(self)

Parameters

self – MultiPwAff

Returns

Map

as_set(self)

Parameters

self – MultiPwAff

Returns

Set

bind(self, tuple)

Parameters

• self – MultiPwAff

• tuple – MultiId

Returns

Set

coalesce(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

copy(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

dim(self, type)

Parameters

• self – MultiPwAff

• type – dim_type

Returns

isl_size

domain(self)

Parameters

self – MultiPwAff

Returns

Set

drop_dims(self, type, first, n)

Parameters

• self – MultiPwAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

MultiPwAff

dump(self)

Parameters

self – MultiPwAff

Returns

None

eq_map(self, mpa2)

Parameters

• self – MultiPwAff

• mpa2 – MultiPwAff

Returns

Map

factor_range(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

find_dim_by_id(self, type, id)

Parameters

• self – MultiPwAff

• type – dim_type

• id – Id

Returns

int

find_dim_by_name(self, type, name)

Parameters

• self – MultiPwAff

• type – dim_type

• name – string

Returns

int

flatten_range(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

static from_aff(aff)

Parameters

aff – Aff

Returns

MultiPwAff

static from_multi_aff(ma)

Parameters

ma – MultiAff

Returns

MultiPwAff

static from_pw_aff(pa)

Parameters

pa – PwAff

Returns

MultiPwAff

static from_pw_multi_aff(pma)

Parameters

pma – PwMultiAff

Returns

MultiPwAff

from_range(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

get_ctx(self)

Parameters

self – MultiPwAff

Returns

Context

get_dim_id(self, type, pos)

Parameters

• self – MultiPwAff

• type – dim_type

• pos – unsigned

Returns

Id

get_domain_space(self)

Parameters

self – MultiPwAff

Returns

Space

get_pw_aff(self, pos)

Parameters

• self – MultiPwAff

• pos – int

Returns

PwAff

get_tuple_id(self, type)

Parameters

• self – MultiPwAff

• type – dim_type

Returns

Id

get_tuple_name(self, type)

Parameters

• self – MultiPwAff

• type – dim_type

Returns

string

gist(self, set)

Parameters

• self – MultiPwAff

• set – Set

Returns

MultiPwAff

gist_params(self, set)

Parameters

• self – MultiPwAff

• set – Set

Returns

MultiPwAff

has_tuple_id(self, type)

Parameters

• self – MultiPwAff

• type – dim_type

Returns

bool

static identity(space)

Parameters

space – Space

Returns

MultiPwAff

identity_multi_pw_aff(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

static identity_on_domain_space(space)

Parameters

space – Space

Returns

MultiPwAff

insert_dims(self, type, first, n)

Parameters

• self – MultiPwAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

MultiPwAff

intersect_domain(self, domain)

Parameters

• self – MultiPwAff

• domain – Set

Returns

MultiPwAff

intersect_params(self, set)

Parameters

• self – MultiPwAff

• set – Set

Returns

MultiPwAff

involves_dims(self, type, first, n)

Parameters

• self – MultiPwAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

bool

involves_param_id(self, id)

Parameters

• self – MultiPwAff

• id – Id

Returns

bool

involves_param_id_list(self, list)

Parameters

• self – MultiPwAff

• list – IdList

Returns

bool

is_cst(self)

Parameters

self – MultiPwAff

Returns

bool

is_equal(self, mpa2)

Parameters

• self – MultiPwAff

• mpa2 – MultiPwAff

Returns

bool

lex_ge_map(self, mpa2)

Parameters

• self – MultiPwAff

• mpa2 – MultiPwAff

Returns

Map

lex_gt_map(self, mpa2)

Parameters

• self – MultiPwAff

• mpa2 – MultiPwAff

Returns

Map

lex_le_map(self, mpa2)

Parameters

• self – MultiPwAff

• mpa2 – MultiPwAff

Returns

Map

lex_lt_map(self, mpa2)

Parameters

• self – MultiPwAff

• mpa2 – MultiPwAff

Returns

Map

max_multi_val(self)

Parameters

self – MultiPwAff

Returns

MultiVal

min_multi_val(self)

Parameters

self – MultiPwAff

Returns

MultiVal

mod_multi_val(self, mv)

Parameters

• self – MultiPwAff

• mv – MultiVal

Returns

MultiPwAff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)

Parameters

• self – MultiPwAff

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns

MultiPwAff

project_domain_on_params(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

pullback_multi_aff(self, ma)

Parameters

• self – MultiPwAff

• ma – MultiAff

Returns

MultiPwAff

pullback_multi_pw_aff(self, mpa2)

Parameters

• self – MultiPwAff

• mpa2 – MultiPwAff

Returns

MultiPwAff

pullback_pw_multi_aff(self, pma)

Parameters

• self – MultiPwAff

• pma – PwMultiAff

Returns

MultiPwAff

range_factor_domain(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

range_factor_range(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

range_is_wrapping(self)

Parameters

self – MultiPwAff

Returns

bool

range_splice(self, pos, multi2)

Parameters

• self – MultiPwAff

• pos – unsigned

• multi2 – MultiPwAff

Returns

MultiPwAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

MultiPwAff

reset_tuple_id(self, type)

Parameters

• self – MultiPwAff

• type – dim_type

Returns

MultiPwAff

reset_user(self)

Parameters

self – MultiPwAff

Returns

MultiPwAff

scale_down_multi_val(self, mv)

Parameters

• self – MultiPwAff

• mv – MultiVal

Returns

MultiPwAff

scale_down_val(self, v)

Parameters

• self – MultiPwAff

• v – Val

Returns

MultiPwAff

scale_multi_val(self, mv)

Parameters

• self – MultiPwAff

• mv – MultiVal

Returns

MultiPwAff

scale_val(self, v)

Parameters

• self – MultiPwAff

• v – Val

Returns

MultiPwAff

set_dim_id(self, type, pos, id)

Parameters

• self – MultiPwAff

• type – dim_type

• pos – unsigned

• id – Id

Returns

MultiPwAff

set_dim_name(self, type, pos, s)

Parameters

• self – MultiPwAff

• type – dim_type

• pos – unsigned

• s – string

Returns

MultiPwAff

set_pw_aff(self, pos, el)

Parameters

• self – MultiPwAff

• pos – int

• el – PwAff

Returns

MultiPwAff

set_range_tuple_id(self, id)

Parameters

• self – MultiPwAff

• id – Id

Returns

MultiPwAff

set_tuple_id(self, type, id)

Parameters

• self – MultiPwAff

• type – dim_type

• id – Id

Returns

MultiPwAff

set_tuple_name(self, type, s)

Parameters

• self – MultiPwAff

• type – dim_type

• s – string

Returns

MultiPwAff

splice(self, in_pos, out_pos, multi2)

Parameters

• self – MultiPwAff

• in_pos – unsigned

• out_pos – unsigned

• multi2 – MultiPwAff

Returns

MultiPwAff

to_str(self)

Parameters

self – MultiPwAff

Returns

string

union_add(self, mpa2)

Parameters

• self – MultiPwAff

• mpa2 – MultiPwAff

Returns

MultiPwAff

Union of Piecewise Multiple Affine Expressions

class islpy.UnionPwMultiAff(s=None, context=None)

__eq__() __hash__() __ne__() add() add_pw_multi_aff() align_params() apply_union_pw_multi_aff() as_multi_union_pw_aff() as_pw_multi_aff() as_union_map() coalesce() copy() dim() domain() drop_dims() dump() empty() (static) empty_ctx() (static) empty_space() (static) every_pw_multi_aff() extract_pw_multi_aff() find_dim_by_name() flat_range_product() foreach_pw_multi_aff() from_aff() (static) from_domain() (static) from_multi_aff() (static) from_multi_union_pw_aff() (static) from_pw_multi_aff() (static) from_union_map() (static) from_union_pw_aff() (static) from_union_set() (static) get_ctx() get_id_dict() get_pw_multi_aff_list() get_space() get_union_pw_aff()

get_var_dict() get_var_ids() get_var_names() gist() gist_params() intersect_domain() intersect_domain_space() intersect_domain_union_set() intersect_domain_wrapped_domain() intersect_domain_wrapped_range() intersect_params() involves_locals() involves_nan() isa_pw_multi_aff() multi_val_on_domain() (static) n_pw_multi_aff() neg() plain_is_empty() plain_is_equal() preimage_domain_wrapped_domain_union_pw_multi_aff() pullback_union_pw_multi_aff() range_factor_domain() range_factor_range() range_product() read_from_str() (static) reset_user() scale_down_val() scale_multi_val() scale_val() set_dim_name() sub() subtract_domain() subtract_domain_space() subtract_domain_union_set() to_list() to_str() union_add()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

add(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

UnionPwMultiAff

add_pw_multi_aff(self, pma)

Parameters

• self – UnionPwMultiAff

• pma – PwMultiAff

Returns

UnionPwMultiAff

align_params(self, model)

Parameters

• self – UnionPwMultiAff

• model – Space

Returns

UnionPwMultiAff

apply_union_pw_multi_aff(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

UnionPwMultiAff

as_multi_union_pw_aff(self)

Parameters

self – UnionPwMultiAff

Returns

MultiUnionPwAff

as_pw_multi_aff(self)

Parameters

self – UnionPwMultiAff

Returns

PwMultiAff

as_union_map(self)

Parameters

self – UnionPwMultiAff

Returns

UnionMap

coalesce(self)

Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

copy(self)

Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

dim(self, type)

Parameters

• self – UnionPwMultiAff

• type – dim_type

Returns

isl_size

domain(self)

Parameters

self – UnionPwMultiAff

Returns

UnionSet

drop_dims(self, type, first, n)

Parameters

• self – UnionPwMultiAff

• type – dim_type

• first – unsigned

• n – unsigned

Returns

UnionPwMultiAff

dump(self)

Parameters

self – UnionPwMultiAff

Returns

None

static empty(space)

Parameters

space – Space

Returns

UnionPwMultiAff

static empty_ctx(ctx)

Parameters

ctx – Context

Returns

UnionPwMultiAff

static empty_space(space)

Parameters

space – Space

Returns

UnionPwMultiAff

every_pw_multi_aff(self, test)

Parameters

• self – UnionPwMultiAff

• test – callback(pma)

Returns

bool

extract_pw_multi_aff(self, space)

Parameters

• self – UnionPwMultiAff

• space – Space

Returns

PwMultiAff

find_dim_by_name(self, type, name)

Parameters

• self – UnionPwMultiAff

• type – dim_type

• name – string

Returns

int

flat_range_product(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

UnionPwMultiAff

foreach_pw_multi_aff(self, fn)

Parameters

• self – UnionPwMultiAff

• fn – callback(pma)

Returns

isl_stat

static from_aff(aff)

Parameters

aff – Aff

Returns

UnionPwMultiAff

static from_domain(uset)

Parameters

uset – UnionSet

Returns

UnionPwMultiAff

static from_multi_aff(ma)

Parameters

ma – MultiAff

Returns

UnionPwMultiAff

static from_multi_union_pw_aff(mupa)

Parameters

mupa – MultiUnionPwAff

Returns

UnionPwMultiAff

static from_pw_multi_aff(pma)

Parameters

pma – PwMultiAff

Returns

UnionPwMultiAff

static from_union_map(umap)

Parameters

umap – UnionMap

Returns

UnionPwMultiAff

static from_union_pw_aff(upa)

Parameters

upa – UnionPwAff

Returns

UnionPwMultiAff

static from_union_set(uset)

Parameters

uset – UnionSet

Returns

UnionPwMultiAff

get_ctx(self)

Parameters

self – UnionPwMultiAff

Returns

Context

get_id_dict(dimtype=None)

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_pw_multi_aff_list(self)

Parameters

self – UnionPwMultiAff

Returns

PwMultiAffList

get_space(self)

Parameters

self – UnionPwMultiAff

Returns

Space

get_union_pw_aff(self, pos)

Parameters

• self – UnionPwMultiAff

• pos – int

Returns

UnionPwAff

get_var_dict(dimtype=None)

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

Return a list of dim names (in order) for dim_type dimtype.

gist(self, context)

Parameters

• self – UnionPwMultiAff

• context – UnionSet

Returns

UnionPwMultiAff

gist_params(self, context)

Parameters

• self – UnionPwMultiAff

• context – Set

Returns

UnionPwMultiAff

intersect_domain(self, uset)

Parameters

• self – UnionPwMultiAff

• uset – UnionSet

Returns

UnionPwMultiAff

intersect_domain_space(self, space)

Parameters

• self – UnionPwMultiAff

• space – Space

Returns

UnionPwMultiAff

intersect_domain_union_set(self, uset)

Parameters

• self – UnionPwMultiAff

• uset – UnionSet

Returns

UnionPwMultiAff

intersect_domain_wrapped_domain(self, uset)

Parameters

• self – UnionPwMultiAff

• uset – UnionSet

Returns

UnionPwMultiAff

intersect_domain_wrapped_range(self, uset)

Parameters

• self – UnionPwMultiAff

• uset – UnionSet

Returns

UnionPwMultiAff

intersect_params(self, set)

Parameters

• self – UnionPwMultiAff

• set – Set

Returns

UnionPwMultiAff

involves_locals(self)

Parameters

self – UnionPwMultiAff

Returns

bool

involves_nan(self)

Parameters

self – UnionPwMultiAff

Returns

bool

isa_pw_multi_aff(self)

Parameters

self – UnionPwMultiAff

Returns

bool

static multi_val_on_domain(domain, mv)

Parameters

• domain – UnionSet

• mv – MultiVal

Returns

UnionPwMultiAff

n_pw_multi_aff(self)

Parameters

self – UnionPwMultiAff

Returns

isl_size

neg(self)

Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

plain_is_empty(self)

Parameters

self – UnionPwMultiAff

Returns

bool

plain_is_equal(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

bool

preimage_domain_wrapped_domain_union_pw_multi_aff(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

UnionPwMultiAff

pullback_union_pw_multi_aff(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

UnionPwMultiAff

range_factor_domain(self)

Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

range_factor_range(self)

Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

range_product(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

UnionPwMultiAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

UnionPwMultiAff

reset_user(self)

Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

scale_down_val(self, val)

Parameters

• self – UnionPwMultiAff

• val – Val

Returns

UnionPwMultiAff

scale_multi_val(self, mv)

Parameters

• self – UnionPwMultiAff

• mv – MultiVal

Returns

UnionPwMultiAff

scale_val(self, val)

Parameters

• self – UnionPwMultiAff

• val – Val

Returns

UnionPwMultiAff

set_dim_name(self, type, pos, s)

Parameters

• self – UnionPwMultiAff

• type – dim_type

• pos – unsigned

• s – string

Returns

UnionPwMultiAff

property space

get_space(self)

Parameters

self – UnionPwMultiAff

Returns

Space

sub(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

UnionPwMultiAff

subtract_domain(self, uset)

Parameters

• self – UnionPwMultiAff

• uset – UnionSet

Returns

UnionPwMultiAff

subtract_domain_space(self, space)

Parameters

• self – UnionPwMultiAff

• space – Space

Returns

UnionPwMultiAff

subtract_domain_union_set(self, uset)

Parameters

• self – UnionPwMultiAff

• uset – UnionSet

Returns

UnionPwMultiAff

to_list(self)

Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAffList

to_str(self)

Parameters

self – UnionPwMultiAff

Returns

string

union_add(self, upma2)

Parameters

• self – UnionPwMultiAff

• upma2 – UnionPwMultiAff

Returns

UnionPwMultiAff

Quasipolynomials

Term

class islpy.Term

__eq__() __hash__() __ne__() copy() dim()

get_coefficient_val() get_ctx() get_div() get_exp()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – Term

Returns

Term

dim(self, type)

Parameters

• self – Term

• type – dim_type

Returns

isl_size

get_coefficient_val(self)

Parameters

self – Term

Returns

Val

get_ctx(self)

Parameters

self – Term

Returns

Context

get_div(self, pos)

Parameters

• self – Term

• pos – unsigned

Returns

Aff

get_exp(self, type, pos)

Parameters

• self – Term

• type – dim_type

• pos – unsigned

Returns

isl_size

QPolynomial

class islpy.QPolynomial

__eq__() __hash__() __ne__() add() add_dims() align_params() as_polynomial_on_domain() copy() dim() drop_dims() dump() eval() foreach_term() from_aff() (static) from_constraint() (static) from_term() (static) get_constant_val() get_ctx() get_domain_space() get_id_dict() get_space() get_terms() get_var_dict() get_var_ids() get_var_names() gist() gist_params()

homogenize() infty_on_domain() (static) insert_dims() involves_dims() is_infty() is_nan() is_neginfty() is_zero() move_dims() mul() nan_on_domain() (static) neg() neginfty_on_domain() (static) one_on_domain() (static) plain_is_equal() pow() project_domain_on_params() scale_down_val() scale_val() set_dim_name() sgn() sub() to_list() val_on_domain() (static) var_on_domain() (static) zero_on_domain() (static)

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

add(self, qp2)

Parameters

• self – QPolynomial

• qp2 – QPolynomial

Returns

QPolynomial

add_dims(self, type, n)

Parameters

• self – QPolynomial

• type – dim_type

• n – unsigned

Returns

QPolynomial

align_params(self, model)

Parameters

• self – QPolynomial

• model – Space

Returns

QPolynomial

as_polynomial_on_domain(self, bset, fn)

Parameters

• self –