Reference: Basic Building Blocks

Context

class islpy.Context
__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

get_ast_always_print_block(self)
Parameters

selfContext

Returns

int

get_ast_build_allow_else(self)
Parameters

selfContext

Returns

int

get_ast_build_allow_or(self)
Parameters

selfContext

Returns

int

get_ast_build_atomic_upper_bound(self)
Parameters

selfContext

Returns

int

get_ast_build_detect_min_max(self)
Parameters

selfContext

Returns

int

get_ast_build_exploit_nested_bounds(self)
Parameters

selfContext

Returns

int

get_ast_build_group_coscheduled(self)
Parameters

selfContext

Returns

int

get_ast_build_prefer_pdiv(self)
Parameters

selfContext

Returns

int

get_ast_build_scale_strides(self)
Parameters

selfContext

Returns

int

get_ast_build_separation_bounds(self)
Parameters

selfContext

Returns

int

get_ast_iterator_type(self)
Parameters

selfContext

Returns

string

get_ast_print_macro_once(self)
Parameters

selfContext

Returns

int

get_ast_print_outermost_block(self)
Parameters

selfContext

Returns

int

get_bound(self)
Parameters

selfContext

Returns

int

get_coalesce_bounded_wrapping(self)
Parameters

selfContext

Returns

int

get_coalesce_preserve_locals(self)
Parameters

selfContext

Returns

int

get_gbr_only_first(self)
Parameters

selfContext

Returns

int

get_on_error(self)
Parameters

selfContext

Returns

int

get_pip_symmetry(self)
Parameters

selfContext

Returns

int

get_schedule_algorithm(self)
Parameters

selfContext

Returns

int

get_schedule_carry_self_first(self)
Parameters

selfContext

Returns

int

get_schedule_max_coefficient(self)
Parameters

selfContext

Returns

int

get_schedule_max_constant_term(self)
Parameters

selfContext

Returns

int

get_schedule_maximize_band_depth(self)
Parameters

selfContext

Returns

int

get_schedule_maximize_coincidence(self)
Parameters

selfContext

Returns

int

get_schedule_outer_coincidence(self)
Parameters

selfContext

Returns

int

get_schedule_separate_components(self)
Parameters

selfContext

Returns

int

get_schedule_serialize_sccs(self)
Parameters

selfContext

Returns

int

get_schedule_split_scaled(self)
Parameters

selfContext

Returns

int

get_schedule_treat_coalescing(self)
Parameters

selfContext

Returns

int

get_schedule_whole_component(self)
Parameters

selfContext

Returns

int

get_tile_scale_tile_loops(self)
Parameters

selfContext

Returns

int

get_tile_shift_point_loops(self)
Parameters

selfContext

Returns

int

set_ast_always_print_block(self, val)
Parameters
Returns

isl_stat

set_ast_build_allow_else(self, val)
Parameters
Returns

isl_stat

set_ast_build_allow_or(self, val)
Parameters
Returns

isl_stat

set_ast_build_atomic_upper_bound(self, val)
Parameters
Returns

isl_stat

set_ast_build_detect_min_max(self, val)
Parameters
Returns

isl_stat

set_ast_build_exploit_nested_bounds(self, val)
Parameters
Returns

isl_stat

set_ast_build_group_coscheduled(self, val)
Parameters
Returns

isl_stat

set_ast_build_prefer_pdiv(self, val)
Parameters
Returns

isl_stat

set_ast_build_scale_strides(self, val)
Parameters
Returns

isl_stat

set_ast_build_separation_bounds(self, val)
Parameters
Returns

isl_stat

set_ast_iterator_type(self, val)
Parameters
Returns

isl_stat

set_ast_print_macro_once(self, val)
Parameters
Returns

isl_stat

set_ast_print_outermost_block(self, val)
Parameters
Returns

isl_stat

set_bound(self, val)
Parameters
Returns

isl_stat

set_coalesce_bounded_wrapping(self, val)
Parameters
Returns

isl_stat

set_coalesce_preserve_locals(self, val)
Parameters
Returns

