Reference: Containers

Lists

class islpy.IdList

__eq__() __hash__() __ne__() copy() dump() every() get_ctx() get_id()

map() n_id() reverse() set_id() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – IdList

Returns

IdList

dump(self)

Parameters

self – IdList

Returns

None

every(self, test)

Parameters

• self – IdList

• test – callback(el)

Returns

bool

get_ctx(self)

Parameters

self – IdList

Returns

Context

get_id(self, index)

Parameters

• self – IdList

• index – int

Returns

Id

map(self, fn)

Parameters

• self – IdList

• fn – callback(el)

Returns

IdList

n_id(self)

Parameters

self – IdList

Returns

isl_size

reverse(self)

Parameters

self – IdList

Returns

IdList

set_id(self, index, el)

Parameters

• self – IdList

• index – int

• el – Id

Returns

IdList

sort(self, cmp)

Parameters

• self – IdList

• cmp – callback(a, b)

Returns

IdList

swap(self, pos1, pos2)

Parameters

• self – IdList

• pos1 – unsigned

• pos2 – unsigned

Returns

IdList

to_str(self)

Parameters

self – IdList

Returns

string

class islpy.ValList

__eq__() __hash__() __ne__() copy() dump() every() get_ctx() get_val()

map() n_val() reverse() set_val() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – ValList

Returns

ValList

dump(self)

Parameters

self – ValList

Returns

None

every(self, test)

Parameters

• self – ValList

• test – callback(el)

Returns

bool

get_ctx(self)

Parameters

self – ValList

Returns

Context

get_val(self, index)

Parameters

• self – ValList

• index – int

Returns

Val

map(self, fn)

Parameters

• self – ValList

• fn – callback(el)

Returns

ValList

n_val(self)

Parameters

self – ValList

Returns

isl_size

reverse(self)

Parameters

self – ValList

Returns

ValList

set_val(self, index, el)

Parameters

• self – ValList

• index – int

• el – Val

Returns

ValList

sort(self, cmp)

Parameters

• self – ValList

• cmp – callback(a, b)

Returns

ValList

swap(self, pos1, pos2)

Parameters

• self – ValList

• pos1 – unsigned

• pos2 – unsigned

Returns

ValList

to_str(self)

Parameters

self – ValList

Returns

string

class islpy.BasicSetList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() coefficients() concat() copy() drop() dump() every() foreach()

from_basic_set() (static) get_at() get_basic_set() get_ctx() insert() intersect() map() n_basic_set() reverse() set_basic_set() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – BasicSetList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – BasicSetList

• el – BasicSet

Returns

BasicSetList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

BasicSetList

clear(self)

Parameters

self – BasicSetList

Returns

BasicSetList

coefficients(self)

Parameters

self – BasicSetList

Returns

BasicSetList

concat(self, list2)

Parameters

• self – BasicSetList

• list2 – BasicSetList

Returns

BasicSetList

copy(self)

Parameters

self – BasicSetList

Returns

BasicSetList

drop(self, first, n)

Parameters

• self – BasicSetList

• first – unsigned

• n – unsigned

Returns

BasicSetList

dump(self)

Parameters

self – BasicSetList

Returns

None

every(self, test)

Parameters

• self – BasicSetList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – BasicSetList

• fn – callback(el)

Returns

isl_stat

static from_basic_set(el)

Parameters

el – BasicSet

Returns

BasicSetList

get_at(self, index)

Parameters

• self – BasicSetList

• index – int

Returns

BasicSet

get_basic_set(self, index)

Parameters

• self – BasicSetList

• index – int

Returns

BasicSet

get_ctx(self)

Parameters

self – BasicSetList

Returns

Context

insert(self, pos, el)

Parameters

• self – BasicSetList

• pos – unsigned

• el – BasicSet

Returns

BasicSetList

intersect(self)

Parameters

self – BasicSetList

Returns

BasicSet

map(self, fn)

Parameters

• self – BasicSetList

• fn – callback(el)

Returns

BasicSetList

n_basic_set(self)

Parameters

self – BasicSetList

Returns

isl_size

reverse(self)

Parameters

self – BasicSetList

Returns

BasicSetList

set_basic_set(self, index, el)

Parameters

• self – BasicSetList

• index – int

• el – BasicSet

Returns

BasicSetList

sort(self, cmp)

Parameters

• self – BasicSetList

• cmp – callback(a, b)

Returns

BasicSetList

swap(self, pos1, pos2)

Parameters

• self – BasicSetList

• pos1 – unsigned

• pos2 – unsigned

Returns

BasicSetList

to_str(self)

Parameters

self – BasicSetList

Returns

string

class islpy.AffList

__eq__() __hash__() __ne__() copy() dump() every() get_aff() get_ctx()

