Reference: Sets and Maps

Basic Set

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

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_constraint(self, constraint)
Parameters
Returns

BasicSet

add_constraints(constraints)

New in version 2011.3.

add_dims(self, type, n)
Parameters
Returns

BasicSet

add_set(self, set)
Parameters
Returns

UnionSet

affine_hull(self)
Parameters

selfBasicSet

Returns

BasicSet

align_divs(self)
Parameters

selfSet

Returns

Set

align_params(self, model)
Parameters
Returns

BasicSet

apply(self, bmap)
Parameters
Returns

BasicSet

apply_pw_qpolynomial_fold(self, pwf)
Parameters
Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters
Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

as_pw_multi_aff(self)
Parameters

selfSet

Returns

PwMultiAff

as_set(self)
Parameters

selfUnionSet

Returns

Set

bind(self, tuple)
Parameters
Returns

Set

bounded_simple_hull(self)
Parameters

selfSet

Returns

BasicSet

static box_from_points(pnt1, pnt2)
Parameters
Returns

BasicSet

coalesce(self)
Parameters

selfSet

Returns

Set

coefficients(self)
Parameters

selfBasicSet

Returns

BasicSet

compare_at(self, bset2, pos)
Parameters
Returns

int

complement(self)
Parameters

selfSet

Returns

Set

compute_divs(self)
Parameters

selfBasicSet

Returns

Set

compute_schedule(self, validity, proximity)
Parameters
Returns

Schedule

compute_vertices(self)
Parameters

selfBasicSet

Returns

Vertices

contains(self, space)
Parameters
Returns

bool

convex_hull(self)
Parameters

selfSet

Returns

BasicSet

copy(self)
Parameters

selfBasicSet

Returns

BasicSet

count_val(self)
Parameters

selfSet

Returns

Val

detect_equalities(self)
Parameters

selfBasicSet

Returns

BasicSet

dim(self, type)
Parameters
Returns

isl_size

dim_has_any_lower_bound(self, type, pos)
Parameters
Returns

bool

dim_has_any_upper_bound(self, type, pos)
Parameters
Returns

bool

dim_has_lower_bound(self, type, pos)
Parameters
Returns

bool

dim_has_upper_bound(self, type, pos)
Parameters
Returns

bool

dim_is_bounded(self, type, pos)
Parameters
Returns

bool

dim_max(self, pos)
Parameters
Returns

PwAff

dim_max_val(self, pos)
Parameters
Returns

Val

dim_min(self, pos)
Parameters
Returns

PwAff

dim_min_val(self, pos)
Parameters
Returns

Val

dim_residue_class_val(self, pos)
Parameters
Returns

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

drop_constraints_involving_dims(self, type, first, n)
Parameters
Returns

BasicSet

drop_constraints_not_involving_dims(self, type, first, n)
Parameters
Returns

BasicSet

drop_unused_params(self)
Parameters

selfBasicSet

Returns

BasicSet

dump(self)
Parameters

selfBasicSet

Returns

None

eliminate(self, type, first, n)
Parameters
Returns

BasicSet

eliminate_dims(self, first, n)
Parameters
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

spaceSpace

Returns

BasicSet

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

Mat

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

Set

every_set(self, test)
Parameters
  • selfUnionSet

  • test – callback(set)

Returns

bool

extract_set(self, space)
Parameters
Returns

Set

find_dim_by_id(self, type, id)
Parameters
Returns

int

find_dim_by_name(self, type, name)
Parameters
Returns

int

fix_dim_si(self, dim, value)
Parameters
Returns

Set

fix_val(self, type, pos, v)
Parameters
Returns

BasicSet

flat_product(self, bset2)
Parameters
Returns

BasicSet

flatten(self)
Parameters

selfBasicSet

Returns

BasicSet

flatten_map(self)
Parameters

selfSet

Returns

Map

follows_at(self, set2, pos)
Parameters
Returns

int

foreach_basic_set(self, fn)
Parameters
  • selfSet

  • fn – callback(bset)

Returns

isl_stat

foreach_bound_pair(self, type, pos, fn)
Parameters
Returns

isl_stat

foreach_constraint(self, fn)
Parameters
Returns

isl_stat

foreach_point(self, fn)
Parameters
  • selfSet

  • fn – callback(pnt)

Returns

isl_stat

foreach_set(self, fn)
Parameters
  • selfUnionSet

  • fn – callback(set)

Returns

isl_stat

static from_constraint(constraint)
Parameters

constraintConstraint

Returns

BasicSet

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

BasicSet

static from_multi_aff(ma)
Parameters

maMultiAff

Returns

BasicSet

from_params(self)
Parameters

selfBasicSet

Returns

BasicSet

static from_point(pnt)
Parameters

pntPoint

Returns

BasicSet

get_basic_set_list(self)
Parameters

selfSet

Returns

BasicSetList

get_basic_sets()

Get the list of BasicSet instances in this Set.

get_constraint_list(self)
Parameters

selfBasicSet

Returns

ConstraintList

get_constraints()

Get a list of constraints.

get_ctx(self)
Parameters

selfBasicSet

Returns

Context

get_dim_id(self, type, pos)
Parameters
Returns

Id

get_dim_name(self, type, pos)
Parameters
Returns

string

get_div(self, pos)
Parameters
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

selfBasicSet

Returns

LocalSpace

get_plain_multi_val_if_fixed(self)
Parameters

selfSet

Returns

MultiVal

get_set_list(self)
Parameters

selfUnionSet

Returns

SetList

get_simple_fixed_box_hull(self)
Parameters

selfSet

Returns

FixedBox

get_space(self)
Parameters

selfBasicSet

Returns

Space

get_stride(self, pos)
Parameters
Returns

Val

get_stride_info(self, pos)
Parameters
Returns

StrideInfo

get_tuple_id(self)
Parameters

selfSet

Returns

Id

get_tuple_name(self)
Parameters

selfBasicSet

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
Returns

