tvm_tirx.sym.ModularSet

class tvm_tirx.sym.ModularSet(coeff, base)

Bases: Object

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

property base

property coeff