map() n_aff() reverse() set_aff() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – AffList

Returns

AffList

dump(self)

Parameters

self – AffList

Returns

None

every(self, test)

Parameters

• self – AffList

• test – callback(el)

Returns

bool

get_aff(self, index)

Parameters

• self – AffList

• index – int

Returns

Aff

get_ctx(self)

Parameters

self – AffList

Returns

Context

map(self, fn)

Parameters

• self – AffList

• fn – callback(el)

Returns

AffList

n_aff(self)

Parameters

self – AffList

Returns

isl_size

reverse(self)

Parameters

self – AffList

Returns

AffList

set_aff(self, index, el)

Parameters

• self – AffList

• index – int

• el – Aff

Returns

AffList

sort(self, cmp)

Parameters

• self – AffList

• cmp – callback(a, b)

Returns

AffList

swap(self, pos1, pos2)

Parameters

• self – AffList

• pos1 – unsigned

• pos2 – unsigned

Returns

AffList

to_str(self)

Parameters

self – AffList

Returns

string

class islpy.PwAffList

__eq__() __hash__() __ne__() copy() dump() eq_set() every() ge_set() get_ctx() get_pw_aff() gt_set() le_set()

lt_set() map() max() min() n_pw_aff() ne_set() reverse() set_pw_aff() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – PwAffList

Returns

PwAffList

dump(self)

Parameters

self – PwAffList

Returns

None

eq_set(self, list2)

Parameters

• self – PwAffList

• list2 – PwAffList

Returns

Set

every(self, test)

Parameters

• self – PwAffList

• test – callback(el)

Returns

bool

ge_set(self, list2)

Parameters

• self – PwAffList

• list2 – PwAffList

Returns

Set

get_ctx(self)

Parameters

self – PwAffList

Returns

Context

get_pw_aff(self, index)

Parameters

• self – PwAffList

• index – int

Returns

PwAff

gt_set(self, list2)

Parameters

• self – PwAffList

• list2 – PwAffList

Returns

Set

le_set(self, list2)

Parameters

• self – PwAffList

• list2 – PwAffList

Returns

Set

lt_set(self, list2)

Parameters

• self – PwAffList

• list2 – PwAffList

Returns

Set

map(self, fn)

Parameters

• self – PwAffList

• fn – callback(el)

Returns

PwAffList

max(self)

Parameters

self – PwAffList

Returns

PwAff

min(self)

Parameters

self – PwAffList

Returns

PwAff

n_pw_aff(self)

Parameters

self – PwAffList

Returns

isl_size

ne_set(self, list2)

Parameters

• self – PwAffList

• list2 – PwAffList

Returns

Set

reverse(self)

Parameters

self – PwAffList

Returns

PwAffList

set_pw_aff(self, index, el)

Parameters

• self – PwAffList

• index – int

• el – PwAff

Returns

PwAffList

sort(self, cmp)

Parameters

• self – PwAffList

• cmp – callback(a, b)

Returns

PwAffList

swap(self, pos1, pos2)

Parameters

• self – PwAffList

• pos1 – unsigned

• pos2 – unsigned

Returns

PwAffList

to_str(self)

Parameters

self – PwAffList

Returns

string

class islpy.PwMultiAffList

__eq__() __hash__() __ne__() copy() dump() every() get_ctx() get_pw_multi_aff()

map() n_pw_multi_aff() reverse() set_pw_multi_aff() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – PwMultiAffList

Returns

PwMultiAffList

dump(self)

Parameters

self – PwMultiAffList

Returns

None

every(self, test)

Parameters

• self – PwMultiAffList

• test – callback(el)

Returns

bool

get_ctx(self)

Parameters

self – PwMultiAffList

Returns

Context

get_pw_multi_aff(self, index)

Parameters

• self – PwMultiAffList

• index – int

Returns

PwMultiAff

map(self, fn)

Parameters

• self – PwMultiAffList

• fn – callback(el)

Returns

PwMultiAffList

n_pw_multi_aff(self)

Parameters

self – PwMultiAffList

Returns

isl_size

reverse(self)

Parameters

self – PwMultiAffList

Returns

PwMultiAffList

set_pw_multi_aff(self, index, el)

Parameters

• self – PwMultiAffList

• index – int

• el – PwMultiAff

Returns

PwMultiAffList

sort(self, cmp)

Parameters

• self – PwMultiAffList

• cmp – callback(a, b)

Returns

PwMultiAffList

swap(self, pos1, pos2)

Parameters

• self – PwMultiAffList

• pos1 – unsigned

• pos2 – unsigned

Returns

PwMultiAffList

to_str(self)

Parameters

self – PwMultiAffList

Returns

string

class islpy.UnionPwAffList

__eq__() __hash__() __ne__() copy() dump() every() get_ctx() get_union_pw_aff()