BasicSet

gist_basic_set(self, context)
Parameters
Returns

Set

gist_params(self, context)
Parameters
  • selfSet

  • contextSet

Returns

Set

has_dim_id(self, type, pos)
Parameters
Returns

bool

has_dim_name(self, type, pos)
Parameters
Returns

bool

has_equal_space(self, set2)
Parameters
Returns

bool

has_tuple_id(self)
Parameters

selfSet

Returns

bool

has_tuple_name(self)
Parameters

selfSet

Returns

bool

identity(self)
Parameters

selfSet

Returns

Map

identity_union_pw_multi_aff(self)
Parameters

selfUnionSet

Returns

UnionPwMultiAff

indicator_function(self)
Parameters

selfSet

Returns

PwAff

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

Mat

insert_dims(self, type, pos, n)
Parameters
Returns

BasicSet

insert_domain(self, domain)
Parameters
Returns

Map

intersect(self, bset2)
Parameters
Returns

BasicSet

intersect_factor_domain(self, domain)
Parameters
Returns

Set

intersect_factor_range(self, range)
Parameters
Returns

Set

intersect_params(self, bset2)
Parameters
Returns

BasicSet

involves_dims(self, type, first, n)
Parameters
Returns

bool

involves_locals(self)
Parameters

selfSet

Returns

bool

is_bounded(self)
Parameters

selfBasicSet

Returns

bool

is_box(self)
Parameters

selfSet

Returns

bool

is_disjoint(self, bset2)
Parameters
Returns

bool

is_empty(self)
Parameters

selfBasicSet

Returns

bool

is_equal(self, bset2)
Parameters
Returns

bool

is_params(self)
Parameters

selfSet

Returns

bool

is_rational(self)
Parameters

selfBasicSet

Returns

bool

is_singleton(self)
Parameters

selfSet

Returns

bool

is_strict_subset(self, set2)
Parameters
Returns

bool

is_subset(self, bset2)
Parameters
Returns

bool

is_universe(self)
Parameters

selfBasicSet

Returns

bool

is_wrapping(self)
Parameters

selfBasicSet

Returns

bool

isa_set(self)
Parameters

selfUnionSet

Returns

bool

lex_ge_set(self, set2)
Parameters
Returns

Map

lex_ge_union_set(self, uset2)
Parameters
Returns

UnionMap

lex_gt_set(self, set2)
Parameters
Returns

Map

lex_gt_union_set(self, uset2)
Parameters
Returns

UnionMap

lex_le_set(self, set2)
Parameters
Returns

Map

lex_le_union_set(self, uset2)
Parameters
Returns

UnionMap

lex_lt_set(self, set2)
Parameters
Returns

Map

lex_lt_union_set(self, uset2)
Parameters
Returns

UnionMap

lexmax(self)
Parameters

selfBasicSet

Returns

Set

lexmax_pw_multi_aff(self)
Parameters

selfSet

Returns

PwMultiAff

lexmin(self)
Parameters

selfBasicSet

Returns

Set

lexmin_pw_multi_aff(self)
Parameters

selfSet

Returns

PwMultiAff

lift(self)
Parameters

selfBasicSet

Returns

BasicSet

lower_bound_multi_pw_aff(self, lower)
Parameters
Returns

Set

lower_bound_multi_val(self, lower)
Parameters
Returns

Set

lower_bound_val(self, type, pos, value)
Parameters
Returns

BasicSet

make_disjoint(self)
Parameters

selfSet

Returns

Set

max_multi_pw_aff(self)
Parameters

selfSet

Returns

MultiPwAff

max_val(self, obj)
Parameters
Returns

Val

min_multi_pw_aff(self)
Parameters

selfSet

Returns

MultiPwAff

min_multi_union_pw_aff(self, obj)
Parameters
Returns

MultiVal

min_val(self, obj)
Parameters
Returns

Val

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

BasicSet

n_basic_set(self)
Parameters

selfSet

Returns

isl_size

n_constraint(self)
Parameters

selfBasicSet

Returns

isl_size

n_dim(self)
Parameters

selfBasicSet

Returns

isl_size

n_param(self)
Parameters

selfBasicSet

Returns

isl_size

n_set(self)
Parameters

selfUnionSet

Returns

isl_size

static nat_universe(space)
Parameters

spaceSpace

Returns

BasicSet

neg(self)
Parameters

selfBasicSet

Returns

BasicSet

params(self)
Parameters

selfBasicSet

Returns

BasicSet

partial_lexmax(self, dom)
Parameters
Returns

tuple: (Set, empty (Set))

partial_lexmax_pw_multi_aff(self, dom)
Parameters
Returns

tuple: (PwMultiAff, empty (Set))

partial_lexmin(self, dom)
Parameters
Returns

tuple: (Set, empty (Set))

partial_lexmin_pw_multi_aff(self, dom)
Parameters
Returns

tuple: (PwMultiAff, empty (Set))

plain_cmp(self, set2)
Parameters
Returns

int

plain_get_val_if_fixed(self, type, pos)
Parameters
Returns

Val

plain_is_disjoint(self, set2)
Parameters
Returns

bool

plain_is_empty(self)
Parameters

selfBasicSet

Returns

bool

plain_is_equal(self, bset2)
Parameters
Returns

bool

plain_is_universe(self)
Parameters

selfBasicSet

Returns

bool

plain_unshifted_simple_hull(self)
Parameters

selfSet

Returns

BasicSet

polyhedral_hull(self)
Parameters

selfSet

Returns

BasicSet

static positive_orthant(space)
Parameters

spaceSpace

Returns

BasicSet

preimage_multi_aff(self, ma)
Parameters
Returns

BasicSet

preimage_multi_pw_aff(self, mpa)
Parameters
Returns

Set

preimage_pw_multi_aff(self, pma)
Parameters
Returns

Set

preimage_union_pw_multi_aff(self, upma)
Parameters
Returns

