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

Function fpIsSubnormal

lean_py/z3/core.py:3445–3446  ·  view source on GitHub ↗
(a: FPRef, ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3443
3444
3445def fpIsSubnormal(a: FPRef, ctx: Context | None = None) -> BoolRef:
3446 return _fp_pred("fpIsSubnormal", a)
3447
3448
3449def fpIsNegative(a: FPRef, ctx: Context | None = None) -> BoolRef:

Callers 1

test_fp_predicatesMethod · 0.90

Calls 1

_fp_predFunction · 0.85

Tested by 1

test_fp_predicatesMethod · 0.72