Reference: Containers

Lists

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

IdList

static alloc(ctx, n)
Parameters
Returns

IdList

clear(self)
Parameters

selfIdList

Returns

IdList

concat(self, list2)
Parameters
Returns

IdList

copy(self)
Parameters

selfIdList

Returns

IdList

drop(self, first, n)
Parameters
  • selfIdList

  • firstunsigned

  • nunsigned

Returns

IdList

dump(self)
Parameters

selfIdList

Returns

(nothing)

foreach(self, fn)
Parameters
  • selfIdList

  • fn – callback(el) -> isl_stat

Returns

(nothing)

static from_id(el)
Parameters

elId

Returns

IdList

get_at(self, index)
Parameters
Returns

Id

get_ctx(self)
Parameters

selfIdList

Returns

Context

get_id(self, index)
Parameters
Returns

Id

insert(self, pos, el)
Parameters
  • selfIdList

  • posunsigned

  • elId

Returns

IdList

map(self, fn)
Parameters
  • selfIdList

  • fn – callback(el) -> isl_id

Returns

IdList

n_id(self)
Parameters

selfIdList

Returns

isl_size

reverse(self)
Parameters

selfIdList

Returns

IdList

set_id(self, index, el)
Parameters
Returns

IdList

sort(self, cmp)
Parameters
  • selfIdList

  • cmp – callback(a, b) -> int

Returns

IdList

swap(self, pos1, pos2)
Parameters
  • selfIdList

  • pos1unsigned

  • pos2unsigned

Returns

IdList

to_str(self)
Parameters

selfIdList

Returns

string

class islpy.ValList(_data)
add(self, el)
Parameters
Returns

ValList

static alloc(ctx, n)
Parameters
Returns

ValList

clear(self)
Parameters

selfValList

Returns

ValList

concat(self, list2)
Parameters
Returns

ValList

copy(self)
Parameters

selfValList

Returns

ValList

drop(self, first, n)
Parameters
  • selfValList

  • firstunsigned

  • nunsigned

Returns

ValList

dump(self)
Parameters

selfValList

Returns

(nothing)

foreach(self, fn)
Parameters
  • selfValList

  • fn – callback(el) -> isl_stat

Returns

(nothing)

static from_val(el)
Parameters

elVal

Returns

ValList

get_at(self, index)
Parameters
Returns

Val

get_ctx(self)
Parameters

selfValList

Returns

Context

get_val(self, index)
Parameters
Returns

Val

insert(self, pos, el)
Parameters
Returns

ValList

map(self, fn)
Parameters
  • selfValList

  • fn – callback(el) -> isl_val

Returns

ValList

n_val(self)
Parameters

selfValList

Returns

isl_size

reverse(self)
Parameters

selfValList

Returns

ValList

set_val(self, index, el)
Parameters
Returns

ValList

sort(self, cmp)
Parameters
  • selfValList

  • cmp – callback(a, b) -> int

Returns

ValList

swap(self, pos1, pos2)
Parameters
  • selfValList

  • pos1unsigned

  • pos2unsigned

Returns

ValList

to_str(self)
Parameters

selfValList

Returns

string

class islpy.BasicSetList(_data)
add(self, el)
Parameters
Returns

BasicSetList

static alloc(ctx, n)
Parameters
Returns

BasicSetList

clear(self)
Parameters

selfBasicSetList

Returns

BasicSetList

coefficients(self)
Parameters

selfBasicSetList

Returns

BasicSetList

concat(self, list2)
Parameters
Returns

BasicSetList

copy(self)
Parameters

selfBasicSetList

Returns

BasicSetList

drop(self, first, n)
Parameters
Returns

BasicSetList

dump(self)
Parameters

selfBasicSetList

Returns

(nothing)

foreach(self, fn)
Parameters
Returns

(nothing)

static from_basic_set(el)
Parameters

elBasicSet

Returns

BasicSetList

get_at(self, index)
Parameters
Returns

BasicSet

get_basic_set(self, index)
Parameters
Returns

BasicSet

get_ctx(self)
Parameters

selfBasicSetList

Returns

Context

insert(self, pos, el)
Parameters
Returns

BasicSetList

intersect(self)
Parameters

selfBasicSetList

Returns

BasicSet

map(self, fn)
Parameters
  • selfBasicSetList

  • fn – callback(el) -> isl_basic_set

Returns

BasicSetList

n_basic_set(self)
Parameters

selfBasicSetList

Returns

isl_size

reverse(self)
Parameters

selfBasicSetList

Returns

BasicSetList

set_basic_set(self, index, el)
Parameters
Returns

BasicSetList

sort(self, cmp)
Parameters
Returns

BasicSetList

swap(self, pos1, pos2)
Parameters
Returns

BasicSetList

to_str(self)
Parameters

selfBasicSetList

Returns

string

class islpy.BasicMapList(_data)
add(self, el)
Parameters
Returns