UnionSet

product(self, set2)
Parameters
Returns

Set

project_onto_map(self, type, first, n)
Parameters
Returns

Map

project_out(self, type, first, n)
Parameters
Returns

BasicSet

project_out_all_params(self)
Parameters

selfSet

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
Returns

Set

project_out_param_id_list(self, list)
Parameters
Returns

Set

pw_multi_aff_on_domain_multi_val(self, mv)
Parameters
Returns

PwMultiAff

static read_from_str(ctx, str)
Parameters
Returns

BasicSet

reduced_basis(self)
Parameters

selfBasicSet

Returns

Mat

remove_dims(self, type, first, n)
Parameters
Returns

BasicSet

remove_divs(self)
Parameters

selfBasicSet

Returns

BasicSet

remove_divs_involving_dims(self, type, first, n)
Parameters
Returns

BasicSet

remove_redundancies(self)
Parameters

selfBasicSet

Returns

BasicSet

remove_unknown_divs(self)
Parameters

selfBasicSet

Returns

BasicSet

reset_space(self, space)
Parameters
Returns

Set

reset_tuple_id(self)
Parameters

selfSet

Returns

Set

reset_user(self)
Parameters

selfSet

Returns

Set

sample(self)
Parameters

selfBasicSet

Returns

BasicSet

sample_point(self)
Parameters

selfBasicSet

Returns

Point

set_dim_id(self, type, pos, id)
Parameters
Returns

Set

set_dim_name(self, type, pos, s)
Parameters
Returns

BasicSet

set_tuple_id(self, id)
Parameters
Returns

BasicSet

set_tuple_name(self, s)
Parameters
Returns

BasicSet

simple_hull(self)
Parameters

selfSet

Returns

BasicSet

solutions(self)
Parameters

selfBasicSet

Returns

BasicSet

property space

get_space(self)

Parameters

selfBasicSet

Returns

Space

split_dims(self, type, first, n)
Parameters
Returns

Set

subtract(self, set2)
Parameters
Returns

Set

sum(self, set2)
Parameters
Returns

Set

to_list(self)
Parameters

selfBasicSet

Returns

BasicSetList

to_set(self)
Parameters

selfBasicSet

Returns

Set

to_str(self)
Parameters

selfBasicSet

Returns

string

to_union_set(self)
Parameters

selfSet

Returns

UnionSet

total_dim(self)
Parameters

selfBasicSet

Returns

isl_size

translation(self)
Parameters

selfSet

Returns

Map

unbind_params(self, tuple)
Parameters
Returns

Set

unbind_params_insert_domain(self, domain)
Parameters
Returns

Map

union(self, bset2)
Parameters
Returns

Set

union_disjoint(self, set2)
Parameters
Returns

Set

static universe(space)
Parameters

spaceSpace

Returns

BasicSet

unshifted_simple_hull(self)
Parameters

selfSet

Returns

BasicSet

unshifted_simple_hull_from_set_list(self, list)
Parameters
Returns

BasicSet

unwrap(self)
Parameters

selfBasicSet

Returns

BasicMap

upper_bound_multi_pw_aff(self, upper)
Parameters
Returns

Set

upper_bound_multi_val(self, upper)
Parameters
Returns

Set

upper_bound_val(self, type, pos, value)
Parameters
Returns

BasicSet

wrapped_domain_map(self)
Parameters

selfSet

Returns

Map

Basic Map

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

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_constraint(self, constraint)
Parameters
Returns

BasicMap

add_constraints(constraints)

New in version 2011.3.

add_dims(self, type, n)
Parameters
Returns

BasicMap

add_map(self, map)
Parameters
Returns

UnionMap

affine_hull(self)
Parameters

selfBasicMap

Returns

BasicMap

align_divs(self)
Parameters

selfMap

Returns

Map

align_params(self, model)
Parameters
Returns

BasicMap

apply_domain(self, bmap2)
Parameters
Returns

BasicMap

apply_pw_qpolynomial_fold(self, pwf)
Parameters
Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_range(self, bmap2)
Parameters
Returns

BasicMap

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters
Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

as_map(self)
Parameters

selfUnionMap

Returns

Map

as_multi_union_pw_aff(self)
Parameters

selfUnionMap

Returns

MultiUnionPwAff

as_pw_multi_aff(self)
Parameters

selfMap

Returns

PwMultiAff

as_union_pw_multi_aff(self)
Parameters

selfUnionMap

Returns

UnionPwMultiAff

bind_domain(self, tuple)
Parameters
Returns

Set

bind_range(self, tuple)
Parameters
Returns

Set

can_curry(self)
Parameters

selfBasicMap

Returns

bool

can_range_curry(self)
Parameters

selfMap

Returns

bool

can_uncurry(self)
Parameters

selfBasicMap

Returns

bool

can_zip(self)
Parameters

selfBasicMap

Returns

bool

coalesce(self)
Parameters

selfMap

Returns

Map

complement(self)
Parameters

selfMap

Returns

Map

compute_divs(self)
Parameters

selfBasicMap

Returns

Map

compute_flow(self, must_source, may_source, schedule)
Parameters
Returns

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

contains(self, space)
Parameters
Returns

bool

convex_hull(self)
Parameters

selfMap

Returns

BasicMap

copy(self)
Parameters

selfBasicMap

Returns

BasicMap

curry(self)
Parameters

selfBasicMap

Returns

BasicMap

deltas(self)
Parameters

selfBasicMap

Returns

BasicSet

deltas_map(self)
Parameters

selfBasicMap

Returns

BasicMap

detect_equalities(self)
Parameters

selfBasicMap

Returns

BasicMap

dim(self, type)
Parameters
Returns

isl_size

dim_max(self, pos)
Parameters
Returns

PwAff

dim_min(self, pos)
Parameters
Returns

PwAff

domain(self)
Parameters

selfBasicMap

Returns

BasicSet

domain_factor_domain(self)
Parameters