map() n_union_pw_aff() reverse() set_union_pw_aff() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – UnionPwAffList

Returns

UnionPwAffList

dump(self)

Parameters

self – UnionPwAffList

Returns

None

every(self, test)

Parameters

• self – UnionPwAffList

• test – callback(el)

Returns

bool

get_ctx(self)

Parameters

self – UnionPwAffList

Returns

Context

get_union_pw_aff(self, index)

Parameters

• self – UnionPwAffList

• index – int

Returns

UnionPwAff

map(self, fn)

Parameters

• self – UnionPwAffList

• fn – callback(el)

Returns

UnionPwAffList

n_union_pw_aff(self)

Parameters

self – UnionPwAffList

Returns

isl_size

reverse(self)

Parameters

self – UnionPwAffList

Returns

UnionPwAffList

set_union_pw_aff(self, index, el)

Parameters

• self – UnionPwAffList

• index – int

• el – UnionPwAff

Returns

UnionPwAffList

sort(self, cmp)

Parameters

• self – UnionPwAffList

• cmp – callback(a, b)

Returns

UnionPwAffList

swap(self, pos1, pos2)

Parameters

• self – UnionPwAffList

• pos1 – unsigned

• pos2 – unsigned

Returns

UnionPwAffList

to_str(self)

Parameters

self – UnionPwAffList

Returns

string

class islpy.UnionPwMultiAffList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_union_pw_multi_aff() (static) get_at() get_ctx() get_union_pw_multi_aff() insert() map() n_union_pw_multi_aff() reverse() set_union_pw_multi_aff() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – UnionPwMultiAffList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – UnionPwMultiAffList

• el – UnionPwMultiAff

Returns

UnionPwMultiAffList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

UnionPwMultiAffList

clear(self)

Parameters

self – UnionPwMultiAffList

Returns

UnionPwMultiAffList

concat(self, list2)

Parameters

• self – UnionPwMultiAffList

• list2 – UnionPwMultiAffList

Returns

UnionPwMultiAffList

copy(self)

Parameters

self – UnionPwMultiAffList

Returns

UnionPwMultiAffList

drop(self, first, n)

Parameters

• self – UnionPwMultiAffList

• first – unsigned

• n – unsigned

Returns

UnionPwMultiAffList

dump(self)

Parameters

self – UnionPwMultiAffList

Returns

None

every(self, test)

Parameters

• self – UnionPwMultiAffList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – UnionPwMultiAffList

• fn – callback(el)

Returns

isl_stat

static from_union_pw_multi_aff(el)

Parameters

el – UnionPwMultiAff

Returns

UnionPwMultiAffList

get_at(self, index)

Parameters

• self – UnionPwMultiAffList

• index – int

Returns

UnionPwMultiAff

get_ctx(self)

Parameters

self – UnionPwMultiAffList

Returns

Context

get_union_pw_multi_aff(self, index)

Parameters

• self – UnionPwMultiAffList

• index – int

Returns

UnionPwMultiAff

insert(self, pos, el)

Parameters

• self – UnionPwMultiAffList

• pos – unsigned

• el – UnionPwMultiAff

Returns

UnionPwMultiAffList

map(self, fn)

Parameters

• self – UnionPwMultiAffList

• fn – callback(el)

Returns

UnionPwMultiAffList

n_union_pw_multi_aff(self)

Parameters

self – UnionPwMultiAffList

Returns

isl_size

reverse(self)

Parameters

self – UnionPwMultiAffList

Returns

UnionPwMultiAffList

set_union_pw_multi_aff(self, index, el)

Parameters

• self – UnionPwMultiAffList

• index – int

• el – UnionPwMultiAff

Returns

UnionPwMultiAffList

sort(self, cmp)

Parameters

• self – UnionPwMultiAffList

• cmp – callback(a, b)

Returns

UnionPwMultiAffList

swap(self, pos1, pos2)

Parameters

• self – UnionPwMultiAffList

• pos1 – unsigned

• pos2 – unsigned

Returns

UnionPwMultiAffList

to_str(self)

Parameters

self – UnionPwMultiAffList

Returns

string

class islpy.ConstraintList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_constraint() (static) get_at() get_constraint() get_ctx() insert() map() n_constraint() reverse() set_constraint() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – ConstraintList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – ConstraintList

• el – Constraint

Returns

ConstraintList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

ConstraintList

clear(self)

Parameters

self – ConstraintList

Returns

ConstraintList

concat(self, list2)

Parameters

• self – ConstraintList

• list2 – ConstraintList

Returns

ConstraintList

copy(self)

Parameters

self – ConstraintList

Returns

ConstraintList

drop(self, first, n)

Parameters

• self – ConstraintList

• first – unsigned

• n – unsigned

