Function fpGT

lean_py/z3/core.py:3420–3421 · view source on GitHub ↗

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

Source from the content-addressed store, hash-verified

3418
3419
3420	def fpGT(a: FPRef, b: FPRef, ctx: Context \| None = None) -> BoolRef:
3421	return _fp_pred("fpGT", a, b)
3422
3423
3424	def fpEQ(a: FPRef, b: FPRef, ctx: Context \| None = None) -> BoolRef:

test_fp_comparisonsMethod · 0.90

test_gtMethod · 0.90

test_nan_not_gt_anythingMethod · 0.90

__gt__Method · 0.85

_fp_predFunction · 0.85

test_fp_comparisonsMethod · 0.72

test_gtMethod · 0.72

test_nan_not_gt_anythingMethod · 0.72