Dataflow

Access Info

class islpy.AccessInfo(_data)
  • __eq__()

  • __ne__()

compute_flow(self)
Parameters

selfAccessInfo (mutated in-place)

Returns

Flow

get_ctx(self)
Parameters

selfAccessInfo

Returns

Context

Union Access Info

class islpy.UnionAccessInfo(_data)
compute_flow(self)
Parameters

selfUnionAccessInfo

Returns

UnionFlow

copy(self)
Parameters

selfUnionAccessInfo

Returns

UnionAccessInfo

static from_sink(sink)
Parameters

sinkUnionMap

Returns

UnionAccessInfo

get_ctx(self)
Parameters

selfUnionAccessInfo

Returns

Context

set_kill(self, kill)
Parameters
Returns

UnionAccessInfo

set_may_source(self, may_source)
Parameters
Returns

UnionAccessInfo

set_must_source(self, must_source)
Parameters
Returns

UnionAccessInfo

set_schedule(self, schedule)
Parameters
Returns

UnionAccessInfo

set_schedule_map(self, schedule_map)
Parameters
Returns

UnionAccessInfo

to_str(self)
Parameters

selfUnionAccessInfo

Returns

string

Restriction

class islpy.Restriction(_data)
  • __eq__()

  • __ne__()

  • empty() (static)

static empty(source_map)
Parameters

source_mapMap

Returns

Restriction

get_ctx(self)
Parameters

selfRestriction

Returns

Context

static input(source_restr, sink_restr)
Parameters
  • source_restrSet

  • sink_restrSet

Returns

Restriction

static none(source_map)
Parameters

source_mapMap

Returns

Restriction

static output(source_restr)
Parameters

source_restrSet

Returns

Restriction

Flow

class islpy.Flow(_data)
  • __eq__()

  • __ne__()

get_ctx(self)
Parameters

selfFlow

Returns

Context

get_no_source(self, must)
Parameters
Returns

Map

Union Flow

class islpy.UnionFlow(_data)
  • __eq__()

  • __hash__()

  • __ne__()

  • copy()

copy(self)
Parameters

selfUnionFlow

Returns

UnionFlow

get_ctx(self)
Parameters

selfUnionFlow

Returns

Context

get_full_may_dependence(self)
Parameters

selfUnionFlow

Returns

UnionMap

get_full_must_dependence(self)
Parameters

selfUnionFlow

Returns

UnionMap

get_may_dependence(self)
Parameters

selfUnionFlow

Returns

UnionMap

get_may_no_source(self)
Parameters

selfUnionFlow

Returns

UnionMap

get_must_dependence(self)
Parameters

selfUnionFlow

Returns

UnionMap

get_must_no_source(self)
Parameters

selfUnionFlow

Returns

UnionMap

to_str(self)
Parameters

selfUnionFlow

Returns

string