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

Method __add__

lean_py/z3/core.py:3161–3162  ·  view source on GitHub ↗
(self, other: Any)

Source from the content-addressed store, hash-verified

3159 return self.sort().sbits()
3160
3161 def __add__(self, other: Any) -> FPRef:
3162 return fpAdd(RNE(), self, other)
3163
3164 def __radd__(self, other: Any) -> FPRef:
3165 return fpAdd(RNE(), other, self)

Callers 2

__add__Method · 0.45
__radd__Method · 0.45

Calls 2

fpAddFunction · 0.85
RNEFunction · 0.85

Tested by

no test coverage detected