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

Function fpIsPositive

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

Source from the content-addressed store, hash-verified

3451
3452
3453def fpIsPositive(a: FPRef, ctx: Context | None = None) -> BoolRef:
3454 return _fp_pred("fpIsPositive", a)
3455
3456
3457# FP conversions

Callers 2

test_fp_predicatesMethod · 0.90
test_fp_is_positive_zeroMethod · 0.90

Calls 1

_fp_predFunction · 0.85

Tested by 2

test_fp_predicatesMethod · 0.72
test_fp_is_positive_zeroMethod · 0.72