Returns

ConstraintList

dump(self)

Parameters

self – ConstraintList

Returns

None

every(self, test)

Parameters

• self – ConstraintList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – ConstraintList

• fn – callback(el)

Returns

isl_stat

static from_constraint(el)

Parameters

el – Constraint

Returns

ConstraintList

get_at(self, index)

Parameters

• self – ConstraintList

• index – int

Returns

Constraint

get_constraint(self, index)

Parameters

• self – ConstraintList

• index – int

Returns

Constraint

get_ctx(self)

Parameters

self – ConstraintList

Returns

Context

insert(self, pos, el)

Parameters

• self – ConstraintList

• pos – unsigned

• el – Constraint

Returns

ConstraintList

map(self, fn)

Parameters

• self – ConstraintList

• fn – callback(el)

Returns

ConstraintList

n_constraint(self)

Parameters

self – ConstraintList

Returns

isl_size

reverse(self)

Parameters

self – ConstraintList

Returns

ConstraintList

set_constraint(self, index, el)

Parameters

• self – ConstraintList

• index – int

• el – Constraint

Returns

ConstraintList

sort(self, cmp)

Parameters

• self – ConstraintList

• cmp – callback(a, b)

Returns

ConstraintList

swap(self, pos1, pos2)

Parameters

• self – ConstraintList

• pos1 – unsigned

• pos2 – unsigned

Returns

ConstraintList

to_str(self)

Parameters

self – ConstraintList

Returns

string

class islpy.BasicMapList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_basic_map() (static) get_at() get_basic_map() get_ctx() insert() intersect() map() n_basic_map() reverse() set_basic_map() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – BasicMapList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – BasicMapList

• el – BasicMap

Returns

BasicMapList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

BasicMapList

clear(self)

Parameters

self – BasicMapList

Returns

BasicMapList

concat(self, list2)

Parameters

• self – BasicMapList

• list2 – BasicMapList

Returns

BasicMapList

copy(self)

Parameters

self – BasicMapList

Returns

BasicMapList

drop(self, first, n)

Parameters

• self – BasicMapList

• first – unsigned

• n – unsigned

Returns

BasicMapList

dump(self)

Parameters

self – BasicMapList

Returns

None

every(self, test)

Parameters

• self – BasicMapList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – BasicMapList

• fn – callback(el)

Returns

isl_stat

static from_basic_map(el)

Parameters

el – BasicMap

Returns

BasicMapList

get_at(self, index)

Parameters

• self – BasicMapList

• index – int

Returns

BasicMap

get_basic_map(self, index)

Parameters

• self – BasicMapList

• index – int

Returns

BasicMap

get_ctx(self)

Parameters

self – BasicMapList

Returns

Context

insert(self, pos, el)

Parameters

• self – BasicMapList

• pos – unsigned

• el – BasicMap

Returns

BasicMapList

intersect(self)

Parameters

self – BasicMapList

Returns

BasicMap

map(self, fn)

Parameters

• self – BasicMapList

• fn – callback(el)

Returns

BasicMapList

n_basic_map(self)

Parameters

self – BasicMapList

Returns

isl_size

reverse(self)

Parameters

self – BasicMapList

Returns

BasicMapList

set_basic_map(self, index, el)

Parameters

• self – BasicMapList

• index – int

• el – BasicMap

Returns

BasicMapList

sort(self, cmp)

Parameters

• self – BasicMapList

• cmp – callback(a, b)

Returns

BasicMapList

swap(self, pos1, pos2)

Parameters

• self – BasicMapList

• pos1 – unsigned

• pos2 – unsigned

Returns

BasicMapList

to_str(self)

Parameters

self – BasicMapList

Returns

string

class islpy.SetList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_set() (static) get_at() get_ctx() get_set() insert() map() n_set() reverse() set_set() sort() swap() to_str() union()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – SetList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – SetList

• el – Set

Returns

SetList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

SetList

clear(self)

Parameters

self – SetList

Returns

SetList

concat(self, list2)

Parameters

• self – SetList

• list2 – SetList

Returns

SetList

copy(self)

Parameters

self – SetList

Returns

SetList

drop(self, first, n)

Parameters

• self – SetList

• first – unsigned

• n – unsigned

Returns

SetList

dump(self)

Parameters

self – SetList

Returns

None

every(self, test)

Parameters

• self – SetList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – SetList

• fn – callback(el)

Returns

isl_stat

static from_set(el)

Parameters

el – Set

Returns

SetList

get_at(self, index)

Parameters

• self – SetList

• index – int

Returns

Set

get_ctx(self)

Parameters

self – SetList

Returns

Context

get_set(self, index)

Parameters

• self – SetList

• index – int

Returns

Set

insert(self, pos, el)

Parameters

• self – SetList

