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