selfMap

Returns

Map

domain_factor_range(self)
Parameters

selfMap

Returns

Map

domain_is_wrapping(self)
Parameters

selfMap

Returns

bool

domain_map(self)
Parameters

selfBasicMap

Returns

BasicMap

domain_map_union_pw_multi_aff(self)
Parameters

selfUnionMap

Returns

UnionPwMultiAff

domain_product(self, bmap2)
Parameters
Returns

BasicMap

drop_constraints_involving_dims(self, type, first, n)
Parameters
Returns

BasicMap

drop_constraints_not_involving_dims(self, type, first, n)
Parameters
Returns

BasicMap

drop_unused_params(self)
Parameters

selfBasicMap

Returns

BasicMap

dump(self)
Parameters

selfBasicMap

Returns

None

eliminate(self, type, first, n)
Parameters
Returns

BasicMap

static empty(space)
Parameters

spaceSpace

Returns

BasicMap

eq_at_multi_pw_aff(self, mpa)
Parameters
Returns

Map

eq_at_multi_union_pw_aff(self, mupa)
Parameters
Returns

UnionMap

static equal(space, n_equal)
Parameters
Returns

BasicMap

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

Mat

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

BasicMap

every_map(self, test)
Parameters
  • selfUnionMap

  • test – callback(map)

Returns

bool

extract_map(self, space)
Parameters
Returns

Map

factor_domain(self)
Parameters

selfMap

Returns

Map

factor_range(self)
Parameters

selfMap

Returns

Map

find_dim_by_id(self, type, id)
Parameters
Returns

int

find_dim_by_name(self, type, name)
Parameters
Returns

int

fix_input_si(self, input, value)
Parameters
Returns

Map

fix_val(self, type, pos, v)
Parameters
Returns

BasicMap

fixed_power_val(self, exp)
Parameters
Returns

Map

flat_domain_product(self, map2)
Parameters
Returns

Map

flat_product(self, bmap2)
Parameters
Returns

BasicMap

flat_range_product(self, bmap2)
Parameters
Returns

BasicMap

flatten(self)
Parameters

selfBasicMap

Returns

BasicMap

flatten_domain(self)
Parameters

selfBasicMap

Returns

BasicMap

flatten_range(self)
Parameters

selfBasicMap

Returns

BasicMap

floordiv_val(self, d)
Parameters
Returns

Map

foreach_basic_map(self, fn)
Parameters
  • selfMap

  • fn – callback(bmap)

Returns

isl_stat

foreach_constraint(self, fn)
Parameters
Returns

isl_stat

foreach_map(self, fn)
Parameters
  • selfUnionMap

  • fn – callback(map)

Returns

isl_stat

static from_aff(aff)
Parameters

affAff

Returns

BasicMap

static from_aff_list(domain_space, list)
Parameters
Returns

BasicMap

static from_constraint(constraint)
Parameters

constraintConstraint

Returns

BasicMap

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

BasicMap

static from_domain(bset)
Parameters

bsetBasicSet

Returns

BasicMap

static from_domain_and_range(domain, range)
Parameters
Returns

BasicMap

static from_multi_aff(maff)
Parameters

maffMultiAff

Returns

BasicMap

static from_qpolynomial(qp)
Parameters

qpQPolynomial

Returns

BasicMap

static from_range(bset)
Parameters

bsetBasicSet

Returns

BasicMap

get_basic_map_list(self)
Parameters

selfMap

Returns

BasicMapList

get_basic_maps()

Get the list of BasicMap instances in this Map.

get_constraint_list(self)
Parameters

selfBasicMap

Returns

ConstraintList

get_constraints()

Get a list of constraints.

get_ctx(self)
Parameters

selfBasicMap

Returns

Context

get_dim_id(self, type, pos)
Parameters
Returns

Id

get_dim_name(self, type, pos)
Parameters
Returns

string

get_div(self, pos)
Parameters
Returns

Aff

get_domain_tuple_id(self)
Parameters

selfMap

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

selfBasicMap

Returns

LocalSpace

get_map_list(self)
Parameters

selfUnionMap

Returns

MapList

get_range_simple_fixed_box_hull(self)
Parameters

selfMap

Returns

FixedBox

get_range_stride_info(self, pos)
Parameters
Returns

StrideInfo

get_range_tuple_id(self)
Parameters

selfMap

Returns

Id

get_space(self)
Parameters

selfBasicMap

Returns

Space

get_tuple_id(self, type)
Parameters
Returns

Id

get_tuple_name(self, type)
Parameters
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
Returns

BasicMap

gist_basic_map(self, context)
Parameters
Returns

Map

gist_domain(self, context)
Parameters
Returns

BasicMap

gist_params(self, context)
Parameters
  • selfMap

  • contextSet

Returns

Map

gist_range(self, context)
Parameters
  • selfMap

  • contextSet

Returns

Map

has_defining_equality(self, type, pos)
Parameters
Returns

c (Constraint)

has_dim_id(self, type, pos)
Parameters
Returns

bool

has_dim_name(self, type, pos)
Parameters
Returns

bool

has_domain_tuple_id(self)
Parameters

selfMap

Returns

bool

has_equal_space(self, map2)
Parameters
Returns

bool

has_range_tuple_id(self)
Parameters

selfMap

Returns

bool

has_tuple_id(self, type)
Parameters
Returns

bool

has_tuple_name(self, type)
Parameters
Returns

bool

static identity(space)
Parameters

spaceSpace

Returns

BasicMap

image_is_bounded(self)
Parameters

selfBasicMap

Returns

bool

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

Mat

insert_dims(self, type, pos, n)
Parameters
Returns

BasicMap

intersect(self, bmap2)
Parameters
Returns

BasicMap

intersect_domain(self, bset)
Parameters
Returns

BasicMap

intersect_domain_factor_domain(self, factor)
Parameters
Returns

Map

intersect_domain_factor_range(self, factor)
Parameters
Returns