BasicMapList

static alloc(ctx, n)
Parameters
Returns

BasicMapList

clear(self)
Parameters

selfBasicMapList

Returns

BasicMapList

concat(self, list2)
Parameters
Returns

BasicMapList

copy(self)
Parameters

selfBasicMapList

Returns

BasicMapList

drop(self, first, n)
Parameters
Returns

BasicMapList

dump(self)
Parameters

selfBasicMapList

Returns

(nothing)

foreach(self, fn)
Parameters
Returns

(nothing)

static from_basic_map(el)
Parameters

elBasicMap

Returns

BasicMapList

get_at(self, index)
Parameters
Returns

BasicMap

get_basic_map(self, index)
Parameters
Returns

BasicMap

get_ctx(self)
Parameters

selfBasicMapList

Returns

Context

insert(self, pos, el)
Parameters
Returns

BasicMapList

intersect(self)
Parameters

selfBasicMapList

Returns

BasicMap

map(self, fn)
Parameters
  • selfBasicMapList

  • fn – callback(el) -> isl_basic_map

Returns

BasicMapList

n_basic_map(self)
Parameters

selfBasicMapList

Returns

isl_size

reverse(self)
Parameters

selfBasicMapList

Returns

BasicMapList

set_basic_map(self, index, el)
Parameters
Returns

BasicMapList

sort(self, cmp)
Parameters
Returns

BasicMapList

swap(self, pos1, pos2)
Parameters
Returns

BasicMapList

to_str(self)
Parameters

selfBasicMapList

Returns

string

class islpy.SetList(_data)
add(self, el)
Parameters
Returns

SetList

static alloc(ctx, n)
Parameters
Returns

SetList

clear(self)
Parameters

selfSetList

Returns

SetList

concat(self, list2)
Parameters
Returns

SetList

copy(self)
Parameters

selfSetList

Returns

SetList

drop(self, first, n)
Parameters
  • selfSetList

  • firstunsigned

  • nunsigned

Returns

SetList

dump(self)
Parameters

selfSetList

Returns

(nothing)

foreach(self, fn)
Parameters
  • selfSetList

  • fn – callback(el) -> isl_stat

Returns

(nothing)

static from_set(el)
Parameters

elSet

Returns

SetList

get_at(self, index)
Parameters
Returns

Set

get_ctx(self)
Parameters

selfSetList

Returns

Context

get_set(self, index)
Parameters
Returns

Set

insert(self, pos, el)
Parameters
Returns

SetList

map(self, fn)
Parameters
  • selfSetList

  • fn – callback(el) -> isl_set

Returns

SetList

n_set(self)
Parameters

selfSetList

Returns

isl_size

reverse(self)
Parameters

selfSetList

Returns

SetList

set_set(self, index, el)
Parameters
Returns

SetList

sort(self, cmp)
Parameters
  • selfSetList

  • cmp – callback(a, b) -> int

Returns

SetList

swap(self, pos1, pos2)
Parameters
  • selfSetList

  • pos1unsigned

  • pos2unsigned

Returns

SetList

to_str(self)
Parameters

selfSetList

Returns

string

union(self)
Parameters

selfSetList

Returns

Set

class islpy.MapList(_data)
add(self, el)
Parameters
Returns

MapList

static alloc(ctx, n)
Parameters
Returns

MapList

clear(self)
Parameters

selfMapList

Returns

MapList

concat(self, list2)
Parameters
Returns

MapList

copy(self)
Parameters

selfMapList

Returns

MapList

drop(self, first, n)
Parameters
  • selfMapList

  • firstunsigned

  • nunsigned

Returns

MapList

dump(self)
Parameters

selfMapList

Returns

(nothing)

foreach(self, fn)
Parameters
  • selfMapList

  • fn – callback(el) -> isl_stat

Returns

(nothing)

static from_map(el)
Parameters

elMap

Returns

MapList

get_at(self, index)
Parameters
Returns

Map

get_ctx(self)
Parameters

selfMapList

Returns

Context

get_map(self, index)
Parameters
Returns

Map

insert(self, pos, el)
Parameters
Returns

MapList

map(self, fn)
Parameters
  • selfMapList

  • fn – callback(el) -> isl_map

Returns

MapList

n_map(self)
Parameters

selfMapList

Returns

isl_size

reverse(self)
Parameters

selfMapList

Returns

MapList

set_map(self, index, el)
Parameters
Returns

MapList

sort(self, cmp)
Parameters
  • selfMapList

  • cmp – callback(a, b) -> int

Returns

MapList

swap(self, pos1, pos2)
Parameters
  • selfMapList

  • pos1unsigned

  • pos2unsigned

Returns

MapList

to_str(self)
Parameters

selfMapList

Returns

string

class islpy.UnionSetList(_data)
add(self, el)
Parameters
Returns

UnionSetList