isl_stat

set_gbr_only_first(self, val)
Parameters
Returns

isl_stat

set_on_error(self, val)
Parameters
Returns

isl_stat

set_pip_symmetry(self, val)
Parameters
Returns

isl_stat

set_schedule_algorithm(self, val)
Parameters
Returns

isl_stat

set_schedule_carry_self_first(self, val)
Parameters
Returns

isl_stat

set_schedule_max_coefficient(self, val)
Parameters
Returns

isl_stat

set_schedule_max_constant_term(self, val)
Parameters
Returns

isl_stat

set_schedule_maximize_band_depth(self, val)
Parameters
Returns

isl_stat

set_schedule_maximize_coincidence(self, val)
Parameters
Returns

isl_stat

set_schedule_outer_coincidence(self, val)
Parameters
Returns

isl_stat

set_schedule_separate_components(self, val)
Parameters
Returns

isl_stat

set_schedule_serialize_sccs(self, val)
Parameters
Returns

isl_stat

set_schedule_split_scaled(self, val)
Parameters
Returns

isl_stat

set_schedule_treat_coalescing(self, val)
Parameters
Returns

isl_stat

set_schedule_whole_component(self, val)
Parameters
Returns

isl_stat

set_tile_scale_tile_loops(self, val)
Parameters
Returns

isl_stat

set_tile_shift_point_loops(self, val)
Parameters
Returns

isl_stat

Id

class islpy.Id(name, user=None, context=None)
__eq__(self, other)
Parameters
  • selfId

  • otherId

Returns

bool

__hash__()

Return hash(self).

__ne__(self, other)
Parameters
  • selfId

  • otherId

Returns

bool

static alloc(ctx, name, user)
Parameters
  • ctxContext

  • name – string

  • user – a user-specified Python object

Returns

Id

dump(self)
Parameters

selfId

Returns

None

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

property name

get_name(self)

Parameters

selfId

Returns

string

static read_from_str(ctx, str)
Parameters
Returns

Id

to_str(self)
Parameters

selfId

Returns

string

property user

get_user(self)

Parameters

selfId

Returns

a user-specified python object

class islpy.MultiId(s=None, context=None)
__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

align_params(self, model)
Parameters
Returns

MultiId

copy(self)
Parameters

selfMultiId

Returns

MultiId

dump(self)
Parameters

selfMultiId

Returns

None

factor_range(self)
Parameters

selfMultiId

Returns

MultiId

flatten_range(self)
Parameters

selfMultiId

Returns

MultiId

from_range(self)
Parameters

selfMultiId

Returns

MultiId

get_ctx(self)
Parameters

selfMultiId

Returns

Context

get_domain_space(self)
Parameters

selfMultiId

Returns

Space

get_id(self, pos)
Parameters
Returns

Id

range_factor_domain(self)
Parameters

selfMultiId

Returns

MultiId

range_factor_range(self)
Parameters

selfMultiId

Returns

MultiId

range_is_wrapping(self)
Parameters

selfMultiId

Returns

bool

range_splice(self, pos, multi2)
Parameters
Returns

MultiId

static read_from_str(ctx, str)
Parameters
Returns

MultiId

reset_user(self)
Parameters

selfMultiId

Returns

MultiId

set_id(self, pos, el)
Parameters
Returns

MultiId

to_str(self)
Parameters

selfMultiId

Returns

string

Space

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

class islpy.Space
__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_dims(self, type, n)
Parameters
Returns

Space

add_named_tuple_id_ui(self, tuple_id, dim)
Parameters
Returns

Space

add_param_id(self, id)
Parameters
Returns

Space

add_unnamed_tuple_ui(self, dim)
Parameters
Returns

Space

align_params(self, space2)
Parameters
Returns

Space

static alloc(ctx, nparam, n_in, n_out)
Parameters
Returns

Space

can_curry(self)
Parameters

selfSpace

Returns

bool

can_range_curry(self)
Parameters

selfSpace

Returns

bool

