MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / sbits

Method sbits

lean_py/z3/core.py:3158–3159  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

3156 return self.sort().ebits()
3157
3158 def sbits(self) -> int:
3159 return self.sort().sbits()
3160
3161 def __add__(self, other: Any) -> FPRef:
3162 return fpAdd(RNE(), self, other)

Callers 14

FPValFunction · 0.45
fpNaNFunction · 0.45
fpPlusInfinityFunction · 0.45
fpMinusInfinityFunction · 0.45
fpPlusZeroFunction · 0.45
fpMinusZeroFunction · 0.45
fpToIEEEBVFunction · 0.45
test_fp_sortMethod · 0.45
test_float16Method · 0.45
test_float32Method · 0.45
test_float64Method · 0.45
test_float128Method · 0.45

Calls 1

sortMethod · 0.95

Tested by 7

test_fp_sortMethod · 0.36
test_float16Method · 0.36
test_float32Method · 0.36
test_float64Method · 0.36
test_float128Method · 0.36
test_fp_ebits_sbitsMethod · 0.36
test_fp_sortMethod · 0.36