tvm_tirx.sym.IntervalSet

class tvm_tirx.sym.IntervalSet(min_value, max_value)

Bases: IntSet

Represent set of continuous interval [min_value, max_value]

Parameters:

• min_value (Expr) – The minimum value in the interval.

• max_value (Expr) – The maximum value in the interval.

property max_value

property min_value