can_uncurry(self)
Parameters

selfSpace

Returns

bool

can_zip(self)
Parameters

selfSpace

Returns

bool

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

isl_size

domain(self)
Parameters

selfSpace

Returns

Space

domain_factor_domain(self)
Parameters

selfSpace

Returns

Space

domain_factor_range(self)
Parameters

selfSpace

Returns

Space

domain_is_wrapping(self)
Parameters

selfSpace

Returns

bool

domain_map(self)
Parameters

selfSpace

Returns

Space

domain_map_multi_aff(self)
Parameters

selfSpace

Returns

MultiAff

domain_map_pw_multi_aff(self)
Parameters

selfSpace

Returns

PwMultiAff

domain_product(self, right)
Parameters
Returns

Space

drop_all_params(self)
Parameters

selfSpace

Returns

Space

drop_dims(self, type, first, num)
Parameters
Returns

Space

drop_inputs(self, first, n)
Parameters
Returns

Space

drop_outputs(self, first, n)
Parameters
Returns

Space

dump(self)
Parameters

selfSpace

Returns

None

extend(self, nparam, n_in, n_out)
Parameters
Returns

Space

factor_domain(self)
Parameters

selfSpace

Returns

Space

factor_range(self)
Parameters

selfSpace

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

selfSpace

Returns

Space

flatten_range(self)
Parameters

selfSpace

Returns

Space

from_domain(self)
Parameters

selfSpace

Returns

Space

from_range(self)
Parameters

selfSpace

Returns

Space

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_domain_tuple_id(self)
Parameters

selfSpace

Returns

Id

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_range_tuple_id(self)
Parameters

selfSpace

Returns

Id

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, ignore_out=False)

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

has_domain_tuple_id(self)
Parameters

selfSpace

Returns

bool

has_equal_params(self, space2)
Parameters
Returns

bool

has_equal_tuples(self, space2)
Parameters
Returns

bool

has_range_tuple_id(self)
Parameters

selfSpace

Returns

bool

has_tuple_id(self, type)
Parameters
Returns

bool

has_tuple_name(self, type)
Parameters
Returns

bool

identity_pw_multi_aff_on_domain(self)
Parameters

selfSpace

Returns

PwMultiAff

insert_dims(self, type, pos, n)
Parameters
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_product(self)
Parameters

selfSpace

Returns

bool

is_range(self, space2)
Parameters
Returns

bool

is_set(self)
Parameters

selfSpace

Returns

bool

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, type1, space2, type2)
Parameters
Returns

bool

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

Space

multi_aff_on_domain_multi_val(self, mv)
Parameters
Returns

MultiAff

params(self)
Parameters

selfSpace

Returns

Space

static params_alloc(ctx, nparam)
Parameters
Returns

Space

product(self, right)
Parameters
Returns

Space

range(self)
Parameters

selfSpace

Returns

Space

