Method __ne__

lean_py/z3/core.py:321–329

(self, other: object)

        )

    def __ne__(self, other: object) -> BoolRef:  # type: ignore[override]
        if isinstance(other, (int, float)):
            other = _coerce_val(other, self._sort)
        if not isinstance(other, ExprRef):
            return NotImplemented
        return BoolRef(
            BinOpNode(BinOp.NE, self._ast, other._ast),
            _merge(self._vars, other._vars),
        )

    def __hash__(self) -> int:
        return hash(self._ast)