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

Function FPs

lean_py/z3/core.py:3259–3260  ·  view source on GitHub ↗
(names: str, fpsort: FPSortRef, ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3257
3258
3259def FPs(names: str, fpsort: FPSortRef, ctx: Context | None = None) -> tuple[FPRef, ...]:
3260 return tuple(FP(n, fpsort) for n in names.split())
3261
3262
3263def FPVal(

Callers 11

test_fpsMethod · 0.90
test_fp_addMethod · 0.90
test_fp_subMethod · 0.90
test_fp_mulMethod · 0.90
test_fp_divMethod · 0.90
test_fp_fmaMethod · 0.90
test_fp_remMethod · 0.90
test_fp_min_maxMethod · 0.90
test_fp_comparisonsMethod · 0.90
test_fp_operator_overloadsMethod · 0.90
test_fp_comparison_overloadsMethod · 0.90

Calls 1

FPFunction · 0.85

Tested by 11

test_fpsMethod · 0.72
test_fp_addMethod · 0.72
test_fp_subMethod · 0.72
test_fp_mulMethod · 0.72
test_fp_divMethod · 0.72
test_fp_fmaMethod · 0.72
test_fp_remMethod · 0.72
test_fp_min_maxMethod · 0.72
test_fp_comparisonsMethod · 0.72
test_fp_operator_overloadsMethod · 0.72
test_fp_comparison_overloadsMethod · 0.72