tvm_tirx.sym.RangeConstraint

class tvm_tirx.sym.RangeConstraint(var, domain)

Bases: Constraint

A variable contained in a half-open range, without stride information.

Parameters:

• var (tvm_tirx.ir.Var) – The variable whose possible values lie in the range.

• domain (tvm_tirx.ir.Range) – A half-open superset of the variable’s possible values, exposed as the constraint’s range field.

property range

property var