Reference: Sets and Maps

Basic Set

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

__eq__() __hash__() __ne__() add_constraint() add_constraints() add_dims() add_set() affine_hull() align_divs() align_params() apply() apply_pw_qpolynomial_fold() apply_union_pw_qpolynomial_fold() as_pw_multi_aff() as_set() bind() bounded_simple_hull() box_from_points() (static) coalesce() coefficients() compare_at() complement() compute_divs() compute_schedule() compute_vertices() contains() convex_hull() copy() count_val() detect_equalities() dim() dim_has_any_lower_bound() dim_has_any_upper_bound() dim_has_lower_bound() dim_has_upper_bound() dim_is_bounded() dim_max() dim_max_val() dim_min() dim_min_val() dim_residue_class_val() drop_constraints_involving_dims() drop_constraints_not_involving_dims() drop_unused_params() dump() eliminate() eliminate_dims() eliminate_except() empty() (static) equalities_matrix() equate() every_set() extract_set() find_dim_by_id() find_dim_by_name() fix_dim_si() fix_val() flat_product() flatten() flatten_map() follows_at() foreach_basic_set() foreach_bound_pair() foreach_constraint() foreach_point() foreach_set() from_constraint() (static) from_constraint_matrices() (static) from_multi_aff() (static) from_params() from_point() (static) get_basic_set_list() get_basic_sets() get_constraint_list() get_constraints() get_ctx() get_dim_id() get_dim_name() get_div() get_id_dict() get_local_space() get_plain_multi_val_if_fixed() get_set_list() get_simple_fixed_box_hull() get_space() get_stride() get_stride_info() get_tuple_id() get_tuple_name() get_var_dict() get_var_ids() get_var_names() gist() gist_basic_set() gist_params() has_dim_id() has_dim_name() has_equal_space() has_tuple_id() has_tuple_name() identity() identity_union_pw_multi_aff() indicator_function() inequalities_matrix() insert_dims() insert_domain() intersect() intersect_factor_domain() intersect_factor_range() intersect_params()

involves_dims() involves_locals() is_bounded() is_box() is_disjoint() is_empty() is_equal() is_params() is_rational() is_singleton() is_strict_subset() is_subset() is_universe() is_wrapping() isa_set() lex_ge_set() lex_ge_union_set() lex_gt_set() lex_gt_union_set() lex_le_set() lex_le_union_set() lex_lt_set() lex_lt_union_set() lexmax() lexmax_pw_multi_aff() lexmin() lexmin_pw_multi_aff() lift() lower_bound_multi_pw_aff() lower_bound_multi_val() lower_bound_val() make_disjoint() max_multi_pw_aff() max_val() min_multi_pw_aff() min_multi_union_pw_aff() min_val() move_dims() n_basic_set() n_constraint() n_dim() n_param() n_set() nat_universe() (static) neg() params() partial_lexmax() partial_lexmax_pw_multi_aff() partial_lexmin() partial_lexmin_pw_multi_aff() plain_cmp() plain_get_val_if_fixed() plain_is_disjoint() plain_is_empty() plain_is_equal() plain_is_universe() plain_unshifted_simple_hull() polyhedral_hull() positive_orthant() (static) preimage_multi_aff() preimage_multi_pw_aff() preimage_pw_multi_aff() preimage_union_pw_multi_aff() product() project_onto_map() project_out() project_out_all_params() project_out_except() project_out_param_id() project_out_param_id_list() pw_multi_aff_on_domain_multi_val() read_from_str() (static) reduced_basis() remove_dims() remove_divs() remove_divs_involving_dims() remove_redundancies() remove_unknown_divs() reset_space() reset_tuple_id() reset_user() sample() sample_point() set_dim_id() set_dim_name() set_tuple_id() set_tuple_name() simple_hull() solutions() split_dims() subtract() sum() to_list() to_set() to_str() to_union_set() total_dim() translation() unbind_params() unbind_params_insert_domain() union() union_disjoint() universe() (static) unshifted_simple_hull() unshifted_simple_hull_from_set_list() unwrap() upper_bound_multi_pw_aff() upper_bound_multi_val() upper_bound_val() wrapped_domain_map()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_constraint(self, constraint)

Parameters

• self – BasicSet

• constraint – Constraint

Returns

BasicSet

add_constraints(constraints)

New in version 2011.3.

add_dims(self, type, n)

Parameters

• self – BasicSet

• type – dim_type

• n – unsigned

Returns

BasicSet

add_set(self, set)

Parameters

• self – UnionSet

• set – Set

Returns

UnionSet

affine_hull(self)

Parameters

self – BasicSet

Returns

BasicSet

align_divs(self)

Parameters

self – Set

Returns

Set

align_params(self, model)

Parameters

• self – BasicSet

• model – Space

Returns

BasicSet

apply(self, bmap)

Parameters

• self – BasicSet

• bmap – BasicMap

Returns

BasicSet

apply_pw_qpolynomial_fold(self, pwf)

Parameters

• self – Set

• pwf – PwQPolynomialFold

Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters

• self – UnionSet

• upwf – UnionPwQPolynomialFold

Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

as_pw_multi_aff(self)

Parameters

self – Set

Returns

PwMultiAff

as_set(self)

Parameters

self – UnionSet

Returns

Set

bind(self, tuple)

Parameters

• self – Set

• tuple – MultiId

Returns

Set

bounded_simple_hull(self)

Parameters

self – Set

Returns

BasicSet

static box_from_points(pnt1, pnt2)

Parameters

• pnt1 – Point

• pnt2 – Point

Returns

BasicSet

coalesce(self)

Parameters

self – Set

Returns

Set

coefficients(self)

Parameters

self – BasicSet

Returns

BasicSet

compare_at(self, bset2, pos)

Parameters

• self – BasicSet

• bset2 – BasicSet

• pos – int

Returns

int

complement(self)

Parameters

self – Set

Returns

Set

compute_divs(self)

Parameters

self – BasicSet

Returns

Set

compute_schedule(self, validity, proximity)

Parameters

• self – UnionSet

• validity – UnionMap

• proximity – UnionMap

Returns

Schedule

compute_vertices(self)

Parameters

self – BasicSet

Returns

Vertices

contains(self, space)

Parameters

• self – UnionSet

• space – Space

Returns

bool

convex_hull(self)

Parameters

self – Set

Returns

BasicSet

copy(self)

Parameters

self – BasicSet

Returns

BasicSet

count_val(self)

Parameters

self – Set

Returns

Val

detect_equalities(self)

Parameters

self – BasicSet

Returns

BasicSet

dim(self, type)

Parameters

• self – BasicSet

• type – dim_type

Returns

isl_size

