Method isNaN

lean_py/z3/core.py:3206–3209

(self)

        return repr(self)

    def isNaN(self) -> bool:
        if isinstance(self._ast, FpLitNode):
            return math.isnan(struct.unpack("<d", struct.pack("<Q", self._ast.bits))[0])
        return False

    def isInf(self) -> bool:
        if isinstance(self._ast, FpLitNode):