class_docstr: Integer arithmetic analyzer
  
  This is a stateful analyzer class that can
  be used to perform various symbolic integer analysis.
class_docstr_tok: ["Integer","arithmetic","analyzer","This","is","a","stateful","analyzer","class","that","can","be","used","to","perform","various","symbolic","integer","analysis","."]
docstr: Create a constraint scope.
  
  Parameters
  ----------
  constraint : PrimExpr
      The constraint expression.
  
  returns
  -------
  scope : ConstraintScope
      The constraint scope
  
  Examples
  --------
  .. code-block:: python
  
    x = te.var("x")
    analyzer = tvm.arith.Analyzer()
    with analzyer.constraint_scope(x % 3 == 0):
        # constraint in effect
        assert analyzer.modular_set(x).coeff == 3
    # constraint no longer in effect
    assert analyzer.modular_set(x).coeff != 3
docstr_tok: ["Create","a","constraint","scope",".","Parameters","--","--","--","--","--","constraint",":","PrimExpr","The","constraint","expression",".","returns","--","--","--","-","scope",":","ConstraintScope","The","constraint","scope","Examples","--","--","--","--","..","code-block",":",":","python","x","=","te.var","(","``","x","''",")","analyzer","=","tvm.arith.Analyzer","(",")","with","analzyer.constraint_scope","(","x","%","3","==","0",")",":","#","constraint","in","effect","assert","analyzer.modular_set","(","x",")",".coeff","==","3","#","constraint","no","longer","in","effect","assert","analyzer.modular_set","(","x",")",".coeff","!","=","3"]
code: def constraint_scope(self, constraint):
      """Create a constraint scope.
  
      Parameters
      ----------
      constraint : PrimExpr
          The constraint expression.
  
      returns
      -------
      scope : ConstraintScope
          The constraint scope
  
      Examples
      --------
      .. code-block:: python
  
        x = te.var("x")
        analyzer = tvm.arith.Analyzer()
        with analzyer.constraint_scope(x % 3 == 0):
            # constraint in effect
            assert analyzer.modular_set(x).coeff == 3
        # constraint no longer in effect
        assert analyzer.modular_set(x).coeff != 3
      """
  
      def _fenter():
          return self._enter_constraint_context(constraint)
  
      return ConstraintScope(_fenter)
  
imports: from enum import IntEnum
  from typing import Union
  import tvm._ffi
  from tvm import tir, ir
  from tvm.runtime import Object
  from .None import _ffi_api
label_desc: Use image node_id 12 for calling the Analyzer obj's underlying member method code with example usage: obj.constraint_scope(constraint) and returns: ConstraintScope, self