static alloc(ctx, n)
Parameters
Returns

UnionSetList

clear(self)
Parameters

selfUnionSetList

Returns

UnionSetList

concat(self, list2)
Parameters
Returns

UnionSetList

copy(self)
Parameters

selfUnionSetList

Returns

UnionSetList

drop(self, first, n)
Parameters
Returns

UnionSetList

dump(self)
Parameters

selfUnionSetList

Returns

(nothing)

foreach(self, fn)
Parameters
Returns

(nothing)

static from_union_set(el)
Parameters

elUnionSet

Returns

UnionSetList

get_at(self, index)
Parameters
Returns

UnionSet

get_ctx(self)
Parameters

selfUnionSetList

Returns

Context

get_union_set(self, index)
Parameters
Returns

UnionSet

insert(self, pos, el)
Parameters
Returns

UnionSetList

map(self, fn)
Parameters
  • selfUnionSetList

  • fn – callback(el) -> isl_union_set

Returns

UnionSetList

n_union_set(self)
Parameters

selfUnionSetList

Returns

isl_size

reverse(self)
Parameters

selfUnionSetList

Returns

UnionSetList

set_union_set(self, index, el)
Parameters
Returns

UnionSetList

sort(self, cmp)
Parameters
Returns

UnionSetList

swap(self, pos1, pos2)
Parameters
Returns

UnionSetList

to_str(self)
Parameters

selfUnionSetList

Returns

string

union(self)
Parameters

selfUnionSetList

Returns

UnionSet

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

AffList

static alloc(ctx, n)
Parameters
Returns

AffList

clear(self)
Parameters

selfAffList

Returns

AffList

concat(self, list2)
Parameters
Returns

AffList

copy(self)
Parameters

selfAffList

Returns

AffList

drop(self, first, n)
Parameters
  • selfAffList

  • firstunsigned

  • nunsigned

Returns

AffList

dump(self)
Parameters

selfAffList

Returns

(nothing)

foreach(self, fn)
Parameters
  • selfAffList

  • fn – callback(el) -> isl_stat

Returns

(nothing)

static from_aff(el)
Parameters

elAff

Returns

AffList

get_aff(self, index)
Parameters
Returns

Aff

get_at(self, index)
Parameters
Returns

Aff

get_ctx(self)
Parameters

selfAffList

Returns

Context

insert(self, pos, el)
Parameters
Returns

AffList

map(self, fn)
Parameters
  • selfAffList

  • fn – callback(el) -> isl_aff

Returns

AffList

n_aff(self)
Parameters

selfAffList

Returns

isl_size

reverse(self)
Parameters

selfAffList

Returns

AffList

set_aff(self, index, el)
Parameters
Returns

AffList

sort(self, cmp)
Parameters
  • selfAffList

  • cmp – callback(a, b) -> int

Returns

AffList

swap(self, pos1, pos2)
Parameters
  • selfAffList

  • pos1unsigned

  • pos2unsigned

Returns

AffList

to_str(self)
Parameters

selfAffList

Returns

string

class islpy.UnionPwAffList(_data)
add(self, el)
Parameters
Returns

UnionPwAffList

static alloc(ctx, n)
Parameters
Returns

UnionPwAffList

clear(self)
Parameters

selfUnionPwAffList

Returns

UnionPwAffList

concat(self, list2)
Parameters
Returns

UnionPwAffList

copy(self)
Parameters

selfUnionPwAffList

Returns

UnionPwAffList

drop(self, first, n)
Parameters
Returns

UnionPwAffList

dump(self)
Parameters

selfUnionPwAffList

Returns

(nothing)

foreach(self, fn)
Parameters
Returns

(nothing)

static from_union_pw_aff(el)
Parameters

elUnionPwAff

Returns

UnionPwAffList

get_at(self, index)
Parameters
Returns

UnionPwAff

get_ctx(self)
Parameters

selfUnionPwAffList

Returns

Context

get_union_pw_aff(self, index)
Parameters
Returns

UnionPwAff

insert(self, pos, el)
Parameters
Returns

UnionPwAffList

map(self, fn)
Parameters
Returns

UnionPwAffList

n_union_pw_aff(self)
Parameters

selfUnionPwAffList

Returns

isl_size

reverse(self)
Parameters

selfUnionPwAffList

Returns

UnionPwAffList

set_union_pw_aff(self, index, el)
Parameters
Returns

UnionPwAffList

sort(self, cmp)
Parameters
Returns

UnionPwAffList

swap(self, pos1, pos2)
Parameters
Returns

UnionPwAffList

to_str(self)
Parameters

selfUnionPwAffList

Returns

string

class islpy.AstExprList(_data)
  • __eq__()

  • __ne__()

class islpy.AstNodeList(_data)
  • __eq__()

  • __ne__()

Dictionaries

class islpy.IdToAstExpr(_data)
  • __eq__()

  • __ne__()