range_curry(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

bool

range_map(self)
Parameters

selfSpace

Returns

Space

range_map_multi_aff(self)
Parameters

selfSpace

Returns

MultiAff

range_map_pw_multi_aff(self)
Parameters

selfSpace

Returns

PwMultiAff

range_product(self, right)
Parameters
Returns

Space

range_reverse(self)
Parameters

selfSpace

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
Returns

Space

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

Space

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

Space

set_domain_tuple_id(self, id)
Parameters
Returns

Space

set_from_params(self)
Parameters

selfSpace

Returns

Space

set_range_tuple_id(self, id)
Parameters
Returns

Space

set_tuple_id(self, type, id)
Parameters
Returns

Space

set_tuple_name(self, type, s)
Parameters
Returns

Space

to_str(self)
Parameters

selfSpace

Returns

string

tuple_is_equal(self, type1, space2, type2)
Parameters
Returns

bool

uncurry(self)
Parameters

selfSpace

Returns

Space

static unit(ctx)
Parameters

ctxContext

Returns

Space

universe_map(self)
Parameters

selfSpace

Returns

Map

universe_set(self)
Parameters

selfSpace

Returns

Set

unwrap(self)
Parameters

selfSpace

Returns

Space

wrap(self)
Parameters

selfSpace

Returns

Space

zero_aff_on_domain(self)
Parameters

selfSpace

Returns

Aff

zip(self)
Parameters

selfSpace

Returns

Space

Local Space

class islpy.LocalSpace
__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_dims(self, type, n)
Parameters
Returns

LocalSpace

copy(self)
Parameters

selfLocalSpace

Returns

LocalSpace

dim(self, type)
Parameters
Returns

isl_size

domain(self)
Parameters

selfLocalSpace

Returns

LocalSpace

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

LocalSpace

dump(self)
Parameters

selfLocalSpace

Returns

None

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

selfLocalSpace

Returns

LocalSpace

static from_space(space)
Parameters

spaceSpace

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_params(self)
Parameters

selfLocalSpace

Returns

bool

is_set(self)
Parameters

selfLocalSpace

Returns

bool

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_from_params(self)
Parameters

selfLocalSpace

Returns

LocalSpace

set_tuple_id(self, type, id)
Parameters
Returns

LocalSpace

property space

get_space(self)

Parameters

selfLocalSpace

Returns

Space

wrap(self)
Parameters

selfLocalSpace

Returns

LocalSpace

Constraints

class islpy.Constraint
__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

static alloc_equality(ls)
Parameters

lsLocalSpace

Returns

Constraint

static alloc_inequality(ls)
Parameters

lsLocalSpace

Returns

Constraint

cmp_last_non_zero(self, c2)
Parameters
Returns

int

copy(self)
Parameters

selfConstraint

Returns

Constraint

dim(self, type)
Parameters
Returns

isl_size

dump(self)
Parameters

selfConstraint

Returns

None

static eq_from_names(space, coefficients=None)

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=None)

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

bool

is_div_constraint(self)
Parameters

selfConstraint

Returns

bool

is_equal(self, constraint2)
Parameters
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

negate(self)
Parameters

selfConstraint

Returns

Constraint

plain_cmp(self, c2)
Parameters
Returns

int

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

property space

get_space(self)

Parameters

selfConstraint

Returns

Space

to_list(self)
Parameters

selfConstraint

Returns

ConstraintList

Value

class islpy.Val(src, context=None)
__eq__()

eq(self, v2)

Parameters
Returns

bool

__hash__()

Return hash(self).

__ne__()

ne(self, v2)

Parameters
Returns

bool

to_python()
2exp(self)
Parameters

selfVal

Returns

Val

abs(self)
Parameters

selfVal

Returns

Val

abs_eq(self, v2)
Parameters
Returns

bool

add(self, v2)
Parameters
Returns

Val

ceil(self)
Parameters

selfVal

Returns

Val

cmp_si(self, i)
Parameters
Returns

int

copy(self)
Parameters

selfVal

Returns

Val

div(self, v2)
Parameters
Returns

Val

dump(self)
Parameters

selfVal

Returns

None

eq(self, v2)
Parameters
Returns

bool

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

bool

get_ctx(self)
Parameters

selfVal

Returns

Context

get_d(self)
Parameters

selfVal

Returns

double

get_den_val(self)
Parameters

selfVal

Returns

Val

get_num_si(self)
Parameters

selfVal

Returns

long

gt(self, v2)
Parameters
Returns

bool

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

inv(self)
Parameters

selfVal

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_zero(self)
Parameters

selfVal

Returns

bool

le(self, v2)
Parameters
Returns

bool

lt(self, v2)
Parameters
Returns

bool

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
Returns

isl_size

static nan(ctx)
Parameters

ctxContext

Returns

Val

ne(self, v2)
Parameters
Returns

bool

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

pow2(self)
Parameters

selfVal

Returns

Val

static read_from_str(ctx, str)
Parameters
Returns

Val

set_si(self, i)
Parameters
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(s=None, context=None)
__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

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

isl_size

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

MultiVal

dump(self)
Parameters

selfMultiVal

Returns

None

factor_range(self)
Parameters

