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

Function fpIsNaN

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

Source from the content-addressed store, hash-verified

3427
3428# FP predicates
3429def fpIsNaN(a: FPRef, ctx: Context | None = None) -> BoolRef:
3430 return _fp_pred("fpIsNaN", a)
3431
3432
3433def fpIsInf(a: FPRef, ctx: Context | None = None) -> BoolRef:

Callers 3

test_fp_predicatesMethod · 0.90
test_nan_is_nanMethod · 0.90
test_normal_is_not_nanMethod · 0.90

Calls 1

_fp_predFunction · 0.85

Tested by 3

test_fp_predicatesMethod · 0.72
test_nan_is_nanMethod · 0.72
test_normal_is_not_nanMethod · 0.72