Return the unsigned integer value.
(self)
| 754 | __slots__ = () |
| 755 | |
| 756 | def as_long(self) -> int: |
| 757 | """Return the unsigned integer value.""" |
| 758 | if isinstance(self._ast, BvLit): |
| 759 | return self._ast.val |
| 760 | raise TypeError("Not a bitvector literal") |
| 761 | |
| 762 | def as_signed_long(self) -> int: |
| 763 | """Return the signed integer value.""" |