selfMultiVal

Returns

MultiVal

find_dim_by_id(self, type, id)
Parameters
Returns

int

find_dim_by_name(self, type, name)
Parameters
Returns

int

flatten_range(self)
Parameters

selfMultiVal

Returns

MultiVal

from_range(self)
Parameters

selfMultiVal

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

Id

get_tuple_name(self, type)
Parameters
Returns

string

get_val(self, pos)
Parameters
Returns

Val

has_tuple_id(self, type)
Parameters
Returns

bool

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

MultiVal

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

bool

is_zero(self)
Parameters

selfMultiVal

Returns

bool

mod_multi_val(self, mv)
Parameters
Returns

MultiVal

mod_val(self, v)
Parameters
Returns

MultiVal

project_domain_on_params(self)
Parameters

selfMultiVal

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

bool

range_splice(self, pos, multi2)
Parameters
Returns

MultiVal

static read_from_str(ctx, str)
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_down_val(self, v)
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_range_tuple_id(self, id)
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

splice(self, in_pos, out_pos, multi2)
Parameters
Returns

MultiVal

to_str(self)
Parameters

selfMultiVal

Returns

string

Vector

class islpy.Vec
__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

selfVec

Returns

isl_size

__ne__(other)

Return self!=value.

add(self, vec2)
Parameters
Returns

Vec

add_els(self, n)
Parameters
Returns

Vec

static alloc(ctx, size)
Parameters
Returns

Vec

ceil(self)
Parameters

selfVec

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
Returns

Vec

dump(self)
Parameters

selfVec

Returns

None

extend(self, size)
Parameters
Returns

Vec

get_ctx(self)
Parameters

selfVec

Returns

Context

get_element_val(self, pos)
Parameters
Returns

Val

insert_els(self, pos, n)
Parameters
Returns

Vec

insert_zero_els(self, pos, n)
Parameters
Returns

Vec

is_equal(self, vec2)
Parameters
Returns

bool

mat_product(self, mat)
Parameters
Returns

Vec

move_els(self, dst_col, src_col, n)
Parameters
Returns

Vec

neg(self)
Parameters

selfVec

Returns

Vec

normalize(self)
Parameters

selfVec

Returns

Vec

set_element_val(self, pos, v)
Parameters
Returns

Vec

set_val(self, v)
Parameters
Returns

Vec

sort(self)
Parameters

selfVec

Returns

Vec

static zero(ctx, size)
Parameters
Returns

Vec

zero_extend(self, size)
Parameters
Returns

Vec

Matrix

class islpy.Mat
__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_rows(self, n)
Parameters
Returns

Mat

add_zero_cols(self, n)
Parameters
Returns

Mat

add_zero_rows(self, n)
Parameters
Returns

Mat

aff_direct_sum(self, right)
Parameters
Returns

Mat

static alloc(ctx, n_row, n_col)
Parameters
Returns

Mat

col_add(self, dst_col, src_col)
Parameters
  • selfMat

  • dst_colint

  • src_colint

Returns

None

cols(self)
Parameters

selfMat

Returns

isl_size

concat(self, bot)
Parameters
Returns

Mat

copy(self)
Parameters

selfMat

Returns

Mat

diagonal(self, mat2)
Parameters
Returns

Mat

drop_cols(self, col, n)
Parameters
Returns

Mat

drop_rows(self, row, n)
Parameters
Returns

Mat

dump(self)
Parameters

selfMat

Returns

None

extend(self, n_row, n_col)
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

has_linearly_independent_rows(self, mat2)
Parameters
Returns

bool

static identity(ctx, n_row)
Parameters
Returns

Mat

initial_non_zero_cols(self)
Parameters

selfMat

Returns

int

insert_cols(self, col, n)
Parameters
Returns

Mat

insert_rows(self, row, n)
Parameters
Returns

Mat

insert_zero_cols(self, first, n)
Parameters
Returns

Mat

insert_zero_rows(self, row, n)
Parameters
Returns

Mat

inverse_product(self, right)
Parameters
Returns