• pos – unsigned

• el – Set

Returns

SetList

map(self, fn)

Parameters

• self – SetList

• fn – callback(el)

Returns

SetList

n_set(self)

Parameters

self – SetList

Returns

isl_size

reverse(self)

Parameters

self – SetList

Returns

SetList

set_set(self, index, el)

Parameters

• self – SetList

• index – int

• el – Set

Returns

SetList

sort(self, cmp)

Parameters

• self – SetList

• cmp – callback(a, b)

Returns

SetList

swap(self, pos1, pos2)

Parameters

• self – SetList

• pos1 – unsigned

• pos2 – unsigned

Returns

SetList

to_str(self)

Parameters

self – SetList

Returns

string

union(self)

Parameters

self – SetList

Returns

Set

class islpy.MapList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_map() (static) get_at() get_ctx() get_map() insert() map() n_map() reverse() set_map() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – MapList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – MapList

• el – Map

Returns

MapList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

MapList

clear(self)

Parameters

self – MapList

Returns

MapList

concat(self, list2)

Parameters

• self – MapList

• list2 – MapList

Returns

MapList

copy(self)

Parameters

self – MapList

Returns

MapList

drop(self, first, n)

Parameters

• self – MapList

• first – unsigned

• n – unsigned

Returns

MapList

dump(self)

Parameters

self – MapList

Returns

None

every(self, test)

Parameters

• self – MapList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – MapList

• fn – callback(el)

Returns

isl_stat

static from_map(el)

Parameters

el – Map

Returns

MapList

get_at(self, index)

Parameters

• self – MapList

• index – int

Returns

Map

get_ctx(self)

Parameters

self – MapList

Returns

Context

get_map(self, index)

Parameters

• self – MapList

• index – int

Returns

Map

insert(self, pos, el)

Parameters

• self – MapList

• pos – unsigned

• el – Map

Returns

MapList

map(self, fn)

Parameters

• self – MapList

• fn – callback(el)

Returns

MapList

n_map(self)

Parameters

self – MapList

Returns

isl_size

reverse(self)

Parameters

self – MapList

Returns

MapList

set_map(self, index, el)

Parameters

• self – MapList

• index – int

• el – Map

Returns

MapList

sort(self, cmp)

Parameters

• self – MapList

• cmp – callback(a, b)

Returns

MapList

swap(self, pos1, pos2)

Parameters

• self – MapList

• pos1 – unsigned

• pos2 – unsigned

Returns

MapList

to_str(self)

Parameters

self – MapList

Returns

string

class islpy.UnionSetList

__eq__() __hash__() __ne__() copy() dump() every() get_ctx() get_union_set()

map() n_union_set() reverse() set_union_set() sort() swap() to_str() union()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – UnionSetList

Returns

UnionSetList

dump(self)

Parameters

self – UnionSetList

Returns

None

every(self, test)

Parameters

• self – UnionSetList

• test – callback(el)

Returns

bool

get_ctx(self)

Parameters

self – UnionSetList

Returns

Context

get_union_set(self, index)

Parameters

• self – UnionSetList

• index – int

Returns

UnionSet

map(self, fn)

Parameters

• self – UnionSetList

• fn – callback(el)

Returns

UnionSetList

n_union_set(self)

Parameters

self – UnionSetList

Returns

isl_size

reverse(self)

Parameters

self – UnionSetList

Returns

UnionSetList

set_union_set(self, index, el)

Parameters

• self – UnionSetList

• index – int

• el – UnionSet

Returns

UnionSetList

sort(self, cmp)

Parameters

• self – UnionSetList

• cmp – callback(a, b)

Returns

UnionSetList

swap(self, pos1, pos2)

Parameters

• self – UnionSetList

• pos1 – unsigned

• pos2 – unsigned

Returns

UnionSetList

to_str(self)

Parameters

self – UnionSetList

Returns

string

union(self)

Parameters

self – UnionSetList

Returns

UnionSet

class islpy.UnionMapList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_union_map() (static) get_at() get_ctx() get_union_map() insert() map() n_union_map() reverse() set_union_map() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – UnionMapList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – UnionMapList

• el – UnionMap

Returns

UnionMapList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

UnionMapList

clear(self)

Parameters

self – UnionMapList

Returns

UnionMapList

concat(self, list2)

Parameters

• self – UnionMapList

• list2 – UnionMapList

Returns

UnionMapList

copy(self)

Parameters

self – UnionMapList

Returns

UnionMapList

drop(self, first, n)

Parameters

• self – UnionMapList

• first – unsigned

• n – unsigned

Returns

UnionMapList

dump(self)

Parameters

self – UnionMapList

Returns

None

every(self, test)

Parameters

• self – UnionMapList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – UnionMapList

• fn – callback(el)

Returns

