Method bind

python/tvm/arith/analyzer.py:287–306

Bind a variable to the expression. Parameters ---------- var : tvm.tirx.Var The variable. expr : Union[tirx.PrimExpr, ir.Range] The expression or the range to bind to. allow_override : bool Whether to allow overriding an

(
        self,
        var: tirx.Var,
        expr: tirx.PrimExpr | ir.Range,
        allow_override: bool = False,
    )

        _ffi_api.AnalyzerSetMaximumRewriteSteps(self, maximum)

    def bind(
        self,
        var: tirx.Var,
        expr: tirx.PrimExpr | ir.Range,
        allow_override: bool = False,
    ) -> None:
        """Bind a variable to the expression.

        Parameters
        ----------
        var : tvm.tirx.Var
            The variable.

        expr : Union[tirx.PrimExpr, ir.Range]
            The expression or the range to bind to.

        allow_override : bool
            Whether to allow overriding an existing binding for the variable.
        """
        return _ffi_api.AnalyzerBind(self, var, expr, allow_override)

    def constraint_scope(self, constraint: tirx.PrimExpr) -> ConstraintScope:
        """Create a constraint scope.