Map

intersect_domain_space(self, space)
Parameters
Returns

UnionMap

intersect_domain_union_set(self, uset)
Parameters
Returns

UnionMap

intersect_params(self, params)
Parameters
Returns

Map

intersect_range(self, bset)
Parameters
Returns

BasicMap

intersect_range_factor_domain(self, factor)
Parameters
Returns

Map

intersect_range_factor_range(self, factor)
Parameters
Returns

Map

intersect_range_space(self, space)
Parameters
Returns

UnionMap

intersect_range_union_set(self, uset)
Parameters
Returns

UnionMap

involves_dims(self, type, first, n)
Parameters
Returns

bool

is_bijective(self)
Parameters

selfMap

Returns

bool

is_disjoint(self, bmap2)
Parameters
Returns

bool

is_empty(self)
Parameters

selfBasicMap

Returns

bool

is_equal(self, bmap2)
Parameters
Returns

bool

is_identity(self)
Parameters

selfMap

Returns

bool

is_injective(self)
Parameters

selfMap

Returns

bool

is_product(self)
Parameters

selfMap

Returns

bool

is_rational(self)
Parameters

selfBasicMap

Returns

bool

is_single_valued(self)
Parameters

selfBasicMap

Returns

bool

is_strict_subset(self, bmap2)
Parameters
Returns

bool

is_subset(self, bmap2)
Parameters
Returns

bool

is_translation(self)
Parameters

selfMap

Returns

bool

is_universe(self)
Parameters

selfBasicMap

Returns

bool

isa_map(self)
Parameters

selfUnionMap

Returns

bool

static less_at(space, pos)
Parameters
Returns

BasicMap

lex_ge_at_multi_pw_aff(self, mpa)
Parameters
Returns

Map

lex_ge_at_multi_union_pw_aff(self, mupa)
Parameters
Returns

UnionMap

lex_ge_map(self, map2)
Parameters
Returns

Map

lex_ge_union_map(self, umap2)
Parameters
Returns

UnionMap

lex_gt_at_multi_pw_aff(self, mpa)
Parameters
Returns

Map

lex_gt_at_multi_union_pw_aff(self, mupa)
Parameters
Returns

UnionMap

lex_gt_map(self, map2)
Parameters
Returns

Map

lex_gt_union_map(self, umap2)
Parameters
Returns

UnionMap

lex_le_at_multi_pw_aff(self, mpa)
Parameters
Returns

Map

lex_le_at_multi_union_pw_aff(self, mupa)
Parameters
Returns

UnionMap

lex_le_map(self, map2)
Parameters
Returns

Map

lex_le_union_map(self, umap2)
Parameters
Returns

UnionMap

lex_lt_at_multi_pw_aff(self, mpa)
Parameters
Returns

Map

lex_lt_at_multi_union_pw_aff(self, mupa)
Parameters
Returns

UnionMap

lex_lt_map(self, map2)
Parameters
Returns

Map

lex_lt_union_map(self, umap2)
Parameters
Returns

UnionMap

lexmax(self)
Parameters

selfBasicMap

Returns

Map

lexmax_pw_multi_aff(self)
Parameters

selfMap

Returns

PwMultiAff

lexmin(self)
Parameters

selfBasicMap

Returns

Map

lexmin_pw_multi_aff(self)
Parameters

selfBasicMap

Returns

PwMultiAff

lower_bound_multi_pw_aff(self, lower)
Parameters
Returns

Map

lower_bound_si(self, type, pos, value)
Parameters
Returns

BasicMap

lower_bound_val(self, type, pos, value)
Parameters
Returns

Map

make_disjoint(self)
Parameters

selfMap

Returns

Map

max_multi_pw_aff(self)
Parameters

selfMap

Returns

MultiPwAff

min_multi_pw_aff(self)
Parameters

selfMap

Returns

MultiPwAff

static more_at(space, pos)
Parameters
Returns

BasicMap

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

BasicMap

n_basic_map(self)
Parameters

selfMap

Returns

isl_size

n_constraint(self)
Parameters

selfBasicMap

Returns

isl_size

n_map(self)
Parameters

selfUnionMap

Returns

isl_size

static nat_universe(space)
Parameters

spaceSpace

Returns

BasicMap

neg(self)
Parameters

selfBasicMap

Returns

BasicMap

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

Map

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

BasicMap

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

BasicMap

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

Map

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

Map

params(self)
Parameters

selfMap

Returns

Set

partial_lexmax(self, dom)
Parameters
Returns

tuple: (Map, empty (Set))

partial_lexmax_pw_multi_aff(self, dom)
Parameters
Returns

tuple: (PwMultiAff, empty (Set))

partial_lexmin(self, dom)
Parameters
Returns

tuple: (Map, empty (Set))

partial_lexmin_pw_multi_aff(self, dom)
Parameters
Returns

tuple: (PwMultiAff, empty (Set))

plain_get_val_if_fixed(self, type, pos)
Parameters
Returns

Val

plain_is_empty(self)
Parameters

selfBasicMap

Returns

bool

plain_is_equal(self, map2)
Parameters
Returns

bool

plain_is_injective(self)
Parameters

selfMap

Returns

bool

plain_is_single_valued(self)
Parameters

selfMap

Returns

bool

plain_is_universe(self)
Parameters

selfBasicMap

Returns

bool

plain_unshifted_simple_hull(self)
Parameters

selfMap

Returns

BasicMap

polyhedral_hull(self)
Parameters

selfMap

Returns

BasicMap

power(self)
Parameters

selfMap

Returns

tuple: (Map, exact (Bool))

preimage_domain_multi_aff(self, ma)
Parameters
Returns

BasicMap

preimage_domain_multi_pw_aff(self, mpa)
Parameters
Returns

Map

preimage_domain_pw_multi_aff(self, pma)
Parameters
Returns

Map

preimage_domain_union_pw_multi_aff(self, upma)
Parameters
Returns

