mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Merge pull request #471 from 4tXJ7f/patch-1

Browse source 
[Z3py] Fix documentation in FPSortRef
This commit is contained in:
Christoph M. Wintersteiger 2016-03-02 14:14:54 +00:00
parent 1a081936ac 18b9cd1948
commit 6fa2338edc
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/api/python/z3.py
View file

@ -7964,7 +7964,7 @@ class FPSortRef(SortRef):
return int(Z3_fpa_get_ebits(self.ctx_ref(), self.ast))
def sbits(self):
"""Retrieves the number of bits reserved for the exponent in the FloatingPoint sort `self`.
"""Retrieves the number of bits reserved for the significand in the FloatingPoint sort `self`.
>>> b = FPSort(8, 24)
>>> b.sbits()
24
@ -7972,8 +7972,7 @@ class FPSortRef(SortRef):
return int(Z3_fpa_get_sbits(self.ctx_ref(), self.ast))
def cast(self, val):
"""Try to cast `val` as a Floating-point expression
"""Try to cast `val` as a floating-point expression.
>>> b = FPSort(8, 24)
>>> b.cast(1.0)
1