Python fpSub Examples

Example #1

File: backend_z3.py Project: angr/claripy

 def _op_raw_fpSub(self, rm, a, b):
     return z3.fpSub(rm, a, b, ctx=self._context)

Example #2

 def _op_raw_fpSub(self, rm, a, b):
     return z3.fpSub(rm, a, b, ctx=self._context)

Example #3

File: fp.py Project: j29scott/ArbitraryFloats

 def __sub__(self,other):
     assert isinstance(other,Float) and other.ne == self.ne and other.ns == self.ns
     return Float(val=z3.simplify(z3.fpSub(rnd, self.z3_ds, other.z3_ds)),ne=self.ne,ns=self.ns)