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

Method isInf

lean_py/z3/core.py:3211–3214  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

3209 return False
3210
3211 def isInf(self) -> bool:
3212 if isinstance(self._ast, FpLitNode):
3213 return math.isinf(struct.unpack("<d", struct.pack("<Q", self._ast.bits))[0])
3214 return False
3215
3216 def isZero(self) -> bool:
3217 if isinstance(self._ast, FpLitNode):

Callers 2

test_fp_infinityMethod · 0.80

Calls

no outgoing calls

Tested by 2

test_fp_infinityMethod · 0.64