Mat

is_equal(self, mat2)
Parameters
Returns

bool

left_hermite(self, neg)
Parameters
Returns

tuple: (Mat, U (Mat), Q (Mat))

lin_to_aff(self)
Parameters

selfMat

Returns

Mat

move_cols(self, dst_col, src_col, n)
Parameters
Returns

Mat

normalize(self)
Parameters

selfMat

Returns

Mat

normalize_row(self, row)
Parameters
Returns

Mat

product(self, right)
Parameters
Returns

Mat

rank(self)
Parameters

selfMat

Returns

isl_size

right_inverse(self)
Parameters

selfMat

Returns

Mat

right_kernel(self)
Parameters

selfMat

Returns

Mat

row_basis(self)
Parameters

selfMat

Returns

Mat

row_basis_extension(self, mat2)
Parameters
Returns

Mat

rows(self)
Parameters

selfMat

Returns

isl_size

set_element_val(self, row, col, v)
Parameters
Returns

Mat

swap_cols(self, i, j)
Parameters
Returns

Mat

swap_rows(self, i, j)
Parameters
Returns

Mat

transpose(self)
Parameters

selfMat

Returns

Mat

unimodular_complete(self, row)
Parameters
Returns

Mat

vec_concat(self, bot)
Parameters
Returns

Mat

vec_inverse_product(self, vec)
Parameters
Returns

Vec

vec_product(self, vec)
Parameters
Returns

Vec

Canonical Names for Internal Module

class islpy._isl.Context

See islpy.Context.

class islpy._isl.Id

See islpy.Id.

class islpy._isl.MultiId

See islpy.MultiId.

class islpy._isl.Space

See islpy.Space.

class islpy._isl.LocalSpace

See islpy.LocalSpace.

class islpy._isl.Constraint

See islpy.Constraint.

class islpy._isl.Val

See islpy.Val.

class islpy._isl.MultiVal

See islpy.MultiVal.

class islpy._isl.Vec

See islpy.Vec.

class islpy._isl.Mat

See islpy.Mat.

class islpy._isl.BasicSet

See islpy.BasicSet.

class islpy._isl.BasicMap

See islpy.BasicMap.

class islpy._isl.Set

See islpy.Set.

class islpy._isl.Map

See islpy.Map.

class islpy._isl.UnionSet

See islpy.UnionSet.

class islpy._isl.UnionMap

See islpy.UnionMap.

class islpy._isl.Point

See islpy.Point.

class islpy._isl.Vertex

See islpy.Vertex.

class islpy._isl.Vertices

See islpy.Vertices.

class islpy._isl.StrideInfo

See islpy.StrideInfo.

class islpy._isl.Cell

See islpy.Cell.

class islpy._isl.FixedBox

See islpy.FixedBox.

class islpy._isl.Aff

See islpy.Aff.

class islpy._isl.Div

See islpy.Aff (not a typo!).

class islpy._isl.PwAff

See islpy.PwAff.

class islpy._isl.UnionPwAff

See islpy.UnionPwAff.

class islpy._isl.MultiUnionPwAff

See islpy.MultiUnionPwAff.

class islpy._isl.MultiAff

See islpy.MultiAff.

class islpy._isl.PwMultiAff

See islpy.PwMultiAff.

class islpy._isl.MultiPwAff

See islpy.MultiPwAff.

class islpy._isl.UnionPwMultiAff

See islpy.UnionPwMultiAff.

class islpy._isl.Term

See islpy.Term.

class islpy._isl.QPolynomial

See islpy.QPolynomial.

class islpy._isl.PwQPolynomial

See islpy.PwQPolynomial.

class islpy._isl.UnionPwQPolynomial

See islpy.UnionPwQPolynomial.

class islpy._isl.QPolynomialFold

See islpy.QPolynomialFold.

class islpy._isl.PwQPolynomialFold

See islpy.PwQPolynomialFold.

class islpy._isl.UnionPwQPolynomialFold

See islpy.UnionPwQPolynomialFold.