Reference guide

General Remarks

Creation via Static Methods

To map more directly to the isl’s C interface, object creation in islpy is done through static methods instead of through constructors. These are marked ‘(static)’ in each class’s overview section.

Documented vs. Non-documented Functionality

Since islpy is automatically generated from the isl C headers, some of the functionality it exposes might be undocumented. Undocumented functionality might change or vanish without notice. ‘Documented’ functionality is defined as whatever is mentioned in the isl manual. islpy will let you call undocumented functions, but you are doing so at your own risk.

Invalidation of Arguments

You may notice that a few methods below say ‘(becomes invalid)’. This has to do with an idiosyncrasy in isl’s interface that was retained at the Python level for efficiency. Such arguments will be deleted (by isl) upon entry to the called function. If you would like to retain access to that object, simply append a .copy() to that argument. (Note that you will notice if an object got deleted for you accidentally, as the next operation on it will simply fail with an exception.)

Integers

Whenever an integer argument is required, islpy supports regular Python integers and Python long integers. It will return Python long integers.

Automatic Casts

islpy will automatically perform the following upward casts in argument lists:

Called with Argument Type
BasicSet Set
BasicMap Map
Set UnionSet
Map UnionMap
Space LocalSpace
Aff PwAff

as well as casts contained in the transitive closure of this ‘casting graph’.

Error Reporting

exception islpy.Error

Symbolic Constants

class islpy.format
C = 4
EXT_POLYLIB = 6
ISL = 0
LATEX = 5
OMEGA = 3
POLYLIB = 1
POLYLIB_CONSTRAINTS = 2
class islpy.error
abort = islpy._isl.error.abort
internal = islpy._isl.error.internal
invalid = islpy._isl.error.invalid
none = islpy._isl.error.none
unknown = islpy._isl.error.unknown
unsupported = islpy._isl.error.unsupported
class islpy.dim_type
all = islpy._isl.dim_type.all
cst = islpy._isl.dim_type.cst
div = islpy._isl.dim_type.div
in_ = islpy._isl.dim_type.in_
out = islpy._isl.dim_type.out
param = islpy._isl.dim_type.param
set = islpy._isl.dim_type.set
class islpy.fold
list = islpy._isl.fold.list
max = islpy._isl.fold.max
min = islpy._isl.fold.min
class islpy.constants
BOUND_BERNSTEIN = 0
BOUND_RANGE = 1
ON_ERROR_ABORT = 2
ON_ERROR_CONTINUE = 1
ON_ERROR_WARN = 0
SCHEDULE_ALGORITHM_FEAUTRIER = 1
SCHEDULE_ALGORITHM_ISL = 0
class islpy.ast_op_type
access = islpy._isl.ast_op_type.access
add = islpy._isl.ast_op_type.add
and = islpy._isl.ast_op_type.and
and_then = islpy._isl.ast_op_type.and_then
call = islpy._isl.ast_op_type.call
cond = islpy._isl.ast_op_type.cond
div = islpy._isl.ast_op_type.div
eq = islpy._isl.ast_op_type.eq
error = islpy._isl.ast_op_type.error
fdiv_q = islpy._isl.ast_op_type.fdiv_q
ge = islpy._isl.ast_op_type.ge
gt = islpy._isl.ast_op_type.gt
le = islpy._isl.ast_op_type.le
lt = islpy._isl.ast_op_type.lt
max = islpy._isl.ast_op_type.max
member = islpy._isl.ast_op_type.member
min = islpy._isl.ast_op_type.min
minus = islpy._isl.ast_op_type.minus
mul = islpy._isl.ast_op_type.mul
names = {'and': islpy._isl.ast_op_type.and, 'gt': islpy._isl.ast_op_type.gt, 'ge': islpy._isl.ast_op_type.ge, 'cond': islpy._isl.ast_op_type.cond, 'and_then': islpy._isl.ast_op_type.and_then, 'pdiv_r': islpy._isl.ast_op_type.pdiv_r, 'fdiv_q': islpy._isl.ast_op_type.fdiv_q, 'pdiv_q': islpy._isl.ast_op_type.pdiv_q, 'eq': islpy._isl.ast_op_type.eq, 'select': islpy._isl.ast_op_type.select, 'member': islpy._isl.ast_op_type.member, 'le': islpy._isl.ast_op_type.le, 'sub': islpy._isl.ast_op_type.sub, 'min': islpy._isl.ast_op_type.min, 'add': islpy._isl.ast_op_type.add, 'access': islpy._isl.ast_op_type.access, 'lt': islpy._isl.ast_op_type.lt, 'call': islpy._isl.ast_op_type.call, 'or_else': islpy._isl.ast_op_type.or_else, 'mul': islpy._isl.ast_op_type.mul, 'max': islpy._isl.ast_op_type.max, 'or': islpy._isl.ast_op_type.or, 'error': islpy._isl.ast_op_type.error, 'div': islpy._isl.ast_op_type.div, 'minus': islpy._isl.ast_op_type.minus}
or = islpy._isl.ast_op_type.or
or_else = islpy._isl.ast_op_type.or_else
pdiv_q = islpy._isl.ast_op_type.pdiv_q
pdiv_r = islpy._isl.ast_op_type.pdiv_r
select = islpy._isl.ast_op_type.select
sub = islpy._isl.ast_op_type.sub
values = {0: islpy._isl.ast_op_type.and, 1: islpy._isl.ast_op_type.and_then, 2: islpy._isl.ast_op_type.or, 3: islpy._isl.ast_op_type.or_else, 4: islpy._isl.ast_op_type.max, 5: islpy._isl.ast_op_type.min, 6: islpy._isl.ast_op_type.minus, 7: islpy._isl.ast_op_type.add, 8: islpy._isl.ast_op_type.sub, 9: islpy._isl.ast_op_type.mul, 10: islpy._isl.ast_op_type.div, 11: islpy._isl.ast_op_type.fdiv_q, 12: islpy._isl.ast_op_type.pdiv_q, 13: islpy._isl.ast_op_type.pdiv_r, 14: islpy._isl.ast_op_type.cond, 15: islpy._isl.ast_op_type.select, 16: islpy._isl.ast_op_type.eq, 17: islpy._isl.ast_op_type.le, 18: islpy._isl.ast_op_type.lt, 19: islpy._isl.ast_op_type.ge, 20: islpy._isl.ast_op_type.gt, 21: islpy._isl.ast_op_type.call, 22: islpy._isl.ast_op_type.access, 23: islpy._isl.ast_op_type.member, -1: islpy._isl.ast_op_type.error}
class islpy.ast_expr_type
error = islpy._isl.ast_expr_type.error
id = islpy._isl.ast_expr_type.id
int = islpy._isl.ast_expr_type.int
names = {'int': islpy._isl.ast_expr_type.int, 'op': islpy._isl.ast_expr_type.op, 'id': islpy._isl.ast_expr_type.id, 'error': islpy._isl.ast_expr_type.error}
op = islpy._isl.ast_expr_type.op
values = {0: islpy._isl.ast_expr_type.op, 1: islpy._isl.ast_expr_type.id, 2: islpy._isl.ast_expr_type.int, -1: islpy._isl.ast_expr_type.error}
class islpy.ast_node_type
block = islpy._isl.ast_node_type.block
error = islpy._isl.ast_node_type.error
for = islpy._isl.ast_node_type.for
if = islpy._isl.ast_node_type.if
names = {'user': islpy._isl.ast_node_type.user, 'if': islpy._isl.ast_node_type.if, 'block': islpy._isl.ast_node_type.block, 'for': islpy._isl.ast_node_type.for, 'error': islpy._isl.ast_node_type.error}
user = islpy._isl.ast_node_type.user
values = {1: islpy._isl.ast_node_type.for, 2: islpy._isl.ast_node_type.if, 3: islpy._isl.ast_node_type.block, 4: islpy._isl.ast_node_type.user, -1: islpy._isl.ast_node_type.error}

Basic Building Blocks

Context

class islpy.Context

Id

class islpy.Id(name, user=None, context=None)
  • __eq__()
  • __hash__()
  • __ne__()
static alloc(ctx, name, user)
Parameters:
  • ctxContext
  • name – string
  • user – a user-specified Python object
Returns:

Id

get_ctx(self)
Parameters:selfId
Returns:Context
get_name(self)
Parameters:selfId
Returns:string
get_user(self)
Parameters:selfId
Returns:a user-specified python object
is_valid()

Return whether current object is still valid.

name

get_name(self)

Parameters:selfId
Returns:string
user

get_user(self)

Parameters:selfId
Returns:a user-specified python object

Space

(formerly called Dim. A compatibility alias is in place.)

class islpy.Space
add_dims(self, type, n)
Parameters:
Returns:

Space

align_params(self, dim2)
Parameters:
Returns:

Space

static alloc(ctx, nparam, n_in, n_out)
Parameters:
  • ctxContext
  • nparamunsigned
  • n_inunsigned
  • n_outunsigned
Returns:

Space

can_curry(self)
Parameters:selfSpace
Returns:int
can_uncurry(self)
Parameters:selfSpace
Returns:int
can_zip(self)
Parameters:selfSpace
Returns:int
compatible(self, dim2)
Parameters:
Returns:

int

copy(self)
Parameters:selfSpace
Returns:Space
static create_from_names(ctx, set=None, in_=None, out=None, params=[])

Create a Space from lists of variable names.