dim_has_any_lower_bound(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_has_any_upper_bound(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_has_lower_bound(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_has_upper_bound(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_is_bounded(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_max(self, pos)

Parameters

• self – Set

• pos – int

Returns

PwAff

dim_max_val(self, pos)

Parameters

• self – BasicSet

• pos – int

Returns

Val

dim_min(self, pos)

Parameters

• self – Set

• pos – int

Returns

PwAff

dim_min_val(self, pos)

Parameters

• self – Set

• pos – int

Returns

Val

dim_residue_class_val(self, pos)

Parameters

• self – Set

• pos – int

Returns

tuple: (modulo (Val), residue (Val))

drop_constraints_involving_dims(self, type, first, n)

Parameters

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicSet

drop_constraints_not_involving_dims(self, type, first, n)

Parameters

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicSet

drop_unused_params(self)

Parameters

self – BasicSet

Returns

BasicSet

dump(self)

Parameters

self – BasicSet

Returns

None

eliminate(self, type, first, n)

Parameters

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicSet

eliminate_dims(self, first, n)

Parameters

• self – Set

• first – unsigned

• n – unsigned

Returns

Set

eliminate_except(names, types)

Parameters

• types – list of dim_type determining the types of axes to eliminate

• names – names of axes matching the above which should be left alone by the eliminate

New in version 2011.3.

static empty(space)

Parameters

space – Space

Returns

BasicSet

equalities_matrix(self, c1, c2, c3, c4)

Parameters

• self – BasicSet

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

Returns

Mat

equate(self, type1, pos1, type2, pos2)

Parameters

• self – Set

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns

Set

every_set(self, test)

Parameters

• self – UnionSet

• test – callback(set)

Returns

bool

extract_set(self, space)

Parameters

• self – UnionSet

• space – Space

Returns

Set

find_dim_by_id(self, type, id)

Parameters

• self – Set

• type – dim_type

• id – Id

Returns

int

find_dim_by_name(self, type, name)

Parameters

• self – Set

• type – dim_type

• name – string

Returns

int

fix_dim_si(self, dim, value)

Parameters

• self – Set

• dim – unsigned

• value – int

Returns

Set

fix_val(self, type, pos, v)

Parameters

• self – BasicSet

• type – dim_type

• pos – unsigned

• v – Val

Returns

BasicSet

flat_product(self, bset2)

Parameters

• self – BasicSet

• bset2 – BasicSet

Returns

BasicSet

flatten(self)

Parameters

self – BasicSet

Returns

BasicSet

flatten_map(self)

Parameters

self – Set

Returns

Map

follows_at(self, set2, pos)

Parameters

• self – Set

• set2 – Set

• pos – int

Returns

int

foreach_basic_set(self, fn)

Parameters

• self – Set

• fn – callback(bset)

Returns

isl_stat

foreach_bound_pair(self, type, pos, fn)

Parameters

• self – BasicSet

• type – dim_type

• pos – unsigned

• fn – callback(lower, upper, bset)

Returns

isl_stat

foreach_constraint(self, fn)

Parameters

• self – BasicSet

• fn – callback(c)

Returns

isl_stat

foreach_point(self, fn)

Parameters

• self – Set

• fn – callback(pnt)

Returns

isl_stat

foreach_set(self, fn)

Parameters

• self – UnionSet

• fn – callback(set)

Returns

isl_stat

static from_constraint(constraint)

Parameters

constraint – Constraint

Returns

BasicSet

static from_constraint_matrices(space, eq, ineq, c1, c2, c3, c4)

Parameters

• space – Space

• eq – Mat

• ineq – Mat

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

Returns

BasicSet

static from_multi_aff(ma)

Parameters

ma – MultiAff

Returns

BasicSet

from_params(self)

Parameters

self – BasicSet

Returns

BasicSet

static from_point(pnt)

Parameters

pnt – Point

Returns

BasicSet

get_basic_set_list(self)

Parameters

self – Set

Returns

BasicSetList

get_basic_sets()

Get the list of BasicSet instances in this Set.

get_constraint_list(self)

Parameters

self – BasicSet

Returns

ConstraintList

get_constraints()

Get a list of constraints.

get_ctx(self)

Parameters

self – BasicSet

Returns

Context

get_dim_id(self, type, pos)

Parameters

• self – BasicSet

• type – dim_type

• pos – unsigned

Returns

Id

get_dim_name(self, type, pos)

Parameters

• self – BasicSet

• type – dim_type

• pos – unsigned

Returns

string

get_div(self, pos)

Parameters

• self – BasicSet

• pos – int

Returns

Aff

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 – BasicSet

Returns

LocalSpace

get_plain_multi_val_if_fixed(self)

Parameters

self – Set

Returns

MultiVal

get_set_list(self)

Parameters

self – UnionSet

Returns

SetList

get_simple_fixed_box_hull(self)

Parameters

self – Set

Returns

FixedBox

get_space(self)

Parameters

self – BasicSet

Returns

Space

get_stride(self, pos)

Parameters

• self – Set

• pos – int

Returns

Val

get_stride_info(self, pos)

Parameters

• self – Set

• pos – int

Returns

StrideInfo

get_tuple_id(self)

Parameters

self – Set

Returns

Id

get_tuple_name(self)

Parameters

self – BasicSet

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, context)

Parameters

• self – BasicSet

• context – BasicSet

Returns

BasicSet

gist_basic_set(self, context)

Parameters

• self – Set

• context – BasicSet

Returns

Set

gist_params(self, context)

Parameters

• self – Set

• context – Set

Returns

Set

has_dim_id(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

has_dim_name(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

has_equal_space(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

has_tuple_id(self)

Parameters

self – Set

Returns

bool

has_tuple_name(self)

Parameters

self – Set

Returns

bool

identity(self)

Parameters

self – Set

Returns

Map

identity_union_pw_multi_aff(self)

Parameters

self – UnionSet

Returns

UnionPwMultiAff

indicator_function(self)

Parameters

self – Set

Returns

PwAff

inequalities_matrix(self, c1, c2, c3, c4)

Parameters

• self – BasicSet

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

Returns

Mat

insert_dims(self, type, pos, n)

Parameters

• self – BasicSet

• type – dim_type

• pos – unsigned

• n – unsigned

Returns

BasicSet

insert_domain(self, domain)

Parameters

• self – Set

• domain – Space

Returns

Map

intersect(self, bset2)

Parameters

• self – BasicSet

• bset2 – BasicSet

Returns

BasicSet

intersect_factor_domain(self, domain)

Parameters

• self – Set

• domain – Set

Returns

Set

intersect_factor_range(self, range)

Parameters

• self – Set

• range – Set

Returns

Set

intersect_params(self, bset2)

Parameters

• self – BasicSet

• bset2 – BasicSet

Returns

BasicSet

involves_dims(self, type, first, n)

Parameters

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns

bool

involves_locals(self)

Parameters

self – Set

Returns

bool

is_bounded(self)

Parameters

self – BasicSet

Returns

bool

is_box(self)

Parameters

self – Set

Returns

bool

is_disjoint(self, bset2)

Parameters

• self – BasicSet

• bset2 – BasicSet

Returns

bool

is_empty(self)

Parameters

self – BasicSet

Returns

bool

is_equal(self, bset2)

Parameters

• self – BasicSet

• bset2 – BasicSet

Returns

bool

is_params(self)

Parameters

self – Set

Returns

bool

is_rational(self)

Parameters

self – BasicSet

Returns

bool

is_singleton(self)

Parameters

self – Set

Returns

bool

is_strict_subset(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

is_subset(self, bset2)

Parameters

• self – BasicSet

• bset2 – BasicSet

Returns

bool

is_universe(self)

Parameters

self – BasicSet

Returns

bool

is_wrapping(self)

Parameters

self – BasicSet

Returns

bool

isa_set(self)

Parameters

self – UnionSet

Returns

bool

lex_ge_set(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Map

lex_ge_union_set(self, uset2)

Parameters

• self – UnionSet

• uset2 – UnionSet

Returns

UnionMap

lex_gt_set(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Map

lex_gt_union_set(self, uset2)

Parameters

• self – UnionSet

• uset2 – UnionSet

Returns

UnionMap

lex_le_set(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Map

lex_le_union_set(self, uset2)

Parameters

• self – UnionSet

• uset2 – UnionSet

Returns

UnionMap

lex_lt_set(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Map

lex_lt_union_set(self, uset2)

Parameters

• self – UnionSet

• uset2 – UnionSet

Returns

UnionMap

lexmax(self)

Parameters

self – BasicSet

Returns

Set

lexmax_pw_multi_aff(self)

Parameters

self – Set

Returns

PwMultiAff

lexmin(self)

Parameters

self – BasicSet

Returns

Set

lexmin_pw_multi_aff(self)

Parameters

self – Set

Returns

PwMultiAff

lift(self)

Parameters

self – BasicSet

Returns

BasicSet

lower_bound_multi_pw_aff(self, lower)

Parameters

• self – Set

• lower – MultiPwAff

Returns

Set

lower_bound_multi_val(self, lower)

Parameters

• self – Set

• lower – MultiVal

Returns

Set

lower_bound_val(self, type, pos, value)

Parameters

• self – BasicSet

• type – dim_type

• pos – unsigned

• value – Val

Returns

BasicSet

make_disjoint(self)

Parameters

self – Set

Returns

Set

max_multi_pw_aff(self)

Parameters

self – Set

Returns

MultiPwAff

max_val(self, obj)

Parameters

• self – BasicSet

• obj – Aff

Returns

Val

min_multi_pw_aff(self)

Parameters

self – Set

Returns

MultiPwAff

min_multi_union_pw_aff(self, obj)

Parameters

• self – UnionSet

• obj – MultiUnionPwAff

Returns

MultiVal

min_val(self, obj)

Parameters

• self – Set

• obj – Aff

Returns

Val

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

Parameters

• self – BasicSet

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns

BasicSet

n_basic_set(self)

Parameters

self – Set

Returns

isl_size

n_constraint(self)

Parameters

self – BasicSet

Returns

isl_size

n_dim(self)

Parameters

self – BasicSet

Returns

isl_size

n_param(self)

Parameters

self – BasicSet

Returns

isl_size

n_set(self)

Parameters

self – UnionSet

Returns

isl_size

static nat_universe(space)

Parameters

space – Space

Returns

BasicSet

neg(self)

Parameters

self – BasicSet

Returns

BasicSet

params(self)

Parameters

self – BasicSet

Returns

BasicSet

partial_lexmax(self, dom)

Parameters

• self – BasicSet

• dom – BasicSet

Returns

tuple: (Set, empty (Set))

partial_lexmax_pw_multi_aff(self, dom)

Parameters

• self – BasicSet

• dom – BasicSet

Returns

tuple: (PwMultiAff, empty (Set))

partial_lexmin(self, dom)

Parameters

• self – BasicSet

• dom – BasicSet

Returns

tuple: (Set, empty (Set))

partial_lexmin_pw_multi_aff(self, dom)

Parameters

• self – BasicSet

• dom – BasicSet

Returns

tuple: (PwMultiAff, empty (Set))

plain_cmp(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

int

plain_get_val_if_fixed(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

Val

plain_is_disjoint(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

plain_is_empty(self)

Parameters

self – BasicSet

Returns

bool

plain_is_equal(self, bset2)

Parameters

• self – BasicSet

• bset2 – BasicSet

Returns

bool

plain_is_universe(self)

Parameters

self – BasicSet

Returns

bool

plain_unshifted_simple_hull(self)

Parameters

self – Set

Returns

BasicSet

polyhedral_hull(self)

Parameters

self – Set

Returns

BasicSet

static positive_orthant(space)

Parameters

space – Space

Returns

BasicSet

preimage_multi_aff(self, ma)

Parameters

• self – BasicSet

• ma – MultiAff

Returns

BasicSet

preimage_multi_pw_aff(self, mpa)

Parameters

• self – Set

• mpa – MultiPwAff

Returns

Set

preimage_pw_multi_aff(self, pma)

Parameters

• self – Set

• pma – PwMultiAff

Returns

Set

preimage_union_pw_multi_aff(self, upma)

Parameters

• self – UnionSet

• upma – UnionPwMultiAff

Returns

UnionSet

product(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

project_onto_map(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Map

project_out(self, type, first, n)

Parameters

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicSet

project_out_all_params(self)

Parameters

self – Set

Returns

Set

project_out_except(names, types)

Parameters

• types – list of dim_type determining the types of axes to project out

• names – names of axes matching the above which should be left alone by the projection

New in version 2011.3.

project_out_param_id(self, id)

Parameters

• self – Set

• id – Id

Returns

Set

project_out_param_id_list(self, list)

Parameters

• self – Set

• list – IdList

Returns

Set

pw_multi_aff_on_domain_multi_val(self, mv)

Parameters

• self – Set

• mv – MultiVal

Returns

PwMultiAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

BasicSet

reduced_basis(self)

Parameters

self – BasicSet

Returns

Mat

remove_dims(self, type, first, n)

Parameters

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicSet

remove_divs(self)

Parameters

self – BasicSet

Returns

BasicSet

remove_divs_involving_dims(self, type, first, n)

Parameters

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicSet

remove_redundancies(self)

Parameters

self – BasicSet

Returns

BasicSet

remove_unknown_divs(self)

Parameters

self – BasicSet

Returns

BasicSet

reset_space(self, space)

Parameters

• self – Set

• space – Space

Returns

Set

reset_tuple_id(self)

Parameters

self – Set

Returns

Set

reset_user(self)

Parameters

self – Set

Returns

Set

sample(self)

Parameters

self – BasicSet

Returns

BasicSet

sample_point(self)

Parameters

self – BasicSet

Returns

Point

set_dim_id(self, type, pos, id)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

• id – Id

Returns

Set

set_dim_name(self, type, pos, s)

Parameters

• self – BasicSet

• type – dim_type

• pos – unsigned

• s – string

Returns

BasicSet

set_tuple_id(self, id)

Parameters

• self – BasicSet

• id – Id

Returns

BasicSet

set_tuple_name(self, s)

Parameters

• self – BasicSet

• s – string

Returns

BasicSet

simple_hull(self)

Parameters

self – Set

Returns

BasicSet

solutions(self)

Parameters

self – BasicSet

Returns

BasicSet

property space

get_space(self)

Parameters

self – BasicSet

Returns

Space

split_dims(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Set

subtract(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

sum(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

to_list(self)

Parameters

self – BasicSet

Returns

BasicSetList

to_set(self)

Parameters

self – BasicSet

Returns

Set

to_str(self)

Parameters

self – BasicSet

Returns

string

to_union_set(self)

Parameters

self – Set

Returns

UnionSet

total_dim(self)

Parameters

self – BasicSet

Returns

isl_size

translation(self)

Parameters

self – Set

Returns

Map

unbind_params(self, tuple)

Parameters

• self – Set

• tuple – MultiId

Returns

Set

unbind_params_insert_domain(self, domain)

Parameters

• self – Set

• domain – MultiId

Returns

Map

union(self, bset2)

Parameters

• self – BasicSet

• bset2 – BasicSet

Returns

Set

union_disjoint(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

static universe(space)

Parameters

space – Space

Returns

BasicSet

unshifted_simple_hull(self)

Parameters

self – Set

Returns

BasicSet

unshifted_simple_hull_from_set_list(self, list)

Parameters

• self – Set

• list – SetList

Returns

BasicSet

unwrap(self)

Parameters

self – BasicSet

Returns

BasicMap

upper_bound_multi_pw_aff(self, upper)

Parameters

• self – Set

• upper – MultiPwAff

Returns

Set

upper_bound_multi_val(self, upper)

Parameters

• self – Set

• upper – MultiVal

Returns

Set

upper_bound_val(self, type, pos, value)

Parameters

• self – BasicSet

• type – dim_type

• pos – unsigned

• value – Val

Returns

BasicSet

wrapped_domain_map(self)

Parameters

self – Set

Returns

Map

Basic Map

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

__eq__() __hash__() __ne__() add_constraint() add_constraints() add_dims() add_map() affine_hull() align_divs() align_params() apply_domain() apply_pw_qpolynomial_fold() apply_range() apply_union_pw_qpolynomial_fold() as_map() as_multi_union_pw_aff() as_pw_multi_aff() as_union_pw_multi_aff() bind_domain() bind_range() can_curry() can_range_curry() can_uncurry() can_zip() coalesce() complement() compute_divs() compute_flow() contains() convex_hull() copy() curry() deltas() deltas_map() detect_equalities() dim() dim_max() dim_min() domain() domain_factor_domain() domain_factor_range() domain_is_wrapping() domain_map() domain_map_union_pw_multi_aff() domain_product() drop_constraints_involving_dims() drop_constraints_not_involving_dims() drop_unused_params() dump() eliminate() empty() (static) eq_at_multi_pw_aff() eq_at_multi_union_pw_aff() equal() (static) equalities_matrix() equate() every_map() extract_map() factor_domain() factor_range() find_dim_by_id() find_dim_by_name() fix_input_si() fix_val() fixed_power_val() flat_domain_product() flat_product() flat_range_product() flatten() flatten_domain() flatten_range() floordiv_val() foreach_basic_map() foreach_constraint() foreach_map() from_aff() (static) from_aff_list() (static) from_constraint() (static) from_constraint_matrices() (static) from_domain() (static) from_domain_and_range() (static) from_multi_aff() (static) from_qpolynomial() (static) from_range() (static) get_basic_map_list() get_basic_maps() get_constraint_list() get_constraints() get_ctx() get_dim_id() get_dim_name() get_div() get_domain_tuple_id() get_id_dict() get_local_space() get_map_list() get_range_simple_fixed_box_hull() get_range_stride_info() get_range_tuple_id() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_ids() get_var_names() gist() gist_basic_map() gist_domain() gist_params() gist_range() has_defining_equality() has_dim_id() has_dim_name() has_domain_tuple_id() has_equal_space() has_range_tuple_id() has_tuple_id() has_tuple_name() identity() (static) image_is_bounded() inequalities_matrix() insert_dims() intersect() intersect_domain() intersect_domain_factor_domain() intersect_domain_factor_range() intersect_domain_space() intersect_domain_union_set() intersect_params() intersect_range() intersect_range_factor_domain()

intersect_range_factor_range() intersect_range_space() intersect_range_union_set() involves_dims() is_bijective() is_disjoint() is_empty() is_equal() is_identity() is_injective() is_product() is_rational() is_single_valued() is_strict_subset() is_subset() is_translation() is_universe() isa_map() less_at() (static) lex_ge_at_multi_pw_aff() lex_ge_at_multi_union_pw_aff() lex_ge_map() lex_ge_union_map() lex_gt_at_multi_pw_aff() lex_gt_at_multi_union_pw_aff() lex_gt_map() lex_gt_union_map() lex_le_at_multi_pw_aff() lex_le_at_multi_union_pw_aff() lex_le_map() lex_le_union_map() lex_lt_at_multi_pw_aff() lex_lt_at_multi_union_pw_aff() lex_lt_map() lex_lt_union_map() lexmax() lexmax_pw_multi_aff() lexmin() lexmin_pw_multi_aff() lower_bound_multi_pw_aff() lower_bound_si() lower_bound_val() make_disjoint() max_multi_pw_aff() min_multi_pw_aff() more_at() (static) move_dims() n_basic_map() n_constraint() n_map() nat_universe() (static) neg() oppose() order_ge() order_gt() order_le() order_lt() params() partial_lexmax() partial_lexmax_pw_multi_aff() partial_lexmin() partial_lexmin_pw_multi_aff() plain_get_val_if_fixed() plain_is_empty() plain_is_equal() plain_is_injective() plain_is_single_valued() plain_is_universe() plain_unshifted_simple_hull() polyhedral_hull() power() preimage_domain_multi_aff() preimage_domain_multi_pw_aff() preimage_domain_pw_multi_aff() preimage_domain_union_pw_multi_aff() preimage_range_multi_aff() preimage_range_pw_multi_aff() preimage_range_union_pw_multi_aff() product() project_out() project_out_all_params() project_out_except() range() range_curry() range_factor_domain() range_factor_range() range_is_wrapping() range_map() range_product() range_reverse() reaching_path_lengths() read_from_str() (static) remove_dims() remove_divs() remove_divs_involving_dims() remove_inputs() remove_map_if() remove_redundancies() remove_unknown_divs() reset_tuple_id() reset_user() reverse() sample() set_dim_id() set_dim_name() set_domain_tuple_id() set_range_tuple_id() set_tuple_id() set_tuple_name() simple_hull() subtract() subtract_domain() subtract_range() sum() to_list() to_str() to_union_map() total_dim() transitive_closure() uncurry() union() union_disjoint() universe() (static) unshifted_simple_hull() unshifted_simple_hull_from_map_list() upper_bound_multi_pw_aff() upper_bound_si() upper_bound_val() wrap() zip()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_constraint(self, constraint)

Parameters

• self – BasicMap

• constraint – Constraint

Returns

BasicMap

add_constraints(constraints)

New in version 2011.3.

add_dims(self, type, n)

Parameters

• self – BasicMap

• type – dim_type

• n – unsigned

Returns

BasicMap

add_map(self, map)

Parameters

• self – UnionMap

• map – Map

Returns

UnionMap

affine_hull(self)

Parameters

self – BasicMap

Returns

BasicMap

align_divs(self)

Parameters

self – Map

Returns

Map

align_params(self, model)

Parameters

• self – BasicMap

• model – Space

Returns

BasicMap

apply_domain(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

apply_pw_qpolynomial_fold(self, pwf)

Parameters

• self – Map

• pwf – PwQPolynomialFold

Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_range(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters

• self – UnionMap

• upwf – UnionPwQPolynomialFold

Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

as_map(self)

Parameters

self – UnionMap

Returns

Map

as_multi_union_pw_aff(self)

Parameters

self – UnionMap

Returns

MultiUnionPwAff

as_pw_multi_aff(self)

Parameters

self – Map

Returns

PwMultiAff

as_union_pw_multi_aff(self)

Parameters

self – UnionMap

Returns

UnionPwMultiAff

bind_domain(self, tuple)

Parameters

• self – Map

• tuple – MultiId

Returns

Set

bind_range(self, tuple)

Parameters

• self – Map

• tuple – MultiId

Returns

Set

can_curry(self)

Parameters

self – BasicMap

Returns

bool

can_range_curry(self)

Parameters

self – Map

Returns

bool

can_uncurry(self)

Parameters

self – BasicMap

Returns

bool

can_zip(self)

Parameters

self – BasicMap

Returns

bool

coalesce(self)

Parameters

self – Map

Returns

Map

complement(self)

Parameters

self – Map

Returns

Map

compute_divs(self)

Parameters

self – BasicMap

Returns

Map

compute_flow(self, must_source, may_source, schedule)

Parameters

• self – UnionMap

• must_source – UnionMap

• may_source – UnionMap

• schedule – UnionMap

Returns

tuple: (must_dep (UnionMap), may_dep (UnionMap), must_no_source (UnionMap), may_no_source (UnionMap))

contains(self, space)

Parameters

• self – UnionMap

• space – Space

Returns

bool

convex_hull(self)

Parameters

self – Map

Returns

BasicMap

copy(self)

Parameters

self – BasicMap

Returns

BasicMap

curry(self)

Parameters

self – BasicMap

Returns

BasicMap

deltas(self)

Parameters

self – BasicMap

Returns

BasicSet

deltas_map(self)

Parameters

self – BasicMap

Returns

BasicMap

detect_equalities(self)

Parameters

self – BasicMap

Returns

BasicMap

dim(self, type)

Parameters

• self – BasicMap

• type – dim_type

Returns

isl_size

dim_max(self, pos)

Parameters

• self – Map

• pos – int

Returns

PwAff

dim_min(self, pos)

Parameters

• self – Map

• pos – int

Returns

PwAff

domain(self)

Parameters

self – BasicMap

Returns

BasicSet

domain_factor_domain(self)

Parameters

self – Map

Returns

Map

domain_factor_range(self)

Parameters

self – Map

Returns

Map

domain_is_wrapping(self)

Parameters

self – Map

Returns

bool

domain_map(self)

Parameters

self – BasicMap

Returns

BasicMap

domain_map_union_pw_multi_aff(self)

Parameters

self – UnionMap

Returns

UnionPwMultiAff

domain_product(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

drop_constraints_involving_dims(self, type, first, n)

Parameters

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicMap

drop_constraints_not_involving_dims(self, type, first, n)

Parameters

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicMap

drop_unused_params(self)

Parameters

self – BasicMap

Returns

BasicMap

dump(self)

Parameters

self – BasicMap

Returns

None

eliminate(self, type, first, n)

Parameters

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicMap

static empty(space)

Parameters

space – Space

Returns

BasicMap

eq_at_multi_pw_aff(self, mpa)

Parameters

• self – Map

• mpa – MultiPwAff

Returns

Map

eq_at_multi_union_pw_aff(self, mupa)

Parameters

• self – UnionMap

• mupa – MultiUnionPwAff

Returns

UnionMap

static equal(space, n_equal)

Parameters

• space – Space

• n_equal – unsigned

Returns

BasicMap

equalities_matrix(self, c1, c2, c3, c4, c5)

Parameters

• self – BasicMap

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

• c5 – dim_type

Returns

Mat

equate(self, type1, pos1, type2, pos2)

Parameters

• self – BasicMap

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns

BasicMap

every_map(self, test)

Parameters

• self – UnionMap

• test – callback(map)

Returns

bool

extract_map(self, space)

Parameters

• self – UnionMap

• space – Space

Returns

Map

factor_domain(self)

Parameters

self – Map

Returns

Map

factor_range(self)

Parameters

self – Map

Returns

Map

find_dim_by_id(self, type, id)

Parameters

• self – Map

• type – dim_type

• id – Id

Returns

int

find_dim_by_name(self, type, name)

Parameters

• self – BasicMap

• type – dim_type

• name – string

Returns

int

fix_input_si(self, input, value)

Parameters

• self – Map

• input – unsigned

• value – int

Returns

Map

fix_val(self, type, pos, v)

Parameters

• self – BasicMap

• type – dim_type

• pos – unsigned

• v – Val

Returns

BasicMap

fixed_power_val(self, exp)

Parameters

• self – Map

• exp – Val

Returns

Map

flat_domain_product(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

Map

flat_product(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

flat_range_product(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

flatten(self)

Parameters

self – BasicMap

Returns

BasicMap

flatten_domain(self)

Parameters

self – BasicMap

Returns

BasicMap

flatten_range(self)

Parameters

self – BasicMap

Returns

BasicMap

floordiv_val(self, d)

Parameters

• self – Map

• d – Val

Returns

Map

foreach_basic_map(self, fn)

Parameters

• self – Map

• fn – callback(bmap)

Returns

isl_stat

foreach_constraint(self, fn)

Parameters

• self – BasicMap

• fn – callback(c)

Returns

isl_stat

foreach_map(self, fn)

Parameters

• self – UnionMap

• fn – callback(map)

Returns

isl_stat

static from_aff(aff)

Parameters

aff – Aff

Returns

BasicMap

static from_aff_list(domain_space, list)

Parameters

• domain_space – Space

• list – AffList

Returns

BasicMap

static from_constraint(constraint)

Parameters

constraint – Constraint

Returns

BasicMap

static from_constraint_matrices(space, eq, ineq, c1, c2, c3, c4, c5)

Parameters

• space – Space

• eq – Mat

• ineq – Mat

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

• c5 – dim_type

Returns

BasicMap

static from_domain(bset)

Parameters

bset – BasicSet

Returns

BasicMap

static from_domain_and_range(domain, range)

Parameters

• domain – BasicSet

• range – BasicSet

Returns

BasicMap

static from_multi_aff(maff)

Parameters

maff – MultiAff

Returns

BasicMap

static from_qpolynomial(qp)

Parameters

qp – QPolynomial

Returns

BasicMap

static from_range(bset)

Parameters

bset – BasicSet

Returns

BasicMap

get_basic_map_list(self)

Parameters

self – Map

Returns

BasicMapList

get_basic_maps()

Get the list of BasicMap instances in this Map.

get_constraint_list(self)

Parameters

self – BasicMap

Returns

ConstraintList

get_constraints()

Get a list of constraints.

get_ctx(self)

Parameters

self – BasicMap

Returns

Context

get_dim_id(self, type, pos)

Parameters

• self – Map

• type – dim_type

• pos – unsigned

Returns

Id

get_dim_name(self, type, pos)

Parameters

• self – BasicMap

• type – dim_type

• pos – unsigned

Returns

string

get_div(self, pos)

Parameters

• self – BasicMap

• pos – int

Returns

Aff

get_domain_tuple_id(self)

Parameters

self – Map

Returns

Id

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 – BasicMap

Returns

LocalSpace

get_map_list(self)

Parameters

self – UnionMap

Returns

MapList

get_range_simple_fixed_box_hull(self)

Parameters

self – Map

Returns

FixedBox

get_range_stride_info(self, pos)

Parameters

• self – Map

• pos – int

Returns

StrideInfo

get_range_tuple_id(self)

Parameters

self – Map

Returns

Id

get_space(self)

Parameters

self – BasicMap

Returns

Space

get_tuple_id(self, type)

Parameters

• self – Map

• type – dim_type

Returns

Id

get_tuple_name(self, type)

Parameters

• self – BasicMap

• 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, context)

Parameters

• self – BasicMap

• context – BasicMap

Returns

BasicMap

gist_basic_map(self, context)

Parameters

• self – Map

• context – BasicMap

Returns

Map

gist_domain(self, context)

Parameters

• self – BasicMap

• context – BasicSet

Returns

BasicMap

gist_params(self, context)

Parameters

• self – Map

• context – Set

Returns

Map

gist_range(self, context)

Parameters

• self – Map

• context – Set

Returns

Map

has_defining_equality(self, type, pos)

Parameters

• self – BasicMap

• type – dim_type

• pos – int

Returns

c (Constraint)

has_dim_id(self, type, pos)

Parameters

• self – BasicMap

• type – dim_type

• pos – unsigned

Returns

bool

has_dim_name(self, type, pos)

Parameters

• self – Map

• type – dim_type

• pos – unsigned

Returns

bool

has_domain_tuple_id(self)

Parameters

self – Map

Returns

bool

has_equal_space(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

bool

has_range_tuple_id(self)

Parameters

self – Map

Returns

bool

has_tuple_id(self, type)

Parameters

• self – Map

• type – dim_type

Returns

bool

has_tuple_name(self, type)

Parameters

• self – Map

• type – dim_type

Returns

bool

static identity(space)

Parameters

space – Space

Returns

BasicMap

image_is_bounded(self)

Parameters

self – BasicMap

Returns

bool

inequalities_matrix(self, c1, c2, c3, c4, c5)

Parameters

• self – BasicMap

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

• c5 – dim_type

Returns

Mat

insert_dims(self, type, pos, n)

Parameters

• self – BasicMap

• type – dim_type

• pos – unsigned

• n – unsigned

Returns

BasicMap

intersect(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

intersect_domain(self, bset)

Parameters

• self – BasicMap

• bset – BasicSet

Returns

BasicMap

intersect_domain_factor_domain(self, factor)

Parameters

• self – Map

• factor – Map

Returns

Map

intersect_domain_factor_range(self, factor)

Parameters

• self – Map

• factor – Map

Returns

Map

intersect_domain_space(self, space)

Parameters

• self – UnionMap

• space – Space

Returns

UnionMap

intersect_domain_union_set(self, uset)

Parameters

• self – UnionMap

• uset – UnionSet

Returns

UnionMap

intersect_params(self, params)

Parameters

• self – Map

• params – Set

Returns

Map

intersect_range(self, bset)

Parameters

• self – BasicMap

• bset – BasicSet

Returns

BasicMap

intersect_range_factor_domain(self, factor)

Parameters

• self – Map

• factor – Map

Returns

Map

intersect_range_factor_range(self, factor)

Parameters

• self – Map

• factor – Map

Returns

Map

intersect_range_space(self, space)

Parameters

• self – UnionMap

• space – Space

Returns

UnionMap

intersect_range_union_set(self, uset)

Parameters

• self – UnionMap

• uset – UnionSet

Returns

UnionMap

involves_dims(self, type, first, n)

Parameters

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns

bool

is_bijective(self)

Parameters

self – Map

Returns

bool

is_disjoint(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

bool

is_empty(self)

Parameters

self – BasicMap

Returns

bool

is_equal(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

bool

is_identity(self)

Parameters

self – Map

Returns

bool

is_injective(self)

Parameters

self – Map

Returns

bool

is_product(self)

Parameters

self – Map

Returns

bool

is_rational(self)

Parameters

self – BasicMap

Returns

bool

is_single_valued(self)

Parameters

self – BasicMap

Returns

bool

is_strict_subset(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

bool

is_subset(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

bool

is_translation(self)

Parameters

self – Map

Returns

bool

is_universe(self)

Parameters

self – BasicMap

Returns

bool

isa_map(self)

Parameters

self – UnionMap

Returns

bool

static less_at(space, pos)

Parameters

• space – Space

• pos – unsigned

Returns

BasicMap

lex_ge_at_multi_pw_aff(self, mpa)

Parameters

• self – Map

• mpa – MultiPwAff

Returns

Map

lex_ge_at_multi_union_pw_aff(self, mupa)

Parameters

• self – UnionMap

• mupa – MultiUnionPwAff

Returns

UnionMap

lex_ge_map(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

Map

lex_ge_union_map(self, umap2)

Parameters

• self – UnionMap

• umap2 – UnionMap

Returns

UnionMap

lex_gt_at_multi_pw_aff(self, mpa)

Parameters

• self – Map

• mpa – MultiPwAff

Returns

Map

lex_gt_at_multi_union_pw_aff(self, mupa)

Parameters

• self – UnionMap

• mupa – MultiUnionPwAff

Returns

UnionMap

lex_gt_map(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

Map

lex_gt_union_map(self, umap2)

Parameters

• self – UnionMap

• umap2 – UnionMap

Returns

UnionMap

lex_le_at_multi_pw_aff(self, mpa)

Parameters

• self – Map

• mpa – MultiPwAff

Returns

Map

lex_le_at_multi_union_pw_aff(self, mupa)

Parameters

• self – UnionMap

• mupa – MultiUnionPwAff

Returns

UnionMap

lex_le_map(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

Map

lex_le_union_map(self, umap2)

Parameters

• self – UnionMap

• umap2 – UnionMap

Returns

UnionMap

lex_lt_at_multi_pw_aff(self, mpa)

Parameters

• self – Map

• mpa – MultiPwAff

Returns

Map

lex_lt_at_multi_union_pw_aff(self, mupa)

Parameters

• self – UnionMap

• mupa – MultiUnionPwAff

Returns

UnionMap

lex_lt_map(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

Map

lex_lt_union_map(self, umap2)

Parameters

• self – UnionMap

• umap2 – UnionMap

Returns

UnionMap

lexmax(self)

Parameters

self – BasicMap

Returns

Map

lexmax_pw_multi_aff(self)

Parameters

self – Map

Returns

PwMultiAff

lexmin(self)

Parameters

self – BasicMap

Returns

Map

lexmin_pw_multi_aff(self)

Parameters

self – BasicMap

Returns

PwMultiAff

lower_bound_multi_pw_aff(self, lower)

Parameters

• self – Map

• lower – MultiPwAff

Returns

Map

lower_bound_si(self, type, pos, value)

Parameters

• self – BasicMap

• type – dim_type

• pos – unsigned

• value – int

Returns

BasicMap

lower_bound_val(self, type, pos, value)

Parameters

• self – Map

• type – dim_type

• pos – unsigned

• value – Val

Returns

Map

make_disjoint(self)

Parameters

self – Map

Returns

Map

max_multi_pw_aff(self)

Parameters

self – Map

Returns

MultiPwAff

min_multi_pw_aff(self)

Parameters

self – Map

Returns

MultiPwAff

static more_at(space, pos)

Parameters

• space – Space

• pos – unsigned

Returns

BasicMap

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

Parameters

• self – BasicMap

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns

BasicMap

n_basic_map(self)

Parameters

self – Map

Returns

isl_size

n_constraint(self)

Parameters

self – BasicMap

Returns

isl_size

n_map(self)

Parameters

self – UnionMap

Returns

isl_size

static nat_universe(space)

Parameters

space – Space

Returns

BasicMap

neg(self)

Parameters

self – BasicMap

Returns

BasicMap

oppose(self, type1, pos1, type2, pos2)

Parameters

• self – Map

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns

Map

order_ge(self, type1, pos1, type2, pos2)

Parameters

• self – BasicMap

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns

BasicMap

order_gt(self, type1, pos1, type2, pos2)

Parameters

• self – BasicMap

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns

BasicMap

order_le(self, type1, pos1, type2, pos2)

Parameters

• self – Map

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns

Map

order_lt(self, type1, pos1, type2, pos2)

Parameters

• self – Map

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns

Map

params(self)

Parameters

self – Map

Returns

Set

partial_lexmax(self, dom)

Parameters

• self – BasicMap

• dom – BasicSet

Returns

tuple: (Map, empty (Set))

partial_lexmax_pw_multi_aff(self, dom)

Parameters

• self – BasicMap

• dom – BasicSet

Returns

tuple: (PwMultiAff, empty (Set))

partial_lexmin(self, dom)

Parameters

• self – BasicMap

• dom – BasicSet

Returns

tuple: (Map, empty (Set))

partial_lexmin_pw_multi_aff(self, dom)

Parameters

• self – BasicMap

• dom – BasicSet

Returns

tuple: (PwMultiAff, empty (Set))

plain_get_val_if_fixed(self, type, pos)

Parameters

• self – BasicMap

• type – dim_type

• pos – unsigned

Returns

Val

plain_is_empty(self)

Parameters

self – BasicMap

Returns

bool

plain_is_equal(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

bool

plain_is_injective(self)

Parameters

self – Map

Returns

bool

plain_is_single_valued(self)

Parameters

self – Map

Returns

bool

plain_is_universe(self)

Parameters

self – BasicMap

Returns

bool

plain_unshifted_simple_hull(self)

Parameters

self – Map

Returns

BasicMap

polyhedral_hull(self)

Parameters

self – Map

Returns

BasicMap

power(self)

Parameters

self – Map

Returns

tuple: (Map, exact (Bool))

preimage_domain_multi_aff(self, ma)

Parameters

• self – BasicMap

• ma – MultiAff

Returns

BasicMap

preimage_domain_multi_pw_aff(self, mpa)

Parameters

• self – Map

• mpa – MultiPwAff

Returns

Map

preimage_domain_pw_multi_aff(self, pma)

Parameters

• self – Map

• pma – PwMultiAff

Returns

Map

preimage_domain_union_pw_multi_aff(self, upma)

Parameters

• self – UnionMap

• upma – UnionPwMultiAff

Returns

UnionMap

preimage_range_multi_aff(self, ma)

Parameters

• self – BasicMap

• ma – MultiAff

Returns

BasicMap

preimage_range_pw_multi_aff(self, pma)

Parameters

• self – Map

• pma – PwMultiAff

Returns

Map

preimage_range_union_pw_multi_aff(self, upma)

Parameters

• self – UnionMap

• upma – UnionPwMultiAff

Returns

UnionMap

product(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

project_out(self, type, first, n)

Parameters

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicMap

project_out_all_params(self)

Parameters

self – Map

Returns

Map

project_out_except(names, types)

Parameters

• types – list of dim_type determining the types of axes to project out

• names – names of axes matching the above which should be left alone by the projection

New in version 2011.3.

range(self)

Parameters

self – BasicMap

Returns

BasicSet

range_curry(self)

Parameters

self – Map

Returns

Map

range_factor_domain(self)

Parameters

self – Map

Returns

Map

range_factor_range(self)

Parameters

self – Map

Returns

Map

range_is_wrapping(self)

Parameters

self – Map

Returns

bool

range_map(self)

Parameters

self – BasicMap

Returns

BasicMap

range_product(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

range_reverse(self)

Parameters

self – Map

Returns

Map

reaching_path_lengths(self)

Parameters

self – Map

Returns

tuple: (Map, exact (Bool))

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

BasicMap

remove_dims(self, type, first, n)

Parameters

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicMap

remove_divs(self)

Parameters

self – BasicMap

Returns

BasicMap

remove_divs_involving_dims(self, type, first, n)

Parameters

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns

BasicMap

remove_inputs(self, first, n)

Parameters

• self – Map

• first – unsigned

• n – unsigned

Returns

Map

remove_map_if(self, fn)

Parameters

• self – UnionMap

• fn – callback(map)

Returns

UnionMap

remove_redundancies(self)

Parameters

self – BasicMap

Returns

BasicMap

remove_unknown_divs(self)

Parameters

self – Map

Returns

Map

reset_tuple_id(self, type)

Parameters

• self – Map

• type – dim_type

Returns

Map

reset_user(self)

Parameters

self – Map

Returns

Map

reverse(self)

Parameters

self – BasicMap

Returns

BasicMap

sample(self)

Parameters

self – BasicMap

Returns

BasicMap

set_dim_id(self, type, pos, id)

Parameters

• self – Map

• type – dim_type

• pos – unsigned

• id – Id

Returns

Map

set_dim_name(self, type, pos, s)

Parameters

• self – BasicMap

• type – dim_type

• pos – unsigned

• s – string

Returns

BasicMap

set_domain_tuple_id(self, id)

Parameters

• self – Map

• id – Id

Returns

Map

set_range_tuple_id(self, id)

Parameters

• self – Map

• id – Id

Returns

Map

set_tuple_id(self, type, id)

Parameters

• self – BasicMap

• type – dim_type

• id – Id

Returns

BasicMap

set_tuple_name(self, type, s)

Parameters

• self – BasicMap

• type – dim_type

• s – string

Returns

BasicMap

simple_hull(self)

Parameters

self – Map

Returns

BasicMap

property space

get_space(self)

Parameters

self – BasicMap

Returns

Space

subtract(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

Map

subtract_domain(self, dom)

Parameters

• self – Map

• dom – Set

Returns

Map

subtract_range(self, dom)

Parameters

• self – Map

• dom – Set

Returns

Map

sum(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

BasicMap

to_list(self)

Parameters

self – BasicMap

Returns

BasicMapList

to_str(self)

Parameters

self – BasicMap

Returns

string

to_union_map(self)

Parameters

self – Map

Returns

UnionMap

total_dim(self)

Parameters

self – BasicMap

Returns

isl_size

transitive_closure(self)

Parameters

self – Map

Returns

tuple: (Map, exact (Bool))

uncurry(self)

Parameters

self – BasicMap

Returns

BasicMap

union(self, bmap2)

Parameters

• self – BasicMap

• bmap2 – BasicMap

Returns

Map

union_disjoint(self, map2)

Parameters

• self – Map

• map2 – Map

Returns

Map

static universe(space)

Parameters

space – Space

Returns

BasicMap

unshifted_simple_hull(self)

Parameters

self – Map

Returns

BasicMap

unshifted_simple_hull_from_map_list(self, list)

Parameters

• self – Map

• list – MapList

Returns

BasicMap

upper_bound_multi_pw_aff(self, upper)

Parameters

• self – Map

• upper – MultiPwAff

Returns

Map

upper_bound_si(self, type, pos, value)

Parameters

• self – BasicMap

• type – dim_type

• pos – unsigned

• value – int

Returns

BasicMap

upper_bound_val(self, type, pos, value)

Parameters

• self – Map

• type – dim_type

• pos – unsigned

• value – Val

Returns

Map

wrap(self)

Parameters

self – BasicMap

Returns

BasicSet

zip(self)

Parameters

self – BasicMap

Returns

BasicMap

Set

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

__eq__() __hash__() __len__() __ne__() add_constraint() add_constraints() add_dims() add_set() affine_hull() align_divs() align_params() apply() apply_pw_qpolynomial_fold() apply_union_pw_qpolynomial_fold() as_pw_multi_aff() as_set() bind() bounded_simple_hull() box_from_points() (static) coalesce() coefficients() complement() compute_divs() compute_schedule() contains() convex_hull() copy() count_val() detect_equalities() dim() dim_has_any_lower_bound() dim_has_any_upper_bound() dim_has_lower_bound() dim_has_upper_bound() dim_is_bounded() dim_max() dim_max_val() dim_min() dim_min_val() dim_residue_class_val() drop_constraints_involving_dims() drop_constraints_not_involving_dims() drop_unused_params() dump() eliminate() eliminate_dims() eliminate_except() empty() (static) equate() every_set() extract_set() find_dim_by_id() find_dim_by_name() fix_dim_si() fix_val() flat_product() flatten() flatten_map() follows_at() foreach_basic_set() foreach_point() foreach_set() from_basic_set() (static) from_multi_aff() (static) from_multi_pw_aff() (static) from_params() from_point() (static) from_pw_aff() (static) from_pw_multi_aff() (static) from_union_set() (static) get_basic_set_list() get_basic_sets() get_ctx() get_dim_id() get_dim_name() get_id_dict() get_plain_multi_val_if_fixed() get_set_list() get_simple_fixed_box_hull() get_space() get_stride() get_stride_info() get_tuple_id() get_tuple_name() get_var_dict() get_var_ids() get_var_names() gist() gist_basic_set() gist_params() has_dim_id() has_dim_name() has_equal_space() has_tuple_id() has_tuple_name() identity() identity_union_pw_multi_aff() indicator_function() insert_dims() insert_domain() intersect() intersect_factor_domain() intersect_factor_range()

intersect_params() involves_dims() involves_locals() is_bounded() is_box() is_disjoint() is_empty() is_equal() is_params() is_singleton() is_strict_subset() is_subset() is_wrapping() isa_set() lex_ge_set() lex_ge_union_set() lex_gt_set() lex_gt_union_set() lex_le_set() lex_le_union_set() lex_lt_set() lex_lt_union_set() lexmax() lexmax_pw_multi_aff() lexmin() lexmin_pw_multi_aff() lift() lower_bound_multi_pw_aff() lower_bound_multi_val() lower_bound_val() make_disjoint() max_multi_pw_aff() max_val() min_multi_pw_aff() min_multi_union_pw_aff() min_val() move_dims() n_basic_set() n_dim() n_param() n_set() nat_universe() (static) neg() params() partial_lexmax() partial_lexmin() plain_cmp() plain_get_val_if_fixed() plain_is_disjoint() plain_is_empty() plain_is_equal() plain_is_universe() plain_unshifted_simple_hull() polyhedral_hull() preimage_multi_aff() preimage_multi_pw_aff() preimage_pw_multi_aff() preimage_union_pw_multi_aff() product() project_onto_map() project_out() project_out_all_params() project_out_except() project_out_param_id() project_out_param_id_list() pw_multi_aff_on_domain_multi_val() read_from_str() (static) remove_dims() remove_divs() remove_divs_involving_dims() remove_redundancies() remove_unknown_divs() reset_space() reset_tuple_id() reset_user() sample() sample_point() set_dim_id() set_dim_name() set_tuple_id() set_tuple_name() simple_hull() solutions() split_dims() subtract() sum() to_list() to_str() to_union_set() translation() unbind_params() unbind_params_insert_domain() union() union_disjoint() universe() (static) unshifted_simple_hull() unshifted_simple_hull_from_set_list() unwrap() upper_bound_multi_pw_aff() upper_bound_multi_val() upper_bound_val() wrapped_domain_map()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – Set

Returns

int

__ne__(other)

Return self!=value.

add_constraint(self, constraint)

Parameters

• self – Set

• constraint – Constraint

Returns

Set

add_constraints(constraints)

New in version 2011.3.

add_dims(self, type, n)

Parameters

• self – Set

• type – dim_type

• n – unsigned

Returns

Set

add_set(self, set)

Parameters

• self – UnionSet

• set – Set

Returns

UnionSet

affine_hull(self)

Parameters

self – Set

Returns

BasicSet

align_divs(self)

Parameters

self – Set

Returns

Set

align_params(self, model)

Parameters

• self – Set

• model – Space

Returns

Set

apply(self, map)

Parameters

• self – Set

• map – Map

Returns

Set

apply_pw_qpolynomial_fold(self, pwf)

Parameters

• self – Set

• pwf – PwQPolynomialFold

Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters

• self – UnionSet

• upwf – UnionPwQPolynomialFold

Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

as_pw_multi_aff(self)

Parameters

self – Set

Returns

PwMultiAff

as_set(self)

Parameters

self – UnionSet

Returns

Set

bind(self, tuple)

Parameters

• self – Set

• tuple – MultiId

Returns

Set

bounded_simple_hull(self)

Parameters

self – Set

Returns

BasicSet

static box_from_points(pnt1, pnt2)

Parameters

• pnt1 – Point

• pnt2 – Point

Returns

Set

coalesce(self)

Parameters

self – Set

Returns

Set

coefficients(self)

Parameters

self – Set

Returns

BasicSet

complement(self)

Parameters

self – Set

Returns

Set

compute_divs(self)

Parameters

self – Set

Returns

Set

compute_schedule(self, validity, proximity)

Parameters

• self – UnionSet

• validity – UnionMap

• proximity – UnionMap

Returns

Schedule

contains(self, space)

Parameters

• self – UnionSet

• space – Space

Returns

bool

convex_hull(self)

Parameters

self – Set

Returns

BasicSet

copy(self)

Parameters

self – Set

Returns

Set

count_val(self)

Parameters

self – Set

Returns

Val

detect_equalities(self)

Parameters

self – Set

Returns

Set

dim(self, type)

Parameters

• self – Set

• type – dim_type

Returns

isl_size

dim_has_any_lower_bound(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_has_any_upper_bound(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_has_lower_bound(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_has_upper_bound(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_is_bounded(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

dim_max(self, pos)

Parameters

• self – Set

• pos – int

Returns

PwAff

dim_max_val(self, pos)

Parameters

• self – Set

• pos – int

Returns

Val

dim_min(self, pos)

Parameters

• self – Set

• pos – int

Returns

PwAff

dim_min_val(self, pos)

Parameters

• self – Set

• pos – int

Returns

Val

dim_residue_class_val(self, pos)

Parameters

• self – Set

• pos – int

Returns

tuple: (modulo (Val), residue (Val))

drop_constraints_involving_dims(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Set

drop_constraints_not_involving_dims(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Set

drop_unused_params(self)

Parameters

self – Set

Returns

Set

dump(self)

Parameters

self – Set

Returns

None

eliminate(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Set

eliminate_dims(self, first, n)

Parameters

• self – Set

• first – unsigned

• n – unsigned

Returns

Set

eliminate_except(names, types)

Parameters

• types – list of dim_type determining the types of axes to eliminate

• names – names of axes matching the above which should be left alone by the eliminate

New in version 2011.3.

static empty(space)

Parameters

space – Space

Returns

Set

equate(self, type1, pos1, type2, pos2)

Parameters

• self – Set

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns

Set

every_set(self, test)

Parameters

• self – UnionSet

• test – callback(set)

Returns

bool

extract_set(self, space)

Parameters

• self – UnionSet

• space – Space

Returns

Set

find_dim_by_id(self, type, id)

Parameters

• self – Set

• type – dim_type

• id – Id

Returns

int

find_dim_by_name(self, type, name)

Parameters

• self – Set

• type – dim_type

• name – string

Returns

int

fix_dim_si(self, dim, value)

Parameters

• self – Set

• dim – unsigned

• value – int

Returns

Set

fix_val(self, type, pos, v)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

• v – Val

Returns

Set

flat_product(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

flatten(self)

Parameters

self – Set

Returns

Set

flatten_map(self)

Parameters

self – Set

Returns

Map

follows_at(self, set2, pos)

Parameters

• self – Set

• set2 – Set

• pos – int

Returns

int

foreach_basic_set(self, fn)

Parameters

• self – Set

• fn – callback(bset)

Returns

isl_stat

foreach_point(self, fn)

Parameters

• self – Set

• fn – callback(pnt)

Returns

isl_stat

foreach_set(self, fn)

Parameters

• self – UnionSet

• fn – callback(set)

Returns

isl_stat

static from_basic_set(bset)

Parameters

bset – BasicSet

Returns

Set

static from_multi_aff(ma)

Parameters

ma – MultiAff

Returns

Set

static from_multi_pw_aff(mpa)

Parameters

mpa – MultiPwAff

Returns

Set

from_params(self)

Parameters

self – Set

Returns

Set

static from_point(pnt)

Parameters

pnt – Point

Returns

Set

static from_pw_aff(pwaff)

Parameters

pwaff – PwAff

Returns

Set

static from_pw_multi_aff(pma)

Parameters

pma – PwMultiAff

Returns

Set

static from_union_set(uset)

Parameters

uset – UnionSet

Returns

Set

get_basic_set_list(self)

Parameters

self – Set

Returns

BasicSetList

get_basic_sets()

Get the list of BasicSet instances in this Set.

get_ctx(self)

Parameters

self – Set

Returns

Context

get_dim_id(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

Id

get_dim_name(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

string

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_plain_multi_val_if_fixed(self)

Parameters

self – Set

Returns

MultiVal

get_set_list(self)

Parameters

self – UnionSet

Returns

SetList

get_simple_fixed_box_hull(self)

Parameters

self – Set

Returns

FixedBox

get_space(self)

Parameters

self – Set

Returns

Space

get_stride(self, pos)

Parameters

• self – Set

• pos – int

Returns

Val

get_stride_info(self, pos)

Parameters

• self – Set

• pos – int

Returns

StrideInfo

get_tuple_id(self)

Parameters

self – Set

Returns

Id

get_tuple_name(self)

Parameters

self – Set

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, context)

Parameters

• self – Set

• context – Set

Returns

Set

gist_basic_set(self, context)

Parameters

• self – Set

• context – BasicSet

Returns

Set

gist_params(self, context)

Parameters

• self – Set

• context – Set

Returns

Set

has_dim_id(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

has_dim_name(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

bool

has_equal_space(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

has_tuple_id(self)

Parameters

self – Set

Returns

bool

has_tuple_name(self)

Parameters

self – Set

Returns

bool

identity(self)

Parameters

self – Set

Returns

Map

identity_union_pw_multi_aff(self)

Parameters

self – UnionSet

Returns

UnionPwMultiAff

indicator_function(self)

Parameters

self – Set

Returns

PwAff

insert_dims(self, type, pos, n)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

• n – unsigned

Returns

Set

insert_domain(self, domain)

Parameters

• self – Set

• domain – Space

Returns

Map

intersect(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

intersect_factor_domain(self, domain)

Parameters

• self – Set

• domain – Set

Returns

Set

intersect_factor_range(self, range)

Parameters

• self – Set

• range – Set

Returns

Set

intersect_params(self, params)

Parameters

• self – Set

• params – Set

Returns

Set

involves_dims(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

bool

involves_locals(self)

Parameters

self – Set

Returns

bool

is_bounded(self)

Parameters

self – Set

Returns

bool

is_box(self)

Parameters

self – Set

Returns

bool

is_disjoint(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

is_empty(self)

Parameters

self – Set

Returns

bool

is_equal(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

is_params(self)

Parameters

self – Set

Returns

bool

is_singleton(self)

Parameters

self – Set

Returns

bool

is_strict_subset(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

is_subset(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

is_wrapping(self)

Parameters

self – Set

Returns

bool

isa_set(self)

Parameters

self – UnionSet

Returns

bool

lex_ge_set(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Map

lex_ge_union_set(self, uset2)

Parameters

• self – UnionSet

• uset2 – UnionSet

Returns

UnionMap

lex_gt_set(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Map

lex_gt_union_set(self, uset2)

Parameters

• self – UnionSet

• uset2 – UnionSet

Returns

UnionMap

lex_le_set(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Map

lex_le_union_set(self, uset2)

Parameters

• self – UnionSet

• uset2 – UnionSet

Returns

UnionMap

lex_lt_set(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Map

lex_lt_union_set(self, uset2)

Parameters

• self – UnionSet

• uset2 – UnionSet

Returns

UnionMap

lexmax(self)

Parameters

self – Set

Returns

Set

lexmax_pw_multi_aff(self)

Parameters

self – Set

Returns

PwMultiAff

lexmin(self)

Parameters

self – Set

Returns

Set

lexmin_pw_multi_aff(self)

Parameters

self – Set

Returns

PwMultiAff

lift(self)

Parameters

self – Set

Returns

Set

lower_bound_multi_pw_aff(self, lower)

Parameters

• self – Set

• lower – MultiPwAff

Returns

Set

lower_bound_multi_val(self, lower)

Parameters

• self – Set

• lower – MultiVal

Returns

Set

lower_bound_val(self, type, pos, value)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

• value – Val

Returns

Set

make_disjoint(self)

Parameters

self – Set

Returns

Set

max_multi_pw_aff(self)

Parameters

self – Set

Returns

MultiPwAff

max_val(self, obj)

Parameters

• self – Set

• obj – Aff

Returns

Val

min_multi_pw_aff(self)

Parameters

self – Set

Returns

MultiPwAff

min_multi_union_pw_aff(self, obj)

Parameters

• self – UnionSet

• obj – MultiUnionPwAff

Returns

MultiVal

min_val(self, obj)

Parameters

• self – Set

• obj – Aff

Returns

Val

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

Parameters

• self – Set

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns

Set

n_basic_set(self)

Parameters

self – Set

Returns

isl_size

n_dim(self)

Parameters

self – Set

Returns

isl_size

n_param(self)

Parameters

self – Set

Returns

isl_size

n_set(self)

Parameters

self – UnionSet

Returns

isl_size

static nat_universe(space)

Parameters

space – Space

Returns

Set

neg(self)

Parameters

self – Set

Returns

Set

params(self)

Parameters

self – Set

Returns

Set

partial_lexmax(self, dom)

Parameters

• self – Set

• dom – Set

Returns

tuple: (Set, empty (Set))

partial_lexmin(self, dom)

Parameters

• self – Set

• dom – Set

Returns

tuple: (Set, empty (Set))

plain_cmp(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

int

plain_get_val_if_fixed(self, type, pos)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

Returns

Val

plain_is_disjoint(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

plain_is_empty(self)

Parameters

self – Set

Returns

bool

plain_is_equal(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

bool

plain_is_universe(self)

Parameters

self – Set

Returns

bool

plain_unshifted_simple_hull(self)

Parameters

self – Set

Returns

BasicSet

polyhedral_hull(self)

Parameters

self – Set

Returns

BasicSet

preimage_multi_aff(self, ma)

Parameters

• self – Set

• ma – MultiAff

Returns

Set

preimage_multi_pw_aff(self, mpa)

Parameters

• self – Set

• mpa – MultiPwAff

Returns

Set

preimage_pw_multi_aff(self, pma)

Parameters

• self – Set

• pma – PwMultiAff

Returns

Set

preimage_union_pw_multi_aff(self, upma)

Parameters

• self – UnionSet

• upma – UnionPwMultiAff

Returns

UnionSet

product(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

project_onto_map(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Map

project_out(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Set

project_out_all_params(self)

Parameters

self – Set

Returns

Set

project_out_except(names, types)

Parameters

• types – list of dim_type determining the types of axes to project out

• names – names of axes matching the above which should be left alone by the projection

New in version 2011.3.

project_out_param_id(self, id)

Parameters

• self – Set

• id – Id

Returns

Set

project_out_param_id_list(self, list)

Parameters

• self – Set

• list – IdList

Returns

Set

pw_multi_aff_on_domain_multi_val(self, mv)

Parameters

• self – Set

• mv – MultiVal

Returns

PwMultiAff

static read_from_str(ctx, str)

Parameters

• ctx – Context

• str – string

Returns

Set

remove_dims(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Set

remove_divs(self)

Parameters

self – Set

Returns

Set

remove_divs_involving_dims(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Set

remove_redundancies(self)

Parameters

self – Set

Returns

Set

remove_unknown_divs(self)

Parameters

self – Set

Returns

Set

reset_space(self, space)

Parameters

• self – Set

• space – Space

Returns

Set

reset_tuple_id(self)

Parameters

self – Set

Returns

Set

reset_user(self)

Parameters

self – Set

Returns

Set

sample(self)

Parameters

self – Set

Returns

BasicSet

sample_point(self)

Parameters

self – Set

Returns

Point

set_dim_id(self, type, pos, id)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

• id – Id

Returns

Set

set_dim_name(self, type, pos, s)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

• s – string

Returns

Set

set_tuple_id(self, id)

Parameters

• self – Set

• id – Id

Returns

Set

set_tuple_name(self, s)

Parameters

• self – Set

• s – string

Returns

Set

simple_hull(self)

Parameters

self – Set

Returns

BasicSet

solutions(self)

Parameters

self – Set

Returns

BasicSet

property space

get_space(self)

Parameters

self – Set

Returns

Space

split_dims(self, type, first, n)

Parameters

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns

Set

subtract(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

sum(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

to_list(self)

Parameters

self – Set

Returns

SetList

to_str(self)

Parameters

self – Set

Returns

string

to_union_set(self)

Parameters

self – Set

Returns

UnionSet

translation(self)

Parameters

self – Set

Returns

Map

unbind_params(self, tuple)

Parameters

• self – Set

• tuple – MultiId

Returns

Set

unbind_params_insert_domain(self, domain)

Parameters

• self – Set

• domain – MultiId

Returns

Map

union(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

union_disjoint(self, set2)

Parameters

• self – Set

• set2 – Set

Returns

Set

static universe(space)

Parameters

space – Space

Returns

Set

unshifted_simple_hull(self)

Parameters

self – Set

Returns

BasicSet

unshifted_simple_hull_from_set_list(self, list)

Parameters

• self – Set

• list – SetList

Returns

BasicSet

unwrap(self)

Parameters

self – Set

Returns

Map

upper_bound_multi_pw_aff(self, upper)

Parameters

• self – Set

• upper – MultiPwAff

Returns

Set

upper_bound_multi_val(self, upper)

Parameters

• self – Set

• upper – MultiVal

Returns

Set

upper_bound_val(self, type, pos, value)

Parameters

• self – Set

• type – dim_type

• pos – unsigned

• value – Val

Returns

Set

wrapped_domain_map(self)

Parameters

self – Set

Returns

Map

Map

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

__eq__() __hash__() __ne__() add_constraint() add_constraints() add_dims() add_map() affine_hull() align_divs() align_params() apply_domain() apply_pw_qpolynomial_fold() apply_range() apply_union_pw_qpolynomial_fold() as_map() as_multi_union_pw_aff() as_pw_multi_aff() as_union_pw_multi_aff() bind_domain() bind_range() can_curry() can_range_curry() can_uncurry() can_zip() coalesce() complement() compute_divs() compute_flow() contains() convex_hull() copy() curry() deltas() deltas_map() detect_equalities() dim() dim_max() dim_min() domain() domain_factor_domain() domain_factor_range() domain_is_wrapping() domain_map() domain_map_union_pw_multi_aff() domain_product() drop_constraints_involving_dims() drop_constraints_not_involving_dims() drop_unused_params() dump() eliminate() empty() (static) eq_at_multi_pw_aff() eq_at_multi_union_pw_aff() equate() every_map() extract_map() factor_domain() factor_range() find_dim_by_id() find_dim_by_name() fix_input_si() fix_val() fixed_power_val() flat_domain_product() flat_product() flat_range_product() flatten() flatten_domain() flatten_range() floordiv_val() foreach_basic_map() foreach_map() from_aff() (static) from_basic_map() (static) from_domain() (static) from_domain_and_range() (static) from_multi_aff() (static) from_multi_pw_aff() (static) from_pw_aff() (static) from_pw_multi_aff() (static) from_range() (static) from_union_map() (static) get_basic_map_list() get_basic_maps() get_ctx() get_dim_id() get_dim_name() get_domain_tuple_id() get_id_dict() get_map_list() get_range_simple_fixed_box_hull() get_range_stride_info() get_range_tuple_id() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_ids() get_var_names() gist() gist_basic_map() gist_domain() gist_params() gist_range() has_dim_id() has_dim_name() has_domain_tuple_id() has_equal_space() has_range_tuple_id() has_tuple_id() has_tuple_name() identity() (static) insert_dims() intersect() intersect_domain() intersect_domain_factor_domain() intersect_domain_factor_range() intersect_domain_space() intersect_domain_union_set() intersect_params() intersect_range() intersect_range_factor_domain() intersect_range_factor_range() intersect_range_space() intersect_range_union_set()

involves_dims() is_bijective() is_disjoint() is_empty() is_equal() is_identity() is_injective() is_product() is_single_valued() is_strict_subset() is_subset() is_translation() isa_map() lex_ge() (static) lex_ge_at_multi_pw_aff() lex_ge_at_multi_union_pw_aff() lex_ge_first() (static) lex_ge_map() lex_ge_union_map() lex_gt() (static) lex_gt_at_multi_pw_aff() lex_gt_at_multi_union_pw_aff() lex_gt_first() (static) lex_gt_map() lex_gt_union_map() lex_le() (static) lex_le_at_multi_pw_aff() lex_le_at_multi_union_pw_aff() lex_le_first() (static) lex_le_map() lex_le_union_map() lex_lt() (static) lex_lt_at_multi_pw_aff() lex_lt_at_multi_union_pw_aff() lex_lt_first() (static) lex_lt_map() lex_lt_union_map() lexmax() lexmax_pw_multi_aff() lexmin() lexmin_pw_multi_aff() lower_bound_multi_pw_aff() lower_bound_val() make_disjoint() max_multi_pw_aff() min_multi_pw_aff() move_dims() n_basic_map() n_map() nat_universe() (static) neg() oppose() order_ge() order_gt() order_le() order_lt() params() partial_lexmax() partial_lexmin() plain_get_val_if_fixed() plain_is_empty() plain_is_equal() plain_is_injective() plain_is_single_valued() plain_is_universe() plain_unshifted_simple_hull() polyhedral_hull() power() preimage_domain_multi_aff() preimage_domain_multi_pw_aff() preimage_domain_pw_multi_aff() preimage_domain_union_pw_multi_aff() preimage_range_multi_aff() preimage_range_pw_multi_aff() preimage_range_union_pw_multi_aff() product() project_out() project_out_all_params() project_out_except() range() range_curry() range_factor_domain() range_factor_range() range_is_wrapping() range_map() range_product() range_reverse() reaching_path_lengths() read_from_str() (static) remove_dims() remove_divs() remove_divs_involving_dims() remove_inputs() remove_map_if() remove_redundancies() remove_unknown_divs() reset_tuple_id() reset_user() reverse() sample() set_dim_id() set_dim_name() set_domain_tuple_id() set_range_tuple_id() set_tuple_id() set_tuple_name() simple_hull() subtract() subtract_domain() subtract_range() sum() to_list() to_str() to_union_map() transitive_closure() uncurry() union() union_disjoint() universe() (static) unshifted_simple_hull() unshifted_simple_hull_from_map_list() upper_bound_multi_pw_aff() upper_bound_val() wrap() zip()

__eq__(other)

Return self==value.