Dataflow

Access Info

class islpy.AccessInfo

__eq__() __hash__() __ne__()

compute_flow() get_ctx()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

compute_flow(self)

Parameters

self – AccessInfo (becomes invalid)

Returns

Flow

get_ctx(self)

Parameters

self – AccessInfo

Returns

Context

Union Access Info

class islpy.UnionAccessInfo

__eq__() __hash__() __ne__() compute_flow() copy() from_sink() (static) get_ctx()

set_kill() set_may_source() set_must_source() set_schedule() set_schedule_map() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

compute_flow(self)

Parameters

self – UnionAccessInfo

Returns

UnionFlow

copy(self)

Parameters

self – UnionAccessInfo

Returns

UnionAccessInfo

static from_sink(sink)

Parameters

sink – UnionMap

Returns

UnionAccessInfo

get_ctx(self)

Parameters

self – UnionAccessInfo

Returns

Context

set_kill(self, kill)

Parameters

• self – UnionAccessInfo

• kill – UnionMap

Returns

UnionAccessInfo

set_may_source(self, may_source)

Parameters

• self – UnionAccessInfo

• may_source – UnionMap

Returns

UnionAccessInfo

set_must_source(self, must_source)

Parameters

• self – UnionAccessInfo

• must_source – UnionMap

Returns

UnionAccessInfo

set_schedule(self, schedule)

Parameters

• self – UnionAccessInfo

• schedule – Schedule

Returns

UnionAccessInfo

set_schedule_map(self, schedule_map)

Parameters

• self – UnionAccessInfo

• schedule_map – UnionMap

Returns

UnionAccessInfo

to_str(self)

Parameters

self – UnionAccessInfo

Returns

string

Restriction

class islpy.Restriction

__eq__() __hash__() __ne__() empty() (static)

get_ctx() input() (static) none() (static) output() (static)

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

static empty(source_map)

Parameters

source_map – Map

Returns

Restriction

get_ctx(self)

Parameters

self – Restriction

Returns

Context

static input(source_restr, sink_restr)

Parameters

• source_restr – Set

• sink_restr – Set

Returns

Restriction

static none(source_map)

Parameters

source_map – Map

Returns

Restriction

static output(source_restr)

Parameters

source_restr – Set

Returns

Restriction

Flow

class islpy.Flow

__eq__() __hash__() __ne__()

get_ctx() get_no_source()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

get_ctx(self)

Parameters

self – Flow

Returns

Context

get_no_source(self, must)

Parameters

• self – Flow

• must – int

Returns

Map

Union Flow

class islpy.UnionFlow

__eq__() __hash__() __ne__() copy() get_ctx() get_full_may_dependence()

get_full_must_dependence() get_may_dependence() get_may_no_source() get_must_dependence() get_must_no_source() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__ne__(value, /)

Return self!=value.

copy(self)

Parameters

self – UnionFlow

Returns

UnionFlow

get_ctx(self)

Parameters

self – UnionFlow

Returns

Context

get_full_may_dependence(self)

Parameters

self – UnionFlow

Returns

UnionMap

get_full_must_dependence(self)

Parameters

self – UnionFlow

Returns

UnionMap

get_may_dependence(self)

Parameters

self – UnionFlow

Returns

UnionMap

get_may_no_source(self)

Parameters

self – UnionFlow

Returns

UnionMap

get_must_dependence(self)

Parameters

self – UnionFlow

Returns

UnionMap

get_must_no_source(self)

Parameters

self – UnionFlow

Returns

UnionMap

to_str(self)

Parameters

self – UnionFlow

Returns

string

Canonical Names for Internal Module

class islpy._isl.AccessInfo

See islpy.AccessInfo.

class islpy._isl.UnionAccessInfo

See islpy.UnionAccessInfo.

class islpy._isl.Restriction

See islpy.Restriction.

class islpy._isl.Flow

See islpy.Flow.

class islpy._isl.UnionFlow

See islpy.UnionFlow.