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","."]
code: def __init__(self):
      _mod = _ffi_api.CreateAnalyzer()
      self._const_int_bound = _mod("const_int_bound")
      self._const_int_bound_update = _mod("const_int_bound_update")
      self._bind = _mod("bind")
      self._modular_set = _mod("modular_set")
      self._simplify = _mod("Simplify")
      self._rewrite_simplify = _mod("rewrite_simplify")
      self._get_rewrite_simplify_stats = _mod(
          "get_rewrite_simplify_stats"
      )
      self._reset_rewrite_simplify_stats = _mod(
          "reset_rewrite_simplify_stats"
      )
      self._canonical_simplify = _mod("canonical_simplify")
      self._int_set = _mod("int_set")
      self._enter_constraint_context = _mod("enter_constraint_context")
      self._can_prove_equal = _mod("can_prove_equal")
      self._can_prove = _mod("can_prove")
  
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 1 to create a new Analyzer object  with example: obj = Analyzer()