Parameters:
  • set – names of set-type variables.
  • in – names of in-type variables.
  • out – names of out-type variables.
  • params` – names of parameter-type variables.
curry(self)
Parameters:selfSpace
Returns:Space
dim(self, type)
Parameters:
Returns:

unsigned

domain(self)
Parameters:selfSpace
Returns:Space
domain_factor_domain(self)
Parameters:selfSpace
Returns:Space
domain_is_wrapping(self)
Parameters:selfSpace
Returns:int
domain_map(self)
Parameters:selfSpace
Returns:Space
domain_product(self, right)
Parameters:
Returns:

Space

drop_dims(self, type, first, num)
Parameters:
  • selfSpace
  • typedim_type
  • firstunsigned
  • numunsigned
Returns:

Space

drop_inputs(self, first, n)
Parameters:
  • selfSpace
  • firstunsigned
  • nunsigned
Returns:

Space

drop_outputs(self, first, n)
Parameters:
  • selfSpace
  • firstunsigned
  • nunsigned
Returns:

Space

extend(self, nparam, n_in, n_out)
Parameters:
  • selfSpace
  • nparamunsigned
  • n_inunsigned
  • n_outunsigned
Returns:

Space

find_dim_by_id(self, type, id)
Parameters:
Returns:

int

find_dim_by_name(self, type, name)
Parameters:
Returns:

int

flatten_domain(self)
Parameters:selfLocalSpace
Returns:LocalSpace
flatten_range(self)
Parameters:selfLocalSpace
Returns:LocalSpace
from_domain(self)
Parameters:selfSpace
Returns:Space
from_range(self)
Parameters:selfSpace
Returns:Space
from_space(dim)
Parameters:dimSpace
Returns:LocalSpace
get_ctx(self)
Parameters:selfSpace
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 variable Id instances to tuples of (dim_type, index).

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfLocalSpace
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(basic_instance, *args, **kwargs)

Return a list of Id instances for dim_type dimtype.

get_var_names(basic_instance, *args, **kwargs)

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

has_dim_id(self, type, pos)
Parameters:
Returns:

bool

has_dim_name(self, type, pos)
Parameters:
Returns:

bool

has_tuple_id(self, type)
Parameters:
Returns:

bool

has_tuple_name(self, type)
Parameters:
Returns:

bool

insert_dims(self, type, pos, n)
Parameters:
  • selfSpace
  • typedim_type
  • posunsigned
  • nunsigned
Returns:

Space

intersect(self, ls2)
Parameters:
Returns:

LocalSpace

is_domain(self, space2)
Parameters:
Returns:

bool

is_equal(self, space2)
Parameters:
Returns:

bool

is_map(self)
Parameters:selfSpace
Returns:bool
is_params(self)
Parameters:selfSpace
Returns:bool
is_range(self, space2)
Parameters:
Returns:

bool

is_set(self)
Parameters:selfSpace
Returns:bool
is_valid()

Return whether current object is still valid.

is_wrapping(self)
Parameters:selfSpace
Returns:bool
join(self, right)
Parameters:
Returns:

Space

lifting(self)
Parameters:selfLocalSpace
Returns:BasicMap
map_from_domain_and_range(self, range)
Parameters:
Returns:

Space

map_from_set(self)
Parameters:selfSpace
Returns:Space
match(self, dim1_type, dim2, dim2_type)
Parameters:
Returns:

int

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
  • selfSpace
  • dst_typedim_type
  • dst_posunsigned
  • src_typedim_type
  • src_posunsigned
  • nunsigned
Returns:

Space

params(self)
Parameters:selfSpace
Returns:Space
static params_alloc(ctx, nparam)
Parameters:
  • ctxContext
  • nparamunsigned
Returns:

Space

product(self, right)
Parameters:
Returns:

Space

range(self)
Parameters:selfSpace
Returns:Space
range_factor_domain(self)
Parameters:selfSpace
Returns:Space
range_factor_range(self)
Parameters:selfSpace
Returns:Space
range_is_wrapping(self)
Parameters:selfSpace
Returns:int
range_map(self)
Parameters:selfSpace
Returns:Space
range_product(self, right)
Parameters:
Returns:

Space

reset_tuple_id(self, type)
Parameters:
Returns:

Space

reset_user(self)
Parameters:selfSpace
Returns:Space
reverse(self)
Parameters:selfSpace
Returns:Space
static set_alloc(ctx, nparam, dim)
Parameters:
  • ctxContext
  • nparamunsigned
  • dimunsigned
Returns:

Space

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

Space

set_dim_name(self, type, pos, name)
Parameters:
  • selfSpace
  • typedim_type
  • posunsigned
  • name – string
Returns:

Space

set_from_params(self)
Parameters:selfSpace
Returns:Space
set_tuple_id(self, type, id)
Parameters:
Returns:

Space

set_tuple_name(self, type, s)
Parameters:
Returns:

Space

tuple_match(self, dim1_type, dim2, dim2_type)
Parameters:
Returns:

int

uncurry(self)
Parameters:selfSpace
Returns:Space
unwrap(self)
Parameters:selfSpace
Returns:Space
wrap(self)
Parameters:selfSpace
Returns:Space
zip(self)
Parameters:selfSpace
Returns:Space

Local Space

class islpy.LocalSpace
add_dims(self, type, n)
Parameters:
Returns:

LocalSpace

copy(self)
Parameters:selfLocalSpace
Returns:LocalSpace
dim(self, type)
Parameters:
Returns:

int

domain(self)
Parameters:selfLocalSpace
Returns:LocalSpace
drop_dims(self, type, first, n)
Parameters:
Returns:

LocalSpace

flatten_domain(self)
Parameters:selfLocalSpace
Returns:LocalSpace
flatten_range(self)
Parameters:selfLocalSpace
Returns:LocalSpace
from_domain(self)
Parameters:selfLocalSpace
Returns:LocalSpace
static from_space(dim)
Parameters:dimSpace
Returns:LocalSpace
get_ctx(self)
Parameters:selfLocalSpace
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_space(self)
Parameters:selfLocalSpace
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

has_dim_id(self, type, pos)
Parameters:
Returns:

bool

has_dim_name(self, type, pos)
Parameters:
Returns:

bool

insert_dims(self, type, first, n)
Parameters:
Returns:

LocalSpace

intersect(self, ls2)
Parameters:
Returns:

LocalSpace

is_equal(self, ls2)
Parameters:
Returns:

bool

is_set(self)
Parameters:selfLocalSpace
Returns:bool
is_valid()

Return whether current object is still valid.

lifting(self)
Parameters:selfLocalSpace
Returns:BasicMap
range(self)
Parameters:selfLocalSpace
Returns:LocalSpace
set_dim_id(self, type, pos, id)
Parameters:
Returns:

LocalSpace

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

LocalSpace

set_tuple_id(self, type, id)
Parameters:
Returns:

LocalSpace

space

get_space(self)

Parameters:selfLocalSpace
Returns:Space

Constraints

class islpy.Constraint
static eq_from_names(space, coefficients={})

Create a constraint const + coeff_1*var_1 +... == 0.

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

Changed in version 2011.3: Eliminated the separate const parameter.

static equality_alloc(ls)
Parameters:lsLocalSpace
Returns:Constraint
static equality_from_aff(aff)
Parameters:affAff
Returns:Constraint
get_aff(self)
Parameters:selfConstraint
Returns:Aff
get_bound(self, type, pos)
Parameters:
Returns:

Aff

get_coefficient_val(self, type, pos)
Parameters:
Returns:

Val

get_coefficients_by_name(dimtype=None, dim_to_name=None)

Return a dictionary mapping variable names to coefficients.

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

Changed in version 2011.3: New for Aff

get_constant_val(self)
Parameters:selfConstraint
Returns:Val
get_ctx(self)
Parameters:selfConstraint
Returns:Context
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:selfConstraint
Returns:LocalSpace
get_space(self)
Parameters:selfConstraint
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

static ineq_from_names(space, coefficients={})

Create a constraint const + coeff_1*var_1 +... >= 0.

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

Changed in version 2011.3: Eliminated the separate const parameter.

static inequality_alloc(ls)
Parameters:lsLocalSpace
Returns:Constraint
static inequality_from_aff(aff)
Parameters:affAff
Returns:Constraint
involves_dims(self, type, first, n)
Parameters:
Returns:

int

is_div_constraint(self)
Parameters:selfConstraint
Returns:bool
is_equality(self)
Parameters:selfConstraint
Returns:bool
is_lower_bound(self, type, pos)
Parameters:
Returns:

bool

is_upper_bound(self, type, pos)
Parameters:
Returns:

bool

is_valid()

Return whether current object is still valid.

list_add(self, el)
Parameters:
Returns:

ConstraintList

static list_alloc(ctx, n)
Parameters:
Returns:

ConstraintList

list_concat(self, list2)
Parameters:
  • selfConstraintList
  • list2ConstraintList
Returns:

ConstraintList

list_copy(self)
Parameters:selfConstraintList
Returns:ConstraintList
list_drop(self, first, n)
Parameters:
  • selfConstraintList
  • firstunsigned
  • nunsigned
Returns:

ConstraintList

list_dump(self)
Parameters:selfConstraintList
Returns:None
list_foreach(self)
Parameters:
  • selfConstraintList
  • fn – callback(el)
Returns:

int

list_from_constraint(self)
Parameters:selfConstraint
Returns:ConstraintList
list_get_constraint(self, index)
Parameters:
  • selfConstraintList
  • indexint
Returns:

Constraint

list_get_ctx(self)
Parameters:selfConstraintList
Returns:Context
list_insert(self, pos, el)
Parameters:
  • selfConstraintList
  • posunsigned
  • elConstraint
Returns:

ConstraintList

list_n_constraint(self)
Parameters:selfConstraintList
Returns:int
list_set_constraint(self, index, el)
Parameters:
Returns:

ConstraintList

set_coefficient_val(self, type, pos, v)
Parameters:
Returns:

Constraint

set_coefficients(dim_tp, args)
Parameters:
  • dim_tpdim_type
  • argslist of coefficients, for indices 0..len(args)-1.

Changed in version 2011.3: New for Aff

set_coefficients_by_name(iterable, name_to_dim=None)

Set the coefficients and the constant.

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

Changed in version 2011.3: New for Aff

set_constant_val(self, v)
Parameters:
Returns:

Constraint

space

get_space(self)

Parameters:selfConstraint
Returns:Space

Value

class islpy.Val(src, context=None)
2exp(self)
Parameters:selfVal
Returns:Val
abs(self)
Parameters:selfVal
Returns:Val
add(self, v2)
Parameters:
Returns:

Val

ceil(self)
Parameters:selfVal
Returns:Val
cmp_si(self, i)
Parameters:
  • selfVal
  • ilong
Returns:

int

copy(self)
Parameters:selfVal
Returns:Val
div(self, v2)
Parameters:
Returns:

Val

eq(self, v2)
Parameters:
Returns:

int

floor(self)
Parameters:selfVal
Returns:Val
gcd(self, v2)
Parameters:
Returns:

Val

gcdext(self, v2)
Parameters:
Returns:

tuple: (Val, x (Val), y (Val))

ge(self, v2)
Parameters:
Returns:

int

get_ctx(self)
Parameters:selfVal
Returns:Context
get_d(self)
Parameters:selfVal
Returns:double
get_den_si(self)
Parameters:selfVal
Returns:long
get_num_si(self)
Parameters:selfVal
Returns:long
gt(self, v2)
Parameters:
Returns:

int

static infty(ctx)
Parameters:ctxContext
Returns:Val
static int_from_si(ctx, i)
Parameters:
Returns:

Val

static int_from_ui(ctx, u)
Parameters:
Returns:

Val

is_divisible_by(self, v2)
Parameters:
Returns:

bool

is_infty(self)
Parameters:selfVal
Returns:bool
is_int(self)
Parameters:selfVal
Returns:bool
is_nan(self)
Parameters:selfVal
Returns:bool
is_neg(self)
Parameters:selfVal
Returns:bool
is_neginfty(self)
Parameters:selfVal
Returns:bool
is_negone(self)
Parameters:selfVal
Returns:bool
is_nonneg(self)
Parameters:selfVal
Returns:bool
is_nonpos(self)
Parameters:selfVal
Returns:bool
is_one(self)
Parameters:selfVal
Returns:bool
is_pos(self)
Parameters:selfVal
Returns:bool
is_rat(self)
Parameters:selfVal
Returns:bool
is_valid()

Return whether current object is still valid.

is_zero(self)
Parameters:selfVal
Returns:bool
le(self, v2)
Parameters:
Returns:

int

list_add(self, el)
Parameters:
  • selfValList
  • elVal
Returns:

ValList

static list_alloc(ctx, n)
Parameters:
Returns:

ValList

list_concat(self, list2)
Parameters:
  • selfValList
  • list2ValList
Returns:

ValList

list_copy(self)
Parameters:selfValList
Returns:ValList
list_drop(self, first, n)
Parameters:
  • selfValList
  • firstunsigned
  • nunsigned
Returns:

ValList

list_dump(self)
Parameters:selfValList
Returns:None
list_foreach(self)
Parameters:
  • selfValList
  • fn – callback(el)
Returns:

int

list_from_val(self)
Parameters:selfVal
Returns:ValList
list_get_ctx(self)
Parameters:selfValList
Returns:Context
list_get_val(self, index)
Parameters:
  • selfValList
  • indexint
Returns:

Val

list_insert(self, pos, el)
Parameters:
  • selfValList
  • posunsigned
  • elVal
Returns:

ValList

list_n_val(self)
Parameters:selfValList
Returns:int
list_set_val(self, index, el)
Parameters:
  • selfValList
  • indexint
  • elVal
Returns:

ValList

lt(self, v2)
Parameters:
Returns:

int

max(self, v2)
Parameters:
Returns:

Val

min(self, v2)
Parameters:
Returns:

Val

mod(self, v2)
Parameters:
Returns:

Val

mul(self, v2)
Parameters:
Returns:

Val

n_abs_num_chunks(self, size)
Parameters:
  • selfVal
  • sizesize_t
Returns:

size_t

static nan(ctx)
Parameters:ctxContext
Returns:Val
ne(self, v2)
Parameters:
Returns:

int

neg(self)
Parameters:selfVal
Returns:Val
static neginfty(ctx)
Parameters:ctxContext
Returns:Val
static negone(ctx)
Parameters:ctxContext
Returns:Val
static one(ctx)
Parameters:ctxContext
Returns:Val
static read_from_str(ctx, str)
Parameters:
Returns:

Val

set_si(self, i)
Parameters:
  • selfVal
  • ilong
Returns:

Val

sgn(self)
Parameters:selfVal
Returns:int
sub(self, v2)
Parameters:
Returns:

Val

to_str(self)
Parameters:selfVal
Returns:string
trunc(self)
Parameters:selfVal
Returns:Val
static zero(ctx)
Parameters:ctxContext
Returns:Val

Multi-Value

class islpy.MultiVal
add_dims(self, type, n)
Parameters:
Returns:

MultiVal

add_val(self, v)
Parameters:
Returns:

MultiVal

align_params(self, model)
Parameters:
Returns:

MultiVal

copy(self)
Parameters:selfMultiVal
Returns:MultiVal
dim(self, type)
Parameters:
Returns:

unsigned

drop_dims(self, type, first, n)
Parameters:
Returns:

MultiVal

find_dim_by_id(self, type, id)
Parameters:
Returns:

int

flat_range_product(self, multi2)
Parameters:
Returns:

MultiVal

from_range(self)
Parameters:selfMultiVal
Returns:MultiVal
static from_val_list(space, list)
Parameters:
  • spaceSpace
  • listValList
Returns:

MultiVal

get_ctx(self)
Parameters:selfMultiVal
Returns:Context
get_dim_id(self, type, pos)
Parameters:
Returns:

Id

get_domain_space(self)
Parameters:selfMultiVal
Returns:Space
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfMultiVal
Returns:Space
get_tuple_id(self, type)
Parameters:
Returns:

Id

get_tuple_name(self, type)
Parameters:
Returns:

string

get_val(self, pos)
Parameters:
Returns:

Val

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.

has_tuple_id(self, type)
Parameters:
Returns:

bool

insert_dims(self, type, first, n)
Parameters:
Returns:

MultiVal

is_valid()

Return whether current object is still valid.

mod_val(self, v)
Parameters:
Returns:

MultiVal

plain_is_equal(self, multi2)
Parameters:
Returns:

int

product(self, multi2)
Parameters:
Returns:

MultiVal

range_factor_domain(self)
Parameters:selfMultiVal
Returns:MultiVal
range_factor_range(self)
Parameters:selfMultiVal
Returns:MultiVal
range_is_wrapping(self)
Parameters:selfMultiVal
Returns:int
range_product(self, multi2)
Parameters:
Returns:

MultiVal

range_splice(self, pos, multi2)
Parameters:
Returns:

MultiVal

reset_tuple_id(self, type)
Parameters:
Returns:

MultiVal

reset_user(self)
Parameters:selfMultiVal
Returns:MultiVal
scale_down_multi_val(self, mv)
Parameters:
Returns:

MultiVal

scale_multi_val(self, mv)
Parameters:
Returns:

MultiVal

scale_val(self, v)
Parameters:
Returns:

MultiVal

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

MultiVal

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

MultiVal

set_tuple_id(self, type, id)
Parameters:
Returns:

MultiVal

set_tuple_name(self, type, s)
Parameters:
Returns:

MultiVal

set_val(self, pos, el)
Parameters:
Returns:

MultiVal

space

get_space(self)

Parameters:selfMultiVal
Returns:Space
splice(self, in_pos, out_pos, multi2)
Parameters:
  • selfMultiVal
  • in_posunsigned
  • out_posunsigned
  • multi2MultiVal
Returns:

MultiVal

to_str(self)
Parameters:selfMultiVal
Returns:string
static zero(space)
Parameters:spaceSpace
Returns:MultiVal

Vector

class islpy.Vec
add(self, vec2)
Parameters:
Returns:

Vec

static alloc(ctx, size)
Parameters:
  • ctxContext
  • sizeunsigned
Returns:

Vec

clr(self)
Parameters:selfVec
Returns:Vec
cmp_element(self, vec2, pos)
Parameters:
Returns:

int

concat(self, vec2)
Parameters:
Returns:

Vec

copy(self)
Parameters:selfVec
Returns:Vec
drop_els(self, pos, n)
Parameters:
  • selfVec
  • posunsigned
  • nunsigned
Returns:

Vec

extend(self, size)
Parameters:
  • selfVec
  • sizeunsigned
Returns:

Vec

get_ctx(self)
Parameters:selfVec
Returns:Context
get_element_val(self, pos)
Parameters:
Returns:

Val

insert_els(self, pos, n)
Parameters:
  • selfVec
  • posunsigned
  • nunsigned
Returns:

Vec

insert_zero_els(self, pos, n)
Parameters:
  • selfVec
  • posunsigned
  • nunsigned
Returns:

Vec

is_equal(self, vec2)
Parameters:
Returns:

bool

is_valid()

Return whether current object is still valid.

move_els(self, dst_col, src_col, n)
Parameters:
  • selfVec
  • dst_colunsigned
  • src_colunsigned
  • nunsigned
Returns:

Vec

neg(self)
Parameters:selfVec
Returns:Vec
static read_from_file(ctx, input)
Parameters:
  • ctxContext
  • inputfile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

Vec

set_element_val(self, pos, v)
Parameters:
Returns:

Vec

set_val(self, v)
Parameters:
Returns:

Vec

sort(self)
Parameters:selfVec
Returns:Vec
zero_extend(self, size)
Parameters:
  • selfVec
  • sizeunsigned
Returns:

Vec

Matrix

class islpy.Mat
add_rows(self, n)
Parameters:
  • selfMat
  • nunsigned
Returns:

Mat

add_zero_cols(self, n)
Parameters:
  • selfMat
  • nunsigned
Returns:

Mat

add_zero_rows(self, n)
Parameters:
  • selfMat
  • nunsigned
Returns:

Mat

static alloc(ctx, n_row, n_col)
Parameters:
  • ctxContext
  • n_rowunsigned
  • n_colunsigned
Returns:

Mat

col_add(self, dst_col, src_col)
Parameters:
  • selfMat
  • dst_colint
  • src_colint
Returns:

None

cols(self)
Parameters:selfMat
Returns:int
concat(self, bot)
Parameters:
Returns:

Mat

copy(self)
Parameters:selfMat
Returns:Mat
diagonal(self, mat2)
Parameters:
Returns:

Mat

static from_row_vec(vec)
Parameters:vecVec
Returns:Mat
get_ctx(self)
Parameters:selfMat
Returns:Context
get_element_val(self, row, col)
Parameters:
Returns:

Val

initial_non_zero_cols(self)
Parameters:selfMat
Returns:int
insert_cols(self, col, n)
Parameters:
  • selfMat
  • colunsigned
  • nunsigned
Returns:

Mat

insert_rows(self, row, n)
Parameters:
  • selfMat
  • rowunsigned
  • nunsigned
Returns:

Mat

insert_zero_cols(self, first, n)
Parameters:
  • selfMat
  • firstunsigned
  • nunsigned
Returns:

Mat

insert_zero_rows(self, row, n)
Parameters:
  • selfMat
  • rowunsigned
  • nunsigned
Returns:

Mat

is_equal(self, mat2)
Parameters:
Returns:

bool

is_valid()

Return whether current object is still valid.

move_cols(self, dst_col, src_col, n)
Parameters:
  • selfMat
  • dst_colunsigned
  • src_colunsigned
  • nunsigned
Returns:

Mat

normalize(self)
Parameters:selfMat
Returns:Mat
normalize_row(self, row)
Parameters:
Returns:

Mat

print_internal(self, out, indent)
Parameters:
  • selfMat
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
Returns:

None

product(self, right)
Parameters:
Returns:

Mat

right_inverse(self)
Parameters:selfMat
Returns:Mat
right_kernel(self)
Parameters:selfMat
Returns:Mat
rows(self)
Parameters:selfMat
Returns:int
set_element_val(self, row, col, v)
Parameters:
Returns:

Mat

vec_concat(self, bot)
Parameters:
Returns:

Mat

vec_inverse_product(self, vec)
Parameters:
Returns:

Vec

Sets and Maps

Basic Set

class islpy.BasicSet(s, context=None)
add(self, type, n)
Parameters:
Returns:

BasicSet

add_basic_set(self, bset)
Parameters:
Returns:

Set

add_constraint(self, constraint)
Parameters:
Returns:

BasicSet

add_constraints(obj, 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 (integer))

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters:
Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

static box_from_points(pnt1, pnt2)
Parameters:
Returns:

BasicSet

coalesce(self)
Parameters:selfSet
Returns:Set
coefficients(self)
Parameters:selfBasicSet
Returns:BasicSet
complement(self)
Parameters:selfSet
Returns:Set
compute_divs(self)
Parameters:selfSet
Returns:Set
compute_schedule(self, validity, proximity)
Parameters:
Returns:

Schedule

compute_vertices(self)
Parameters:selfBasicSet
Returns:Vertices
contains(self, dim)
Parameters:
Returns:

int

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:

unsigned

dim_has_any_lower_bound(self, type, pos)
Parameters:
Returns:

int

dim_has_any_upper_bound(self, type, pos)
Parameters:
Returns:

int

dim_has_lower_bound(self, type, pos)
Parameters:
Returns:

int

dim_has_upper_bound(self, type, pos)
Parameters:
Returns:

int

dim_is_bounded(self, type, pos)
Parameters:
Returns:

int

dim_max(self, pos)
Parameters:
Returns:

PwAff

dim_min(self, pos)
Parameters:
Returns:

PwAff

dim_residue_class_val(self, pos)
Parameters:
Returns:

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

drop_constraint(self, constraint)
Parameters:
Returns:

BasicSet

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

BasicSet

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

BasicSet

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

BasicSet

eliminate_except(obj, 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(dim)
Parameters:dimSpace
Returns:BasicSet
equalities_matrix(self, c1, c2, c3, c4)
Parameters:
Returns:

Mat

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

Set

extract_set(self, dim)
Parameters:
Returns:

Set

fast_is_disjoint(self, set2)
Parameters:
Returns:

int

fast_is_empty(self)
Parameters:selfBasicSet
Returns:int
fast_is_equal(self, set2)
Parameters:
Returns:

int

fast_is_universe(self)
Parameters:selfSet
Returns:int
find_dim_by_id(self, type, id)
Parameters:
Returns:

int

find_dim_by_name(self, type, name)
Parameters:
Returns:

int

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)
Parameters:
  • selfSet
  • fn – callback(bset)
Returns:

int

foreach_bound_pair(self, type, pos)
Parameters:
  • selfBasicSet
  • typedim_type
  • posunsigned
  • fn – callback(lower, upper, bset)
Returns:

int

foreach_constraint(self)
Parameters:
Returns:

int

foreach_point(self)
Parameters:
  • selfSet
  • fn – callback(pnt)
Returns:

int

foreach_set(self)
Parameters:
  • selfUnionSet
  • fn – callback(set)
Returns:

int

from_basic_set(bset)
Parameters:bsetBasicSet
Returns:Set
static from_constraint_matrices(dim, eq, ineq, c1, c2, c3, c4)
Parameters:
Returns:

BasicSet

from_multi_pw_aff(mpa)
Parameters:mpaMultiPwAff
Returns:Set
from_params(self)
Parameters:selfBasicSet
Returns:BasicSet
static from_point(pnt)
Parameters:pntPoint
Returns:BasicSet
from_pw_aff(pwaff)
Parameters:pwaffPwAff
Returns:Set
from_pw_multi_aff(pma)
Parameters:pmaPwMultiAff
Returns:Set
from_set(set)
Parameters:setSet
Returns:UnionSet
from_union_set(uset)
Parameters:usetUnionSet
Returns:Set
get_basic_sets(basic_instance, *args, **kwargs)

Get the list of BasicSet instances in this Set.

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_space(self)
Parameters:selfBasicSet
Returns:Space
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
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

intersect(self, bset2)
Parameters:
Returns:

BasicSet

intersect_params(self, bset2)
Parameters:
Returns:

BasicSet

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

int

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, set2)
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_valid()

Return whether current object is still valid.

is_wrapping(self)
Parameters:selfBasicSet
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
lifting(self)
Parameters:selfSet
Returns:Map
lower_bound_val(self, type, pos, value)
Parameters:
Returns:

Set

make_disjoint(self)
Parameters:selfSet
Returns:Set
move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
  • selfBasicSet
  • dst_typedim_type
  • dst_posunsigned
  • src_typedim_type
  • src_posunsigned
  • nunsigned
Returns:

BasicSet

n_basic_set(self)
Parameters:selfSet
Returns:int
n_constraint(self)
Parameters:selfBasicSet
Returns:int
n_dim(self)
Parameters:selfBasicSet
Returns:unsigned
n_param(self)
Parameters:selfBasicSet
Returns:unsigned
n_set(self)
Parameters:selfUnionSet
Returns:int
static nat_universe(dim)
Parameters:dimSpace
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:

int

plain_is_empty(self)
Parameters:selfBasicSet
Returns:int
plain_is_equal(self, bset2)
Parameters:
Returns:

int

plain_is_universe(self)
Parameters:selfSet
Returns:int
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:
  • selfSet
  • mpaMultiPwAff
Returns:

Set

preimage_pw_multi_aff(self, pma)
Parameters:
Returns:

Set

preimage_union_pw_multi_aff(self, upma)
Parameters:
Returns:

UnionSet

print_(self, out, indent, prefix, suffix, output_format)
Parameters:
  • selfBasicSet
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
  • prefix – string
  • suffix – string
  • output_formatunsigned
Returns:

None

print_internal(self, out, indent)
Parameters:
  • selfBasicSet
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
Returns:

None

product(self, set2)
Parameters:
Returns:

Set

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

BasicSet

project_out_except(obj, 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.

static read_from_file(ctx, input)
Parameters:
  • ctxContext
  • inputfile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

BasicSet

static read_from_str(ctx, str)
Parameters:
Returns:

BasicSet

recession_cone(self)
Parameters:selfSet
Returns:Set
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, dim)
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
space

get_space(self)

Parameters:selfBasicSet
Returns:Space
split_dims(self, type, first, n)
Parameters:
  • selfSet
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Set

subtract(self, set2)
Parameters:
Returns:

Set

sum(self, set2)
Parameters:
Returns:

Set

to_str(self)
Parameters:selfSet
Returns:string
union(self, bset2)
Parameters:
Returns:

Set

static universe(dim)
Parameters:dimSpace
Returns:BasicSet
universe_like(self)
Parameters:selfSet
Returns:Set
static universe_like_set(model)
Parameters:modelSet
Returns:BasicSet
unshifted_simple_hull(self)
Parameters:selfSet
Returns:BasicSet
unwrap(self)
Parameters:selfBasicSet
Returns:BasicMap
upper_bound_val(self, type, pos, value)
Parameters:
Returns:

Set

Basic Map

class islpy.BasicMap(s, context=None)
add(self, type, n)
Parameters:
Returns:

BasicMap

add_basic_map(self, bmap)
Parameters:
Returns:

Map

add_constraint(self, constraint)
Parameters:
Returns:

BasicMap

add_constraints(obj, constraints)

New in version 2011.3.

add_dims(self, type, n)
Parameters:
Returns:

Map

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 (integer))

apply_range(self, bmap2)
Parameters:
Returns:

BasicMap

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters:
Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

can_curry(self)
Parameters:selfBasicMap
Returns:int
can_uncurry(self)
Parameters:selfBasicMap
Returns:int
can_zip(self)
Parameters:selfBasicMap
Returns:int
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, dim)
Parameters:
Returns:

int

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:

unsigned

dim_max(self, pos)
Parameters:
Returns:

PwAff

domain(self)
Parameters:selfBasicMap
Returns:BasicSet
domain_is_wrapping(self)
Parameters:selfMap
Returns:int
domain_map(self)
Parameters:selfBasicMap
Returns:BasicMap
domain_product(self, bmap2)
Parameters:
Returns:

BasicMap

drop_basic_map(self, bmap)
Parameters:
Returns:

Map

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

BasicMap

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

BasicMap

static empty(dim)
Parameters:dimSpace
Returns:BasicMap
static equal(dim, n_equal)
Parameters:
  • dimSpace
  • n_equalunsigned
Returns:

BasicMap

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

Mat

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

BasicMap

extract_map(self, dim)
Parameters:
Returns:

Map

fast_is_empty(self)
Parameters:selfBasicMap
Returns:int
fast_is_equal(self, map2)
Parameters:
Returns:

int

find_dim_by_id(self, type, id)
Parameters:
Returns:

int

find_dim_by_name(self, type, name)
Parameters:
Returns:

int

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)
Parameters:
  • selfMap
  • fn – callback(bmap)
Returns:

int

foreach_constraint(self)
Parameters:
Returns:

int

foreach_map(self)
Parameters:
  • selfUnionMap
  • fn – callback(map)
Returns:

int

static from_aff(aff)
Parameters:affAff
Returns:BasicMap
static from_aff_list(domain_dim, list)
Parameters:
Returns:

BasicMap

from_basic_map(bmap)
Parameters:bmapBasicMap
Returns:Map
static from_basic_set(bset, dim)
Parameters:
Returns:

BasicMap

static from_constraint(constraint)
Parameters:constraintConstraint
Returns:BasicMap
static from_constraint_matrices(dim, 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

from_map(map)
Parameters:mapMap
Returns:UnionMap
static from_multi_aff(maff)
Parameters:maffMultiAff
Returns:BasicMap
from_multi_pw_aff(mpa)
Parameters:mpaMultiPwAff
Returns:Map
from_pw_aff(pwaff)
Parameters:pwaffPwAff
Returns:Map
from_pw_multi_aff(pma)
Parameters:pmaPwMultiAff
Returns:Map
static from_qpolynomial(qp)
Parameters:qpQPolynomial
Returns:BasicMap
static from_range(bset)
Parameters:bsetBasicSet
Returns:BasicMap
from_set(set, dim)
Parameters:
Returns:

Map

from_union_map(umap)
Parameters:umapUnionMap
Returns:Map
from_union_pw_multi_aff(upma)
Parameters:upmaUnionPwMultiAff
Returns:UnionMap
get_basic_maps(basic_instance, *args, **kwargs)

Get the list of BasicMap instances in this Map.

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_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_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:
  • selfMap
  • contextSet
Returns:

Map

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_equal_space(self, map2)
Parameters:
Returns:

bool

has_tuple_id(self, type)
Parameters:
Returns:

bool

has_tuple_name(self, type)
Parameters:
Returns:

bool

static identity(dim)
Parameters:dimSpace
Returns:BasicMap
image_is_bounded(self)
Parameters:selfBasicMap
Returns:int
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_params(self, params)
Parameters:
Returns:

Map

intersect_range(self, bset)
Parameters:
Returns:

BasicMap

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

int

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_injective(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
is_valid()

Return whether current object is still valid.

static less_at(dim, pos)
Parameters:
  • dimSpace
  • posunsigned
Returns:

BasicMap

lex_ge(set_dim)
Parameters:set_dimSpace
Returns:Map
lex_ge_first(dim, n)
Parameters:
  • dimSpace
  • nunsigned
Returns:

Map

lex_ge_map(self, map2)
Parameters:
Returns:

Map

lex_ge_union_map(self, umap2)
Parameters:
Returns:

UnionMap

lex_gt(set_dim)
Parameters:set_dimSpace
Returns:Map
lex_gt_first(dim, n)
Parameters:
  • dimSpace
  • nunsigned
Returns:

Map

lex_gt_map(self, map2)
Parameters:
Returns:

Map

lex_gt_union_map(self, umap2)
Parameters:
Returns:

UnionMap

lex_le(set_dim)
Parameters:set_dimSpace
Returns:Map
lex_le_first(dim, n)
Parameters:
  • dimSpace
  • nunsigned
Returns:

Map

lex_le_map(self, map2)
Parameters:
Returns:

Map

lex_le_union_map(self, umap2)
Parameters:
Returns:

UnionMap

lex_lt(set_dim)
Parameters:set_dimSpace
Returns:Map
lex_lt_first(dim, n)
Parameters:
  • dimSpace
  • nunsigned
Returns:

Map

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_si(self, type, pos, value)
Parameters:
Returns:

BasicMap

make_disjoint(self)
Parameters:selfMap
Returns:Map
static more_at(dim, pos)
Parameters:
  • dimSpace
  • posunsigned
Returns:

BasicMap

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
  • selfBasicMap
  • dst_typedim_type
  • dst_posunsigned
  • src_typedim_type
  • src_posunsigned
  • nunsigned
Returns:

BasicMap

n_map(self)
Parameters:selfUnionMap
Returns:int
static nat_universe(dim)
Parameters:dimSpace
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:int
plain_is_equal(self, map2)
Parameters:
Returns:

int

plain_is_injective(self)
Parameters:selfMap
Returns:int
plain_is_single_valued(self)
Parameters:selfMap
Returns:int
plain_is_universe(self)
Parameters:selfMap
Returns:int
polyhedral_hull(self)
Parameters:selfMap
Returns:BasicMap
power(self)
Parameters:selfMap
Returns:tuple: (Map, exact (integer))
preimage_domain_multi_aff(self, ma)
Parameters:
Returns:

BasicMap

preimage_domain_multi_pw_aff(self, mpa)
Parameters:
  • selfMap
  • mpaMultiPwAff
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

print_(self, out, indent, prefix, suffix, output_format)
Parameters:
  • selfBasicMap
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
  • prefix – string
  • suffix – string
  • output_formatunsigned
Returns:

None

print_internal(self, out, indent)
Parameters:
  • selfBasicMap
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
Returns:

None

product(self, bmap2)
Parameters:
Returns:

BasicMap

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

BasicMap

project_out_except(obj, 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_factor_domain(self)
Parameters:selfMap
Returns:Map
range_factor_range(self)
Parameters:selfMap
Returns:Map
range_is_wrapping(self)
Parameters:selfMap
Returns:int
range_map(self)
Parameters:selfBasicMap
Returns:BasicMap
range_product(self, bmap2)
Parameters:
Returns:

BasicMap

reaching_path_lengths(self)
Parameters:selfMap
Returns:tuple: (Map, exact (integer))
static read_from_file(ctx, input)
Parameters:
  • ctxContext
  • inputfile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

BasicMap

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_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_tuple_id(self, type, id)
Parameters:
Returns:

BasicMap

set_tuple_name(self, type, s)
Parameters:
Returns:

BasicMap

simple_hull(self)
Parameters:selfMap
Returns:BasicMap
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

transitive_closure(self)
Parameters:selfMap
Returns:tuple: (Map, exact (integer))
uncurry(self)
Parameters:selfBasicMap
Returns:BasicMap
union(self, bmap2)
Parameters:
Returns:

Map

static universe(dim)
Parameters:dimSpace
Returns:BasicMap
universe_like(self)
Parameters:selfBasicMap
Returns:BasicMap
unshifted_simple_hull(self)
Parameters:selfMap
Returns:BasicMap
upper_bound_si(self, type, pos, value)
Parameters:
Returns:

BasicMap

wrap(self)
Parameters:selfBasicMap
Returns:BasicSet
zip(self)
Parameters:selfBasicMap
Returns:BasicMap

Set

class islpy.Set(s, context=None)
add_basic_set(self, bset)
Parameters:
Returns:

Set

add_constraint(self, constraint)
Parameters:
Returns:

Set

add_constraints(obj, 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 (integer))

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters:
Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

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, dim)
Parameters:
Returns:

int

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:

unsigned

dim_has_any_lower_bound(self, type, pos)
Parameters:
Returns:

int

dim_has_any_upper_bound(self, type, pos)
Parameters:
Returns:

int

dim_has_lower_bound(self, type, pos)
Parameters:
Returns:

int

dim_has_upper_bound(self, type, pos)
Parameters:
Returns:

int

dim_is_bounded(self, type, pos)
Parameters:
Returns:

int

dim_max(self, pos)
Parameters:
Returns:

PwAff

dim_min(self, pos)
Parameters:
Returns:

PwAff

dim_residue_class_val(self, pos)
Parameters:
Returns:

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

drop_constraints_involving_dims(self, type, first, n)
Parameters:
  • selfSet
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Set

eliminate(self, type, first, n)
Parameters:
  • selfSet
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Set

eliminate_except(obj, 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(dim)
Parameters:dimSpace
Returns:Set
equate(self, type1, pos1, type2, pos2)
Parameters:
Returns:

Set

extract_set(self, dim)
Parameters:
Returns:

Set

fast_is_disjoint(self, set2)
Parameters:
Returns:

int

fast_is_empty(self)
Parameters:selfSet
Returns:int
fast_is_equal(self, set2)
Parameters:
Returns:

int

fast_is_universe(self)
Parameters:selfSet
Returns:int
find_dim_by_id(self, type, id)
Parameters:
Returns:

int

find_dim_by_name(self, type, name)
Parameters:
Returns:

int

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)
Parameters:
  • selfSet
  • fn – callback(bset)
Returns:

int

foreach_point(self)
Parameters:
  • selfSet
  • fn – callback(pnt)
Returns:

int

foreach_set(self)
Parameters:
  • selfUnionSet
  • fn – callback(set)
Returns:

int

static from_basic_set(bset)
Parameters:bsetBasicSet
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
from_set(set)
Parameters:setSet
Returns:UnionSet
static from_union_set(uset)
Parameters:usetUnionSet
Returns:Set
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_space(self)
Parameters:selfSet
Returns:Space
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
indicator_function(self)
Parameters:selfSet
Returns:PwAff
insert_dims(self, type, pos, n)
Parameters:
  • selfSet
  • typedim_type
  • posunsigned
  • nunsigned
Returns:

Set

intersect(self, set2)
Parameters:
Returns:

Set

intersect_params(self, params)
Parameters:
Returns:

Set

involves_dims(self, type, first, n)
Parameters:
  • selfSet
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

int

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_valid()

Return whether current object is still valid.

is_wrapping(self)
Parameters:selfSet
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
lifting(self)
Parameters:selfSet
Returns:Map
lower_bound_val(self, type, pos, value)
Parameters:
Returns:

Set

make_disjoint(self)
Parameters:selfSet
Returns:Set
move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
  • selfSet
  • dst_typedim_type
  • dst_posunsigned
  • src_typedim_type
  • src_posunsigned
  • nunsigned
Returns:

Set

n_basic_set(self)
Parameters:selfSet
Returns:int
n_dim(self)
Parameters:selfSet
Returns:unsigned
n_param(self)
Parameters:selfSet
Returns:unsigned
n_set(self)
Parameters:selfUnionSet
Returns:int
static nat_universe(dim)
Parameters:dimSpace
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:

int

plain_is_empty(self)
Parameters:selfSet
Returns:int
plain_is_equal(self, set2)
Parameters:
Returns:

int

plain_is_universe(self)
Parameters:selfSet
Returns:int
polyhedral_hull(self)
Parameters:selfSet
Returns:BasicSet
preimage_multi_aff(self, ma)
Parameters:
Returns:

Set

preimage_multi_pw_aff(self, mpa)
Parameters:
  • selfSet
  • mpaMultiPwAff
Returns:

Set

preimage_pw_multi_aff(self, pma)
Parameters:
Returns:

Set

preimage_union_pw_multi_aff(self, upma)
Parameters:
Returns:

UnionSet

print_(self, out, indent, output_format)
Parameters:
  • selfSet
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
  • output_formatunsigned
Returns:

None

print_internal(self, out, indent)
Parameters:
  • selfSet
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
Returns:

None

product(self, set2)
Parameters:
Returns:

Set

project_out(self, type, first, n)
Parameters:
  • selfSet
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Set

project_out_except(obj, 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.

static read_from_file(ctx, input)
Parameters:
  • ctxContext
  • inputfile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

Set

static read_from_str(ctx, str)
Parameters:
Returns:

Set

recession_cone(self)
Parameters:selfSet
Returns:Set
remove_dims(self, type, first, n)
Parameters:
  • selfSet
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Set

remove_divs(self)
Parameters:selfSet
Returns:Set
remove_divs_involving_dims(self, type, first, n)
Parameters:
  • selfSet
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Set

remove_redundancies(self)
Parameters:selfSet
Returns:Set
remove_unknown_divs(self)
Parameters:selfSet
Returns:Set
reset_space(self, dim)
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:
  • selfSet
  • typedim_type
  • posunsigned
  • s – string
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
space

get_space(self)

Parameters:selfSet
Returns:Space
split_dims(self, type, first, n)
Parameters:
  • selfSet
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Set

subtract(self, set2)
Parameters:
Returns:

Set

sum(self, set2)
Parameters:
Returns:

Set

to_str(self)
Parameters:selfSet
Returns:string
union(self, set2)
Parameters:
Returns:

Set

static universe(dim)
Parameters:dimSpace
Returns:Set
universe_like(self)
Parameters:selfSet
Returns:Set
unshifted_simple_hull(self)
Parameters:selfSet
Returns:BasicSet
unwrap(self)
Parameters:selfSet
Returns:Map
upper_bound_val(self, type, pos, value)
Parameters:
Returns:

Set

Map

class islpy.Map(s, context=None)
add_basic_map(self, bmap)
Parameters:
Returns:

Map

add_constraint(self, constraint)
Parameters:
Returns:

Map

add_constraints(obj, constraints)

New in version 2011.3.

add_dims(self, type, n)
Parameters:
Returns:

Map

add_map(self, map)
Parameters:
Returns:

UnionMap

affine_hull(self)
Parameters:selfMap
Returns:BasicMap
align_divs(self)
Parameters:selfMap
Returns:Map
align_params(self, model)
Parameters:
Returns:

Map

apply_domain(self, map2)
Parameters:
Returns:

Map

apply_pw_qpolynomial_fold(self, pwf)
Parameters:
Returns:

tuple: (PwQPolynomialFold, tight (integer))

apply_range(self, map2)
Parameters:
Returns:

Map

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters:
Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

can_curry(self)
Parameters:selfMap
Returns:int
can_uncurry(self)
Parameters:selfMap
Returns:int
can_zip(self)
Parameters:selfMap
Returns:int
coalesce(self)
Parameters:selfMap
Returns:Map
complement(self)
Parameters:selfMap
Returns:Map
compute_divs(self)
Parameters:selfMap
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, dim)
Parameters:
Returns:

int

convex_hull(self)
Parameters:selfMap
Returns:BasicMap
copy(self)
Parameters:selfMap
Returns:Map
curry(self)
Parameters:selfMap
Returns:Map
deltas(self)
Parameters:selfMap
Returns:Set
deltas_map(self)
Parameters:selfMap
Returns:Map
detect_equalities(self)
Parameters:selfMap
Returns:Map
dim(self, type)
Parameters:
Returns:

unsigned

dim_max(self, pos)
Parameters:
Returns:

PwAff

domain(self)
Parameters:selfMap
Returns:Set
domain_is_wrapping(self)
Parameters:selfMap
Returns:int
domain_map(self)
Parameters:selfMap
Returns:Map
domain_product(self, map2)
Parameters:
Returns:

Map

drop_basic_map(self, bmap)
Parameters:
Returns:

Map

drop_constraints_involving_dims(self, type, first, n)
Parameters:
  • selfMap
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Map

eliminate(self, type, first, n)
Parameters:
  • selfMap
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Map

static empty(dim)
Parameters:dimSpace
Returns:Map
equate(self, type1, pos1, type2, pos2)
Parameters:
Returns:

Map

extract_map(self, dim)
Parameters:
Returns:

Map

fast_is_empty(self)
Parameters:selfMap
Returns:int
fast_is_equal(self, map2)
Parameters:
Returns:

int

find_dim_by_id(self, type, id)
Parameters:
Returns:

int

find_dim_by_name(self, type, name)
Parameters:
Returns:

int

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

Map

fixed_power_val(self, exp)
Parameters:
Returns:

Map

flat_domain_product(self, map2)
Parameters:
Returns:

Map

flat_product(self, map2)
Parameters:
Returns:

Map

flat_range_product(self, map2)
Parameters:
Returns:

Map

flatten(self)
Parameters:selfMap
Returns:Map
flatten_domain(self)
Parameters:selfMap
Returns:Map
flatten_range(self)
Parameters:selfMap
Returns:Map
floordiv_val(self, d)
Parameters:
Returns:

Map

foreach_basic_map(self)
Parameters:
  • selfMap
  • fn – callback(bmap)
Returns:

int

foreach_map(self)
Parameters:
  • selfUnionMap
  • fn – callback(map)
Returns:

int

static from_aff(aff)
Parameters:affAff
Returns:Map
static from_basic_map(bmap)
Parameters:bmapBasicMap
Returns:Map
static from_domain(set)
Parameters:setSet
Returns:Map
static from_domain_and_range(domain, range)
Parameters:
  • domainSet
  • rangeSet
Returns:

Map

from_map(map)
Parameters:mapMap
Returns:UnionMap
static from_multi_aff(maff)
Parameters:maffMultiAff
Returns:Map
static from_multi_pw_aff(mpa)
Parameters:mpaMultiPwAff
Returns:Map
static from_pw_aff(pwaff)
Parameters:pwaffPwAff
Returns:Map
static from_pw_multi_aff(pma)
Parameters:pmaPwMultiAff
Returns:Map
static from_range(set)
Parameters:setSet
Returns:Map
static from_set(set, dim)
Parameters:
Returns:

Map

static from_union_map(umap)
Parameters:umapUnionMap
Returns:Map
from_union_pw_multi_aff(upma)
Parameters:upmaUnionPwMultiAff
Returns:UnionMap
get_basic_maps()

Get the list of BasicMap instances in this Map.

get_ctx(self)
Parameters:selfMap
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_space(self)
Parameters:selfMap
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:
  • selfMap
  • contextMap
Returns:

Map

gist_basic_map(self, context)
Parameters:
Returns:

Map

gist_domain(self, context)
Parameters:
  • selfMap
  • contextSet
Returns:

Map

gist_params(self, context)
Parameters:
  • selfMap
  • contextSet
Returns:

Map

gist_range(self, context)
Parameters:
  • selfMap
  • contextSet
Returns:

Map

has_dim_id(self, type, pos)
Parameters:
Returns:

bool

has_dim_name(self, type, pos)
Parameters:
Returns:

bool

has_equal_space(self, map2)
Parameters:
Returns:

bool

has_tuple_id(self, type)
Parameters:
Returns:

bool

has_tuple_name(self, type)
Parameters:
Returns:

bool

static identity(dim)
Parameters:dimSpace
Returns:Map
insert_dims(self, type, pos, n)
Parameters:
  • selfMap
  • typedim_type
  • posunsigned
  • nunsigned
Returns:

Map

intersect(self, map2)
Parameters:
Returns:

Map

intersect_domain(self, set)
Parameters:
Returns:

Map

intersect_params(self, params)
Parameters:
Returns:

Map

intersect_range(self, set)
Parameters:
Returns:

Map

involves_dims(self, type, first, n)
Parameters:
  • selfMap
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

int

is_bijective(self)
Parameters:selfMap
Returns:bool
is_disjoint(self, map2)
Parameters:
Returns:

bool

is_empty(self)
Parameters:selfMap
Returns:bool
is_equal(self, map2)
Parameters:
Returns:

bool

is_injective(self)
Parameters:selfMap
Returns:bool
is_single_valued(self)
Parameters:selfMap
Returns:bool
is_strict_subset(self, map2)
Parameters:
Returns:

bool

is_subset(self, map2)
Parameters:
Returns:

bool

is_translation(self)
Parameters:selfMap
Returns:bool
is_valid()

Return whether current object is still valid.

static lex_ge(set_dim)
Parameters:set_dimSpace
Returns:Map
static lex_ge_first(dim, n)
Parameters:
  • dimSpace
  • nunsigned
Returns:

Map

lex_ge_map(self, map2)
Parameters:
Returns:

Map

lex_ge_union_map(self, umap2)
Parameters:
Returns:

UnionMap

static lex_gt(set_dim)
Parameters:set_dimSpace
Returns:Map
static lex_gt_first(dim, n)
Parameters:
  • dimSpace
  • nunsigned
Returns:

Map

lex_gt_map(self, map2)
Parameters:
Returns:

Map

lex_gt_union_map(self, umap2)
Parameters:
Returns:

UnionMap

static lex_le(set_dim)
Parameters:set_dimSpace
Returns:Map
static lex_le_first(dim, n)
Parameters:
  • dimSpace
  • nunsigned
Returns:

Map

lex_le_map(self, map2)
Parameters:
Returns:

Map

lex_le_union_map(self, umap2)
Parameters:
Returns:

UnionMap

static lex_lt(set_dim)
Parameters:set_dimSpace
Returns:Map
static lex_lt_first(dim, n)
Parameters:
  • dimSpace
  • nunsigned
Returns:

Map

lex_lt_map(self, map2)
Parameters:
Returns:

Map

lex_lt_union_map(self, umap2)
Parameters:
Returns:

UnionMap

lexmax(self)
Parameters:selfMap
Returns:Map
lexmax_pw_multi_aff(self)
Parameters:selfMap
Returns:PwMultiAff
lexmin(self)
Parameters:selfMap
Returns:Map
lexmin_pw_multi_aff(self)
Parameters:selfMap
Returns:PwMultiAff
lower_bound_si(self, type, pos, value)
Parameters:
Returns:

Map

make_disjoint(self)
Parameters:selfMap
Returns:Map
move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
  • selfMap
  • dst_typedim_type
  • dst_posunsigned
  • src_typedim_type
  • src_posunsigned
  • nunsigned
Returns:

Map

n_map(self)
Parameters:selfUnionMap
Returns:int
static nat_universe(dim)
Parameters:dimSpace
Returns:Map
oppose(self, type1, pos1, type2, pos2)
Parameters:
Returns:

Map

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

Map

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

Map

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_lexmin(self, dom)
Parameters:
Returns:

tuple: (Map, empty (Set))

plain_get_val_if_fixed(self, type, pos)
Parameters:
Returns:

Val

plain_is_empty(self)
Parameters:selfMap
Returns:int
plain_is_equal(self, map2)
Parameters:
Returns:

int

plain_is_injective(self)
Parameters:selfMap
Returns:int
plain_is_single_valued(self)
Parameters:selfMap
Returns:int
plain_is_universe(self)
Parameters:selfMap
Returns:int
polyhedral_hull(self)
Parameters:selfMap
Returns:BasicMap
power(self)
Parameters:selfMap
Returns:tuple: (Map, exact (integer))
preimage_domain_multi_aff(self, ma)
Parameters:
Returns:

Map

preimage_domain_multi_pw_aff(self, mpa)
Parameters:
  • selfMap
  • mpaMultiPwAff
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:

Map

preimage_range_pw_multi_aff(self, pma)
Parameters:
Returns:

Map

preimage_range_union_pw_multi_aff(self, upma)
Parameters:
Returns:

UnionMap

print_(self, out, indent, output_format)
Parameters:
  • selfMap
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
  • output_formatunsigned
Returns:

None

print_internal(self, out, indent)
Parameters:
  • selfMap
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • indentint
Returns:

None

product(self, map2)
Parameters:
Returns:

Map

project_out(self, type, first, n)
Parameters:
  • selfMap
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Map

project_out_except(obj, 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:selfMap
Returns:Set
range_factor_domain(self)
Parameters:selfMap
Returns:Map
range_factor_range(self)
Parameters:selfMap
Returns:Map
range_is_wrapping(self)
Parameters:selfMap
Returns:int
range_map(self)
Parameters:selfMap
Returns:Map
range_product(self, map2)
Parameters:
Returns:

Map

reaching_path_lengths(self)
Parameters:selfMap
Returns:tuple: (Map, exact (integer))
static read_from_file(ctx, input)
Parameters:
  • ctxContext
  • inputfile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

Map

static read_from_str(ctx, str)
Parameters:
Returns:

Map

remove_dims(self, type, first, n)
Parameters:
  • selfMap
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Map

remove_divs(self)
Parameters:selfMap
Returns:Map
remove_divs_involving_dims(self, type, first, n)
Parameters:
  • selfMap
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Map

remove_redundancies(self)
Parameters:selfMap
Returns:Map
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:selfMap
Returns:Map
sample(self)
Parameters:selfMap
Returns:BasicMap
set_dim_id(self, type, pos, id)
Parameters:
Returns:

Map

set_dim_name(self, type, pos, s)
Parameters:
  • selfMap
  • typedim_type
  • posunsigned
  • s – string
Returns:

Map

set_tuple_id(self, type, id)
Parameters:
Returns:

Map

set_tuple_name(self, type, s)
Parameters:
Returns:

Map

simple_hull(self)
Parameters:selfMap
Returns:BasicMap
space

get_space(self)

Parameters:selfMap
Returns:Space
subtract(self, map2)
Parameters:
Returns:

Map

subtract_domain(self, dom)
Parameters:
Returns:

Map

subtract_range(self, dom)
Parameters:
Returns:

Map

transitive_closure(self)
Parameters:selfMap
Returns:tuple: (Map, exact (integer))
uncurry(self)
Parameters:selfMap
Returns:Map
union(self, map2)
Parameters:
Returns:

Map

static universe(dim)
Parameters:dimSpace
Returns:Map
unshifted_simple_hull(self)
Parameters:selfMap
Returns:BasicMap
upper_bound_si(self, type, pos, value)
Parameters:
Returns:

Map

wrap(self)
Parameters:selfMap
Returns:Set
zip(self)
Parameters:selfMap
Returns:Map

Union Set

class islpy.UnionSet(s, context=None)
add_set(self, set)
Parameters:
Returns:

UnionSet

affine_hull(self)
Parameters:selfUnionSet
Returns:UnionSet
align_params(self, model)
Parameters:
Returns:

UnionSet

apply(self, umap)
Parameters:
Returns:

UnionSet

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters:
Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

coalesce(self)
Parameters:selfUnionSet
Returns:UnionSet
coefficients(self)
Parameters:selfUnionSet
Returns:UnionSet
compute_divs(self)
Parameters:selfUnionSet
Returns:UnionSet
compute_schedule(self, validity, proximity)
Parameters:
Returns:

Schedule

contains(self, dim)
Parameters:
Returns:

int

copy(self)
Parameters:selfUnionSet
Returns:UnionSet
detect_equalities(self)
Parameters:selfUnionSet
Returns:UnionSet
static empty(dim)
Parameters:dimSpace
Returns:UnionSet
extract_set(self, dim)
Parameters:
Returns:

Set

foreach_point(self)
Parameters:
  • selfUnionSet
  • fn – callback(pnt)
Returns:

int

foreach_set(self)
Parameters:
  • selfUnionSet
  • fn – callback(set)
Returns:

int

static from_basic_set(bset)
Parameters:bsetBasicSet
Returns:UnionSet
static from_set(set)
Parameters:setSet
Returns:UnionSet
get_ctx(self)
Parameters:selfUnionSet
Returns:Context
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfUnionSet
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist(self, context)
Parameters:
Returns:

UnionSet

gist_params(self, set)
Parameters:
Returns:

UnionSet

identity(self)
Parameters:selfUnionSet
Returns:UnionMap
intersect(self, uset2)
Parameters:
Returns:

UnionSet

intersect_params(self, set)
Parameters:
Returns:

UnionSet

is_empty(self)
Parameters:selfUnionSet
Returns:bool
is_equal(self, uset2)
Parameters:
Returns:

bool

is_params(self)
Parameters:selfUnionSet
Returns:bool
is_strict_subset(self, uset2)
Parameters:
Returns:

bool

is_subset(self, uset2)
Parameters:
Returns:

bool

is_valid()

Return whether current object is still valid.

lex_ge_union_set(self, uset2)
Parameters:
Returns:

UnionMap

lex_gt_union_set(self, uset2)
Parameters:
Returns:

UnionMap

lex_le_union_set(self, uset2)
Parameters:
Returns:

UnionMap

lex_lt_union_set(self, uset2)
Parameters:
Returns:

UnionMap

lexmax(self)
Parameters:selfUnionSet
Returns:UnionSet
lexmin(self)
Parameters:selfUnionSet
Returns:UnionSet
lift(self)
Parameters:selfUnionSet
Returns:UnionSet
n_set(self)
Parameters:selfUnionSet
Returns:int
params(self)
Parameters:selfUnionSet
Returns:Set
polyhedral_hull(self)
Parameters:selfUnionSet
Returns:UnionSet
preimage_multi_aff(self, ma)
Parameters:
Returns:

UnionSet

preimage_pw_multi_aff(self, pma)
Parameters:
Returns:

UnionSet

preimage_union_pw_multi_aff(self, upma)
Parameters:
Returns:

UnionSet

product(self, uset2)
Parameters:
Returns:

UnionSet

static read_from_file(ctx, input)
Parameters:
  • ctxContext
  • inputfile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

UnionSet

static read_from_str(ctx, str)
Parameters:
Returns:

UnionSet

reset_user(self)
Parameters:selfUnionSet
Returns:UnionSet
sample(self)
Parameters:selfUnionSet
Returns:BasicSet
simple_hull(self)
Parameters:selfUnionSet
Returns:UnionSet
solutions(self)
Parameters:selfUnionSet
Returns:UnionSet
space

get_space(self)

Parameters:selfUnionSet
Returns:Space
subtract(self, uset2)
Parameters:
Returns:

UnionSet

union(self, uset2)
Parameters:
Returns:

UnionSet

universe(self)
Parameters:selfUnionSet
Returns:UnionSet
unwrap(self)
Parameters:selfUnionSet
Returns:UnionMap

Union Map

class islpy.UnionMap(s, context=None)
add_map(self, map)
Parameters:
Returns:

UnionMap

affine_hull(self)
Parameters:selfUnionMap
Returns:UnionMap
align_params(self, model)
Parameters:
Returns:

UnionMap

apply_domain(self, umap2)
Parameters:
Returns:

UnionMap

apply_range(self, umap2)
Parameters:
Returns:

UnionMap

apply_union_pw_qpolynomial_fold(self, upwf)
Parameters:
Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

coalesce(self)
Parameters:selfUnionMap
Returns:UnionMap
compute_divs(self)
Parameters:selfUnionMap
Returns:UnionMap
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, dim)
Parameters:
Returns:

int

copy(self)
Parameters:selfUnionMap
Returns:UnionMap
curry(self)
Parameters:selfUnionMap
Returns:UnionMap
deltas(self)
Parameters:selfUnionMap
Returns:UnionSet
deltas_map(self)
Parameters:selfUnionMap
Returns:UnionMap
detect_equalities(self)
Parameters:selfUnionMap
Returns:UnionMap
dim(self, type)
Parameters:
Returns:

unsigned

domain(self)
Parameters:selfUnionMap
Returns:UnionSet
domain_map(self)
Parameters:selfUnionMap
Returns:UnionMap
domain_product(self, umap2)
Parameters:
Returns:

UnionMap

static empty(dim)
Parameters:dimSpace
Returns:UnionMap
extract_map(self, dim)
Parameters:
Returns:

Map

fixed_power_val(self, exp)
Parameters:
Returns:

UnionMap

flat_range_product(self, umap2)
Parameters:
Returns:

UnionMap

foreach_map(self)
Parameters:
  • selfUnionMap
  • fn – callback(map)
Returns:

int

static from_basic_map(bmap)
Parameters:bmapBasicMap
Returns:UnionMap
static from_domain(uset)
Parameters:usetUnionSet
Returns:UnionMap
static from_domain_and_range(domain, range)
Parameters:
Returns:

UnionMap

static from_map(map)
Parameters:mapMap
Returns:UnionMap
static from_range(uset)
Parameters:usetUnionSet
Returns:UnionMap
static from_union_pw_multi_aff(upma)
Parameters:upmaUnionPwMultiAff
Returns:UnionMap
get_ctx(self)
Parameters:selfUnionMap
Returns:Context
get_dim_id(self, type, pos)
Parameters:
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_space(self)
Parameters:selfUnionMap
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist(self, context)
Parameters:
Returns:

UnionMap

gist_domain(self, uset)
Parameters:
Returns:

UnionMap

gist_params(self, set)
Parameters:
Returns:

UnionMap

gist_range(self, uset)
Parameters:
Returns:

UnionMap

intersect(self, umap2)
Parameters:
Returns:

UnionMap

intersect_domain(self, uset)
Parameters:
Returns:

UnionMap

intersect_params(self, set)
Parameters:
Returns:

UnionMap

intersect_range(self, uset)
Parameters:
Returns:

UnionMap

is_bijective(self)
Parameters:selfUnionMap
Returns:bool
is_empty(self)
Parameters:selfUnionMap
Returns:bool
is_equal(self, umap2)
Parameters:
Returns:

bool

is_injective(self)
Parameters:selfUnionMap
Returns:bool
is_single_valued(self)
Parameters:selfUnionMap
Returns:bool
is_strict_subset(self, umap2)
Parameters:
Returns:

bool

is_subset(self, umap2)
Parameters:
Returns:

bool

is_valid()

Return whether current object is still valid.

lex_ge_union_map(self, umap2)
Parameters:
Returns:

UnionMap

lex_gt_union_map(self, umap2)
Parameters:
Returns:

UnionMap

lex_le_union_map(self, umap2)
Parameters:
Returns:

UnionMap

lex_lt_union_map(self, umap2)
Parameters:
Returns:

UnionMap

lexmax(self)
Parameters:selfUnionMap
Returns:UnionMap
lexmin(self)
Parameters:selfUnionMap
Returns:UnionMap
n_map(self)
Parameters:selfUnionMap
Returns:int
params(self)
Parameters:selfUnionMap
Returns:Set
plain_is_injective(self)
Parameters:selfUnionMap
Returns:int
polyhedral_hull(self)
Parameters:selfUnionMap
Returns:UnionMap
power(self)
Parameters:selfUnionMap
Returns:tuple: (UnionMap, exact (integer))
preimage_domain_multi_aff(self, ma)
Parameters:
Returns:

UnionMap

preimage_domain_multi_pw_aff(self, mpa)
Parameters:
Returns:

UnionMap

preimage_domain_pw_multi_aff(self, pma)
Parameters:
Returns:

UnionMap

preimage_domain_union_pw_multi_aff(self, upma)
Parameters:
Returns:

UnionMap

preimage_range_multi_aff(self, ma)
Parameters:
Returns:

UnionMap

preimage_range_pw_multi_aff(self, pma)
Parameters:
Returns:

UnionMap

preimage_range_union_pw_multi_aff(self, upma)
Parameters:
Returns:

UnionMap

product(self, umap2)
Parameters:
Returns:

UnionMap

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

UnionMap

range(self)
Parameters:selfUnionMap
Returns:UnionSet
range_map(self)
Parameters:selfUnionMap
Returns:UnionMap
range_product(self, umap2)
Parameters:
Returns:

UnionMap

static read_from_file(ctx, input)
Parameters:
  • ctxContext
  • inputfile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

UnionMap

static read_from_str(ctx, str)
Parameters:
Returns:

UnionMap

reset_user(self)
Parameters:selfUnionMap
Returns:UnionMap
reverse(self)
Parameters:selfUnionMap
Returns:UnionMap
sample(self)
Parameters:selfUnionMap
Returns:BasicMap
simple_hull(self)
Parameters:selfUnionMap
Returns:UnionMap
space

get_space(self)

Parameters:selfUnionMap
Returns:Space
subtract(self, umap2)
Parameters:
Returns:

UnionMap

subtract_domain(self, dom)
Parameters:
Returns:

UnionMap

subtract_range(self, dom)
Parameters:
Returns:

UnionMap

transitive_closure(self)
Parameters:selfUnionMap
Returns:tuple: (UnionMap, exact (integer))
uncurry(self)
Parameters:selfUnionMap
Returns:UnionMap
union(self, umap2)
Parameters:
Returns:

UnionMap

universe(self)
Parameters:selfUnionMap
Returns:UnionMap
wrap(self)
Parameters:selfUnionMap
Returns:UnionSet
zip(self)
Parameters:selfUnionMap
Returns:UnionMap

Geometric Entities

Point

class islpy.Point
add_ui(self, type, pos, val)
Parameters:
Returns:

Point

copy(self)
Parameters:selfPoint
Returns:Point
get_coordinate_val(self, type, pos)
Parameters:
Returns:

Val

get_ctx(self)
Parameters:selfPoint
Returns:Context
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfPoint
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

is_valid()

Return whether current object is still valid.

is_void(self)
Parameters:selfPoint
Returns:bool
set_coordinate_val(self, type, pos, v)
Parameters:
Returns:

Point

space

get_space(self)

Parameters:selfPoint
Returns:Space
sub_ui(self, type, pos, val)
Parameters:
Returns:

Point

static void(dim)
Parameters:dimSpace
Returns:Point
static zero(dim)
Parameters:dimSpace
Returns:Point

Vertex

class islpy.Vertex
get_ctx(self)
Parameters:selfVertex
Returns:Context
get_domain(self)
Parameters:selfVertex
Returns:BasicSet
get_expr(self)
Parameters:selfVertex
Returns:MultiAff
get_id(self)
Parameters:selfVertex
Returns:int
is_valid()

Return whether current object is still valid.

Vertices

class islpy.Vertices
foreach_cell(self)
Parameters:
  • selfVertices
  • fn – callback(cell)
Returns:

int

foreach_vertex(self)
Parameters:
  • selfVertices
  • fn – callback(vertex)
Returns:

int

get_ctx(self)
Parameters:selfVertices
Returns:Context
get_n_vertices(self)
Parameters:selfVertices
Returns:int
is_valid()

Return whether current object is still valid.

Cell

class islpy.Cell
foreach_vertex(self)
Parameters:
  • selfCell
  • fn – callback(vertex)
Returns:

int

get_ctx(self)
Parameters:selfCell
Returns:Context
get_domain(self)
Parameters:selfCell
Returns:BasicSet
is_valid()

Return whether current object is still valid.

Quasi-Affine Expressions

Quasi-Affine Expression

class islpy.Aff(s, context=None)
add(self, aff2)
Parameters:
Returns:

Aff

add_coefficient_val(self, type, pos, v)
Parameters:
Returns:

Aff

add_constant_num_si(self, v)
Parameters:
Returns:

Aff

add_constant_val(self, v)
Parameters:
Returns:

Aff

add_dims(self, type, n)
Parameters:
Returns:

Aff

align_params(self, model)
Parameters:
Returns:

Aff

alloc(set, aff)
Parameters:
Returns:

PwAff

ceil(self)
Parameters:selfAff
Returns:Aff
coalesce(self)
Parameters:selfPwAff
Returns:PwAff
cond(self, pwaff_true, pwaff_false)
Parameters:
Returns:

PwAff

copy(self)
Parameters:selfAff
Returns:Aff
dim(self, type)
Parameters:
Returns:

int

div(self, aff2)
Parameters:
Returns:

Aff

domain(self)
Parameters:selfPwAff
Returns:Set
drop_dims(self, type, first, n)
Parameters:
  • selfAff
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Aff

empty(dim)
Parameters:dimSpace
Returns:PwAff
eq_set(self, pwaff2)
Parameters:
Returns:

Set

floor(self)
Parameters:selfAff
Returns:Aff
foreach_piece(self)
Parameters:
  • selfPwAff
  • fn – callback(set, aff)
Returns:

int

from_aff(aff)
Parameters:affAff
Returns:PwAff
from_range(self)
Parameters:selfPwAff
Returns:PwAff
ge_basic_set(self, aff2)
Parameters:
Returns:

BasicSet

ge_set(self, pwaff2)
Parameters:
Returns:

Set

get_aggregate_domain(basic_instance, *args, **kwargs)
Returns:a Set that is the union of the domains of all pieces
get_coefficient_val(self, type, pos)
Parameters:
Returns:

Val

get_coefficients_by_name(dimtype=None, dim_to_name=None)

Return a dictionary mapping variable names to coefficients.

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

Changed in version 2011.3: New for Aff

get_constant_val(self)
Parameters:selfAff
Returns:Val
get_ctx(self)
Parameters:selfAff
Returns:Context
get_denominator_val(self)
Parameters:selfAff
Returns:Val
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_local_space(self)
Parameters:selfAff
Returns:LocalSpace
get_domain_space(self)
Parameters:selfAff
Returns:Space
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_local_space(self)
Parameters:selfAff
Returns:LocalSpace
get_pieces(basic_instance, *args, **kwargs)
Returns:list of (Set, Aff)
get_space(self)
Parameters:selfAff
Returns:Space
get_tuple_id(self, type)
Parameters:
Returns:

Id

get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist(self, context)
Parameters:
  • selfAff
  • contextSet
Returns:

Aff

gist_params(self, context)
Parameters:
  • selfAff
  • contextSet
Returns:

Aff

gt_set(self, pwaff2)
Parameters:
Returns:

Set

has_dim_id(self, type, pos)
Parameters:
Returns:

bool

has_tuple_id(self, type)
Parameters:
Returns:

bool

insert_dims(self, type, first, n)
Parameters:
  • selfAff
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

Aff

intersect_domain(self, set)
Parameters:
Returns:

PwAff

intersect_params(self, set)
Parameters:
Returns:

PwAff

involves_dims(self, type, first, n)
Parameters:
  • selfAff
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

int

involves_nan(self)
Parameters:selfPwAff
Returns:int
is_cst(self)
Parameters:selfAff
Returns:bool
is_empty(self)
Parameters:selfPwAff
Returns:bool
is_equal(self, pa2)
Parameters:
Returns:

bool

is_nan(self)
Parameters:selfAff
Returns:bool
is_valid()

Return whether current object is still valid.

le_basic_set(self, aff2)
Parameters:
Returns:

BasicSet

le_set(self, pwaff2)
Parameters:
Returns:

Set

lt_set(self, pwaff2)
Parameters:
Returns:

Set

max(self, pwaff2)
Parameters:
Returns:

PwAff

min(self, pwaff2)
Parameters:
Returns:

PwAff

mod_val(self, mod)
Parameters:
Returns:

Aff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
  • selfAff
  • dst_typedim_type
  • dst_posunsigned
  • src_typedim_type
  • src_posunsigned
  • nunsigned
Returns:

Aff

mul(self, aff2)
Parameters:
Returns:

Aff

n_piece(self)
Parameters:selfPwAff
Returns:int
static nan_on_domain(ls)
Parameters:lsLocalSpace
Returns:Aff
ne_set(self, pwaff2)
Parameters:
Returns:

Set

neg(self)
Parameters:selfAff
Returns:Aff
neg_basic_set(self)
Parameters:selfAff
Returns:BasicSet
non_zero_set(self)
Parameters:selfPwAff
Returns:Set
nonneg_set(self)
Parameters:selfPwAff
Returns:Set
params(self)
Parameters:selfPwAff
Returns:Set
plain_cmp(self, pa2)
Parameters:
Returns:

int

plain_is_equal(self, aff2)
Parameters:
Returns:

int

plain_is_zero(self)
Parameters:selfAff
Returns:int
project_domain_on_params(self)
Parameters:selfAff
Returns:Aff
pullback_aff(self, aff2)
Parameters:
Returns:

Aff

pullback_multi_aff(self, ma)
Parameters:
Returns:

Aff

pullback_multi_pw_aff(self, mpa)
Parameters:
  • selfPwAff
  • mpaMultiPwAff
Returns:

PwAff

pullback_pw_multi_aff(self, pma)
Parameters:
Returns:

PwAff

static read_from_str(ctx, str)
Parameters:
Returns:

Aff

reset_tuple_id(self, type)
Parameters:
Returns:

PwAff

scale_down_val(self, v)
Parameters:
Returns:

Aff

scale_val(self, v)
Parameters:
Returns:

Aff

set_coefficient_val(self, type, pos, v)
Parameters:
Returns:

Aff

set_coefficients(dim_tp, args)
Parameters:
  • dim_tpdim_type
  • argslist of coefficients, for indices 0..len(args)-1.

Changed in version 2011.3: New for Aff

set_coefficients_by_name(iterable, name_to_dim=None)

Set the coefficients and the constant.

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

Changed in version 2011.3: New for Aff

set_constant_val(self, v)
Parameters:
Returns:

Aff

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

Aff

set_dim_name(self, type, pos, s)
Parameters:
  • selfAff
  • typedim_type
  • posunsigned
  • s – string
Returns:

Aff

set_tuple_id(self, type, id)
Parameters:
Returns:

Aff

space

get_space(self)

Parameters:selfAff
Returns:Space
sub(self, aff2)
Parameters:
Returns:

Aff

tdiv_q(self, pa2)
Parameters:
Returns:

PwAff

tdiv_r(self, pa2)
Parameters:
Returns:

PwAff

union_add(self, pwaff2)
Parameters:
Returns:

PwAff

union_max(self, pwaff2)
Parameters:
Returns:

PwAff

union_min(self, pwaff2)
Parameters:
Returns:

PwAff

static val_on_domain(ls, val)
Parameters:
Returns:

Aff

static var_on_domain(ls, type, pos)
Parameters:
Returns:

Aff

zero_basic_set(self)
Parameters:selfAff
Returns:BasicSet
static zero_on_domain(ls)
Parameters:lsLocalSpace
Returns:Aff
zero_set(self)
Parameters:selfPwAff
Returns:Set

Piecewise Quasi-Affine Expression

class islpy.PwAff(s, context=None)
add(self, pwaff2)
Parameters:
Returns:

PwAff

add_dims(self, type, n)
Parameters:
Returns:

PwAff

align_params(self, model)
Parameters:
Returns:

PwAff

static alloc(set, aff)
Parameters:
Returns:

PwAff

ceil(self)
Parameters:selfPwAff
Returns:PwAff
coalesce(self)
Parameters:selfPwAff
Returns:PwAff
cond(self, pwaff_true, pwaff_false)
Parameters:
Returns:

PwAff

copy(self)
Parameters:selfPwAff
Returns:PwAff
dim(self, type)
Parameters:
Returns:

unsigned

div(self, pa2)
Parameters:
Returns:

PwAff

domain(self)
Parameters:selfPwAff
Returns:Set
drop_dims(self, type, first, n)
Parameters:
  • selfPwAff
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

PwAff

static empty(dim)
Parameters:dimSpace
Returns:PwAff
eq_set(self, pwaff2)
Parameters:
Returns:

Set

floor(self)
Parameters:selfPwAff
Returns:PwAff
foreach_piece(self)
Parameters:
  • selfPwAff
  • fn – callback(set, aff)
Returns:

int

static from_aff(aff)
Parameters:affAff
Returns:PwAff
from_range(self)
Parameters:selfPwAff
Returns:PwAff
ge_set(self, pwaff2)
Parameters:
Returns:

Set

get_aggregate_domain()
Returns:a Set that is the union of the domains of all pieces
get_ctx(self)
Parameters:selfPwAff
Returns:Context
get_dim_id(self, type, pos)
Parameters:
Returns:

Id

get_dim_name(self, type, pos)
Parameters:
Returns:

string

get_domain_space(self)
Parameters:selfPwAff
Returns:Space
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_pieces()
Returns:list of (Set, Aff)
get_space(self)
Parameters:selfPwAff
Returns:Space
get_tuple_id(self, type)
Parameters:
Returns:

Id

get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist(self, context)
Parameters:
Returns:

PwAff

gist_params(self, context)
Parameters:
Returns:

PwAff

gt_set(self, pwaff2)
Parameters:
Returns:

Set

has_dim_id(self, type, pos)
Parameters:
Returns:

bool

has_tuple_id(self, type)
Parameters:
Returns:

bool

insert_dims(self, type, first, n)
Parameters:
  • selfPwAff
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

PwAff

intersect_domain(self, set)
Parameters:
Returns:

PwAff

intersect_params(self, set)
Parameters:
Returns:

PwAff

involves_dims(self, type, first, n)
Parameters:
  • selfPwAff
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

int

involves_nan(self)
Parameters:selfPwAff
Returns:int
is_cst(self)
Parameters:selfPwAff
Returns:bool
is_empty(self)
Parameters:selfPwAff
Returns:bool
is_equal(self, pa2)
Parameters:
Returns:

bool

is_valid()

Return whether current object is still valid.

le_set(self, pwaff2)
Parameters:
Returns:

Set

lt_set(self, pwaff2)
Parameters:
Returns:

Set

max(self, pwaff2)
Parameters:
Returns:

PwAff

min(self, pwaff2)
Parameters:
Returns:

PwAff

mod_val(self, mod)
Parameters:
Returns:

PwAff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
  • selfPwAff
  • dst_typedim_type
  • dst_posunsigned
  • src_typedim_type
  • src_posunsigned
  • nunsigned
Returns:

PwAff

mul(self, pwaff2)
Parameters:
Returns:

PwAff

n_piece(self)
Parameters:selfPwAff
Returns:int
static nan_on_domain(ls)
Parameters:lsLocalSpace
Returns:PwAff
ne_set(self, pwaff2)
Parameters:
Returns:

Set

neg(self)
Parameters:selfPwAff
Returns:PwAff
non_zero_set(self)
Parameters:selfPwAff
Returns:Set
nonneg_set(self)
Parameters:selfPwAff
Returns:Set
params(self)
Parameters:selfPwAff
Returns:Set
plain_cmp(self, pa2)
Parameters:
Returns:

int

plain_is_equal(self, pwaff2)
Parameters:
Returns:

int

pullback_multi_aff(self, ma)
Parameters:
Returns:

PwAff

pullback_multi_pw_aff(self, mpa)
Parameters:
  • selfPwAff
  • mpaMultiPwAff
Returns:

PwAff

pullback_pw_multi_aff(self, pma)
Parameters:
Returns:

PwAff

static read_from_str(ctx, str)
Parameters:
Returns:

PwAff

reset_tuple_id(self, type)
Parameters:
Returns:

PwAff

scale_down_val(self, f)
Parameters:
Returns:

PwAff

scale_val(self, v)
Parameters:
Returns:

PwAff

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

PwAff

set_tuple_id(self, type, id)
Parameters:
Returns:

PwAff

space

get_space(self)

Parameters:selfPwAff
Returns:Space
sub(self, pwaff2)
Parameters:
Returns:

PwAff

tdiv_q(self, pa2)
Parameters:
Returns:

PwAff

tdiv_r(self, pa2)
Parameters:
Returns:

PwAff

union_add(self, pwaff2)
Parameters:
Returns:

PwAff

union_max(self, pwaff2)
Parameters:
Returns:

PwAff

union_min(self, pwaff2)
Parameters:
Returns:

PwAff

static var_on_domain(ls, type, pos)
Parameters:
Returns:

PwAff

static zero_on_domain(ls)
Parameters:lsLocalSpace
Returns:PwAff
zero_set(self)
Parameters:selfPwAff
Returns:Set

Multiply Affine Expressions

Multiply Affine Expression

class islpy.MultiAff(s, context=None)
add(self, maff2)
Parameters:
Returns:

MultiAff

add_dims(self, type, n)
Parameters:
Returns:

MultiAff

align_params(self, model)
Parameters:
Returns:

MultiAff

copy(self)
Parameters:selfMultiAff
Returns:MultiAff
dim(self, type)
Parameters:
Returns:

unsigned

static domain_map(space)
Parameters:spaceSpace
Returns:MultiAff
drop_dims(self, type, first, n)
Parameters:
Returns:

MultiAff

find_dim_by_id(self, type, id)
Parameters:
Returns:

int

flat_range_product(self, multi2)
Parameters:
Returns:

MultiAff

flatten_domain(self)
Parameters:selfMultiAff
Returns:MultiAff
floor(self)
Parameters:selfMultiAff
Returns:MultiAff
static from_aff(aff)
Parameters:affAff
Returns:MultiAff
static from_aff_list(space, list)
Parameters:
Returns:

MultiAff

from_range(self)
Parameters:selfMultiAff
Returns:MultiAff
get_aff(self, pos)
Parameters:
Returns:

Aff

get_ctx(self)
Parameters:selfMultiAff
Returns:Context
get_dim_id(self, type, pos)
Parameters:
Returns:

Id

get_domain_space(self)
Parameters:selfMultiAff
Returns:Space
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfMultiAff
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:

MultiAff

gist_params(self, context)
Parameters:
Returns:

MultiAff

has_tuple_id(self, type)
Parameters:
Returns:

bool

static identity(space)
Parameters:spaceSpace
Returns:MultiAff
insert_dims(self, type, first, n)
Parameters:
Returns:

MultiAff

is_valid()

Return whether current object is still valid.

lex_ge_set(self, ma2)
Parameters:
Returns:

Set

lex_le_set(self, ma2)
Parameters:
Returns:

Set

lift(self)
Parameters:selfMultiAff
Returns:tuple: (MultiAff, ls (LocalSpace))
plain_is_equal(self, multi2)
Parameters:
Returns:

int

product(self, multi2)
Parameters:
Returns:

MultiAff

static project_out_map(space, type, first, n)
Parameters:
  • spaceSpace
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

MultiAff

pullback_multi_aff(self, ma2)
Parameters:
Returns:

MultiAff

range_factor_domain(self)
Parameters:selfMultiAff
Returns:MultiAff
range_factor_range(self)
Parameters:selfMultiAff
Returns:MultiAff
range_is_wrapping(self)
Parameters:selfMultiAff
Returns:int
static range_map(space)
Parameters:spaceSpace
Returns:MultiAff
range_product(self, multi2)
Parameters:
Returns:

MultiAff

range_splice(self, pos, multi2)
Parameters:
Returns:

MultiAff

static read_from_str(ctx, str)
Parameters:
Returns:

MultiAff

reset_tuple_id(self, type)
Parameters:
Returns:

MultiAff

reset_user(self)
Parameters:selfMultiAff
Returns:MultiAff
scale_down_multi_val(self, mv)
Parameters:
Returns:

MultiAff

scale_multi_val(self, mv)
Parameters:
Returns:

MultiAff

scale_val(self, v)
Parameters:
Returns:

MultiAff

set_aff(self, pos, el)
Parameters:
Returns:

MultiAff

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

MultiAff

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

MultiAff

set_tuple_id(self, type, id)
Parameters:
Returns:

MultiAff

set_tuple_name(self, type, s)
Parameters:
Returns:

MultiAff

space

get_space(self)

Parameters:selfMultiAff
Returns:Space
splice(self, in_pos, out_pos, multi2)
Parameters:
  • selfMultiAff
  • in_posunsigned
  • out_posunsigned
  • multi2MultiAff
Returns:

MultiAff

sub(self, ma2)
Parameters:
Returns:

MultiAff

static zero(space)
Parameters:spaceSpace
Returns:MultiAff

Piecewise Multiply Affine Expression

class islpy.PwMultiAff(s, context=None)
add(self, pma2)
Parameters:
Returns:

PwMultiAff

align_params(self, model)
Parameters:
Returns:

PwMultiAff

static alloc(set, maff)
Parameters:
Returns:

PwMultiAff

coalesce(self)
Parameters:selfPwMultiAff
Returns:PwMultiAff
copy(self)
Parameters:selfPwMultiAff
Returns:PwMultiAff
dim(self, type)
Parameters:
Returns:

unsigned

domain(self)
Parameters:selfPwMultiAff
Returns:Set
drop_dims(self, type, first, n)
Parameters:
Returns:

PwMultiAff

static empty(space)
Parameters:spaceSpace
Returns:PwMultiAff
fix_si(self, type, pos, value)
Parameters:
Returns:

PwMultiAff

flat_range_product(self, pma2)
Parameters:
Returns:

PwMultiAff

foreach_piece(self)
Parameters:
Returns:

int

static from_domain(set)
Parameters:setSet
Returns:PwMultiAff
static from_map(map)
Parameters:mapMap
Returns:PwMultiAff
static from_multi_aff(ma)
Parameters:maMultiAff
Returns:PwMultiAff
static from_multi_pw_aff(mpa)
Parameters:mpaMultiPwAff
Returns:PwMultiAff
static from_pw_aff(pa)
Parameters:paPwAff
Returns:PwMultiAff
static from_set(set)
Parameters:setSet
Returns:PwMultiAff
get_ctx(self)
Parameters:selfPwMultiAff
Returns:Context
get_dim_id(self, type, pos)
Parameters:
Returns:

Id

get_dim_name(self, type, pos)
Parameters:
Returns:

string

get_domain_space(self)
Parameters:selfPwMultiAff
Returns:Space
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_pw_aff(self, pos)
Parameters:
Returns:

PwAff

get_space(self)
Parameters:selfPwMultiAff
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, set)
Parameters:
Returns:

PwMultiAff

gist_params(self, set)
Parameters:
Returns:

PwMultiAff

has_tuple_id(self, type)
Parameters:
Returns:

bool

has_tuple_name(self, type)
Parameters:
Returns:

bool

static identity(space)
Parameters:spaceSpace
Returns:PwMultiAff
intersect_domain(self, set)
Parameters:
Returns:

PwMultiAff

intersect_params(self, set)
Parameters:
Returns:

PwMultiAff

is_valid()

Return whether current object is still valid.

plain_is_equal(self, pma2)
Parameters:
Returns:

int

product(self, pma2)
Parameters:
Returns:

PwMultiAff

project_domain_on_params(self)
Parameters:selfPwMultiAff
Returns:PwMultiAff
static project_out_map(space, type, first, n)
Parameters:
  • spaceSpace
  • typedim_type
  • firstunsigned
  • nunsigned
Returns:

PwMultiAff

pullback_multi_aff(self, ma)
Parameters:
Returns:

PwMultiAff

pullback_pw_multi_aff(self, pma2)
Parameters:
Returns:

PwMultiAff

range_product(self, pma2)
Parameters:
Returns:

PwMultiAff

static read_from_str(ctx, str)
Parameters:
Returns:

PwMultiAff

scale_multi_val(self, mv)
Parameters:
Returns:

PwMultiAff

scale_val(self, v)
Parameters:
Returns:

PwMultiAff

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

PwMultiAff

set_pw_aff(self, pos, pa)
Parameters:
Returns:

PwMultiAff

set_tuple_id(self, type, id)
Parameters:
Returns:

PwMultiAff

space

get_space(self)

Parameters:selfPwMultiAff
Returns:Space
sub(self, pma2)
Parameters:
Returns:

PwMultiAff

union_add(self, pma2)
Parameters:
Returns:

PwMultiAff

union_lexmax(self, pma2)
Parameters:
Returns:

PwMultiAff

union_lexmin(self, pma2)
Parameters:
Returns:

PwMultiAff

static zero(space)
Parameters:spaceSpace
Returns:PwMultiAff

Union of Piecewise Multiply Affine Expression

class islpy.UnionPwMultiAff(s, context=None)
add(self, upma2)
Parameters:
Returns:

UnionPwMultiAff

add_pw_multi_aff(self, pma)
Parameters:
Returns:

UnionPwMultiAff

align_params(self, model)
Parameters:
Returns:

UnionPwMultiAff

copy(self)
Parameters:selfUnionPwMultiAff
Returns:UnionPwMultiAff
domain(self)
Parameters:selfUnionPwMultiAff
Returns:UnionSet
static empty(space)
Parameters:spaceSpace
Returns:UnionPwMultiAff
flat_range_product(self, upma2)
Parameters:
Returns:

UnionPwMultiAff

foreach_pw_multi_aff(self)
Parameters:
Returns:

int

static from_domain(uset)
Parameters:usetUnionSet
Returns:UnionPwMultiAff
static from_union_map(umap)
Parameters:umapUnionMap
Returns:UnionPwMultiAff
static from_union_set(uset)
Parameters:usetUnionSet
Returns:UnionPwMultiAff
get_ctx(self)
Parameters:selfUnionPwMultiAff
Returns:Context
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfUnionPwMultiAff
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

intersect_domain(self, uset)
Parameters:
Returns:

UnionPwMultiAff

is_valid()

Return whether current object is still valid.

static read_from_str(ctx, str)
Parameters:
Returns:

UnionPwMultiAff

scale_multi_val(self, mv)
Parameters:
Returns:

UnionPwMultiAff

space

get_space(self)

Parameters:selfUnionPwMultiAff
Returns:Space
sub(self, upma2)
Parameters:
Returns:

UnionPwMultiAff

to_str(self)
Parameters:selfUnionPwMultiAff
Returns:string

Quasipolynomials

Term

class islpy.Term
copy(self)
Parameters:selfTerm
Returns:Term
dim(self, type)
Parameters:
Returns:

unsigned

get_coefficient_val(self)
Parameters:selfTerm
Returns:Val
get_ctx(self)
Parameters:selfTerm
Returns:Context
get_div(self, pos)
Parameters:
  • selfTerm
  • posunsigned
Returns:

Aff

get_exp(self, type, pos)
Parameters:
Returns:

int

is_valid()

Return whether current object is still valid.

QPolynomial

class islpy.QPolynomial
add(self, qp2)
Parameters:
Returns:

QPolynomial

add_dims(self, type, n)
Parameters:
Returns:

QPolynomial

align_params(self, model)
Parameters:
Returns:

QPolynomial

as_polynomial_on_domain(self, bset)
Parameters:
Returns:

int

copy(self)
Parameters:selfQPolynomial
Returns:QPolynomial
dim(self, type)
Parameters:
Returns:

unsigned

drop_dims(self, type, first, n)
Parameters:
Returns:

QPolynomial

eval(self, pnt)
Parameters:
Returns:

Val

foreach_term(self)
Parameters:
Returns:

int

static from_aff(aff)
Parameters:affAff
Returns:QPolynomial
static from_constraint(c, type, pos)
Parameters:
Returns:

QPolynomial

static from_term(term)
Parameters:termTerm
Returns:QPolynomial
get_constant_val(self)
Parameters:selfQPolynomial
Returns:Val
get_ctx(self)
Parameters:selfQPolynomial
Returns:Context
get_domain_space(self)
Parameters:selfQPolynomial
Returns:Space
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfQPolynomial
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist(self, context)
Parameters:
Returns:

QPolynomial

gist_params(self, context)
Parameters:
Returns:

QPolynomial

homogenize(self)
Parameters:selfQPolynomial
Returns:QPolynomial
static infty_on_domain(dim)
Parameters:dimSpace
Returns:QPolynomial
insert_dims(self, type, first, n)
Parameters:
Returns:

QPolynomial

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

int

is_infty(self)
Parameters:selfQPolynomial
Returns:bool
is_nan(self)
Parameters:selfQPolynomial
Returns:bool
is_neginfty(self)
Parameters:selfQPolynomial
Returns:bool
is_valid()

Return whether current object is still valid.

is_zero(self)
Parameters:selfQPolynomial
Returns:bool
move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
Returns:

QPolynomial

mul(self, qp2)
Parameters:
Returns:

QPolynomial

static nan_on_domain(dim)
Parameters:dimSpace
Returns:QPolynomial
neg(self)
Parameters:selfQPolynomial
Returns:QPolynomial
static neginfty_on_domain(dim)
Parameters:dimSpace
Returns:QPolynomial
static one_on_domain(dim)
Parameters:dimSpace
Returns:QPolynomial
plain_is_equal(self, qp2)
Parameters:
Returns:

int

pow(self, power)
Parameters:
Returns:

QPolynomial

print_(self, out, output_format)
Parameters:
  • selfQPolynomial
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • output_formatunsigned
Returns:

None

project_domain_on_params(self)
Parameters:selfQPolynomial
Returns:QPolynomial
scale_val(self, v)
Parameters:
Returns:

QPolynomial

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

QPolynomial

sgn(self)
Parameters:selfQPolynomial
Returns:int
space

get_space(self)

Parameters:selfQPolynomial
Returns:Space
sub(self, qp2)
Parameters:
Returns:

QPolynomial

static val_on_domain(space, val)
Parameters:
Returns:

QPolynomial

static var_on_domain(dim, type, pos)
Parameters:
Returns:

QPolynomial

static zero_on_domain(dim)
Parameters:dimSpace
Returns:QPolynomial

PwQPolynomial

class islpy.PwQPolynomial(s, context=None)
add(self, pwqp2)
Parameters:
Returns:

PwQPolynomial

add_dims(self, type, n)
Parameters:
Returns:

PwQPolynomial

add_disjoint(self, pwqp2)
Parameters:
Returns:

PwQPolynomial

static alloc(set, qp)
Parameters:
Returns:

PwQPolynomial

bound(self, type)
Parameters:
Returns:

tuple: (PwQPolynomialFold, tight (integer))

coalesce(self)
Parameters:selfPwQPolynomial
Returns:PwQPolynomial
copy(self)
Parameters:selfPwQPolynomial
Returns:PwQPolynomial
dim(self, type)
Parameters:
Returns:

unsigned

domain(self)
Parameters:selfPwQPolynomial
Returns:Set
drop_dims(self, type, first, n)
Parameters:
Returns:

PwQPolynomial

eval(self, pnt)
Parameters:
Returns:

Val

fix_val(self, type, n, v)
Parameters:
Returns:

PwQPolynomial

foreach_lifted_piece(self)
Parameters:
Returns:

int

foreach_piece(self)
Parameters:
Returns:

int

static from_pw_aff(pwaff)
Parameters:pwaffPwAff
Returns:PwQPolynomial
static from_qpolynomial(qp)
Parameters:qpQPolynomial
Returns:PwQPolynomial
get_ctx(self)
Parameters:selfPwQPolynomial
Returns:Context
get_domain_space(self)
Parameters:selfPwQPolynomial
Returns:Space
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfPwQPolynomial
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist(self, context)
Parameters:
Returns:

PwQPolynomial

gist_params(self, context)
Parameters:
Returns:

PwQPolynomial

has_equal_space(self, pwqp2)
Parameters:
Returns:

bool

insert_dims(self, type, first, n)
Parameters:
Returns:

PwQPolynomial

intersect_domain(self, set)
Parameters:
Returns:

PwQPolynomial

intersect_params(self, set)
Parameters:
Returns:

PwQPolynomial

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

int

is_valid()

Return whether current object is still valid.

is_zero(self)
Parameters:selfPwQPolynomial
Returns:bool
max(self)
Parameters:selfPwQPolynomial
Returns:Val
min(self)
Parameters:selfPwQPolynomial
Returns:Val
move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
Returns:

PwQPolynomial

mul(self, pwqp2)
Parameters:
Returns:

PwQPolynomial

neg(self)
Parameters:selfPwQPolynomial
Returns:PwQPolynomial
plain_is_equal(self, pwqp2)
Parameters:
Returns:

int

pow(self, exponent)
Parameters:
Returns:

PwQPolynomial

print_(self, out, output_format)
Parameters:
  • selfPwQPolynomial
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • output_formatunsigned
Returns:

None

project_domain_on_params(self)
Parameters:selfPwQPolynomial
Returns:PwQPolynomial
static read_from_file(ctx, input)
Parameters:
  • ctxContext
  • inputfile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

PwQPolynomial

static read_from_str(ctx, str)
Parameters:
Returns:

PwQPolynomial

reset_domain_space(self, dim)
Parameters:
Returns:

PwQPolynomial

scale_val(self, v)
Parameters:
Returns:

PwQPolynomial

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

PwQPolynomial

space

get_space(self)

Parameters:selfPwQPolynomial
Returns:Space
split_dims(self, type, first, n)
Parameters:
Returns:

PwQPolynomial

split_periods(self, max_periods)
Parameters:
Returns:

PwQPolynomial

sub(self, pwqp2)
Parameters:
Returns:

PwQPolynomial

to_polynomial(self, sign)
Parameters:
Returns:

PwQPolynomial

static zero(dim)
Parameters:dimSpace
Returns:PwQPolynomial

UnionPwQPolynomial

class islpy.UnionPwQPolynomial(s, context=None)
add(self, upwqp2)
Parameters:
Returns:

UnionPwQPolynomial

add_pw_qpolynomial(self, pwqp)
Parameters:
Returns:

UnionPwQPolynomial

align_params(self, model)
Parameters:
Returns:

UnionPwQPolynomial

bound(self, type)
Parameters:
Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

coalesce(self)
Parameters:selfUnionPwQPolynomial
Returns:UnionPwQPolynomial
copy(self)
Parameters:selfUnionPwQPolynomial
Returns:UnionPwQPolynomial
domain(self)
Parameters:selfUnionPwQPolynomial
Returns:UnionSet
eval(self, pnt)
Parameters:
Returns:

Val

extract_pw_qpolynomial(self, dim)
Parameters:
Returns:

PwQPolynomial

foreach_pw_qpolynomial(self)
Parameters:
Returns:

int

static from_pw_qpolynomial(pwqp)
Parameters:pwqpPwQPolynomial
Returns:UnionPwQPolynomial
get_ctx(self)
Parameters:selfUnionPwQPolynomial
Returns:Context
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfUnionPwQPolynomial
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist(self, context)
Parameters:
Returns:

UnionPwQPolynomial

gist_params(self, context)
Parameters:
Returns:

UnionPwQPolynomial

intersect_domain(self, uset)
Parameters:
Returns:

UnionPwQPolynomial

intersect_params(self, set)
Parameters:
Returns:

UnionPwQPolynomial

is_valid()

Return whether current object is still valid.

mul(self, upwqp2)
Parameters:
Returns:

UnionPwQPolynomial

plain_is_equal(self, upwqp2)
Parameters:
Returns:

int

static read_from_str(ctx, str)
Parameters:
Returns:

UnionPwQPolynomial

scale_val(self, v)
Parameters:
Returns:

UnionPwQPolynomial

space

get_space(self)

Parameters:selfUnionPwQPolynomial
Returns:Space
sub(self, upwqp2)
Parameters:
Returns:

UnionPwQPolynomial

to_polynomial(self, sign)
Parameters:
Returns:

UnionPwQPolynomial

static zero(dim)
Parameters:dimSpace
Returns:UnionPwQPolynomial

QPolynomialFold

class islpy.QPolynomialFold
static alloc(type, qp)
Parameters:
Returns:

QPolynomialFold

copy(self)
Parameters:selfQPolynomialFold
Returns:QPolynomialFold
static empty(type, dim)
Parameters:
Returns:

QPolynomialFold

eval(self, pnt)
Parameters:
Returns:

Val

fold(self, fold2)
Parameters:
Returns:

QPolynomialFold

foreach_qpolynomial(self)
Parameters:
Returns:

int

get_ctx(self)
Parameters:selfQPolynomialFold
Returns:Context
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfQPolynomialFold
Returns:Space
get_type(self)
Parameters:selfQPolynomialFold
Returns:isl_fold
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:

QPolynomialFold

gist_params(self, context)
Parameters:
Returns:

QPolynomialFold

is_empty(self)
Parameters:selfQPolynomialFold
Returns:bool
is_valid()

Return whether current object is still valid.

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

QPolynomialFold

plain_is_equal(self, fold2)
Parameters:
Returns:

int

print_(self, out, output_format)
Parameters:
  • selfQPolynomialFold
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • output_formatunsigned
Returns:

None

scale_val(self, v)
Parameters:
Returns:

QPolynomialFold

space

get_space(self)

Parameters:selfQPolynomialFold
Returns:Space

PwQPolynomial

class islpy.PwQPolynomialFold
add(self, pwf2)
Parameters:
Returns:

PwQPolynomialFold

add_disjoint(self, pwf2)
Parameters:
Returns:

PwQPolynomialFold

static alloc(type, set, fold)
Parameters:
Returns:

PwQPolynomialFold

bound(self)
Parameters:selfPwQPolynomialFold
Returns:tuple: (PwQPolynomialFold, tight (integer))
coalesce(self)
Parameters:selfPwQPolynomialFold
Returns:PwQPolynomialFold
copy(self)
Parameters:selfPwQPolynomialFold
Returns:PwQPolynomialFold
dim(self, type)
Parameters:
Returns:

unsigned

domain(self)
Parameters:selfPwQPolynomialFold
Returns:Set
drop_dims(self, type, first, n)
Parameters:
Returns:

PwQPolynomialFold

eval(self, pnt)
Parameters:
Returns:

Val

fold(self, pwf2)
Parameters:
Returns:

PwQPolynomialFold

foreach_lifted_piece(self)
Parameters:
Returns:

int

foreach_piece(self)
Parameters:
Returns:

int

static from_pw_qpolynomial(type, pwqp)
Parameters:
Returns:

PwQPolynomialFold

get_ctx(self)
Parameters:selfPwQPolynomialFold
Returns:Context
get_domain_space(self)
Parameters:selfPwQPolynomialFold
Returns:Space
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfPwQPolynomialFold
Returns:Space
get_var_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_var_ids(dimtype)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist(self, context)
Parameters:
Returns:

PwQPolynomialFold

gist_params(self, context)
Parameters:
Returns:

PwQPolynomialFold

has_equal_space(self, pwf2)
Parameters:
Returns:

bool

intersect_domain(self, set)
Parameters:
Returns:

PwQPolynomialFold

intersect_params(self, set)
Parameters:
Returns:

PwQPolynomialFold

is_valid()

Return whether current object is still valid.

is_zero(self)
Parameters:selfPwQPolynomialFold
Returns:bool
max(self)
Parameters:selfPwQPolynomialFold
Returns:Val
min(self)
Parameters:selfPwQPolynomialFold
Returns:Val
move_dims(self, dst_type, dst_pos, src_type, src_pos, n)
Parameters:
Returns:

PwQPolynomialFold

plain_is_equal(self, pwf2)
Parameters:
Returns:

int

print_(self, out, output_format)
Parameters:
  • selfPwQPolynomialFold
  • outfile-like (NOTE: This will cease to be supported in Python 3.)
  • output_formatunsigned
Returns:

None

project_domain_on_params(self)
Parameters:selfPwQPolynomialFold
Returns:PwQPolynomialFold
reset_space(self, dim)
Parameters:
Returns:

PwQPolynomialFold

scale_val(self, v)
Parameters:
Returns:

PwQPolynomialFold

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

PwQPolynomialFold

space

get_space(self)

Parameters:selfPwQPolynomialFold
Returns:Space
static zero(dim, type)
Parameters:
Returns:

PwQPolynomialFold

UnionPwQPolynomialFold

class islpy.UnionPwQPolynomialFold
add_union_pw_qpolynomial(self, upwqp)
Parameters:
Returns:

UnionPwQPolynomialFold

align_params(self, model)
Parameters:
Returns:

UnionPwQPolynomialFold

coalesce(self)
Parameters:selfUnionPwQPolynomialFold
Returns:UnionPwQPolynomialFold
copy(self)
Parameters:selfUnionPwQPolynomialFold
Returns:UnionPwQPolynomialFold
domain(self)
Parameters:selfUnionPwQPolynomialFold
Returns:UnionSet
eval(self, pnt)
Parameters:
Returns:

Val

extract_pw_qpolynomial_fold(self, dim)
Parameters:
Returns:

PwQPolynomialFold

fold(self, upwf2)
Parameters:
Returns:

UnionPwQPolynomialFold

fold_pw_qpolynomial_fold(self, pwqp)
Parameters:
Returns:

UnionPwQPolynomialFold

foreach_pw_qpolynomial_fold(self)
Parameters:
Returns:

int

static from_pw_qpolynomial_fold(pwf)
Parameters:pwfPwQPolynomialFold
Returns:UnionPwQPolynomialFold
get_ctx(self)
Parameters:selfUnionPwQPolynomialFold
Returns:Context
get_id_dict(dimtype=None)

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

Parameters:dimtype – None to get all variables, otherwise one of dim_type.
get_space(self)
Parameters:selfUnionPwQPolynomialFold
Returns:Space
get_type(self)
Parameters:selfUnionPwQPolynomialFold
Returns:isl_fold
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:

UnionPwQPolynomialFold

gist_params(self, context)
Parameters:
Returns:

UnionPwQPolynomialFold

intersect_domain(self, uset)
Parameters:
Returns:

UnionPwQPolynomialFold

intersect_params(self, set)
Parameters:
Returns:

UnionPwQPolynomialFold

is_valid()

Return whether current object is still valid.

plain_is_equal(self, upwf2)
Parameters:
Returns:

int

scale_val(self, v)
Parameters:
Returns:

UnionPwQPolynomialFold

space

get_space(self)

Parameters:selfUnionPwQPolynomialFold
Returns:Space
static zero(dim, type)
Parameters:
Returns:

UnionPwQPolynomialFold

Scheduling

Band

class islpy.Band
copy(self)
Parameters:selfBand
Returns:Band
get_children(self)
Parameters:selfBand
Returns:BandList
get_ctx(self)
Parameters:selfBand
Returns:Context
get_partial_schedule(self)
Parameters:selfBand
Returns:UnionMap
get_prefix_schedule(self)
Parameters:selfBand
Returns:UnionMap
get_suffix_schedule(self)
Parameters:selfBand
Returns:UnionMap
has_children(self)
Parameters:selfBand
Returns:bool
is_valid()

Return whether current object is still valid.

member_is_coincident(self, pos)
Parameters:
Returns:

int

n_member(self)
Parameters:selfBand
Returns:int
split(self, pos)
Parameters:
Returns:

int

tile(self, sizes)
Parameters:
Returns:

int

Schedule

class islpy.Schedule
constraints_compute_schedule(self)
Parameters:selfScheduleConstraints
Returns:Schedule
constraints_copy(self)
Parameters:selfScheduleConstraints
Returns:ScheduleConstraints
constraints_dump(self)
Parameters:selfScheduleConstraints
Returns:None
constraints_get_ctx(self)
Parameters:selfScheduleConstraints
Returns:Context
static constraints_on_domain(domain)
Parameters:domainUnionSet
Returns:ScheduleConstraints
constraints_set_coincidence(self, coincidence)
Parameters:
Returns:

ScheduleConstraints

constraints_set_conditional_validity(self, condition, validity)
Parameters:
Returns:

ScheduleConstraints

constraints_set_proximity(self, proximity)
Parameters:
Returns:

ScheduleConstraints

constraints_set_validity(self, validity)
Parameters:
Returns:

ScheduleConstraints

get_band_forest(self)
Parameters:selfSchedule
Returns:BandList
get_ctx(self)
Parameters:selfSchedule
Returns:Context
get_map(self)
Parameters:selfSchedule
Returns:UnionMap
is_valid()

Return whether current object is still valid.

ScheduleConstraints

class islpy.ScheduleConstraints
  • __hash__() (static)
is_valid()

Return whether current object is still valid.

Dataflow

Access Info

class islpy.AccessInfo
compute_flow(self)
Parameters:selfAccessInfo (becomes invalid)
Returns:Flow
get_ctx(self)
Parameters:selfAccessInfo
Returns:Context
is_valid()

Return whether current object is still valid.

Restriction

class islpy.Restriction
static empty(source_map)
Parameters:source_mapMap
Returns:Restriction
get_ctx(self)
Parameters:selfRestriction
Returns:Context
static input(source_restr, sink_restr)
Parameters:
  • source_restrSet
  • sink_restrSet
Returns:

Restriction

is_valid()

Return whether current object is still valid.

static none(source_map)
Parameters:source_mapMap
Returns:Restriction
static output(source_restr)
Parameters:source_restrSet
Returns:Restriction

Flow

class islpy.Flow
get_ctx(self)
Parameters:selfFlow
Returns:Context
get_no_source(self, must)
Parameters:
Returns:

Map

is_valid()

Return whether current object is still valid.

Abstract Syntax Trees

New in version 2014.1.

class islpy.AstExpr
access(self, indices)
Parameters:
Returns:

AstExpr

add(self, expr2)
Parameters:
Returns:

AstExpr

and_(self, expr2)
Parameters:
Returns:

AstExpr

copy(self)
Parameters:selfAstExpr
Returns:AstExpr
div(self, expr2)
Parameters:
Returns:

AstExpr

static from_id(id)
Parameters:idId
Returns:AstExpr
static from_val(v)
Parameters:vVal
Returns:AstExpr
get_ctx(self)
Parameters:selfAstExpr
Returns:Context
get_id(self)
Parameters:selfAstExpr
Returns:Id
get_op_arg(self, pos)
Parameters:
Returns:

AstExpr

get_op_n_arg(self)
Parameters:selfAstExpr
Returns:int
get_op_type(self)
Parameters:selfAstExpr
Returns:isl_ast_op_type
get_type(self)
Parameters:selfAstExpr
Returns:isl_ast_expr_type
get_val(self)
Parameters:selfAstExpr
Returns:Val
is_equal(self, expr2)
Parameters:
Returns:

bool

is_valid()

Return whether current object is still valid.

mul(self, expr2)
Parameters:
Returns:

AstExpr

neg(self)
Parameters:selfAstExpr
Returns:AstExpr
or_(self, expr2)
Parameters:
Returns:

AstExpr

set_op_arg(self, pos, arg)
Parameters:
Returns:

AstExpr

sub(self, expr2)
Parameters:
Returns:

AstExpr

substitute_ids(self, id2expr)
Parameters:
Returns:

AstExpr

to_str(self)
Parameters:selfAstExpr
Returns:string
class islpy.AstNode
static alloc_user(expr)
Parameters:exprAstExpr
Returns:AstNode
block_get_children(self)
Parameters:selfAstNode
Returns:AstNodeList
copy(self)
Parameters:selfAstNode
Returns:AstNode
for_get_body(self)
Parameters:selfAstNode
Returns:AstNode
for_get_cond(self)
Parameters:selfAstNode
Returns:AstExpr
for_get_inc(self)
Parameters:selfAstNode
Returns:AstExpr
for_get_init(self)
Parameters:selfAstNode
Returns:AstExpr
for_get_iterator(self)
Parameters:selfAstNode
Returns:AstExpr
for_is_degenerate(self)
Parameters:selfAstNode
Returns:int
for_print(self, p, options)
Parameters:
Returns:

Printer

get_annotation(self)
Parameters:selfAstNode
Returns:Id
get_ctx(self)
Parameters:selfAstNode
Returns:Context
get_type(self)
Parameters:selfAstNode
Returns:isl_ast_node_type
if_get_cond(self)
Parameters:selfAstNode
Returns:AstExpr
if_get_else(self)
Parameters:selfAstNode
Returns:AstNode
if_get_then(self)
Parameters:selfAstNode
Returns:AstNode
if_has_else(self)
Parameters:selfAstNode
Returns:int
if_print(self, p, options)
Parameters:
Returns:

Printer

is_valid()

Return whether current object is still valid.

print_(self, p, options)
Parameters:
Returns:

Printer

print_macros(self, p)
Parameters:
Returns:

Printer

set_annotation(self, annotation)
Parameters:
Returns:

AstNode

user_get_expr(self)
Parameters:selfAstNode
Returns:AstExpr
class islpy.AstBuild
access_from_multi_pw_aff(self, mpa)
Parameters:
Returns:

AstExpr

access_from_pw_multi_aff(self, pma)
Parameters:
Returns:

AstExpr

ast_from_schedule(self, schedule)
Parameters:
Returns:

AstNode

call_from_multi_pw_aff(self, mpa)
Parameters:
Returns:

AstExpr

call_from_pw_multi_aff(self, pma)
Parameters:
Returns:

AstExpr

copy(self)
Parameters:selfAstBuild
Returns:AstBuild
expr_from_pw_aff(self, pa)
Parameters:
Returns:

AstExpr

static from_context(set)
Parameters:setSet
Returns:AstBuild
get_ctx(self)
Parameters:selfAstBuild
Returns:Context
get_schedule(self)
Parameters:selfAstBuild
Returns:UnionMap
get_schedule_space(self)
Parameters:selfAstBuild
Returns:Space
is_valid()

Return whether current object is still valid.

restrict(self, set)
Parameters:
Returns:

AstBuild

set_iterators(self, iterators)
Parameters:
Returns:

AstBuild

set_options(self, options)
Parameters:
Returns:

AstBuild

class islpy.AstPrintOptions
  • __hash__() (static)
  • alloc() (static)
static alloc(ctx)
Parameters:ctxContext
Returns:AstPrintOptions
copy(self)
Parameters:selfAstPrintOptions
Returns:AstPrintOptions
get_ctx(self)
Parameters:selfAstPrintOptions
Returns:Context
is_valid()

Return whether current object is still valid.

Lists

class islpy.IdList
add(self, el)
Parameters:
Returns:

IdList

static alloc(ctx, n)
Parameters:
Returns:

IdList

concat(self, list2)
Parameters:
Returns:

IdList

copy(self)
Parameters:selfIdList
Returns:IdList
drop(self, first, n)
Parameters:
  • selfIdList
  • firstunsigned
  • nunsigned
Returns:

IdList

foreach(self)
Parameters:
  • selfIdList
  • fn – callback(el)
Returns:

int

static from_id(el)
Parameters:elId
Returns:IdList
get_ctx(self)
Parameters:selfIdList
Returns:Context
get_id(self, index)
Parameters:
Returns:

Id

insert(self, pos, el)
Parameters:
  • selfIdList
  • posunsigned
  • elId
Returns:

IdList

is_valid()

Return whether current object is still valid.

n_id(self)
Parameters:selfIdList
Returns:int
set_id(self, index, el)
Parameters:
Returns:

IdList

class islpy.BasicSetList
  • __hash__() (static)
is_valid()

Return whether current object is still valid.

product(self)
Parameters:selfBasicSetList
Returns:BasicSet
class islpy.SetList
  • __hash__() (static)
is_valid()

Return whether current object is still valid.

class islpy.AffList
add(self, el)
Parameters:
Returns:

AffList

static alloc(ctx, n)
Parameters:
Returns:

AffList

concat(self, list2)
Parameters:
Returns:

AffList

copy(self)
Parameters:selfAffList
Returns:AffList
drop(self, first, n)
Parameters:
  • selfAffList
  • firstunsigned
  • nunsigned
Returns:

AffList

foreach(self)
Parameters:
  • selfAffList
  • fn – callback(el)
Returns:

int

static from_aff(el)
Parameters:elAff
Returns:AffList
get_aff(self, index)
Parameters:
Returns:

Aff

get_ctx(self)
Parameters:selfAffList
Returns:Context
insert(self, pos, el)
Parameters:
Returns:

AffList

is_valid()

Return whether current object is still valid.

n_aff(self)
Parameters:selfAffList
Returns:int
set_aff(self, index, el)
Parameters:
Returns:

AffList

class islpy.BandList
add(self, el)
Parameters:
Returns:

BandList

static alloc(ctx, n)
Parameters:
Returns:

BandList

concat(self, list2)
Parameters:
Returns:

BandList

copy(self)
Parameters:selfBandList
Returns:BandList
drop(self, first, n)
Parameters:
  • selfBandList
  • firstunsigned
  • nunsigned
Returns:

BandList

foreach(self)
Parameters:
Returns:

int

static from_band(el)
Parameters:elBand
Returns:BandList
get_band(self, index)
Parameters:
Returns:

Band

get_ctx(self)
Parameters:selfBandList
Returns:Context
insert(self, pos, el)
Parameters:
Returns:

BandList

is_valid()

Return whether current object is still valid.

n_band(self)
Parameters:selfBandList
Returns:int
set_band(self, index, el)
Parameters:
Returns:

BandList

class islpy.AstExprList
add(self, el)
Parameters:
Returns:

AstExprList

static alloc(ctx, n)
Parameters:
Returns:

AstExprList

concat(self, list2)
Parameters:
Returns:

AstExprList

copy(self)
Parameters:selfAstExprList
Returns:AstExprList
drop(self, first, n)
Parameters:
  • selfAstExprList
  • firstunsigned
  • nunsigned
Returns:

AstExprList

foreach(self)
Parameters:
Returns:

int

static from_ast_expr(el)
Parameters:elAstExpr
Returns:AstExprList
get_ast_expr(self, index)
Parameters:
Returns:

AstExpr

get_ctx(self)
Parameters:selfAstExprList
Returns:Context
insert(self, pos, el)
Parameters:
Returns:

AstExprList

is_valid()

Return whether current object is still valid.

n_ast_expr(self)
Parameters:selfAstExprList
Returns:int
set_ast_expr(self, index, el)
Parameters:
Returns:

AstExprList

class islpy.AstNodeList
add(self, el)
Parameters:
Returns:

AstNodeList

static alloc(ctx, n)
Parameters:
Returns:

AstNodeList

concat(self, list2)
Parameters:
Returns:

AstNodeList

copy(self)
Parameters:selfAstNodeList
Returns:AstNodeList
drop(self, first, n)
Parameters:
  • selfAstNodeList
  • firstunsigned
  • nunsigned
Returns:

AstNodeList

foreach(self)
Parameters:
Returns:

int

static from_ast_node(el)
Parameters:elAstNode
Returns:AstNodeList
get_ast_node(self, index)
Parameters:
Returns:

AstNode

get_ctx(self)
Parameters:selfAstNodeList
Returns:Context
insert(self, pos, el)
Parameters:
Returns:

AstNodeList

is_valid()

Return whether current object is still valid.

n_ast_node(self)
Parameters:selfAstNodeList
Returns:int
set_ast_node(self, index, el)
Parameters:
Returns:

AstNodeList

Dictionaries

class islpy.IdToAstExpr
  • __hash__() (static)
is_valid()

Return whether current object is still valid.

Output

class islpy.Printer
end_line(self)
Parameters:selfPrinter (mutated in-place)
Returns:Printer (self)
flush(self)
Parameters:selfPrinter (mutated in-place)
Returns:Printer (self)
get_ctx(self)
Parameters:selfPrinter
Returns:Context
get_output_format(self)
Parameters:selfPrinter
Returns:int
get_str(self)
Parameters:selfPrinter
Returns:string
indent(self, indent)
Parameters:
  • selfPrinter (mutated in-place)
  • indentint
Returns:

Printer (self)

is_valid()

Return whether current object is still valid.

print_aff(self, aff)
Parameters:
Returns:

Printer (self)

print_aff_list(self, list)
Parameters:
Returns:

Printer (self)

print_ast_expr(self, expr)
Parameters:
Returns:

Printer (self)

print_ast_expr_list(self, list)
Parameters:
Returns:

Printer (self)

print_ast_node(self, node)
Parameters:
Returns:

Printer (self)

print_ast_node_list(self, list)
Parameters:
Returns:

Printer (self)

print_band(self, band)
Parameters:
Returns:

Printer (self)

print_band_list(self, list)
Parameters:
Returns:

Printer (self)

print_basic_map(self, bmap)
Parameters:
Returns:

Printer (self)

print_basic_set(self, bset)
Parameters:
Returns:

Printer (self)

print_constraint(self, c)
Parameters:
Returns:

Printer (self)

print_constraint_list(self, list)
Parameters:
  • selfPrinter (mutated in-place)
  • listConstraintList
Returns:

Printer (self)

print_double(self, d)
Parameters:
  • selfPrinter (mutated in-place)
  • ddouble
Returns:

Printer (self)

print_id(self, id)
Parameters:
  • selfPrinter (mutated in-place)
  • idId
Returns:

Printer (self)

print_id_list(self, list)
Parameters:
Returns:

Printer (self)

print_int(self, i)
Parameters:
Returns:

Printer (self)

print_local_space(self, ls)
Parameters:
Returns:

Printer (self)

print_map(self, map)
Parameters:
Returns:

Printer (self)

print_multi_aff(self, maff)
Parameters:
Returns:

Printer (self)

print_multi_pw_aff(self, mpa)
Parameters:
  • selfPrinter (mutated in-place)
  • mpaMultiPwAff
Returns:

Printer (self)

print_multi_val(self, mv)
Parameters:
Returns:

Printer (self)

print_point(self, pnt)
Parameters:
Returns:

Printer (self)

print_pw_aff(self, pwaff)
Parameters:
Returns:

Printer (self)

print_pw_aff_list(self, list)
Parameters:
  • selfPrinter (mutated in-place)
  • listPwAffList
Returns:

Printer (self)

print_pw_multi_aff(self, pma)
Parameters:
Returns:

Printer (self)

print_pw_qpolynomial(self, pwqp)
Parameters:
Returns:

Printer (self)

print_pw_qpolynomial_fold(self, pwf)
Parameters:
Returns:

Printer (self)

print_qpolynomial(self, qp)
Parameters:
Returns:

Printer (self)

print_qpolynomial_fold(self, fold)
Parameters:
Returns:

Printer (self)

print_schedule(self, schedule)
Parameters:
Returns:

Printer (self)

print_set(self, map)
Parameters:
Returns:

Printer (self)

print_space(self, dim)
Parameters:
Returns:

Printer (self)

print_str(self, s)
Parameters:
  • selfPrinter (mutated in-place)
  • s – string
Returns:

Printer (self)

print_union_map(self, umap)
Parameters:
Returns:

Printer (self)

print_union_pw_multi_aff(self, upma)
Parameters:
Returns:

Printer (self)

print_union_pw_qpolynomial(self, upwqp)
Parameters:
Returns:

Printer (self)

print_union_pw_qpolynomial_fold(self, upwf)
Parameters:
Returns:

Printer (self)

print_union_set(self, uset)
Parameters:
Returns:

Printer (self)

print_val(self, v)
Parameters:
Returns:

Printer (self)

print_val_list(self, list)
Parameters:
  • selfPrinter (mutated in-place)
  • listValList
Returns:

Printer (self)

print_vec(self, vec)
Parameters:
Returns:

Printer (self)

set_indent(self, indent)
Parameters:
  • selfPrinter (mutated in-place)
  • indentint
Returns:

Printer (self)

set_indent_prefix(self, prefix)
Parameters:
  • selfPrinter (mutated in-place)
  • prefix – string
Returns:

Printer (self)

set_isl_int_width(self, width)
Parameters:
  • selfPrinter (mutated in-place)
  • widthint
Returns:

Printer (self)

set_output_format(self, output_format)
Parameters:
  • selfPrinter (mutated in-place)
  • output_formatint
Returns:

Printer (self)

set_prefix(self, prefix)
Parameters:
  • selfPrinter (mutated in-place)
  • prefix – string
Returns:

Printer (self)

set_suffix(self, suffix)
Parameters:
  • selfPrinter (mutated in-place)
  • suffix – string
Returns:

Printer (self)

start_line(self)
Parameters:selfPrinter (mutated in-place)
Returns:Printer (self)
static to_file(ctx, file)
Parameters:
  • ctxContext
  • filefile-like (NOTE: This will cease to be supported in Python 3.)
Returns:

Printer

static to_str(ctx)
Parameters:ctxContext
Returns:Printer

Helper functions

islpy.align_spaces(obj, tgt, obj_bigger_ok=False, across_dim_types=False)

Try to make the space in which obj lives the same as that of tgt by adding/matching named dimensions.

Parameters:obj_bigger_ok – If True, no error is raised if the resulting obj has more dimensions than tgt.
islpy.align_two(obj1, obj2, across_dim_types=False)

Align the spaces of two objects, potentially modifying both of them.

See also align_spaces().