UnionMap

preimage_range_multi_aff(self, ma)
Parameters
Returns

BasicMap

preimage_range_pw_multi_aff(self, pma)
Parameters
Returns

Map

preimage_range_union_pw_multi_aff(self, upma)
Parameters
Returns

UnionMap

product(self, bmap2)
Parameters
Returns

BasicMap

project_out(self, type, first, n)
Parameters
Returns

BasicMap

project_out_all_params(self)
Parameters

selfMap

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

selfBasicMap

Returns

BasicSet

range_curry(self)
Parameters

selfMap

Returns

Map

range_factor_domain(self)
Parameters

selfMap

Returns

Map

range_factor_range(self)
Parameters

selfMap

Returns

Map

range_is_wrapping(self)
Parameters

selfMap

Returns

bool

range_map(self)
Parameters

selfBasicMap

Returns

BasicMap

range_product(self, bmap2)
Parameters
Returns

BasicMap

range_reverse(self)
Parameters

selfMap

Returns

Map

reaching_path_lengths(self)
Parameters

selfMap

Returns

tuple: (Map, exact (Bool))

static read_from_str(ctx, str)
Parameters
Returns

BasicMap

remove_dims(self, type, first, n)
Parameters
Returns

BasicMap

remove_divs(self)
Parameters

selfBasicMap

Returns

BasicMap

remove_divs_involving_dims(self, type, first, n)
Parameters
Returns

BasicMap

remove_inputs(self, first, n)
Parameters
Returns

Map

remove_map_if(self, fn)
Parameters
  • selfUnionMap

  • fn – callback(map)

Returns

UnionMap

remove_redundancies(self)
Parameters

selfBasicMap

Returns

BasicMap

remove_unknown_divs(self)
Parameters

selfMap

Returns

Map

reset_tuple_id(self, type)
Parameters
Returns

Map

reset_user(self)
Parameters

selfMap

Returns

Map

reverse(self)
Parameters

selfBasicMap

Returns

BasicMap

sample(self)
Parameters

selfBasicMap

Returns

BasicMap

set_dim_id(self, type, pos, id)
Parameters
Returns

Map

set_dim_name(self, type, pos, s)
Parameters
Returns

BasicMap

set_domain_tuple_id(self, id)
Parameters
Returns

Map

set_range_tuple_id(self, id)
Parameters
Returns

Map

set_tuple_id(self, type, id)
Parameters
Returns

BasicMap

set_tuple_name(self, type, s)
Parameters
Returns

BasicMap

simple_hull(self)
Parameters

selfMap

Returns

BasicMap

property space

get_space(self)

Parameters

selfBasicMap

Returns

Space

subtract(self, map2)
Parameters
Returns

Map

subtract_domain(self, dom)
Parameters
Returns

Map

subtract_range(self, dom)
Parameters
Returns

Map

sum(self, bmap2)
Parameters
Returns

BasicMap

to_list(self)
Parameters

selfBasicMap

Returns

BasicMapList

to_str(self)
Parameters

selfBasicMap

Returns

string

to_union_map(self)
Parameters

selfMap

Returns

UnionMap

total_dim(self)
Parameters

selfBasicMap

Returns

isl_size

transitive_closure(self)
Parameters

selfMap

Returns

tuple: (Map, exact (Bool))

uncurry(self)
Parameters

selfBasicMap

Returns

BasicMap

union(self, bmap2)
Parameters
Returns

Map

union_disjoint(self, map2)
Parameters
Returns

Map

static universe(space)
Parameters

spaceSpace

Returns

BasicMap

unshifted_simple_hull(self)
Parameters

selfMap

Returns

BasicMap

unshifted_simple_hull_from_map_list(self, list)
Parameters
Returns

BasicMap

upper_bound_multi_pw_aff(self, upper)
Parameters
Returns

Map

upper_bound_si(self, type, pos, value)
Parameters
Returns

BasicMap

upper_bound_val(self, type, pos, value)
Parameters
Returns

Map

wrap(self)
Parameters

selfBasicMap

Returns

BasicSet

zip(self)
Parameters

selfBasicMap

Returns

BasicMap

Set

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

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

selfSet

Returns

int

__ne__(other)

Return self!=value.

add_constraint(self, constraint)
Parameters
Returns

Set

add_constraints(constraints)

New in version 2011.3.

add_dims(self, type, n)
Parameters
Returns

Set

add_set(self, set)
Parameters
Returns

UnionSet

affine_hull(self)
Parameters

selfSet

Returns

BasicSet

align_divs(self)
Parameters

selfSet

Returns

Set

align_params(self, model)
Parameters
Returns

Set

apply(self, map)
Parameters
Returns

Set

apply_pw_qpolynomial_fold(self, pwf)
Parameters
Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters
Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

as_pw_multi_aff(self)
Parameters

selfSet

Returns

PwMultiAff

as_set(self)
Parameters

selfUnionSet

Returns

Set

bind(self, tuple)
Parameters
Returns

Set

bounded_simple_hull(self)
Parameters

selfSet

Returns

BasicSet

static box_from_points(pnt1, pnt2)
Parameters
Returns

Set

coalesce(self)
Parameters

selfSet

Returns

Set

coefficients(self)
Parameters

selfSet

Returns

BasicSet

complement(self)
Parameters

selfSet

Returns

Set

compute_divs(self)
Parameters

selfSet

Returns

Set

compute_schedule(self, validity, proximity)
Parameters
Returns

Schedule

contains(self, space)
Parameters
Returns

bool

convex_hull(self)
Parameters

selfSet

Returns

BasicSet

copy(self)
Parameters

selfSet

Returns

Set

count_val(self)
Parameters

selfSet

Returns

Val

detect_equalities(self)
Parameters

selfSet

Returns

Set

dim(self, type)
Parameters
Returns

isl_size

dim_has_any_lower_bound(self, type, pos)
Parameters
Returns

bool

