heterocl.tvm.arith module

Arithmetic data structure and utility

class IntSet(handle)[source]

Bases: heterocl.tvm._ffi.node.NodeBase

Represent a set of integer in one dimension.

is_everything()[source]

Whether the set represent everything

is_nothing()[source]

Whether the set represent nothing

class IntervalSet(handle)[source]

Bases: heterocl.tvm.arith.IntSet

Represent set of continuous interval

max()[source]

get the maximum value

min()[source]

get the minimum value

class ModularSet(handle)[source]

Bases: heterocl.tvm.arith.IntSet

Represent range of (coeff * x + base) for x in Z

class StrideSet(handle)[source]

Bases: heterocl.tvm.arith.IntSet

Represent set of strided integers