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

Method ebits

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

Source from the content-addressed store, hash-verified

3153 return FPSortRef(0, 0)
3154
3155 def ebits(self) -> int:
3156 return self.sort().ebits()
3157
3158 def sbits(self) -> int:
3159 return self.sort().sbits()

Callers 15

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 8

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