Reference: Containers

Lists

class islpy.IdList(_data)
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

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_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:int
set_id(self, index, el)
Parameters:
Returns:

IdList

sort(self, cmp)
Parameters:
  • selfIdList
  • cmp – callback(a, b) -> int
Returns:

IdList

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

ValList

static alloc(ctx, n)
Parameters:
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_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:int
set_val(self, index, el)
Parameters:
Returns:

ValList

sort(self, cmp)
Parameters:
  • selfValList
  • cmp – callback(a, b) -> int
Returns:

ValList

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

BasicSetList

static alloc(ctx, n)
Parameters:
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_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:int
set_basic_set(self, index, el)
Parameters:
Returns:

BasicSetList

sort(self, cmp)
Parameters:
Returns:

BasicSetList

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

BasicMapList

static alloc(ctx, n)
Parameters:
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_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:int
set_basic_map(self, index, el)
Parameters:
Returns:

BasicMapList

sort(self, cmp)
Parameters:
Returns:

BasicMapList

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

SetList

static alloc(ctx, n)
Parameters:
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_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:int
set_set(self, index, el)
Parameters:
Returns:

SetList

sort(self, cmp)
Parameters:
  • selfSetList
  • cmp – callback(a, b) -> int
Returns:

SetList

union(self)
Parameters:selfSetList
Returns:Set
class islpy.MapList(_data)
add(self, el)
Parameters:
Returns:

MapList

static alloc(ctx, n)
Parameters:
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_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:int
set_map(self, index, el)
Parameters:
Returns:

MapList

sort(self, cmp)
Parameters:
  • selfMapList
  • cmp – callback(a, b) -> int
Returns:

MapList

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

UnionSetList

static alloc(ctx, n)
Parameters:
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_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:int
set_union_set(self, index, el)
Parameters:
Returns:

UnionSetList

sort(self, cmp)
Parameters:
Returns:

UnionSetList

union(self)
Parameters:selfUnionSetList
Returns:UnionSet
class islpy.AffList(_data)
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

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_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:int
set_aff(self, index, el)
Parameters:
Returns:

AffList

sort(self, cmp)
Parameters:
  • selfAffList
  • cmp – callback(a, b) -> int
Returns:

AffList

class islpy.UnionPwAffList(_data)
  • __eq__()
  • __ne__()
class islpy.AstExprList(_data)
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

dump(self)
Parameters:selfAstExprList
Returns:(nothing)
foreach(self, fn)
Parameters:
Returns:

(nothing)

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

map(self, fn)
Parameters:
  • selfAstExprList
  • fn – callback(el) -> isl_ast_expr
Returns:

AstExprList

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

AstExprList

sort(self, cmp)
Parameters:
Returns:

AstExprList

class islpy.AstNodeList(_data)
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

dump(self)
Parameters:selfAstNodeList
Returns:(nothing)
foreach(self, fn)
Parameters:
Returns:

(nothing)

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

map(self, fn)
Parameters:
  • selfAstNodeList
  • fn – callback(el) -> isl_ast_node
Returns:

AstNodeList

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

AstNodeList

sort(self, cmp)
Parameters:
Returns:

AstNodeList

Dictionaries

class islpy.IdToAstExpr(_data)
  • __eq__()
  • __ne__()