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

Function fpNeg

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

Source from the content-addressed store, hash-verified

3377
3378
3379def fpNeg(a: FPRef, ctx: Context | None = None) -> FPRef:
3380 return _fp_op("fpNeg", a)
3381
3382
3383def fpAbs(a: FPRef, ctx: Context | None = None) -> FPRef:

Callers 5

test_fp_negMethod · 0.90
test_fp_neg_groundMethod · 0.90
test_negMethod · 0.90
test_neg_negMethod · 0.90
__neg__Method · 0.85

Calls 1

_fp_opFunction · 0.85

Tested by 4

test_fp_negMethod · 0.72
test_fp_neg_groundMethod · 0.72
test_negMethod · 0.72
test_neg_negMethod · 0.72