dim_has_any_upper_bound(self, type, pos)
Parameters
Returns

bool

dim_has_lower_bound(self, type, pos)
Parameters
Returns

bool

dim_has_upper_bound(self, type, pos)
Parameters
Returns

bool

dim_is_bounded(self, type, pos)
Parameters
Returns

bool

dim_max(self, pos)
Parameters
Returns

PwAff

dim_max_val(self, pos)
Parameters
Returns

Val

dim_min(self, pos)
Parameters
Returns

PwAff

dim_min_val(self, pos)
Parameters
Returns

Val

dim_residue_class_val(self, pos)
Parameters
Returns

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

drop_constraints_involving_dims(self, type, first, n)
Parameters
Returns

Set

drop_constraints_not_involving_dims(self, type, first, n)
Parameters
Returns

Set

drop_unused_params(self)
Parameters

selfSet

Returns

Set

dump(self)
Parameters

selfSet

Returns

None

eliminate(self, type, first, n)
Parameters
Returns

Set

eliminate_dims(self, first, n)
Parameters
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

spaceSpace

Returns

Set

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

Set

every_set(self, test)
Parameters
  • selfUnionSet

  • test – callback(set)

Returns

bool

extract_set(self, space)
Parameters
Returns

Set

find_dim_by_id(self, type, id)
Parameters
Returns

int

find_dim_by_name(self, type, name)
Parameters
Returns

int

fix_dim_si(self, dim, value)
Parameters
Returns

Set

fix_val(self, type, pos, v)
Parameters
Returns

Set

flat_product(self, set2)
Parameters
Returns

Set

flatten(self)
Parameters

selfSet

Returns

Set

flatten_map(self)
Parameters

selfSet

Returns

Map

follows_at(self, set2, pos)
Parameters
Returns

int

foreach_basic_set(self, fn)
Parameters
  • selfSet

  • fn – callback(bset)

Returns

isl_stat

foreach_point(self, fn)
Parameters
  • selfSet

  • fn – callback(pnt)

Returns

isl_stat

foreach_set(self, fn)
Parameters
  • selfUnionSet

  • fn – callback(set)

Returns

isl_stat

static from_basic_set(bset)
Parameters

bsetBasicSet

Returns

Set

static from_multi_aff(ma)
Parameters

maMultiAff

Returns

Set

static from_multi_pw_aff(mpa)
Parameters

mpaMultiPwAff

Returns

Set

from_params(self)
Parameters

selfSet

Returns

Set

static from_point(pnt)
Parameters

pntPoint

Returns

Set

static from_pw_aff(pwaff)
Parameters

pwaffPwAff

Returns

Set

static from_pw_multi_aff(pma)
Parameters

pmaPwMultiAff

Returns

Set

static from_union_set(uset)
Parameters

usetUnionSet

Returns

Set

get_basic_set_list(self)
Parameters

selfSet

Returns

BasicSetList

get_basic_sets()

Get the list of BasicSet instances in this Set.

get_ctx(self)
Parameters

selfSet

Returns

Context

get_dim_id(self, type, pos)
Parameters
Returns

Id

get_dim_name(self, type, pos)
Parameters
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

selfSet

Returns

MultiVal

get_set_list(self)
Parameters

selfUnionSet

Returns

SetList

get_simple_fixed_box_hull(self)
Parameters

selfSet

Returns

FixedBox

get_space(self)
Parameters

selfSet

Returns

Space

get_stride(self, pos)
Parameters
Returns

Val

get_stride_info(self, pos)
Parameters
Returns

StrideInfo

get_tuple_id(self)
Parameters

selfSet

Returns

Id

get_tuple_name(self)
Parameters

selfSet

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
  • selfSet

  • contextSet

Returns

Set

gist_basic_set(self, context)
Parameters
Returns

Set

gist_params(self, context)
Parameters
  • selfSet

  • contextSet

Returns

Set

has_dim_id(self, type, pos)
Parameters
Returns

bool

has_dim_name(self, type, pos)
Parameters
Returns

bool

has_equal_space(self, set2)
Parameters
Returns

bool

has_tuple_id(self)
Parameters

selfSet

Returns

bool

has_tuple_name(self)
Parameters

selfSet

Returns

bool

identity(self)
Parameters

selfSet

Returns

Map

identity_union_pw_multi_aff(self)
Parameters

selfUnionSet

Returns

UnionPwMultiAff

indicator_function(self)
Parameters

selfSet

Returns

PwAff

insert_dims(self, type, pos, n)
Parameters
Returns

Set

insert_domain(self, domain)
Parameters
Returns

Map

intersect(self, set2)
Parameters
Returns

Set

intersect_factor_domain(self, domain)
Parameters
Returns

Set

intersect_factor_range(self, range)
Parameters
Returns

Set

intersect_params(self, params)
Parameters
Returns

Set

involves_dims(self, type, first, n)
Parameters
Returns

bool

involves_locals(self)
Parameters

selfSet

Returns

bool

is_bounded(self)
Parameters

selfSet

Returns

bool

is_box(self)
Parameters

selfSet

Returns

bool

is_disjoint(self, set2)
Parameters
Returns

bool

is_empty(self)
Parameters

selfSet

Returns

bool

is_equal(self, set2)
Parameters
Returns

bool

is_params(self)
Parameters

selfSet

Returns

bool

is_singleton(self)
Parameters

selfSet

Returns

bool

is_strict_subset(self, set2)
Parameters
Returns

bool

is_subset(self, set2)
Parameters
Returns

bool

is_wrapping(self)
Parameters

selfSet

Returns

bool

isa_set(self)
Parameters

selfUnionSet

Returns

bool

lex_ge_set(self, set2)
Parameters
Returns

Map

lex_ge_union_set(self, uset2)
Parameters
Returns

UnionMap

lex_gt_set(self, set2)
Parameters
Returns

Map

lex_gt_union_set(self, uset2)
Parameters
Returns

UnionMap

