Method as_signed_long

lean_py/z3/core.py:762–770

Return the signed integer value.

(self)

        raise TypeError("Not a bitvector literal")

    def as_signed_long(self) -> int:
        """Return the signed integer value."""
        if isinstance(self._ast, BvLit):
            val = self._ast.val
            w = self._ast.width
            if val >= (1 << (w - 1)):
                return val - (1 << w)
            return val
        raise TypeError("Not a bitvector literal")

    def as_string(self) -> str:
        return str(self.as_long())