FP Expressions. More...
Public Member Functions | |
def | sort (self) |
def | ebits (self) |
def | sbits (self) |
def | as_string (self) |
def | __le__ (self, other) |
def | __lt__ (self, other) |
def | __ge__ (self, other) |
def | __gt__ (self, other) |
def | __ne__ (self, other) |
def | __add__ (self, other) |
def | __radd__ (self, other) |
def | __sub__ (self, other) |
def | __rsub__ (self, other) |
def | __mul__ (self, other) |
def | __rmul__ (self, other) |
def | __pos__ (self) |
def | __neg__ (self) |
def | __truediv__ (self, other) |
def | __rtruediv__ (self, other) |
def | __mod__ (self, other) |
def | __rmod__ (self, other) |
![]() | |
def | as_ast (self) |
def | get_id (self) |
def | sort (self) |
def | sort_kind (self) |
def | __eq__ (self, other) |
def | __ne__ (self, other) |
def | decl (self) |
def | num_args (self) |
def | arg (self, idx) |
def | children (self) |
![]() | |
def | __init__ (self, ast, ctx=None) |
def | __del__ (self) |
def | __str__ (self) |
def | __repr__ (self) |
def | sexpr (self) |
def | as_ast (self) |
def | get_id (self) |
def | ctx_ref (self) |
def | eq (self, other) |
def | translate (self, target) |
def | hash (self) |
![]() | |
def | use_pp (self) |
Additional Inherited Members | |
![]() | |
ast | |
ctx | |
def __add__ | ( | self, | |
other | |||
) |
def __mod__ | ( | self, | |
other | |||
) |
def __mul__ | ( | self, | |
other | |||
) |
def __radd__ | ( | self, | |
other | |||
) |
def __rmod__ | ( | self, | |
other | |||
) |
def __rmul__ | ( | self, | |
other | |||
) |
def __rsub__ | ( | self, | |
other | |||
) |
def __rtruediv__ | ( | self, | |
other | |||
) |
def __sub__ | ( | self, | |
other | |||
) |
def __truediv__ | ( | self, | |
other | |||
) |
def as_string | ( | self | ) |
def ebits | ( | self | ) |
def sbits | ( | self | ) |
def sort | ( | self | ) |
Return the sort of the floating-point expression `self`. >>> x = FP('1.0', FPSort(8, 24)) >>> x.sort() FPSort(8, 24) >>> x.sort() == FPSort(8, 24) True
Definition at line 7803 of file z3py.py.
Referenced by FPRef.__add__(), FPRef.__mul__(), and FPRef.__sub__().