tvm_tirx.sym.IntSet#

class tvm_tirx.sym.IntSet(*args, **kwargs)#

Bases: Object

Represent a set of integer in one dimension.

Parameters:
  • args (Any)

  • kwargs (Any)

is_nothing()#

Whether the set represent nothing

is_everything()#

Whether the set represent everything

static vector(vec)#

Construct an integer set that covers the vector expr

Parameters:

vec (Expr) – The vector expression.

Returns:

rset (IntSet) – The result set.

static single_point(point)#

Construct a point set.

Parameters:

point (Expr) – The vector expression.

Returns:

rset (IntSet) – The result set.