Function fpLT

lean_py/z3/core.py:3412–3413 · view source on GitHub ↗

(a: FPRef, b: FPRef, ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3410
3411
3412	def fpLT(a: FPRef, b: FPRef, ctx: Context \| None = None) -> BoolRef:
3413	return _fp_pred("fpLT", a, b)
3414
3415
3416	def fpGEQ(a: FPRef, b: FPRef, ctx: Context \| None = None) -> BoolRef:

test_fp_comparisonsMethod · 0.90

test_fp_neg_groundMethod · 0.90

test_fp_comparison_groundMethod · 0.90

test_ltMethod · 0.90

test_negative_lt_zeroMethod · 0.90

test_neg_infinity_lt_allMethod · 0.90

test_all_lt_pos_infinityMethod · 0.90

test_nan_not_lt_anythingMethod · 0.90

__lt__Method · 0.85

_fp_predFunction · 0.85

test_fp_comparisonsMethod · 0.72

test_fp_neg_groundMethod · 0.72

test_fp_comparison_groundMethod · 0.72

test_ltMethod · 0.72

test_negative_lt_zeroMethod · 0.72

test_neg_infinity_lt_allMethod · 0.72

test_all_lt_pos_infinityMethod · 0.72

test_nan_not_lt_anythingMethod · 0.72