lex_le_set(self, set2)
Parameters
Returns

Map

lex_le_union_set(self, uset2)
Parameters
Returns

UnionMap

lex_lt_set(self, set2)
Parameters
Returns

Map

lex_lt_union_set(self, uset2)
Parameters
Returns

UnionMap

lexmax(self)
Parameters

selfSet

Returns

Set

lexmax_pw_multi_aff(self)
Parameters

selfSet

Returns

PwMultiAff

lexmin(self)
Parameters

selfSet

Returns

Set

lexmin_pw_multi_aff(self)
Parameters

selfSet

Returns

PwMultiAff

lift(self)
Parameters

selfSet

Returns

Set

lower_bound_multi_pw_aff(self, lower)
Parameters
Returns

Set

lower_bound_multi_val(self, lower)
Parameters
Returns

Set

lower_bound_val(self, type, pos, value)
Parameters
Returns

Set

make_disjoint(self)
Parameters

selfSet

Returns

Set

max_multi_pw_aff(self)
Parameters

selfSet

Returns

MultiPwAff

max_val(self, obj)
Parameters
Returns

Val

min_multi_pw_aff(self)
Parameters

selfSet

Returns

MultiPwAff

min_multi_union_pw_aff(self, obj)
Parameters
Returns

MultiVal

min_val(self, obj)
Parameters
Returns

Val

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

Set

n_basic_set(self)
Parameters

selfSet

Returns

isl_size

n_dim(self)
Parameters

selfSet

Returns

isl_size

n_param(self)
Parameters

selfSet

Returns

isl_size

n_set(self)
Parameters

selfUnionSet

Returns

isl_size

static nat_universe(space)
Parameters

spaceSpace

Returns

Set

neg(self)
Parameters

selfSet

Returns

Set

params(self)
Parameters

selfSet

Returns

Set

partial_lexmax(self, dom)
Parameters
Returns

tuple: (Set, empty (Set))

partial_lexmin(self, dom)
Parameters
Returns

tuple: (Set, empty (Set))

plain_cmp(self, set2)
Parameters
Returns

int

plain_get_val_if_fixed(self, type, pos)
Parameters
Returns

Val

plain_is_disjoint(self, set2)
Parameters
Returns

bool

plain_is_empty(self)
Parameters

selfSet

Returns

bool

plain_is_equal(self, set2)
Parameters
Returns

bool

plain_is_universe(self)
Parameters

selfSet

Returns

bool

plain_unshifted_simple_hull(self)
Parameters

selfSet

Returns

BasicSet

polyhedral_hull(self)
Parameters

selfSet

Returns

BasicSet

preimage_multi_aff(self, ma)
Parameters
Returns

Set

preimage_multi_pw_aff(self, mpa)
Parameters
Returns

Set

preimage_pw_multi_aff(self, pma)
Parameters
Returns

Set

preimage_union_pw_multi_aff(self, upma)
Parameters
Returns

UnionSet

product(self, set2)
Parameters
Returns

Set

project_onto_map(self, type, first, n)
Parameters
Returns

Map

project_out(self, type, first, n)
Parameters
Returns

Set

project_out_all_params(self)
Parameters

selfSet

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
Returns

Set

project_out_param_id_list(self, list)
Parameters
Returns

Set

pw_multi_aff_on_domain_multi_val(self, mv)
Parameters
Returns

PwMultiAff

static read_from_str(ctx, str)
Parameters
Returns

Set

remove_dims(self, type, first, n)
Parameters
Returns

Set

remove_divs(self)
Parameters

selfSet

Returns

Set

remove_divs_involving_dims(self, type, first, n)
Parameters
Returns

Set

remove_redundancies(self)
Parameters

selfSet

Returns

Set

remove_unknown_divs(self)
Parameters

selfSet

Returns

Set

reset_space(self, space)
Parameters
Returns

Set

reset_tuple_id(self)
Parameters

selfSet

Returns

Set

reset_user(self)
Parameters

selfSet

Returns

Set

sample(self)
Parameters

selfSet

Returns

BasicSet

sample_point(self)
Parameters

selfSet

Returns

Point

set_dim_id(self, type, pos, id)
Parameters
Returns

Set

set_dim_name(self, type, pos, s)
Parameters
Returns

Set

set_tuple_id(self, id)
Parameters
Returns

Set

set_tuple_name(self, s)
Parameters
  • selfSet

  • s – string

Returns

Set

simple_hull(self)
Parameters

selfSet

Returns

BasicSet

solutions(self)
Parameters

selfSet

Returns

BasicSet

property space

get_space(self)

Parameters

selfSet

Returns

Space

split_dims(self, type, first, n)
Parameters
Returns

Set

subtract(self, set2)
Parameters
Returns

Set

sum(self, set2)
Parameters
Returns

Set

to_list(self)
Parameters

selfSet

Returns

SetList

to_str(self)
Parameters

selfSet

Returns

string

to_union_set(self)
Parameters

selfSet

Returns

UnionSet

translation(self)
Parameters

selfSet

Returns

Map

unbind_params(self, tuple)
Parameters
Returns

Set

unbind_params_insert_domain(self, domain)
Parameters
Returns

Map

union(self, set2)
Parameters
Returns

Set

union_disjoint(self, set2)
Parameters
Returns

Set

static universe(space)
Parameters

spaceSpace

Returns

Set

unshifted_simple_hull(self)
Parameters

selfSet

Returns

BasicSet

unshifted_simple_hull_from_set_list(self, list)
Parameters
Returns

BasicSet

unwrap(self)
Parameters

selfSet

Returns

Map

upper_bound_multi_pw_aff(self, upper)
Parameters
Returns

Set

upper_bound_multi_val(self, upper)
Parameters
Returns

Set

upper_bound_val(self, type, pos, value)
Parameters
Returns

Set

wrapped_domain_map(self)
Parameters

selfSet

Returns

Map

Map

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

Return self==value.