isl_stat

static from_union_map(el)

Parameters

el – UnionMap

Returns

UnionMapList

get_at(self, index)

Parameters

• self – UnionMapList

• index – int

Returns

UnionMap

get_ctx(self)

Parameters

self – UnionMapList

Returns

Context

get_union_map(self, index)

Parameters

• self – UnionMapList

• index – int

Returns

UnionMap

insert(self, pos, el)

Parameters

• self – UnionMapList

• pos – unsigned

• el – UnionMap

Returns

UnionMapList

map(self, fn)

Parameters

• self – UnionMapList

• fn – callback(el)

Returns

UnionMapList

n_union_map(self)

Parameters

self – UnionMapList

Returns

isl_size

reverse(self)

Parameters

self – UnionMapList

Returns

UnionMapList

set_union_map(self, index, el)

Parameters

• self – UnionMapList

• index – int

• el – UnionMap

Returns

UnionMapList

sort(self, cmp)

Parameters

• self – UnionMapList

• cmp – callback(a, b)

Returns

UnionMapList

swap(self, pos1, pos2)

Parameters

• self – UnionMapList

• pos1 – unsigned

• pos2 – unsigned

Returns

UnionMapList

to_str(self)

Parameters

self – UnionMapList

Returns

string

class islpy.AstExprList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_ast_expr() (static) get_ast_expr() get_at() get_ctx() insert() map() n_ast_expr() reverse() set_ast_expr() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – AstExprList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – AstExprList

• el – AstExpr

Returns

AstExprList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

AstExprList

clear(self)

Parameters

self – AstExprList

Returns

AstExprList

concat(self, list2)

Parameters

• self – AstExprList

• list2 – AstExprList

Returns

AstExprList

copy(self)

Parameters

self – AstExprList

Returns

AstExprList

drop(self, first, n)

Parameters

• self – AstExprList

• first – unsigned

• n – unsigned

Returns

AstExprList

dump(self)

Parameters

self – AstExprList

Returns

None

every(self, test)

Parameters

• self – AstExprList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – AstExprList

• fn – callback(el)

Returns

isl_stat

static from_ast_expr(el)

Parameters

el – AstExpr

Returns

AstExprList

get_ast_expr(self, index)

Parameters

• self – AstExprList

• index – int

Returns

AstExpr

get_at(self, index)

Parameters

• self – AstExprList

• index – int

Returns

AstExpr

get_ctx(self)

Parameters

self – AstExprList

Returns

Context

insert(self, pos, el)

Parameters

• self – AstExprList

• pos – unsigned

• el – AstExpr

Returns

AstExprList

map(self, fn)

Parameters

• self – AstExprList

• fn – callback(el)

Returns

AstExprList

n_ast_expr(self)

Parameters

self – AstExprList

Returns

isl_size

reverse(self)

Parameters

self – AstExprList

Returns

AstExprList

set_ast_expr(self, index, el)

Parameters

• self – AstExprList

• index – int

• el – AstExpr

Returns

AstExprList

sort(self, cmp)

Parameters

• self – AstExprList

• cmp – callback(a, b)

Returns

AstExprList

swap(self, pos1, pos2)

Parameters

• self – AstExprList

• pos1 – unsigned

• pos2 – unsigned

Returns

AstExprList

to_str(self)

Parameters

self – AstExprList

Returns

string

class islpy.AstNodeList

__eq__() __hash__() __ne__() copy() dump() every() get_ast_node() get_ctx()

map() n_ast_node() reverse() set_ast_node() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – AstNodeList

Returns

AstNodeList

dump(self)

Parameters

self – AstNodeList

Returns

None

every(self, test)

Parameters

• self – AstNodeList

• test – callback(el)

Returns

bool

get_ast_node(self, index)

Parameters

• self – AstNodeList

• index – int

Returns

AstNode

get_ctx(self)

Parameters

self – AstNodeList

Returns

Context

map(self, fn)

Parameters

• self – AstNodeList

• fn – callback(el)

Returns

AstNodeList

n_ast_node(self)

Parameters

self – AstNodeList

Returns

isl_size

reverse(self)

Parameters

self – AstNodeList

Returns

AstNodeList

set_ast_node(self, index, el)

Parameters

• self – AstNodeList

• index – int

• el – AstNode

Returns

AstNodeList

sort(self, cmp)

Parameters

• self – AstNodeList

• cmp – callback(a, b)

Returns

AstNodeList

swap(self, pos1, pos2)

Parameters

• self – AstNodeList

• pos1 – unsigned

• pos2 – unsigned

Returns

AstNodeList

to_str(self)

Parameters

self – AstNodeList

Returns

string

class islpy.QPolynomialList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_qpolynomial() (static) get_at() get_ctx() get_qpolynomial() insert() map() n_qpolynomial() reverse() set_qpolynomial() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – QPolynomialList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – QPolynomialList

