Generalized infinity constructor.
(sort: FPSortRef, negative: bool)
| 3536 | |
| 3537 | |
| 3538 | def fpInfinity(sort: FPSortRef, negative: bool) -> FPNumRef: |
| 3539 | """Generalized infinity constructor.""" |
| 3540 | if negative: |
| 3541 | return fpMinusInfinity(sort) |
| 3542 | return fpPlusInfinity(sort) |
| 3543 | |
| 3544 | |
| 3545 | def fpZero(sort: FPSortRef, negative: bool) -> FPNumRef: |
nothing calls this directly
no test coverage detected