Floating-point sort (IEEE 754).
| 3117 | |
| 3118 | |
| 3119 | class FPSortRef(SortRef): |
| 3120 | """Floating-point sort (IEEE 754).""" |
| 3121 | |
| 3122 | __slots__ = ("_ebits", "_sbits") |
| 3123 | |
| 3124 | def __init__(self, ebits: int, sbits: int) -> None: |
| 3125 | super().__init__(FpASTSort(ebits, sbits)) |
| 3126 | self._ebits = ebits |
| 3127 | self._sbits = sbits |
| 3128 | |
| 3129 | def ebits(self) -> int: |
| 3130 | return self._ebits |
| 3131 | |
| 3132 | def sbits(self) -> int: |
| 3133 | return self._sbits |
| 3134 | |
| 3135 | |
| 3136 | class FPRef(ExprRef): |