• el – QPolynomial

Returns

QPolynomialList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

QPolynomialList

clear(self)

Parameters

self – QPolynomialList

Returns

QPolynomialList

concat(self, list2)

Parameters

• self – QPolynomialList

• list2 – QPolynomialList

Returns

QPolynomialList

copy(self)

Parameters

self – QPolynomialList

Returns

QPolynomialList

drop(self, first, n)

Parameters

• self – QPolynomialList

• first – unsigned

• n – unsigned

Returns

QPolynomialList

dump(self)

Parameters

self – QPolynomialList

Returns

None

every(self, test)

Parameters

• self – QPolynomialList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – QPolynomialList

• fn – callback(el)

Returns

isl_stat

static from_qpolynomial(el)

Parameters

el – QPolynomial

Returns

QPolynomialList

get_at(self, index)

Parameters

• self – QPolynomialList

• index – int

Returns

QPolynomial

get_ctx(self)

Parameters

self – QPolynomialList

Returns

Context

get_qpolynomial(self, index)

Parameters

• self – QPolynomialList

• index – int

Returns

QPolynomial

insert(self, pos, el)

Parameters

• self – QPolynomialList

• pos – unsigned

• el – QPolynomial

Returns

QPolynomialList

map(self, fn)

Parameters

• self – QPolynomialList

• fn – callback(el)

Returns

QPolynomialList

n_qpolynomial(self)

Parameters

self – QPolynomialList

Returns

isl_size

reverse(self)

Parameters

self – QPolynomialList

Returns

QPolynomialList

set_qpolynomial(self, index, el)

Parameters

• self – QPolynomialList

• index – int

• el – QPolynomial

Returns

QPolynomialList

sort(self, cmp)

Parameters

• self – QPolynomialList

• cmp – callback(a, b)

Returns

QPolynomialList

swap(self, pos1, pos2)

Parameters

• self – QPolynomialList

• pos1 – unsigned

• pos2 – unsigned

Returns

QPolynomialList

to_str(self)

Parameters

self – QPolynomialList

Returns

string

class islpy.PwQPolynomialList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_pw_qpolynomial() (static) get_at() get_ctx() get_pw_qpolynomial() insert() map() n_pw_qpolynomial() reverse() set_pw_qpolynomial() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – PwQPolynomialList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – PwQPolynomialList

• el – PwQPolynomial

Returns

PwQPolynomialList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

PwQPolynomialList

clear(self)

Parameters

self – PwQPolynomialList

Returns

PwQPolynomialList

concat(self, list2)

Parameters

• self – PwQPolynomialList

• list2 – PwQPolynomialList

Returns

PwQPolynomialList

copy(self)

Parameters

self – PwQPolynomialList

Returns

PwQPolynomialList

drop(self, first, n)

Parameters

• self – PwQPolynomialList

• first – unsigned

• n – unsigned

Returns

PwQPolynomialList

dump(self)

Parameters

self – PwQPolynomialList

Returns

None

every(self, test)

Parameters

• self – PwQPolynomialList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – PwQPolynomialList

• fn – callback(el)

Returns

isl_stat

static from_pw_qpolynomial(el)

Parameters

el – PwQPolynomial

Returns

PwQPolynomialList

get_at(self, index)

Parameters

• self – PwQPolynomialList

• index – int

Returns

PwQPolynomial

get_ctx(self)

Parameters

self – PwQPolynomialList

Returns

Context

get_pw_qpolynomial(self, index)

Parameters

• self – PwQPolynomialList

• index – int

Returns

PwQPolynomial

insert(self, pos, el)

Parameters

• self – PwQPolynomialList

• pos – unsigned

• el – PwQPolynomial

Returns

PwQPolynomialList

map(self, fn)

Parameters

• self – PwQPolynomialList

• fn – callback(el)

Returns

PwQPolynomialList

n_pw_qpolynomial(self)

Parameters

self – PwQPolynomialList

Returns

isl_size

reverse(self)

Parameters

self – PwQPolynomialList

Returns

PwQPolynomialList

set_pw_qpolynomial(self, index, el)

Parameters

• self – PwQPolynomialList

• index – int

• el – PwQPolynomial

Returns

PwQPolynomialList

sort(self, cmp)

Parameters

• self – PwQPolynomialList

• cmp – callback(a, b)

Returns

PwQPolynomialList

swap(self, pos1, pos2)

Parameters

• self – PwQPolynomialList

• pos1 – unsigned

• pos2 – unsigned

Returns

PwQPolynomialList

to_str(self)

Parameters

self – PwQPolynomialList

Returns

string

class islpy.PwQPolynomialFoldList

