class_docstr: Represent a set of integer constraints including variables, their ranges and
     the relations between them (either equations or inequalities)
  
  Parameters
  ----------
  variables : List[tvm.tir.Var]
      The variables in the constraints. Must be integers
  ranges    : Map[tvm.tir.Var, tvm.ir.Range]
      The ranges of the variables.
  relations : List[tvm.ir.PrimExpr]
      The relations between the variables (either equations or inequalities)
class_docstr_tok: ["Represent","a","set","of","integer","constraints","including","variables",",","their","ranges","and","the","relations","between","them","(","either","equations","or","inequalities",")","Parameters","--","--","--","--","--","variables",":","List","[","tvm.tir.Var","]","The","variables","in","the","constraints",".","Must","be","integers","ranges",":","Map","[","tvm.tir.Var",",","tvm.ir.Range","]","The","ranges","of","the","variables",".","relations",":","List","[","tvm.ir.PrimExpr","]","The","relations","between","the","variables","(","either","equations","or","inequalities",")"]
code: def __init__(self, variables, ranges, relations):
      self.__init_handle_by_constructor__(
          _ffi_api.IntConstraints, variables, ranges, relations
      )
  
file_path: tvm/python/tvm/arith/int_solver.py
imports: import tvm._ffi
  from tvm.runtime import Object
  from .None import _ffi_api
label_desc: Use image node_id 1 to create a new IntConstraints object from inherited base classes: Object with example: obj = IntConstraints(variables, ranges, relations)