FP Numerals. More...
Additional Inherited Members | |
![]() | |
ast | |
ctx | |
FP Numerals.
The sign of the numeral. >>> x = FPVal(+1.0, FPSort(8, 24)) >>> x.sign() False >>> x = FPVal(-1.0, FPSort(8, 24)) >>> x.sign() True
def exponent | ( | self, | |
biased = True |
|||
) |
def exponent_as_bv | ( | self, | |
biased = True |
|||
) |
Definition at line 9076 of file z3py.py.
def exponent_as_long | ( | self, | |
biased = True |
|||
) |
def isInf | ( | self | ) |
def isNaN | ( | self | ) |
def isNegative | ( | self | ) |
def isNormal | ( | self | ) |
def isPositive | ( | self | ) |
def isSubnormal | ( | self | ) |
def isZero | ( | self | ) |
def sign | ( | self | ) |
def sign_as_bv | ( | self | ) |
Definition at line 9020 of file z3py.py.
def significand | ( | self | ) |
def significand_as_bv | ( | self | ) |
Definition at line 9048 of file z3py.py.
def significand_as_long | ( | self | ) |