__eq__() __hash__() __len__() __ne__() add() alloc() (static) clear() concat() copy() drop() dump() every() foreach()

from_pw_qpolynomial_fold() (static) get_at() get_ctx() get_pw_qpolynomial_fold() insert() map() n_pw_qpolynomial_fold() reverse() set_pw_qpolynomial_fold() sort() swap() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__()

size(self)

Parameters

self – PwQPolynomialFoldList

Returns

isl_size

__ne__(value, /)

Return self!=value.

add(self, el)

Parameters

• self – PwQPolynomialFoldList

• el – PwQPolynomialFold

Returns

PwQPolynomialFoldList

static alloc(ctx, n)

Parameters

• ctx – Context

• n – int

Returns

PwQPolynomialFoldList

clear(self)

Parameters

self – PwQPolynomialFoldList

Returns

PwQPolynomialFoldList

concat(self, list2)

Parameters

• self – PwQPolynomialFoldList

• list2 – PwQPolynomialFoldList

Returns

PwQPolynomialFoldList

copy(self)

Parameters

self – PwQPolynomialFoldList

Returns

PwQPolynomialFoldList

drop(self, first, n)

Parameters

• self – PwQPolynomialFoldList

• first – unsigned

• n – unsigned

Returns

PwQPolynomialFoldList

dump(self)

Parameters

self – PwQPolynomialFoldList

Returns

None

every(self, test)

Parameters

• self – PwQPolynomialFoldList

• test – callback(el)

Returns

bool

foreach(self, fn)

Parameters

• self – PwQPolynomialFoldList

• fn – callback(el)

Returns

isl_stat

static from_pw_qpolynomial_fold(el)

Parameters

el – PwQPolynomialFold

Returns

PwQPolynomialFoldList

get_at(self, index)

Parameters

• self – PwQPolynomialFoldList

• index – int

Returns

PwQPolynomialFold

get_ctx(self)

Parameters

self – PwQPolynomialFoldList

Returns

Context

get_pw_qpolynomial_fold(self, index)

Parameters

• self – PwQPolynomialFoldList

• index – int

Returns

PwQPolynomialFold

insert(self, pos, el)

Parameters

• self – PwQPolynomialFoldList

• pos – unsigned

• el – PwQPolynomialFold

Returns

PwQPolynomialFoldList

map(self, fn)

Parameters

• self – PwQPolynomialFoldList

• fn – callback(el)

Returns

PwQPolynomialFoldList

n_pw_qpolynomial_fold(self)

Parameters

self – PwQPolynomialFoldList

Returns

isl_size

reverse(self)

Parameters

self – PwQPolynomialFoldList

Returns

PwQPolynomialFoldList

set_pw_qpolynomial_fold(self, index, el)

Parameters

• self – PwQPolynomialFoldList

• index – int

• el – PwQPolynomialFold

Returns

PwQPolynomialFoldList

sort(self, cmp)

Parameters

• self – PwQPolynomialFoldList

• cmp – callback(a, b)

Returns

PwQPolynomialFoldList

swap(self, pos1, pos2)

Parameters

• self – PwQPolynomialFoldList

• pos1 – unsigned

• pos2 – unsigned

Returns

PwQPolynomialFoldList

to_str(self)

Parameters

self – PwQPolynomialFoldList

Returns

string

Dictionaries

class islpy.IdToAstExpr

__eq__() __hash__()

__ne__()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

Multi Types

Canonical Names for Internal Module

class islpy._isl.IdList

See islpy.IdList.

class islpy._isl.ValList

See islpy.ValList.

class islpy._isl.BasicSetList

See islpy.BasicSetList.

class islpy._isl.AffList

See islpy.AffList.

class islpy._isl.PwAffList

See islpy.PwAffList.

class islpy._isl.PwMultiAffList

See islpy.PwMultiAffList.

class islpy._isl.UnionPwAffList

See islpy.UnionPwAffList.

class islpy._isl.UnionPwMultiAffList

See islpy.UnionPwMultiAffList.

class islpy._isl.ConstraintList

See islpy.ConstraintList.

class islpy._isl.BasicMapList

See islpy.BasicMapList.

class islpy._isl.SetList

See islpy.SetList.

class islpy._isl.MapList

See islpy.MapList.

class islpy._isl.UnionSetList

See islpy.UnionSetList.

class islpy._isl.UnionMapList

See islpy.UnionMapList.

class islpy._isl.AstExprList

See islpy.AstExprList.

class islpy._isl.AstNodeList

See islpy.AstNodeList.

class islpy._isl.IdToAstExpr

See islpy.IdToAstExpr.

class islpy._isl.PwQPolynomialList

See islpy.PwQPolynomialList.

class islpy._isl.PwQPolynomialFoldList

See islpy.PwQPolynomialFoldList.