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